 be 176/(-12)*((-70)/(-24) + -3). Do 2 and s have the same value?
False
Let m be (1 + -1)/((-2)/1). Suppose m*t = t. Which is smaller: t or -4/9?
-4/9
Let n be ((-9)/10)/(88/30). Let h = 1/8 + n. Which is bigger: 0 or h?
0
Suppose 3*j + w = -3*w - 15, 3*w = 0. Is j at least as big as 2?
False
Let a = 1 - -2. Suppose -5*h + h + 16 = 0. Suppose 2*u + a + 5 = h*d, -u - 2 = 0. Is 2/3 > d?
False
Suppose 6*p + 60 = 3*p. Let j = p + 22. Is 11/5 greater than j?
True
Let c = -4 - -3. Let x be ((-2)/4)/((-2)/4). Let q be (x + -2)/((-5)/(-1)). Is q != c?
True
Let m = 6 + -7. Let k(c) = -c**2. Let s(a) = 3*a**2 - 2. Let x(i) = -2*k(i) - s(i). Let r be x(2). Is r at least as big as m?
False
Suppose -7 = -4*i + 5. Is 3 bigger than i?
False
Let o = -238/5 + 48. Suppose -3*w + 4*m - 16 + 36 = 0, m = -4*w - 5. Do w and o have the same value?
False
Let x(i) = -i**3 - 14*i**2 - 14*i - 9. Let b be x(-13). Suppose 0*p - p + 19 = -b*a, p - 5*a - 24 = 0. Is p equal to 1?
False
Suppose 4*v - 4 + 14 = 2*i, -5 = 3*v + i. Let q = 40 + -38. Is v less than or equal to q?
True
Let o = -96 + 95. Which is bigger: o or 1/102?
1/102
Let n = 9499447/19 - 500454. Let k = -483 - n. Is 0 <= k?
True
Let w = -3.9 - -4. Is -22 > w?
False
Suppose -4*d = -2*d. Let s be 5/4*2*2. Suppose -4*z = z - s. Is z > d?
True
Let b be (0 - 2) + -15 + -2. Which is smaller: -2/11 or b?
b
Suppose -5*j = -2*g + 22, -4*g = -2*j + 4 - 16. Let p be (g + -1)/(-1 - 0). Which is greater: -1 or p?
p
Let d = 136 - 137. Are 2/107 and d nonequal?
True
Let b be (-10)/15 - 16/(-6). Suppose b*l - 4*l = -2. Let w be 4/3*33/55. Does w = l?
False
Let p be -1*4 + -15 + 26. Is p less than 1?
False
Suppose -2*m - 10 = -3*m - g, -4*m = 3*g - 35. Let v be (-60)/(-175) - 1/m. Let b(t) = -t**3 + 5*t**2 + 6*t. Let w be b(6). Which is smaller: w or v?
w
Let f be (-12)/(-54) - (-7)/9. Which is greater: f or 3?
3
Let t = -0.03 - -0.13. Let l = -0.08 - -2.08. Let k = 3 - l. Which is smaller: t or k?
t
Suppose -5*d + 44 = 154. Is d greater than -22?
False
Let r be (0 - 1)*(-54)/9. Suppose 3*j + 73 = q, 108 = -4*j - q - 3*q. Let s be r/(-10) - 5/j. Is s greater than -1?
True
Let u = 0 - 2.2. Let o = -1 + -1. Let x = o - u. Is 2 at most as big as x?
False
Let n be 1/8*100/15. Which is greater: 1 or n?
1
Suppose -19*g + 76 = -15*g. Is 2/7 at most g?
True
Suppose 0*t + 4*t - 16 = 0. Let b be (-32)/(-12)*(-3)/(-2). Let l = b - t. Which is bigger: l or -2/17?
l
Let h be (0 - -4)/(3/3). Let n be (1566/h)/((-8)/2). Let f = n - -98. Which is bigger: f or 1?
1
Let z = 5.835 + -0.035. Let l = z - 6. Is l <= -0.2?
True
Suppose 0 = y + y - 32. Suppose y + 12 = -4*q. Let p = -23 - -17. Does q = p?
False
Let n be 3/(-6) + (-6)/4. Let z be 1*(2 + -4) - 0. Is n bigger than z?
False
Let m(v) = -v**2 - 10*v - 6. Let p be m(-10). Suppose -5*f - 20 = -2*d - 3*d, -5*f = -4*d + 18. Which is bigger: p or f?
f
Let n = -197 - -197.3. Which is bigger: -0.01 or n?
n
Let y(a) = 4*a**3 - 4*a**2 + a - 3. Let k(n) = -n**3 - n**2. Let m(v) = 3*k(v) + y(v). Let o = 14 + -7. Let t be m(o). Which is smaller: t or 5?
t
Let l(h) = h + 3. Let i(v) = -4*v - 12. Let d(w) = 6*i(w) + 22*l(w). Let p be d(-4). Suppose 2*m + p*s - 4 = 0, -4*s + 9 = -0*m + 5*m. Is m less than 2?
True
Let q(b) be the third derivative of -b**6/120 - b**5/20 + b**4/24 - 3*b**2. Let i be q(-3). Which is greater: -2 or i?
-2
Let x = 3 - -33. Let n be (4/x)/(10/6). Let l be (-3)/6 + 2/4. Is n >= l?
True
Let a = -18 + 17. Are -4/47 and a equal?
False
Suppose -g = g - 48. Let s be (-3 - (-76)/g) + -1. Which is smaller: s or 0?
s
Let f be 36/(-70)*14/3. Is -2 less than f?
False
Let j(a) = -a**2 + 4*a - 4. Let n be j(3). Let f(r) = 5*r**2 + 2*r + 1. Let m be f(n). Which is smaller: 3 or m?
3
Let y(r) = r + 4. Let m be y(-5). Let g = -116/605 + -1/121. Which is smaller: m or g?
m
Let f = -59/78 - -10/39. Is 3.4 not equal to f?
True
Let f be (-3)/((36/10)/(-6)). Which is bigger: 6 or f?
6
Let y = -5 - -3. Let q be y/(1 + (1 - -2)). Which is bigger: -1 or q?
q
Let k be 6/(-9)*-1*27/12. Let f be -3 + 1 - (0 - 4). Is f < k?
False
Let u = -92 + 144. Which is bigger: u or 50?
u
Let w = 0.12 - 0.02. Suppose 5 = -4*n + 1. Let u = n + 1. Which is greater: u or w?
w
Suppose 27 = 3*x + 5*y, -5*x + y + 26 = 3*y. Suppose -q = -x*t, q = 4*t + 3*q + 12. Is -1 at most t?
True
Suppose 5*r = 2*m + 87, 0*m + 15 = r + 2*m. Is r < 1/3?
False
Suppose 3*v + x - 16 = 10, 0 = 4*v - 5*x - 41. Suppose 7 = s + v. Which is smaller: 1 or s?
s
Suppose 63 = 6*v - 3*v. Do 20 and v have the same value?
False
Let b be 2 + -1 - -1*3. Suppose 0*w + w = -3*k - 6, 5*w - 2*k - b = 0. Are 2 and w unequal?
True
Let n(o) = -o + 5. Let h be n(-7). Suppose 0*k - h = -4*k. Suppose 0 = -d + 5*v - 2 + k, v = -5*d + 5. Which is smaller: 3 or d?
d
Suppose 2*f + 3 + 1 = 0, 2*f = -4*o - 152. Let j = 52 + o. Suppose -5 + j = -5*i. Is -2/3 at least as big as i?
True
Let u = -760 + 754. Let r be ((-12)/9)/((-2)/(-6)). Which is smaller: u or r?
u
Suppose 3*q = 4*q - 1. Let v(k) = -11*k - 3. Let l(s) = -5*s - 1. Let a(m) = 5*l(m) - 2*v(m). Let p be a(q). Which is smaller: p or -3?
-3
Suppose -3*w = 3*o + 39, 2*o - 3*w + 15 = -o. Which is smaller: o or -11?
-11
Let v(j) = -4*j**3 - 2*j**2 - j + 2. Let s be v(2). Let g be s/4*(-2)/5. Does 8 = g?
False
Let i be -2*(14/4 + -2). Let q = -2 + 0. Which is smaller: i or q?
i
Let t = 0 + -3. Suppose f = 6*f - 25. Let q be t/f*(-1)/3. Is 0 bigger than q?
False
Suppose -5*g - 2*g = 140. Does g = -21?
False
Let i be 0 + (-1 - -1)/(-1). Suppose -u + 8 - 3 = i. Are u and 6 non-equal?
True
Suppose 6*i - i = 20. Let n be -2*(-1 - (-14)/i). Which is greater: -4 or n?
-4
Let x = -26 + 71. Suppose -5*h - 4*f + x = -0*f, -2*h + 35 = 5*f. Let p = 0 - -4. Is h smaller than p?
False
Let w be (90/21)/(-5)*-7. Suppose 3 = 2*z - 1. Which is smaller: z or w?
z
Let i(o) = -o - 5. Let w be i(-2). Let f be ((-3)/(-2))/(w/(-6)). Is f at most 4?
True
Let n(d) = d**3 - 5*d**2 - 8*d + 18. Let i be n(5). Which is smaller: i or -24?
-24
Suppose 277 = 4*z + 1709. Let c = 4656/13 + z. Which is smaller: 0 or c?
0
Let v = 2/5 - -11/10. Which is bigger: v or 0.02?
v
Let q = -8 - -32. Let m be 4 - 2 - (-12)/(-3). Let r be q/495 - m/(-11). Which is greater: 1 or r?
1
Let t = 0 - -0.1. Let m = -9.1 - -9. Is m at most as big as t?
True
Let s = 509/6 - 85. Which is smaller: 0.2 or s?
s
Let y(w) = -w**2 - w - 10. Let j be y(0). Which is smaller: j or -1/3?
j
Suppose -4*x - x = -5. Is 0.02 > x?
False
Let c = -43/204 - 2/51. Is 2/9 at least c?
True
Let s(p) = -p**3 + 14*p**2 - 3. Let d be s(14). Let y be (-9)/6*(-4 + 0). Let w be (d/9)/(2/y). Do -1/15 and w have the same value?
False
Let s = -9 - -10.5. Let h = -1.8 + s. Which is smaller: -2 or h?
-2
Let z = 11 + -11.1. Let x be ((-36)/(-20))/(2/14). Let y = -13 + x. Which is smaller: z or y?
y
Let q be 4/5*2/(-8). Let c be (1 + -1)*(-1 + 0). Let w(x) = -x**3. Let y be w(c). Is y at least as big as q?
True
Let a = -0.1 - 0.1. Let j = 3.2 + a. Let s = j + -3. Is s bigger than 0.1?
False
Let f = 4 - 0. Suppose -f = -q - 3. Let w = -0.3 + 0.2. Is w less than or equal to q?
True
Let i(r) = r**3 - r + 25. Let z be i(0). Is z less than 24?
False
Let b = -16 - -23. Let c = 6 - b. Which is smaller: -0.1 or c?
c
Let k = -41 + 41.1. Which is smaller: -1/4 or k?
-1/4
Let o = -0.6 - 0.4. Let y = 18 - 18.3. Which is smaller: y or o?
o
Let h be (0 + 4)*30/16. Let p be ((-2751)/(-54))/7 - 0. Let n = h - p. Is n less than 2?
True
Let t = -2.09 - -0.09. Which is smaller: t or -5?
-5
Let m(a) = -a**2 - a + 5. Let u be m(0). Is 5 > u?
False
Let z = -113 - -61. Let b be -2*(-1 + z/(-50)). Which is greater: 0 or b?
0
Let q = -2 + 2.05. Let u = q + -0.05. Is -3/5 greater than u?
False
Let v(h) = h**2 + 1. Let g be v(0). Let l = g - -2. Suppose 0*o - 3*o + 6 = 0. Which is bigger: o or l?
l
Suppose -4*i + o - 4*o = -4, -5*o = -i - 22. Let f be (i/(-4))/((-1)/4). Which is smaller: 2 or f?
f
Let h(r) = r**3 - 5*r**2 + 3*r - 2. Let j be h(4). Is -9/2 greater than j?
True
Let h = 1 - 0.5. Let v = h - 0.48. Let t = 2.02 - v. Do t and 0.1 have different values?
True
Let w(a) = -2*a**2 - 3*a - 1. Let d be w(-2). Let l(j) = 2*j**2 - 2*j. Let f be l(2). Suppose f*y - 21 = 3*r, -2*y = 4*r + 2 + 4. Is r at most as big as d?
True
Let k(f