y at most p?
False
Let l = -0.84 - -16.84. Let i = 16 - l. Which is greater: i or -4/7?
i
Let y = -25 + 29. Let v(p) = 0 + 9*p + y*p - 20*p - 3. Let w be v(1). Is -7 less than w?
False
Let z = -0.0479 - -0.0479. Is -0.4 greater than z?
False
Let v = -6 + 5.92. Let q = 143.08 - 139. Let d = v + q. Which is greater: d or 1?
d
Let l = -96 + 172. Let j = l - 78. Is j less than -4?
False
Suppose -4*r = 2*n - 150, -4*n - n = -25. Suppose 4*m - r + 103 = 0. Which is bigger: m or -2?
-2
Let y be 7 - ((-1)/1 - (-2)/(-2)). Let t be (-3 + y/(-6))*2. Do t and -8 have the same value?
False
Let v(d) = 3*d**2 - 15*d - 92. Let g be v(-7). Which is greater: 157 or g?
g
Suppose 2*u + 3*u + s - 20 = 0, -3*u + s = -20. Suppose -2*i = u*i - 35. Is 4 smaller than i?
True
Suppose 0*q = q - 4. Suppose 2*k - 9 = 3*m + 7, -4*m + q*k = 20. Suppose -688*u + 128 + 40 = -712*u. Is u less than or equal to m?
True
Let l(c) = -c - 420. Let v be l(0). Let u be (-10)/(v/(-18)) + 36/(-14). Suppose -5*s + 15 = 2*y + 44, s + 1 = 2*y. Which is smaller: u or s?
s
Let j = -111 + 141. Let w be (j/35)/((-4)/18). Which is greater: w or -3?
-3
Let y = -17 - -8. Let w be (-3)/y*(3 - -93). Let c be w/56 - (-2)/(-7). Is -0.7 greater than or equal to c?
False
Let p be 1 + ((-16)/6)/4. Suppose -11 = w - 3*b, w - 5*b - 10 = 5*w. Let d be w/(-4) + 1/(-4). Is d at most p?
False
Let v = -884570/2091 + 1249/123. Let p = 413 + v. Which is smaller: 0 or p?
0
Let h = 12 + -5. Let s = 20 - 11. Suppose -3*v = -27 + s. Which is greater: v or h?
h
Let l(v) be the first derivative of v**3/3 + 5*v**2 + 32. Let k be l(0). Which is smaller: k or 4/99?
k
Let o(t) = t**3 + 11. Let g be o(0). Suppose 3*u - g + 38 = 0. Let r = u - -8. Do r and 3/10 have different values?
True
Suppose 3*g = 12, i + 4*g = -4 - 1. Let a be 2 + (-14)/i*(-21)/2. Suppose 2*c + 14 = -3*c - o, 2*c + o = -8. Is c < a?
False
Suppose 5*n + u - 19 = 0, 5 = 2*n - 3*u - 6. Suppose -4*k = -4*t + 3*t - 10, -n*t - k = -11. Let b be (81/42 - t)*2. Which is smaller: b or -1?
-1
Suppose 0 = -w + f - 17, -3*w - f = 2*f + 75. Is w greater than -21?
False
Let x(r) = 2*r**2 - 14*r - 1. Let j be x(7). Let a be j/3 - 119/(-51). Is a less than 3/5?
False
Suppose 0 = -5*w + 5*o + 145, 0*o - 4*o = -w + 14. Let u = w + -29. Is -1/6 bigger than u?
False
Let z = -120 - -108.6. Let x = -3.6 + z. Let w = 15 + x. Which is smaller: w or 12?
w
Let k = -1.3 + 1.1. Let p be ((-9)/(-12))/1*12. Let j be (-2)/6*p/4. Which is smaller: k or j?
j
Suppose -674 = -5*k - 2*q, -q + 417 = 3*k - 4*q. Is 137 at least k?
True
Let n = 7.11 - -0.99. Let l = 10.1 - n. Is 1/4 not equal to l?
True
Suppose 0 = 23*p - 26*p + 54. Which is bigger: p or 24?
24
Let q = 139 + -153. Is q > -95/7?
False
Let l = -1595 - -2398. Which is greater: -1/3 or l?
l
Let n = -11 + -1. Let t be (2/4)/(2/n). Is -1 at most t?
False
Let h = 17/87 + -677/348. Let p be -1 + (-3 + 4 - 1). Which is smaller: p or h?
h
Let k be 2/(-3)*(-3)/(-1). Let s be (k/(-28))/((-15)/60). Let g(y) = y**2 - 2*y - 3. Let u be g(3). Which is bigger: u or s?
u
Let l(n) = 5*n - 74. Let u be 288/(-120)*(-10)/(-3). Let i be l(u). Is i not equal to -1?
True
Let v be (-505)/(-20) + 1/(-4). Let i be v/9 + 8/36. Suppose j - 3 = -0*j - 3*q, 5*j = i*q + 33. Which is greater: 5 or j?
j
Let f(t) = -t**2 + 12*t - 22. Let h be f(10). Let v = 30 - 43. Which is greater: h or v?
h
Suppose r = -5, 0 = 2*z + 4*r - 3*r + 275. Let f = 141 + z. Is f != 52/9?
True
Let g = -1928 - -1859. Is g > -68?
False
Suppose -d + 29 = 3. Suppose -5*i = -h - d, -2*h - h + 6 = -i. Let j be 42/8 - (-1)/(-4). Are i and j nonequal?
True
Let d be 1 - (2 - (-92)/(-44)). Let l be ((-3 - -6)/(-3))/((-14)/14). Is d bigger than l?
True
Let f = -24 - -27. Suppose y - 5*q - 14 + 5 = 0, f*q + 4 = 2*y. Let x = 607/5 + -121. Which is smaller: x or y?
y
Suppose k + 3 = f - 0, f - 1 = 3*k. Let l be 1/k*(-15 - -3). Is l != -15?
True
Suppose 0 = 7*u - 5*u. Suppose 5*t + 2*x = 29, 5*x + 1 = -2*t - u*t. Let p be ((-24)/14)/((-14)/49). Which is smaller: t or p?
p
Suppose -4*j = 2*s - 2, 3*j - 3*s = 5*j - 3. Suppose 8*u + 8 = 4*u. Let o be ((-3)/186)/(u/(-8)). Which is greater: o or j?
j
Let b be (89/4)/((168/12)/(-56)). Which is bigger: -85 or b?
-85
Let q = -19.99 + 20.14. Is q at least 4?
False
Suppose -i = -2, 1 - 3 = -4*q - 5*i. Let y be ((-1)/3)/(2/(-36)). Let x be (2 + 4)*(-4)/y. Is x > q?
False
Let p(j) = 7*j**2 - 30*j + 22. Let o(c) = 8*c**2 - 31*c + 22. Let n(u) = 6*o(u) - 7*p(u). Let i be n(9). Are 112 and i unequal?
True
Let v = -1553 - -1547. Which is smaller: v or 34?
v
Let p(v) = -v**3 - 2*v**2 - 3*v - 2. Let m be ((-9)/(-12))/((-2)/(-8)). Suppose -m*x + 2*x - 1 = 0. Let f be p(x). Which is greater: f or -2/3?
f
Let q = 3/100 - 259/5300. Does q = 1?
False
Let r = 22 + -24. Let a be (r/(-6))/(1/9). Which is smaller: -0.05 or a?
-0.05
Suppose 5*g - 21 = -4*t, 0*t - 2*t + 10 = 2*g. Suppose 2*h + 12 = t*h. Let c(u) = u**2 - 8*u + 5. Let k be c(7). Which is smaller: h or k?
k
Let s be 2 - (-20)/(-4) - -1. Let d be (-2)/(-4)*(-320)/s. Let o be -5*(-4)/(d/28). Is o less than 7?
False
Let u(b) = 2*b**3 - 3*b**2 - 2*b + 5. Let j be u(2). Suppose -j*y = -y + 4. Which is greater: y or -6?
y
Suppose 9*x + 5 = 10*x. Suppose -4*q + 20 = 4*m, -x*q + 30 = -m + 11. Is 18 at least m?
True
Let q be 0 + (-3)/(-2) + 12/(-8). Is 5/143 less than or equal to q?
False
Suppose d = 5*k + 495, 0 = -k + 10*d - 6*d - 118. Which is smaller: -95 or k?
k
Suppose -p = 5*g + 10 + 17, 4*p + 5*g + 33 = 0. Suppose 2*c + 56 = -2*f, -2*f - c - 13 - 44 = 0. Let u = f + 33. Which is greater: u or p?
u
Let q(d) = -3*d**2 + 125*d + 59. Let g be q(43). Is -113 at most as big as g?
True
Let p = 360 - 741/2. Let g = 1529/146 + p. Let b = g + -128/657. Is b != 0.1?
True
Let q(z) = z - 4. Let g be q(-8). Let x be 7*(70/(-49))/5. Which is smaller: g or x?
g
Let b(l) = l**3 - l**2 + 3*l + 7. Let t be b(-4). Let q = t - -86. Is -7 greater than q?
False
Let q(l) = 37*l. Let k be q(1). Suppose -c - 5*f + k = 0, 5*c + f - 80 - 9 = 0. Which is greater: c or 1?
c
Suppose 0 = g - 7*g + 30. Let x be 2 - 5 - -4 - g. Let l be x - 37/(-16)*2. Which is bigger: l or 0?
l
Suppose 156 = -3*z + 4*z - 5*p, p = -4. Suppose -3*f = -5*c - z, 3*f - 45 - 73 = -4*c. Which is smaller: 0.1 or f?
0.1
Suppose 3*m - 12 = -i + 25, -3*i - 2*m + 104 = 0. Which is bigger: i or 32?
i
Let a(t) = -t**3 + 9*t**2 + 10*t - 6. Let z be a(10). Let q be 0 - (0 + 4 - 27). Suppose 4*s = 4, q = -4*h - s - 4*s. Which is greater: z or h?
z
Let y = -50 + 54. Suppose 4*g - y*s - 25 = -s, -40 = -2*g - 4*s. Is g equal to 11?
False
Let g = -4.2 - -12.2. Is 3 at least g?
False
Let m be 6/(-9) - (-92)/(-6). Let u = -0.2 - 0.3. Let n = -0.4 - u. Are n and m equal?
False
Let o = 11.959 + -12. Let y = o + -0.159. Are -1 and y equal?
False
Let d = -3.4 + 2.9. Let h = 0.3 + d. Which is smaller: -9 or h?
-9
Let k be (14/63*42)/(4 + 2). Let y = 8.947 - -0.153. Let h = y - 9. Which is smaller: h or k?
h
Let n be ((-2)/(-4))/(48/21600). Which is smaller: n or 226?
n
Suppose -3*p + 0*p = -12. Suppose -2*i + p*b + 28 = 0, 3*i - b + 0*b - 22 = 0. Suppose q = -0*s - 3*s + 17, 5*q = -2*s + 33. Which is smaller: i or q?
q
Let v = -8.67 - -0.67. Let q = 8.4 - 10. Let k = -0.4 + q. Which is greater: v or k?
k
Let g = -13850/11 + 1258. Let f = -24/11 - g. Is f less than 0?
True
Let u(r) be the first derivative of r**2/2 - 4*r - 1. Let d be u(4). Let y = -25431/8 + 3179. Are y and d equal?
False
Let x = -114 - -163. Suppose 3*o - x = 8. Is o at least as big as 18?
True
Let y be ((-2)/(-106))/(4/(-8)). Let t = 47/159 - y. Let q = 146 - 145. Is t >= q?
False
Let s = -276 - -266. Which is greater: -14 or s?
s
Let v = 19 - 15. Suppose -8 + 0 = -v*n. Which is greater: 7 or n?
7
Let i be (-42)/(1/3*-2). Let d = -0.205 + 0.105. Is d < i?
True
Let q be (-8)/(-5) - 40/(-100). Let r be q - 2 - (2 - -20). Is r at most as big as 1?
True
Let f = -76.1 - -73. Let h = -1865 - -1866. Which is smaller: f or h?
f
Suppose -g + 5 = -30. Suppose 23*a - 28*a + 25 = 0. Suppose -2*p - a*p = g. Do p and -5 have the same value?
True
Let x = 828 + -839. Are 24 and x unequal?
True
Let v = 34 - 34. Suppose 6*s - 11*s + 165 = v. Do s and 32 have the same value?
False
Suppose h = 33 - 26. Is h != 8?
True
Suppose 3 - 8 = 