y(b) = -2*b**3 + b**2 + 5*b + 14. Let u be y(-3). Which is smaller: 65 or u?
u
Let h be (-3 - 763) + 23 + -14. Which is smaller: -755 or h?
h
Let u be (-1)/(-6) + 26994/(-396). Are -69 and u unequal?
True
Suppose -6 = -t + 3*o - 18, 0 = -4*t + 5*o - 27. Let f be ((t - -5)*1)/(6/(-93)). Does -32 = f?
False
Let y(r) = r**3 - 2*r**3 + 10 + 0*r**2 - 7*r - 1 - 9*r**2. Let h be y(-8). Suppose 4 + 8 = 5*o + 2*c, -4*c = o + 12. Do o and h have different values?
True
Suppose -2 = w - 1. Let n = 205662103/4634465220 + -1115/227124. Let h = n - 2/1155. Which is smaller: h or w?
w
Let l(c) = -2*c + 1. Suppose -g + 2*v + 5 = 0, 5*g - 2*v + 0*v = -7. Let y be l(g). Which is smaller: 3 or y?
3
Let g be ((-8)/3)/4*-99. Suppose 2*f - 4*b - 26 - 6 = 0, g = 5*f + 4*b. Suppose 2*c + 87 = 111. Which is smaller: f or c?
c
Suppose 0*q = 2*q + 2. Suppose 4*x - 2*o + 5*o + 71 = 0, -2*x + o = 33. Let n = 6 + x. Is q less than or equal to n?
False
Suppose 0 = 11*g - 8*g + 54. Let k be (-194)/8 - g/(-24). Let s be 8/32 - k/(-4). Which is bigger: s or -3?
-3
Suppose 0 = -3*v - w - 1, 4*v + 4 = -5*w - 1. Suppose v = -5*d + 5, -3*i + 5 = -0*i + 2*d. Is i >= -2/149?
True
Let z = -0.44 - -0.2. Let n = z + -14.66. Let t = n - -15. Is -12 equal to t?
False
Let k(j) = 4*j - 57. Let i be k(42). Which is smaller: -2/9 or i?
-2/9
Let i = 410 - 3. Which is bigger: 409 or i?
409
Let r(f) = 16*f**2 + f. Let n be r(6). Let l = -68092/117 + n. Are 0 and l nonequal?
True
Let x be (-120)/100 - (-3)/15. Suppose 5*s - 2 = 3. Suppose -3*f - 2*n = 2 - 5, -n = f - s. Which is smaller: x or f?
x
Let x = -0.56 + 0.39. Let p = x + -0.13. Which is smaller: p or 0?
p
Let a be (13/39)/(0 + 1/9). Is a not equal to 4?
True
Let u(v) = 6*v - 238. Let z be u(32). Which is smaller: z or -1?
z
Suppose 4*j + 3*u - 482 = 0, 30 - 36 = 3*u. Which is greater: j or -3?
j
Let b be (17/(-9) + 6/27)*-3. Suppose 6*n - n = b. Do n and 1/115 have different values?
True
Let n(k) = -k**3 + 3*k**2 - k + 3. Let z be n(3). Let q = -57 + 59. Which is smaller: z or q?
z
Let s = -3788 + 2723574/719. Which is smaller: s or 0?
0
Let x be (-21)/4 - (-1)/4. Let z be -1 + (10/(-3))/x. Suppose -3*b + 2*b = -2*g + 7, -5*b - g = -9. Does b = z?
False
Suppose 2*s + 2*k - 26 = -3*k, -2*s + 3*k = 6. Suppose s*o = 4*g - o + 408, -2*g = 4*o + 222. Let d be g/450 - 2/12. Which is smaller: 1/12 or d?
d
Suppose 58*d - 53974 = 488. Which is greater: d or 937?
d
Let k(p) be the first derivative of 4*p**3/3 + 7*p**2/2 + 12*p + 15. Let o be k(-2). Is o greater than or equal to 15?
False
Let u = 1.1 + -0.1. Let m = -0.03 - -25.03. Let b = -28 + m. Which is greater: b or u?
u
Suppose 244*j = 247*j + 54. Which is smaller: j or 27?
j
Let x(j) = j - 7. Let l be x(0). Let d = l - -10. Suppose -6*b = -2*b - 8, 0 = 4*w + d*b + 10. Which is smaller: -2 or w?
w
Let m be (-6 + (-40)/(-8))/((-2)/(-36)). Is m greater than -13?
False
Let p be (30/(-21) - -1)/(-1). Suppose d + 6*t - 4*t = -4, 0 = -4*d + 2*t + 4. Is p less than d?
False
Let h(a) = a**3 + 5*a**2 + 5*a + 1. Let g be h(-4). Let w be ((-33)/(-1) - 2)*(2 + g). Which is smaller: -32 or w?
-32
Let v = 92 + -93. Which is bigger: v or 2/457?
2/457
Suppose -95*o + 104*o = 0. Which is greater: o or 1/921?
1/921
Suppose -44*m = -25*m. Which is greater: m or -2/85?
m
Let m = 0.8 + 1.2. Let y = m - 1. Which is smaller: y or 5?
y
Let u = -52 - -49. Let j(w) = -5*w - w - 3 + w**2 + 1 + w. Let m be j(5). Is u at least as big as m?
False
Let h = 0.192 - -0.008. Let i = 1.34 - 0.14. Let u = -0.2 + i. Is h < u?
True
Let u(q) = -7*q + 28. Let v be u(3). Suppose -4*t - 3*t = -v. Do -1/240 and t have the same value?
False
Let k = 379 + -1229/3. Is k equal to 0.1?
False
Let a(z) = 1. Let o(h) = -6*h - 15. Let x(f) = 12*a(f) + o(f). Let j be x(2). Let c be j/39*(-10)/(-25). Which is bigger: c or 0?
0
Let p = -5 + 6. Suppose -k + p = -2. Suppose k*a + 10 = -2*a. Is -1 > a?
True
Suppose -2*t = -10, 4*t + t - 35 = -5*n. Let d be 8/7 + -1 + n/14. Do d and 3 have different values?
True
Let f = 169.8 - 170.8. Which is greater: f or 26?
26
Let v be (-4)/4 - 320/(-376). Which is smaller: v or 1?
v
Let u = 2141 + -2140. Which is bigger: u or 1/526?
u
Let p = 0.0283 + 7.9717. Is -21 smaller than p?
True
Let f = -1089 - -2072. Which is smaller: f or 984?
f
Let g = -1 + 20. Let h = 30 - g. Suppose -4*t + 3 = h. Is t < -9?
False
Let k = -15 - -16. Let t be ((-57)/(-3686))/(6/8). Is k bigger than t?
True
Let p = 89 + -90. Let h be (-1 + -17)*(-1)/2. Let q be (2 - h/8) + -1. Is q at most p?
False
Let d = -1846 + 16634/9. Let c = 2870 + -2868. Which is bigger: c or d?
d
Let p = 1469 + -1489. Let f(j) = -j**2 + 8*j - 5. Let z be f(7). Let d be (7*z)/((-4)/6). Which is smaller: p or d?
d
Suppose -4*c - 6 = -3*y + 3, 5*c - 9 = -3*y. Which is bigger: 44 or y?
44
Let i = 232 + -232. Is -9/83 != i?
True
Suppose 23*y - 151 - 56 = 0. Let z = 6 + 5. Which is smaller: y or z?
y
Let l = 466 - 492. Which is greater: -16 or l?
-16
Suppose 0 = -2*c + 4*c - 6. Suppose -4*a + 28 = -3*v - v, -4*v - a = 8. Let r be v + 0 - (c + -5). Which is bigger: r or -8/7?
r
Let t = 276.9 + -277. Which is greater: t or -1/40?
-1/40
Let a be 572 - ((-12)/(-8) + (-2)/(-4)). Let i = -29072/51 + a. Which is smaller: i or 1?
i
Let g = 12 - 2. Let s be (-2)/10 + 132/g. Let a be (-6)/1*s/(-39). Which is bigger: a or 3?
3
Let l = -0.2 + 0.4. Let h = 0 + l. Let b = 1534 - 1528. Which is smaller: b or h?
h
Let h be (-7 - -4) + (-1 - (-35)/13). Which is greater: h or -2?
h
Suppose 4*l - 10 = 14. Let b be (-48)/32*16/l. Are -6 and b nonequal?
True
Let v = 5/17354 + -1449209/520620. Let m = v + 35/12. Which is bigger: m or 0.1?
m
Suppose 0 = -4*l + i + 22 + 7, -3 = -3*l - 3*i. Let x be 44 + (11/33 - (-4)/l). Which is greater: 44 or x?
x
Let u = -19 - -18.42. Let l = u - -0.6. Let f = -1.02 + l. Are f and -6/11 unequal?
True
Let x(m) = 5*m + 11. Let r be x(-2). Is -64 smaller than r?
True
Let p be 1/(-3) - (-25)/(-3915)*-51. Which is greater: 1 or p?
1
Let b = 0.425 - -9.575. Is -0.3 less than b?
True
Suppose -2*b - 138 = -3*y, 2 = -5*b - 2*y - 381. Which is greater: -71 or b?
-71
Let f be (-44)/10 - 6/(-15). Let v(a) = a**3 + 4*a**2 - 3*a - 4. Let n be v(f). Let y = n - 7. Is y not equal to 3?
True
Let u be ((-4)/6 + (-5)/(-3))*2. Suppose g + 8 = 2*q - q, -3*g = u*q - 16. Which is greater: q or 9?
9
Let i = 3863 - 3831. Let k be (1/(-2))/(19/4). Let h = 13/57 - k. Is i greater than or equal to h?
True
Let f = -8062/3 + 2712. Let l = -25 + f. Do 1.6 and l have the same value?
False
Let i = 21/40 - -3/40. Which is smaller: i or 13/4?
i
Let b = 22 + -14. Let k be (b/10)/((-20)/50). Let q be k + (3 - -2) + -3. Is -2/5 at most q?
True
Let k = 1/413 + 31791/4130. Let z = k - 1323/190. Let u = -116/209 + z. Is u at least -1?
True
Let b = -48 - -201/5. Is -7 at most b?
False
Suppose 4*q - 12 = -i, 4*i + 2*q - 70 = -3*q. Let p = -16 + i. Is 2 smaller than p?
True
Let w = 3 + 0. Let r = w + -1. Suppose k + 3 = -r*k. Is k <= 1/4?
True
Let p be (-1 - -4)/(-3)*1 - (-35)/49. Let h = 200 + -107. Which is smaller: h or p?
p
Let q = 36 - 26. Let d be q/(-6) + (-34)/(-18). Suppose -5*l + 5*z = -2 - 3, -2*l - z - 1 = 0. Is l at most d?
True
Let q = -1.6 + 4.5. Let z = q - 0.9. Let s be 22/24 - (-2)/(-8). Do z and s have the same value?
False
Let p(b) = -b**3 - 11*b**2 - 25*b + 19. Let f be p(-7). Which is smaller: f or 28?
f
Suppose 3*q = -q + 48. Let m(x) be the second derivative of x**5/20 - x**4 + x**3/3 - 21*x**2/2 + 6*x. Let w be m(q). Which is bigger: w or 4?
4
Let q = -12 - -7. Let s = 10 - 8. Suppose 3*g = 8*g + 3*m + 32, 0 = -3*g + s*m - 4. Is g <= q?
False
Let f = -0.045 + 23.045. Let x = f + -24. Is x at most 7?
True
Let x = -323 + 325. Which is bigger: 0 or x?
x
Suppose 5*q - 2*d - 2*d - 9 = 0, 4 = -4*d. Which is smaller: 5/19 or q?
5/19
Let d = 271672/57 - 4766. Which is greater: -1 or d?
d
Let p be (-2)/21*3 - (-2468)/14. Is p not equal to 176?
False
Let j(q) = q**3 - 20*q**2 + 2*q - 28. Let f be j(20). Suppose f*u - 96 = 4*u. Suppose -5*b + 5*o = -35, 0*o = 5*b + 4*o - 80. Is u smaller than b?
False
Let h be (0/3)/(2/1). Which is bigger: h or -2/297?
h
Let n be 1/((-6)/(-18)) - 4. Let i be 60/25*(n - 174/(-4)). Is i not equal to 103?
True
Suppose -5*k + 3*m + 25 = 0, -3*m = 2*