 = -23. Let n be f/(-2) + 4/2. Is n greater than -1/9?
True
Let x = 0.77 - 0.17. Let v = x - 0.44. Let d = 0.04 + v. Which is bigger: d or 1?
1
Let q = -11 - -32. Let s be 3/3*(0 - 9). Let i = s + q. Which is smaller: -1 or i?
-1
Let t be 3/((-138)/119) + 15/5. Are t and 0 nonequal?
True
Let i = 68/5 + -14. Let k = -5 + 3. Let n be (k/8)/(3/(-9)). Is n less than or equal to i?
False
Let w = -82/43 + 6556/3483. Which is smaller: w or 0?
w
Let o be 1*(-34*5 + (-44)/(-11)). Which is greater: -167 or o?
o
Suppose -3*d + 5*y - 5 = 0, -4*d - 4*y = -0*d + 28. Let s = d + -3. Let i be 1 + -5 - s*1. Which is bigger: 2 or i?
i
Suppose -n = 3*a - 8, 12*a + 3*n - 10 = 10*a. Let m(j) = -4*j + 1. Let o be m(-3). Is a smaller than o?
True
Let r be (-4 - 26/(-6)) + 28/(-21). Which is smaller: -5/209 or r?
r
Let x = -23 - -62. Let i be (-182)/(-35) - (-3)/(-15). Suppose -i*t = -14 + x. Which is bigger: -3 or t?
-3
Let o(x) = 5*x**2 + 3*x - 2. Let c be o(3). Is c > 254/5?
True
Let w = 40 + -7. Suppose w = 6*c + 177. Which is smaller: -23 or c?
c
Let o = -9.01 - -0.01. Let s = o + 9. Which is greater: s or 2/11?
2/11
Let d be 1 - (0 - 3) - -6. Let p be d/8 + 13/(-52). Is 1/27 at most as big as p?
True
Let x(k) = k**3 - 10*k**2 - 10*k. Let y be x(11). Suppose -24 = -7*m + y*m. Let r(f) = -f - 11. Let l be r(m). Which is bigger: -17/3 or l?
l
Let r be 2 - 1 - 6*(-10)/(-45). Which is smaller: 1/9 or r?
r
Suppose 2*g + 1 = -13. Let x = g - -9. Suppose 0*w = x*w - 2. Which is bigger: w or 2?
2
Let q = 45 - 43. Let w = 16 + -16. Which is bigger: w or q?
q
Let a = -19 + 29. Let h = 16 - a. Let t be h/(-20) + 5/10. Which is bigger: t or 1?
1
Let u be 2/4*(14 - 14 - -310). Are u and 0 equal?
False
Suppose 3*n = 5*m + 70, -3*m - 4*n - 89 = -18. Which is greater: -2 or m?
-2
Suppose 4*m = 31 + 25. Let n = 7 - m. Let u be 3/9*90/(-12)*2. Which is smaller: n or u?
n
Suppose 15 = -4*b - 5, -2*y = 2*b + 126. Is y at least -296/5?
True
Let c be 84*(1/3 + 6 + -5). Which is smaller: 113 or c?
c
Let v be (0 - (-12)/10)*1. Let t(b) = b**3 + 3*b**2 - 13*b + 8. Let l be t(5). Suppose 3*z = l - 140. Which is greater: v or z?
v
Let z = -6.7 - -10. Let q = z - 1.9. Is q greater than or equal to -1?
True
Let s(h) = -2*h - 2. Let b be s(8). Let r = b - -23. Which is bigger: 7 or r?
7
Let b = 0.6 - -1.2. Let p = -1.2 - b. Let m = 6.7 + -7. Which is greater: m or p?
m
Let r = 0.1 + 0.1. Let g = -103 + 107.3. Let u = 4.32 - g. Which is smaller: u or r?
u
Suppose -r - 4 = -6, -718 = -2*l + 5*r. Let g be 105/l*2*4. Is 2 >= g?
False
Let c(x) = -4*x**2 - 4*x - 10. Let r be c(3). Which is smaller: -57 or r?
r
Let u = 296 + -293. Let y = 0 - 0. Let p = y + 4. Which is bigger: p or u?
p
Let j = -96 - -71. Let p = 25 + j. Do p and 1/32 have different values?
True
Suppose 11 - 16 = 5*w. Is 5/11 >= w?
True
Suppose 0 = t - 2*a - 8, -t - 5*a + 9 = 8. Let n(p) = p**3 - 2*p**2 - 3*p + 4. Let b be n(3). Which is smaller: b or t?
b
Let l(o) = -o**2 + 2*o + 10. Suppose -10 = 3*p + 2, -d - 5*p - 13 = 0. Let m be l(d). Is m not equal to -25?
False
Suppose -176 = -0*b - 2*b. Let o be (-16)/b + (-334)/(-22). Suppose o = -4*r + 11. Is r greater than -3/13?
False
Let q(c) = 2*c**3 + 4*c**2 + 7*c + 2. Let o be q(-3). Is -43 > o?
False
Let b be -13 - (5 + (-53651)/2977). Which is smaller: b or 0?
0
Let p = 3 + 2. Suppose 0 = -2*a + a + 1, 3*a = p*v - 22. Suppose 9 = -3*x + f, -5*x - 19 = -3*x - v*f. Is x at least -1?
False
Let w = 21 + -21. Suppose w = -21*d + 24*d - 21. Let a(z) = -z**2 + 5*z + 15. Let l be a(d). Is l at least as big as -3/10?
True
Suppose 5*b - 21 = 3*i, i - 12 + 5 = -3*b. Suppose s = 4*n + 18, -b*n - 22 = -4*s + 50. Is s < 19?
True
Let c = 11.4 + 50.6. Let y = c + -33. Let m = y + -29.14. Is m greater than -1/2?
True
Let a = -4.32 + 3.09. Let o = a - -0.23. Let y(c) = 3*c - 4. Let j be y(-3). Is o <= j?
False
Let m(q) be the second derivative of q**3/6 + 17*q**2/2 - 7*q. Let w be m(-10). Which is smaller: 8 or w?
w
Suppose 2*w + 25 = -h, -4*h = -2*w - 3*w - 82. Do 4 and w have the same value?
False
Let r = 260 - 435. Are r and -174 non-equal?
True
Suppose 3*l = 2*w + 17, 7*w - l + 75 = 2*w. Let v = 17 + w. Let g be 5/25 + (v - 1). Are -2/11 and g non-equal?
True
Suppose 5 = -b, 8*q - 4*b = 3*q + 20. Which is smaller: -2 or q?
-2
Let s = 203/6 - 103/3. Is s smaller than -460?
False
Suppose 6*x + 5*d - 33 = 2*x, -25 = -5*d. Suppose 0 = -x*j - 6 + 2. Let z = 10 + -10. Which is greater: z or j?
z
Let m(p) = -3*p + 18. Suppose 0 = 12*h - 15*h + 27. Let w be m(h). Is w at least as big as 0?
False
Let b = -2599387/88 - -29538. Let u be ((-6)/(-4))/((-33)/(-8)). Let m = u + b. Are 0 and m unequal?
True
Let p be (12/30)/((-14)/20). Let y = -72 - -73. Are p and y unequal?
True
Let b = -0.2951 - 0.0049. Which is smaller: -128 or b?
-128
Suppose -8*a + 225 = -55. Let w be 136/(-6)*3/(-2). Which is bigger: a or w?
a
Let s = -6043 - -26969. Let z = s - 82809/4. Let h = z + -221. Which is smaller: 2 or h?
2
Let y = -17 + 20. Suppose n = -3*d, n = 2*d + y*n. Suppose d = i - o + 10, -o + 22 = -4*i - 21. Is -10 greater than or equal to i?
True
Suppose -p - 220 = 4*p. Let c be 3 + ((-1668)/(-9))/(-4). Let r = p - c. Is -2 less than r?
True
Let g(v) = -v**2 - 4*v + 4. Let j be g(-4). Let a be 1 + 48 + j + -5. Is 48 not equal to a?
False
Let h(t) = 4*t - 5*t + 8*t + 32. Let a be h(-10). Does a = -39?
False
Let v = -13 - -40/3. Let m(w) = -6*w + 14. Let n be m(6). Let h = 23 + n. Is v at most h?
True
Let x(p) be the first derivative of 3*p**2/2 - 4*p - 1. Let n be x(2). Suppose -n + 1 = q. Is q less than or equal to -1/15?
True
Suppose -b + 1 = c, -8*c = -12*c - 5*b + 3. Let o(t) = t**3 - 2*t**2 - t - 3. Let k be o(3). Which is bigger: c or k?
k
Suppose 918 = 25*l + 2*l. Which is smaller: 9 or l?
9
Let a be 1/3 + (-2)/12. Let l = -65 - -67. Which is smaller: l or a?
a
Let c = -130 + 129. Is c <= -2/201?
True
Let o be 0 - ((-1 - 1) + 1). Let k = -26391.34 + 26391. Which is greater: o or k?
o
Let v = -8.06 + 9. Let s = 1.96 + -2. Let o = s + v. Are o and -0.1 equal?
False
Let x be 48054/(-34762)*2/(-6). Let i = x - -1/1337. Let z(d) = -34*d - 475. Let a be z(-14). Which is smaller: i or a?
i
Let t = 2679 + -18736/7. Which is greater: -0.3 or t?
t
Let y = -311 + 378. Is y < 73?
True
Let m = -230 + -958. Is m > -1187?
False
Let x = 16.2 - 13. Let s = -11.2 + x. Which is smaller: s or 0?
s
Let j be (-1)/3 - (-2717)/(-57). Let s be (-1 + -6)*j/84. Is s > 16/5?
True
Let h be 5 + (4 - 5495/615). Is 1 >= h?
True
Suppose 0 = 9*g + 10 + 8. Let t be (-31)/(g*(-3)/(-12)). Is t > 62?
False
Let n = -581 + 677. Which is smaller: n or 99?
n
Suppose 27 = -3*n - 3. Let a = n + 15. Suppose 5*m = -5*w - a - 5, -3*m = -4*w - 22. Which is smaller: w or -8/3?
w
Let b = -331 - -332. Which is greater: b or 3/100?
b
Let d be (7896/(-20))/(-6) + (-3)/(-15). Suppose 3*p + 3*i = -d + 15, 3*p + 54 = -4*i. Is -14 bigger than p?
False
Let l = -622/5 - -1846/15. Suppose -2*z - 1 - 3 = 0. Is z less than or equal to l?
True
Let s be (-5 + -2 + 5)*57/(-2). Which is smaller: s or 2/3?
2/3
Suppose 6*h - 15 = h. Suppose -5*f + 16 = h*t, -2 = -f - f + t. Suppose 4*x + 0*o - f*o = 0, -x - 2*o = 0. Is x less than -1/15?
False
Let q = -2 - -5. Suppose 0 = -q*p - 12. Suppose -5*c - 16*c - 84 = 0. Is p less than or equal to c?
True
Let n be 2/(-9) - (-63)/2754*14. Which is bigger: 0 or n?
n
Let l(y) = -20*y**3 + 2 + y + y**2 + 19*y**3 + 0*y. Let d be l(2). Is 2 bigger than d?
True
Let a = -5 + -36. Let n = a - -30. Are n and 6 nonequal?
True
Let k be (1 + 0)/((-3)/(-24)). Let t be (-338)/(-1590) - k/40. Let p = -149/795 - t. Is p greater than or equal to -2?
True
Let c be -5*((-54)/810)/(1/6). Is c at least 179?
False
Let k be (-8)/(32/(-55))*10. Are 137 and k equal?
False
Suppose 2*m = 4*m - 12. Suppose 4*p - m = p. Let l be 0/(-1*(-1 + p)). Does 3 = l?
False
Let k = 12.2 - 2.2. Let u be (2 - (-132)/(-34)) + 2. Let w = 21/34 - u. Is k < w?
False
Let f = -8 - -10. Suppose -2*m - 16 = f*m. Let g be -2 - 6*4/8. Is m greater than or equal to g?
True
Suppose 0 = -22*g + 6 - 6. Which is bigger: g or -5/53?
g
Let f(u) be the first derivative of u**2 + 41*u - 1. Let d be f(-26). Suppose 0 = -n - 1 - 9. Do d and n have different values?
True
Let q = -35 + 30. Let w 