?
z
Let h(t) = -10*t**3 - 2*t**2 - 2*t. Let a be h(-1). Let f(y) = 45*y**2 + 2*y - 1. Let o be f(1). Suppose -9*p + o = a. Which is bigger: p or 3?
p
Let b be -3 + 6 + 99/(-24). Let n = -9 + 2. Let l(z) = -z**3 - 8*z**2 - 5*z + 13. Let k be l(n). Is b less than or equal to k?
True
Suppose -2*u = -0*u + 23*l - 822, 2*u + 2*l - 906 = 0. Which is bigger: 5012/11 or u?
u
Suppose 17772*h = 17756*h. Which is smaller: h or -1/9605?
-1/9605
Let v = -9417 - -10189. Which is smaller: v or 2?
2
Let l(i) = -3*i + 1. Let z(o) = -5*o + 5. Let b be z(-4). Let s be l(b). Is s less than -74?
False
Let z = 3.082 + 0.918. Is z at most 3/23?
False
Let z = 41 + 5. Suppose 3*m = -43 + z. Let r be (162/(-12))/(1 + m). Which is smaller: -7 or r?
-7
Let r = 0.05065 + -0.78065. Let b be 5/3*2/5. Is b greater than or equal to r?
True
Suppose 8592 = -2*m - 2*x - 2024, 2*m - 4*x = -10628. Which is greater: m or -5309?
-5309
Let u be ((-20)/30)/(296268/(-84)). Is u equal to 0?
False
Suppose 0 = -3*o - 4*y + 7*y + 6, 4*o - 13 = 5*y. Let c be 23 - (-9)/o*(-2 + 1). Is 25 bigger than c?
False
Let v = 18275 + -18191. Is v greater than 100?
False
Let z(i) = 3*i**2 + 27*i + 28. Let x(h) = -h**2 - 9*h - 9. Let w(y) = 7*x(y) + 2*z(y). Let s be w(-8). Let v be (6945/870 - 8)/((-1)/(-2)). Does s = v?
False
Let u = -2 - 0. Let s = 15644/3325 - 118/25. Which is smaller: s or u?
u
Let n = -22 - -38. Let b(o) = -o**3 + 6*o**2 - 9*o + 9. Let t be b(4). Suppose -5*a = -0*w - 3*w - 61, 0 = 5*a + t*w - 85. Is a greater than n?
False
Suppose -14 = -k - 3*r, -k + 12 = -46*r + 51*r. Which is smaller: 23 or k?
k
Let r be ((-12)/(-150) - (-4)/(-50))/3. Are r and 7/4176 equal?
False
Let x(g) = 4*g**2 + 106*g + 18. Let p be x(-26). Which is smaller: 17 or p?
p
Let g be (516/2580)/(((-6)/448)/(-3)). Which is smaller: g or -0.2?
-0.2
Let f = 0.1282 - 0.0352. Let o = 5.907 + f. Do 1/15 and o have different values?
True
Suppose -j = -0*j + 3. Let q be (-6)/2*(-2 - j). Let n be 2 + 38/(-18) + (-1700)/90. Which is smaller: q or n?
n
Suppose -7*t + 0 = 14. Let q be 6/9 + 620/375 + t. Let b be 0 - (1 + 1 + -1). Which is greater: b or q?
q
Let g = 112.2 + 1378.8. Let l = -1416.1 + g. Let y = l - 75. Is y >= -13?
True
Let v = 14 - 5. Suppose 56*u - 864 - 369 = -81*u. Is u bigger than v?
False
Suppose -33 = -5*q + 2*j, 2*q - 17 = j - 3. Suppose -q*v + 17 = 3*s, 5*s + 4 - 19 = 5*v. Let o be 782/12 - ((-115)/30 + s). Which is smaller: o or 64?
64
Let s = -12520 + 12519. Let a = 115.11 - 116. Let u = a - -0.52. Does u = s?
False
Suppose -119*z - 80 = -123*z. Let a be (-1*2/(-4))/((-3735)/z). Which is bigger: a or -2/5?
a
Let r be (-25)/(-100) - (-89)/(-4). Let w be 4/r - (-812)/4829. Let z = -8822/3073 - w. Is -3 bigger than z?
False
Let y = 1301/780 + 27/65. Let n(d) = -3*d**3 - 252*d**2 - 275*d - 2157. Let a be n(-83). Is y less than a?
False
Let g = 5428 + -1948. Is g at least 3480?
True
Suppose b + 0*v - v - 7 = 0, 0 = -3*b + v + 11. Suppose -6 = -c - 2*u, 7*c - 4*c - 18 = -2*u. Let y be (8/3)/(4/c). Which is smaller: y or b?
b
Let t = -6128 + 6127.9. Let r = -0.185 - -0.01. Are t and r nonequal?
True
Let d = -0.4 - -1.04. Let r = d - 0.78. Is r equal to 2/15?
False
Let z(u) = 15*u**3 + 182*u**2 + 23*u - 4. Let w be z(-12). Let b = 2 + -2. Suppose b*y = w*y - 128. Which is bigger: 18 or y?
18
Let q be 2/(-10)*(131 + -132). Which is bigger: q or 2/205?
q
Let j be (-1)/(1 + (-3)/6). Let w be (j/(-95))/((-22)/20). Let u = w - -175/209. Is u at least 0?
True
Suppose 5*h + 152 = 11*n + 13397, 0 = -h - 4*n + 2680. Is h not equal to 2660?
False
Let k(x) = x**2 + 3*x - 42. Let t be k(-8). Let q be (-26)/26*(t - -1). Which is greater: q or 0?
q
Let g(x) = 51 + 250*x + 1 - 279*x + x**2. Let b be g(27). Let k be (b*5/(-10))/1. Is k less than or equal to 21?
True
Let a be (-81)/5 + 1/5. Let j(k) = k**3 + 9*k**2 + 12*k + 110. Let n be j(-9). Suppose 4*p + 5*h - 48 = 8*p, h = n*p + 30. Is a < p?
False
Suppose -90*z + 96 = -82*z. Which is smaller: -23/5 or z?
-23/5
Let f = 1 + 69. Suppose -81*x + 231 = -f*x. Is 20 at most as big as x?
True
Let r = -19.37 + 20.37. Let u = -11.2 + 15.9. Let w = u + 19.3. Is w at least as big as r?
True
Let o = 3716 + -3880. Which is smaller: -1794/11 or o?
o
Let p = -288 - -239. Let h = 53.7 + p. Is 3 at least as big as h?
False
Let k = 57320/11 + -5211. Let z be -30*4/((-16)/(-2)). Let y = z - -16. Which is greater: y or k?
y
Suppose 0 = -4*n - 2*y - 3*y + 4145, 2040 = 2*n - 4*y. Which is smaller: 1 or n?
1
Let u = -5865 - -5983. Is u < 118?
False
Let t = 36.419 - 36.44. Is -32 != t?
True
Let j be (-1 - 293)/((-7)/((-1)/((-12)/42))). Is j > 123?
True
Let x = 2082 - 2861. Is 2/9 less than x?
False
Let s(p) = -p**2 - 1. Let d(k) = -4*k**2 + 8*k. Let h(f) = -d(f) + 3*s(f). Suppose 0 = -5*v + 2 + 33. Let a be h(v). Which is smaller: a or -11?
-11
Let r be (869/99 - 9)*(-9)/33069. Which is smaller: r or 0?
0
Let t = 0.915 - 0.355. Let m = -48.54 + 49. Let g = m - t. Which is smaller: 0.41 or g?
g
Let v be 2 - 8/3 - (-916)/(-12). Let h = -65 - v. Let l be 1148/60 + h/(-90). Is 18 <= l?
True
Let u be (3 - -3)*(-17)/(-34). Suppose 5*z = 3*m, 0*m - z = u*m. Which is smaller: m or -1/92?
-1/92
Let i = -8 - -4. Let s be (-94)/(-44)*-10*(-18)/(-135). Let h = s + 24/11. Is i greater than h?
False
Suppose -26 = -j + 14*j. Let c be (5/j)/(-2 - 345/(-170)). Is -84 less than c?
False
Let m(g) = -g**3 + 4*g**2 + 4*g + 6. Let a be m(6). Suppose 43 = 2*c - 5. Let j be ((-18)/c)/(a/16). Is j > 2/5?
False
Suppose -4*u - 5*h - 379508 = 0, u - 379524 = 5*u + h. Let m = u + 65182786/687. Let g = 1/229 + m. Which is smaller: g or -1?
g
Let r(l) = 955*l - 4785. Let d be r(5). Suppose -5*p - 3*w - 56 = 0, -p - w - 9 = 3. Do d and p have different values?
False
Let x = -36274 + 30190. Is -6086 >= x?
False
Let w(x) = x**3 - 25*x - 5. Let m be w(-5). Let o be -7 - ((-2)/m + 220/(-50)). Is o < 11?
True
Let r(j) = j + 24. Suppose -2*o + 2*k + 12 = -0*k, 4*k + 18 = 3*o. Let n be ((-4)/o)/((-3)/(-63)). Let c be r(n). Is c >= 11?
False
Let d = 131/4 + -33. Let n = -38.6 + 38.349. Let x = n - -0.211. Which is smaller: x or d?
d
Suppose 107*d - 122*d = -135. Suppose -9*m + 41 = -49. Which is bigger: d or m?
m
Let d be ((-13)/(-39))/(6/(-8)). Which is smaller: d or 24/5?
d
Let j = 1.0678 + -1.0978. Which is smaller: j or 2/3?
j
Suppose 4*g = -16, -2*o + 4*g - 5*g + 36 = 0. Let m = 139 + -142. Let i be 96/40*o/m. Is i equal to -16?
True
Suppose -21*c = -39*c + 6138. Let t = c + -341. Is -14 bigger than t?
False
Let h be 3/((4 + -2)/(5 - 7)). Let j(u) = -u**3 + u**2 + u - 1. Let m be j(h). Let d = -15 - -46. Is m > d?
True
Let a be (-2)/2 + 1 + 138/54. Let z = 1456 + -1454. Which is greater: a or z?
a
Let q = 34 + -34.046. Let h = q + 0.001. Let u = h + 0.405. Which is bigger: 0 or u?
u
Let u be 95550/(-4459)*14/(-3). Which is bigger: 2906/29 or u?
2906/29
Let q = 1 + -0.7. Let c(t) = t**3 - 7*t**2 + t - 73. Let r be c(8). Let k be r/(((-5)/(-25))/1). Which is bigger: q or k?
q
Let b = -38/905 - -5086/172855. Is b greater than -1?
True
Let s = -10205/16 - -638. Let u = 0.069 - -40.931. Let a = 41 - u. Is a at most s?
True
Let c = 14 + 58. Suppose 3*o - c = 9*o. Which is bigger: o or -14?
o
Suppose 9*b - 28 = 10*b + 94. Is -16 less than b?
False
Let s be (120/1170)/((-44)/(-6)). Let h = 453/22165 - s. Which is smaller: 1 or h?
h
Let t = -985 - -925. Which is greater: -48 or t?
-48
Let z(q) = q**2 - 22*q - 19. Let h be z(23). Suppose h*s - n + 5 = -4*n, n = 3*s - 6. Let p = 54/7 - 622/77. Is s <= p?
False
Suppose 0 = 136*f - 114*f + 44. Let v = 71.522 + -0.522. Is f <= v?
True
Let h be (-6)/9*-1 + (-13)/(-3). Suppose p + h*p = 72. Let l be p*((-165)/(-20))/(-11). Is -5 at most as big as l?
False
Let k be 2 - -4*2/(-8). Let i be (k - 1)/2 - (-48)/(-7). Let y = -105 + 104. Which is bigger: i or y?
y
Let y(f) = -5*f**2 + 147*f - 61. Let c be y(29). Let k be c + 2 - (766/(-768))/1. Are 0 and k nonequal?
True
Let b be 8826/(-117) - 4/6. Let t = 226/3 + b. Suppose 0 = 5*i + 2*a - 111 + 105, 2*i = 4*a - 12. Is i greater than or equal to t?
True
Let a = 8.338 + -41.338. Which is smaller: 14 or a?
a
Let q = -581670/7 + 82938. Is -157 > q?
True
Let z = 4347 + -4332. Which is bigger: 13 or z?
z
Let f be 4 - 85412/400 - (0 + 3). Let i = f 