False
Suppose 2*d + 2*g = -0*g + 16, -3*d + 21 = 4*g. Which is smaller: d or 10?
10
Let s = -1 + 3. Let l be (s - 0)*(-7 + 9). Which is smaller: 3 or l?
3
Let r(m) = 11*m + 8. Let j(w) = 4*w + 3. Let s(q) = -17*j(q) + 6*r(q). Let x be s(-2). Are x and -3/7 equal?
False
Suppose 0 = 3*u - u. Suppose 3*q + 4*y = 4*q - 4, 3*q + 3*y - 42 = u. Let a be (-7)/q - 1/(-3). Which is smaller: 0 or a?
a
Suppose 2*y - 56 = 4*y. Let u = 346 - y. Let c = u - 4118/11. Which is greater: -1 or c?
c
Suppose 2*x = -2*x + 12. Let i be (x/(-6))/((-2)/12). Is 3 < i?
False
Let h = 1 - 1.04. Let t = h - -0.34. Let g be (-3)/6*0/(-5). Is g less than or equal to t?
True
Suppose q - d + 13 = 0, 4*d - 3*d - 25 = 2*q. Is -12 greater than q?
False
Suppose 0 = v + v + 4. Let h be 1*v - (-5 - -5). Let a be 0/3 + h/(-16). Which is smaller: a or 1?
a
Suppose 25 = -4*z + 9. Let a be 0/(z/((-2)/(-1))). Let y be 2 - 0 - (-16)/(-6). Which is smaller: y or a?
y
Let v be -2 + (-1)/((-1)/3). Let s be 3 + 1 + -2*v. Which is bigger: -1/4 or s?
s
Suppose -u - 24 = -4*u. Let y = -8 + u. Is y not equal to -2/7?
True
Let t = 149254/129 - 1157. Let i = t + -395/1032. Is 0 > i?
True
Let f = 5 + -14. Let u = 2 + -7. Let s = u - f. Which is bigger: 3 or s?
s
Suppose -18*o - 200 = -8*o. Is -21 bigger than o?
False
Let d(j) = -j**2 + 3*j + 1. Let f be d(3). Let y be ((-13)/(-3))/((-1)/3). Let q be 6/(-9)*(-3)/y. Is q at most as big as f?
True
Let g(y) = 5*y - 1. Let w be g(1). Suppose w*u - 3*v = -17, -5 = 2*u - 3*v + 2. Is -7 at most u?
True
Suppose 24 = -3*p - 0*p. Is p >= -7?
False
Suppose -5*w - 8 = -w. Let s be (w/5)/((-4)/60). Suppose -3*x + 31 = -5*q, s*x - 3*x - q - 11 = 0. Which is bigger: x or 1?
x
Let o = 13 + -14. Let t(c) = -c - 2. Let b be t(o). Is b at most 0?
True
Let h = -842/91 - 6/13. Let m = h + 333/35. Let r = 2 - 3. Is m < r?
False
Let r be (-11)/((-66)/72) + 4/(-1). Suppose w = -3*w + 28. Is w bigger than r?
False
Let a be (-1)/(-2) + 5 + -4. Suppose -1 = 2*j - 7. Are a and j unequal?
True
Let r = -2 - -1.7. Let a = -4 - -4.2. Let y = a + -1.2. Is y at least as big as r?
False
Let d = 0.086 + 0.014. Are 0.027 and d equal?
False
Let l = -15 - -17. Suppose -2*t - 3*t + 5 = 0. Suppose 2*x = b - l, 0*x - x + 4*b = t. Is x greater than or equal to -1?
True
Let l be (-2)/(-10) + (-288)/40. Let z = 3 + l. Let x = 3 + z. Which is smaller: x or -2/13?
x
Let u = 0 - -2. Suppose u + 0 = 2*g. Let k be 7/(-14)*(-3 + g). Which is bigger: 2/9 or k?
k
Let o = -2.6 - -3. Let x = -0.1 - 0.4. Let i = x + o. Is -2 smaller than i?
True
Suppose -758 = -4*b + 70. Let g be (206/(-3))/(42/b). Let q = g - -339. Is 0 bigger than q?
False
Let p(r) = -3*r**2 + r + 3. Let s be p(2). Let b be 82/(-14) + (-2)/14. Which is smaller: b or s?
s
Let d = 7 + -8. Let b = d + 0. Let h = -47/10 + 9/2. Which is smaller: h or b?
b
Let i be ((-2)/(-4))/((-1)/(-6)). Suppose i*b - 1 - 2 = 0. Does b = 1?
True
Let k(o) = -o**2 + 7*o + 4. Let w be k(8). Is w smaller than 0?
True
Let j be 6/(-8)*(2 + -6). Let v be 12/14*(-28)/(-6). Suppose -v = -3*a + a. Which is smaller: j or a?
a
Let h = -45 + 39. Is h smaller than 4?
True
Suppose -3*w - 7 + 19 = 0. Suppose v - 3*v = -2*n + w, 5*n = 3*v + 10. Which is bigger: n or 0?
n
Let x = 10 - 5. Suppose 14 = -x*v - 1. Is v != -5?
True
Let o = 4 - 5. Let f be 2/(-156) - (3 - 114/36). Which is smaller: f or o?
o
Let s(y) = 2*y**3 + 2*y**2 - y. Let n be s(1). Let h be 0/((-6)/(-9)*n). Let u = 2 - 0. Which is bigger: h or u?
u
Let h be ((-3)/26)/1*-1. Are 1 and h nonequal?
True
Let v be (20/16 - 1)/(-1). Which is bigger: 4/11 or v?
4/11
Let x = -0.085 + 0.585. Is x greater than 2?
False
Suppose -2*n - 2 + 10 = 0. Let v be n/2 + -5 + -2. Let i(g) = g**2 + 4*g - 4. Let k be i(v). Which is bigger: k or -2/7?
k
Let v be 12/(-2)*2/4. Let b be 2/(-3)*v/(-9). Are -7 and b non-equal?
True
Let a = 2188/73 - 30. Let t = -79/219 - a. Suppose 3*j + 9 = -4*n, -3*j - 10 + 1 = 0. Which is smaller: n or t?
t
Suppose -38*m + 34*m - 132 = 0. Which is greater: m or -34?
m
Let r(a) = -a**2 + 14*a - 7. Let d be r(13). Which is bigger: 0.2 or d?
d
Let t = -25 + 25. Let g(x) = x**3 - x**2 - x - 19. Let w be g(t). Are -18 and w non-equal?
True
Let t be 6/15*30/2. Which is smaller: 7 or t?
t
Suppose -24 = -2*b - 22. Is b < 2/45?
False
Let o = -93.9 - -90. Let u = 4 + o. Is u greater than 3?
False
Suppose -3*z = 2*g + 23, 0 = -4*g - 5*z - 0*z - 45. Let h = g + 4. Is h bigger than -3?
False
Let d = -4207.94 - -4260. Let x = d + -51. Let z = x + -0.06. Which is smaller: z or -1/4?
-1/4
Let a = 203 + -44. Let g be 5/(-2)*a/6. Let m = g + 67. Which is greater: -1/4 or m?
m
Let p(w) = -w**2 - 4*w + 7. Let m be p(-6). Suppose -6 = -2*g, -5*v = -2*g - 3*g + 20. Let s = m - v. Which is smaller: -3 or s?
s
Let x be (-2 + 16)/((-2)/(-1)). Let o = 6 - x. Are o and 5 equal?
False
Let f = 47 + -37. Do 10 and f have the same value?
True
Suppose k + 17 = 18. Let s be 24/(-35) - 4/(-14). Which is bigger: s or k?
k
Suppose 0 = 3*y + 2*y - 10, -3*m - 18 = 3*y. Let r be -2 - 1/5*m. Is 0.1 greater than or equal to r?
True
Let v = 0.16 + -0.06. Which is smaller: v or -4/5?
-4/5
Let f = -1.1 + -0.7. Let g = f + 2. Let o = 2 - 2. Is g greater than or equal to o?
True
Let s be (-4)/(2*(-2)/(-8)). Let h be s/6 + (-4)/(-12). Are h and -1 nonequal?
False
Let f be (-12)/54 - 84/(-297). Which is greater: f or -1?
f
Let x = 1 - 0. Let z = x - 0.6. Let a = 0.4 - z. Which is smaller: -0.2 or a?
-0.2
Suppose a = 4*a + 18. Let f(u) = 0*u**2 + 5 - 4*u - u**2 + 0 + 0*u**2. Let y be f(a). Which is greater: y or -8?
y
Let q = -2 - -4. Let p be (4/(-15))/(q/5). Let b = 1.7 - 1.8. Does b = p?
False
Let y be 7/2*24/21. Which is greater: 6 or y?
6
Let b = 12 - 12. Suppose 3*f = 2*v + 5, -2*f + f = 2*v - 7. Suppose a + 1 = -k + v, 2*a - 2 = 3*k. Which is bigger: a or b?
a
Suppose -j = -2*j + 4. Let l be ((-3)/(-50))/(3/j). Let d be (-1)/5 - (-1)/5. Which is smaller: l or d?
d
Let q(m) = -m**3 + 5*m**2 + 3*m + 3. Let c be q(6). Is c greater than or equal to -16?
True
Suppose g - 4 = q, -4*g - 3*q = -g + 6. Suppose y + 2*y = 0. Are y and g nonequal?
True
Let o be (4/(-6))/(4/12). Let c = -4 + o. Is c < 0?
True
Let k = -3 + 2. Let u = 6 + k. Let i = 9 - u. Is 1 smaller than i?
True
Let i be 0 - 3 - 14/(-6). Let s = -1/3 - i. Which is smaller: -4 or s?
-4
Let f = 58 - 64. Is f greater than or equal to -9?
True
Suppose 8*c = 3*c. Suppose -3*y - 7 = -n - c*n, y = n - 1. Suppose -3*g - 4 = g. Is n smaller than g?
True
Suppose 0*d + s = -d + 6, d = 3*s - 14. Let o = 103/3 - 1951/57. Which is greater: o or d?
d
Let w be 3/(-12) - 15/(-28). Let y = -111 - -234. Let i = y + -617/5. Which is greater: w or i?
w
Let a be 2/(-4)*0 + -2. Let i be 2 - (a/(-3) - -1). Which is smaller: i or 3/7?
i
Suppose q - 2*d = d + 29, 10 = -2*d. Do q and 12 have different values?
True
Suppose 15*n = 17*n. Let b = -629/11 - -57. Are b and n unequal?
True
Let i be 0 - 1 - 1 - -4. Suppose i - 9 = t. Let v = t + 8. Does v = 0.1?
False
Suppose 0 = a + 3*a. Let p be 1 + a + -4 + 8. Let q = 2 + 3. Is q at least as big as p?
True
Let q = 0 - -2. Suppose j = 3*j + q. Let g be -2 + 1 - j/(-5). Which is greater: g or -1?
-1
Let h(m) = -2*m - 10. Let z be h(-2). Which is smaller: -2 or z?
z
Suppose -1 = 5*n - 4*n. Which is greater: n or -1/24?
-1/24
Let m be 377/(-195) + 2/1. Is m smaller than 1?
True
Let o = 80.7 + -81. Is 0.09 >= o?
True
Let m = 3.6 + -2.5. Let j = m + -1. Let f be (-18)/(-63)*(-14)/(-16). Is f less than or equal to j?
False
Let y = -5 + 6. Is y bigger than -2/41?
True
Suppose 0*a + a = 2*c - 8, -3*a = 2*c - 16. Let s be (-7)/14 + c/(-6). Is s < -2?
False
Let n(j) = 9 - 5 - 5 + j**2. Let c = 1 + -1. Let v be n(c). Is 1 >= v?
True
Suppose 8 = 4*a - 0*a. Suppose -5*b + u + 17 - a = 0, -10 = -5*b + 2*u. Suppose -20 = -b*t - 4. Is 4 at most as big as t?
True
Suppose -2 = 73*j - 72*j. Is j less than -2?
False
Suppose -46 = 2*n + 8. Is -27 <= n?
True
Let d be (-7 + -1 + 1)*-1. Let n be -1 + -1 - (2 + -27). Suppose -n = -3*x - y, 5*x + 2*y - 4*y - 20 = 0. Which is smaller: d or x?
x
Let s = 17.15 + -0.15. Let x = -15 + s. Which is bigger: -1 or x?
x
Let g be -6 + 3 - (-2)/2. Let j be 52/(-140) - (-4)/(-20). Is j <= g?
False
Suppose -4*n - 6 = 2. Let i be (2 - 3)*n/(-2). Is 1/29 s