 Let w be s(-2). Which is bigger: w or 4?
w
Suppose -3*y - 5*d + 4 - 32 = 0, -5*y = -d. Is y > -26?
True
Let l(x) = 7*x**3 - 5*x**3 + 4*x**3 - 4*x**2 - 14*x**3 + 7*x**3 - 2. Suppose -3*g = 14 - 2. Let t be l(g). Is -3 at most as big as t?
True
Let d be 2/(-2) - (0 + -2). Let p = 3 - d. Let o be p/9 + (-427)/1071. Which is greater: 0 or o?
0
Suppose 0 = -2*t - 8 - 36. Is -20 < t?
False
Let r = 1 - 1. Suppose -2*q + 1508 = -15*q. Let i = -115 - q. Which is smaller: r or i?
r
Let s = -8 - 9. Let r = 10.991 + 0.009. Let x = s + r. Is x greater than or equal to 2?
False
Let y = 70.32 + -75. Let x = y + -0.32. Let o be (-3 + 3)/(1 - 3). Which is smaller: o or x?
x
Let f be (-7)/((-28)/104) + -2. Let n be -2 + 5/(20/f). Is n bigger than 3?
True
Let o = -10 - -18. Let f = o + -7.99. Which is smaller: 0 or f?
0
Let d be (-174)/(-290) - 0/1. Is d at least -1.2?
True
Let y be 1 - -1 - 2/(-1). Let q be 4 - ((-124)/2)/(-2). Let a = 26 + q. Which is bigger: y or a?
y
Let b = -8139/18361 + 15/301. Are b and 1 unequal?
True
Let r = 1955 + -1955.0087. Are r and -0.1 nonequal?
True
Suppose 3*m - 3 = 12. Suppose -z = m*g + 27, -2*g - 48 = 4*z + 3*g. Is z at most as big as -17/3?
True
Suppose 0 = l + 3*g + 15, 4*l - 3*g = -2*g - 21. Suppose -n = 3*n - 8. Let f be 3 - (1 - n - -11). Which is greater: f or l?
l
Let n(j) = -j**2 + 7*j + 4. Let i be n(7). Suppose -4*h + 32 = 5*r, -i*r - 7 = -23. Suppose -4*v + 0 = h*o - 5, -o = -3. Which is greater: v or 1?
1
Let t be 8/(-20) - 3/(-20). Let c(r) = -r**3 + 12*r**2 + 11*r - 15. Let a be c(13). Let x = a + 41. Is t at least x?
False
Let k(b) = 5*b + 168. Let n be k(17). Which is bigger: 252 or n?
n
Suppose -i - 17 = -4*b, 0 = -b + 2*b + 3*i - 1. Let s be (-47)/(-95) - 28/(-266). Is b >= s?
True
Let h(y) = -2*y**2 + 9*y - 3. Let s be h(4). Is 1/59 > s?
False
Suppose 2*d + 8 = 10*d. Is d not equal to 92?
True
Let n be ((-3)/(-6))/(-2 + (-40)/(-16)). Is n at least 17/63?
True
Let m = 60.7 - 53. Let g = m + -0.7. Let j(x) = 3*x**3 + 2*x + 3. Let c be j(-1). Is c less than or equal to g?
True
Let s = -3.24 + 43.24. Is s <= 2/7?
False
Let t = 11 + -16. Let b be t/(0/(-4) + 4). Let q = -0.2 - 0.8. Which is bigger: q or b?
q
Let j(r) = -3*r**3 - r**2 - 4*r - 4. Let a be j(-3). Let u be (-1 - -2)/(2/158). Which is bigger: a or u?
a
Let l = -0.047 - 0. Let j = -0.037 - l. Which is bigger: j or -1/3?
j
Suppose 6 = -16*j + 14*j. Let y be ((-112452)/(-306))/(2/j). Let u = y + 551. Which is greater: 0 or u?
0
Let f = 4160/3 - 1406. Is -18 not equal to f?
True
Let r = -2.6 - 15.4. Let w = -20.5 - r. Let b = 9.5 + w. Which is smaller: b or 2/9?
2/9
Let k = -23 + 25. Let r be (k/20*4)/(8/12). Is 0 greater than r?
False
Suppose -a + 4*h + 18 = 0, 3*a + 3*h = h - 16. Let z be a/(-4)*(-2)/(-4). Let b(v) = v**3 + 8*v**2 + 11*v - 6. Let x be b(-6). Are z and x nonequal?
True
Let h = 10843 + -10842. Let v = 0.033 + -0.303. Which is greater: v or h?
h
Let m = 37 + -22. Suppose 0 = -w + u - 3, 0 = 2*w + 3*u - 2*u + m. Let o(l) = l**3 + 5*l**2 + 24*l + 74. Let c be o(-4). Is c < w?
False
Let z(n) = -n**3 - 11*n**2 + 12*n + 19. Let o be z(-11). Does 1/4 = o?
False
Let t(b) = -3*b - 6. Let i be t(-2). Suppose -a + 2*a + a = i. Which is smaller: a or 2?
a
Let s(c) = 2*c - 1. Let t be s(2). Suppose -9 = t*d - 3*u, 2*u - 11 = -3*d - 0*u. Is d != -2/71?
True
Let t be -64 - -62 - (-1)/((-6)/143). Are t and -26 nonequal?
True
Let g be (1 + 123)/(2 + -4). Let r = -162/157 - 38131/628. Let n = r - g. Which is smaller: -3 or n?
-3
Suppose -5*u + z - 5*z + 34 = 0, 3*u - 3*z = 15. Suppose 4*k = 5*t - 44, -t - u = 3*k + 2*t. Let q be 8/k*1/(-2). Are 1 and q unequal?
True
Let j(w) = -3*w - 7. Let h be j(-5). Suppose y + 118 = -0*v + 4*v, -4*v - 3*y = -110. Suppose -3*z + v = -0*z + 2*i, 3*z + i - 25 = 0. Is h <= z?
False
Suppose 5*q = -0*d - d + 14, 5*d + 4*q - 7 = 0. Let p(h) = -h**3 - 9*h**2 - 2*h - 1. Let i be p(-10). Let s = i + -1667/14. Which is greater: d or s?
s
Suppose m - 27 = -2*c, -3*m - 14 = -5*c + 26. Let t(p) = -6*p + 27. Let x be t(c). Is -38 at most x?
False
Let f = 0.221 - -0.179. Is f at least -0.17?
True
Let o = 16.9 + -19. Let s = 0.36 - -1.64. Let a = o + s. Does a = -0.1?
True
Let s = -0.51 - 9.09. Let j = s - -9.5. Which is greater: 0.32 or j?
0.32
Let m(o) = -2*o + 15. Let r be m(0). Suppose 15 = 5*z - r. Let s(q) = q**3 - 7*q**2 + 7*q - 5. Let a be s(z). Is 3 >= a?
True
Let u = -69 - -79. Is u at least as big as 4?
True
Let p(a) = -12*a**2 + 23. Let i be p(-4). Which is bigger: i or -168?
-168
Let i = 445525/18309 + -2/6103. Let z = i + -2695/111. Which is smaller: z or -1?
-1
Suppose -50*h - 21 + 71 = 0. Is 1/1681 greater than or equal to h?
False
Let v = 1380205/186901 - 1/14377. Which is greater: 6 or v?
v
Let t = -275 - -272.3. Which is greater: -0.05 or t?
-0.05
Let z(x) = -x**2 + 4*x + 14. Suppose 2*d + 3*d = 30. Let i be z(d). Let n(y) = 2*y - 10. Let v be n(7). Which is smaller: v or i?
i
Let l = -59 + 82. Let j = -3586 + 3587. Which is bigger: l or j?
l
Suppose -y = 2*y + r - 7, 5*y - 3*r + 7 = 0. Let f be (-495)/363 + 8/22. Which is greater: y or f?
y
Suppose 29*u + 30 = -u. Do -35 and u have different values?
True
Let b = 91 + 56. Let f = 146 - b. Do 7 and f have the same value?
False
Suppose 3*r + 6*r - 576 = 0. Let d = r + -63. Which is smaller: -3 or d?
-3
Let g = 96138291046/2123 - 45284168. Let l = -6/193 + g. Is l equal to 1?
False
Suppose 0 = -g + 4*r - 1483, -r - 992 = -2*g - 3979. Which is smaller: g or -1496?
-1496
Let k = -284 + 268. Let h(c) = 16*c**3 - c**2 - 2*c - 1. Let q be h(-1). Is q less than k?
False
Let n = -3 - -3.13. Let p = 0.37 - 0.64. Let y = p - n. Which is greater: -1 or y?
y
Let y = 352 - 339. Which is smaller: y or 0.1?
0.1
Suppose 0 = z + 48 - 50. Which is bigger: 12/19 or z?
z
Let k = -10.4 - 2.6. Let l = k + 13.3. Let s = 127 + -127. Which is greater: s or l?
l
Let a = 2.03 - 3.03. Which is bigger: 76 or a?
76
Let j = -188 + 196. Is j greater than 4?
True
Let l = 181289/1729 + -1983/19. Let w = 10/13 - l. Which is smaller: -1 or w?
-1
Let h = 8 + -3. Let w = 11 + -5. Let b be 2/w + 84/18. Is h <= b?
True
Let x(s) = s**3 + 25*s**2 - 32*s - 70. Let v be x(-26). Is v less than or equal to 86?
True
Let i = 134 - 133.8. Are 0.1 and i nonequal?
True
Let l = 114 + -165. Let u be l/15 - -3 - 0. Which is smaller: 0 or u?
u
Let w be (0 + 1)/(1/(-1)). Let r be ((-3)/(-4))/(30/160). Suppose 0 = q + 3*a + 7, -3*a - r = 2. Is q bigger than w?
False
Let j(t) = -3*t**3 - t**2 + t. Suppose -4*f = 2*a - 6, 1 - 5 = -5*f + a. Let k be j(f). Is -2 bigger than k?
True
Let b(c) = 27*c**3 - 2*c**2 - 2*c - 1. Let a be b(-1). Does a = -26?
False
Let r be (-5 - -3) + 36/21. Let w(c) = c + 2. Let a be w(3). Suppose -a*s = -15, -s = 3*t + 3*s - 15. Is t greater than r?
True
Let c(y) = -y**2 + 20*y - 19. Let o be c(13). Suppose -3*n = 3*n + o. Which is smaller: n or -13?
-13
Let h be (-14*(-4)/14)/4. Which is smaller: h or 98?
h
Let g = 171 - 172. Is g < 12/79?
True
Let x = -17.1 - -17.17. Does x = 0.05?
False
Let n be 150/(-425)*-17 - (0 - -1). Let r = -1/11 + -19/33. Which is smaller: n or r?
r
Let c = 39.268 - -0.732. Is c at most as big as -0.4?
False
Let o = -21.8 + 21. Let d = 1.8 + o. Let u = -1.1 + d. Which is smaller: 2/5 or u?
u
Suppose -4*v - 5*t + 36 = 0, 0 = -v - 2*v - 6*t + 27. Let b(l) = -l**3 + 7*l**2 + 7*l + 4. Let p be b(8). Which is bigger: p or v?
v
Let o(t) be the second derivative of 5*t**3/6 - 22*t**2 - 9*t. Let k be o(9). Are -2/81 and k nonequal?
True
Let k = -4.397 - -0.037. Which is greater: k or 0?
0
Let x(p) = p**3 + 8*p**2 + 7*p - 3. Let v be x(-7). Let n = -6 - -14. Let j be (v + n/3)*-1. Which is smaller: j or 1?
j
Let z be 2/(-4)*(2 + -16). Let b be (18 + 440/(-24))*(-2)/(-1). Is z > b?
True
Let l(n) = 14*n + 1. Let v be l(0). Let r be (-354)/70 + 2 - -3. Is v not equal to r?
True
Suppose -5*t = -4*c + 2281, -2*t + 9*c = 4*c + 926. Is -453 > t?
False
Let u = 84 + -147. Let t = u + 63.08. Is t != 1?
True
Let j be -1 + -2 + (33/3 - 8). Is j >= -10/17?
True
Let z = 1476 - 1475. Is z equal to 3/794?
False
Suppose c + 15 = 5*k - 10*k, -k + 2*c = -8. Let m be (-1)/(-2)*1/5*k. Is m at least 1?
False
Let m be (-8)/(-14) + 450/(-175). Let k = 2.9 + -15.9. Which is smaller: m or k?
k
Suppose -