h
Let w be (4/10)/((-7)/(-5)). Let c = 54 - 24. Suppose p - c + 31 = 0. Which is bigger: p or w?
w
Suppose 0 = -19*a + 23*a + 20. Does -11 = a?
False
Let z be (-6 + (4 - 1))/(12/(-16)). Suppose z*t - 5*t + 4*p = -8, 24 = 3*t - 4*p. Does t = 12?
False
Suppose -60*f = -73*f + 5525. Which is smaller: 1274/3 or f?
1274/3
Suppose 26*s = 32*s - 222. Let j be -2 + 1 + (-35 - 0). Let g = j + s. Which is smaller: -2/75 or g?
-2/75
Let x(h) = -15*h + 33*h - h**2 - 8 - 15*h. Let i be x(3). Which is bigger: i or -6?
-6
Suppose -5*t + 10 = -5*j, 3*t - 1 = -0*j - 2*j. Let o be (-2)/7 + (-41008)/(-84). Let q = 488 - o. Which is bigger: t or q?
t
Let d = -5/1333 - -97924/163959. Let w = 3/41 + d. Which is bigger: w or -5?
w
Let p be (-30)/63*14/((-630)/27). Let o(v) = -3*v**2 - 6*v - 6. Suppose i + i = -8. Let a be o(i). Are p and a unequal?
True
Let t be (20/(-8))/(-5) + 121/(-226). Is t at least 1?
False
Let k(u) = u**2 + 5*u + 3. Suppose 8*v - 10 = 3*v. Let q be 100/(-16) + v/8. Let b be k(q). Are b and 9 nonequal?
False
Let r(m) = -m**2 + 5*m - 2. Let s be r(4). Suppose -s*p + 23 = -5. Suppose z + 19 = 7*o - 3*o, -p = z - 3*o. Which is bigger: z or -2/37?
z
Suppose n + 0*n = 16. Let u = -17 + n. Which is smaller: -4/15 or u?
u
Let y be (-4 - -1) + 7 + -80. Let t be ((-6)/y)/(27/417348). Let l = t + -1220. Which is greater: l or 1?
1
Let g(x) = 3*x**3 + 2*x**2 + 2*x + 1. Let d be g(-1). Let k be (1/d)/(6/24). Let a be (-3)/(-1 + k) - -8. Which is greater: a or 7?
a
Let z(g) be the third derivative of g**4/4 + 4*g**3/3 + 2*g**2. Let q be z(-3). Which is smaller: -7 or q?
q
Let q be -1*(-4)/(-3 + -57). Let i be ((-36)/(-27))/(-4)*(-6)/2. Which is smaller: i or q?
q
Let c(a) = -a**3 - 38*a**2 - 104*a + 37. Let w be c(-35). Suppose -y + m - 354 = 0, 0*m = -5*y - 2*m - 1756. Let o = y + 2476/7. Is w >= o?
True
Let c = 6.493 + -6.5. Let r = 0.077 + c. Do -5 and r have different values?
True
Suppose -d = -2*d - 14. Let q = -63 - -65. Is q greater than d?
True
Let g = -2172 - -2172. Is -1/670 greater than g?
False
Let k = 20 + -19.74. Let q = 0.46 - k. Let u be (-3)/(-5) - 224/40. Which is greater: u or q?
q
Suppose -29*x + 17*x = -264. Is x smaller than 17?
False
Suppose 0 = -13*k + 8*k + 130. Suppose -k = -0*g - 2*g. Let n = g + -13. Which is bigger: -5 or n?
n
Let s(w) = w**2 + 12*w + 15. Let r be s(-11). Let t be (r - 5 - 0/1)*29. Are -31 and t non-equal?
True
Let i be (-7)/(-21) - (-43)/6. Suppose -167*w - 16 = -169*w. Is i at least as big as w?
False
Suppose 0 = 7*z - 11*z - 4. Is 28/61 < z?
False
Let n be (-10)/(-6)*(-1)/(7/(-21)). Suppose -81 = n*u + 89. Is -35 greater than or equal to u?
False
Let h be ((-120)/7)/((-68)/(-2296)). Let c = h - -579. Suppose 3*z - 2 = 4*r, z - 4*z + 8 = 2*r. Which is smaller: c or r?
c
Let q be (-2)/3*(-6 - 510/(-80)). Is q smaller than -105?
False
Let w(z) = -z**3 + 7*z**2 - 5*z - 3. Let d be w(6). Let i(k) = 4*k - 56. Let u be i(17). Suppose b = -d*b + u. Which is smaller: 6 or b?
b
Let q be (-1 - -1)/(-2 + 1). Let v = -96/185 - -3688/4255. Which is bigger: v or q?
v
Let j be ((-2925)/110)/(-9) + -3. Which is bigger: -1 or j?
j
Suppose -71*f + 65*f + 2082 = 0. Is 345 != f?
True
Let w = 1820 + -1130. Is -0.1 > w?
False
Let p be (-2)/8 - 196/(-400). Let z = 88 + -83. Suppose -18 = z*k - 13. Do k and p have the same value?
False
Let x be ((-39)/12)/((-3)/(-36)). Is -40 at most as big as x?
True
Let i = 55 + -55. Suppose q + q - 12*q = i. Which is bigger: q or 1/13?
1/13
Let i be -73*(10/(-2) + 4). Let w = i + -71. Which is smaller: 1 or w?
1
Suppose -2*o + 32 = 2*o - 2*m, o + 2 = -2*m. Suppose 26 = k - o*j + j, 2*j + 11 = k. Is 1/99 < k?
True
Let h(r) = -r**2 + 7*r + 7. Let w be h(8). Let g be w/((-5)/5) - -3. Suppose -n = -o + 1, o - 1 + 0 = g*n. Is n less than -1/38?
False
Let v be (0 + (-5)/10)*-46. Suppose -4*w - 2 = -j - 1, 4*j + 3*w = v. Suppose -30 = 2*c - 7*c. Is j greater than or equal to c?
False
Let q(g) = 4410*g. Let i be q(1). Let v be 310/i - 2/18. Are 1 and v non-equal?
True
Suppose -3*j = -q + 25 - 10, 0 = -3*q + 3*j + 15. Let r be 5/3 - (2 + q)/1. Are -1 and r unequal?
True
Let u be ((-8)/12)/(2/(-36)). Let a be (-1250)/2065 + u/21. Which is greater: 1 or a?
1
Let u be (-6)/33 - 1218/(-44). Let q = u + -381/14. Is 2 > q?
True
Let i = -9.4 - -15.4. Which is bigger: i or -3?
i
Let i be ((-99)/2)/(1/2). Let r be 2/(-156)*i/(-22). Let z = r - 47/988. Are 1 and z equal?
False
Let s(z) = 5*z**3 - 4 - 4*z**3 + 0 - 4*z**2 - 14*z + 16*z. Let p be s(4). Which is smaller: 26/7 or p?
26/7
Let x be ((-1 - 0) + 0)*0. Let i = -619/3 - -205. Is x less than or equal to i?
False
Let o(t) = -t. Let w(d) = -d**2 - 21*d - 14. Let p(z) = 6*o(z) - w(z). Let g be p(-13). Let f be (-8)/g*(-3)/5. Which is smaller: 0 or f?
f
Let h be -4*((-25)/(-10) - 1). Let p(j) = 2*j**2 + 13*j. Let u be p(h). Which is greater: u or -8?
u
Let u(m) = m**2 + 3*m - 1. Let c be u(-3). Let l(r) = -r**3 + 8*r**2 - r - 34. Let o be l(8). Let f be (-2 + 3)*(1 + o/39). Is f at most as big as c?
False
Let v be 19889/24 + 3/(-9) + -4. Let c = v + -823. Which is smaller: 0 or c?
0
Let u = -12.9 - -7.3. Let f = -5.5 - u. Is -5/3 at least as big as f?
False
Let c be (-72)/16*4/(-5). Let d = -1 - -5. Which is bigger: c or d?
d
Let g = -0.1192 + 0.1172. Which is bigger: g or 6?
6
Let t = 14 - -4. Let f be t/(-16)*20/(-30). Is 0 greater than or equal to f?
False
Let f = 0.2 - 0.2. Let y = 0.3 + f. Let t = -0.00061 - -1.00061. Which is smaller: y or t?
y
Let u = 183 + 30. Which is greater: 214 or u?
214
Let i = 64 - 49. Suppose 0 = 3*l + i - 0, -2*w + 3*l = -17. Which is smaller: -2/41 or w?
-2/41
Let p = 1513 - 1512. Which is greater: -312 or p?
p
Let g = -2889019 + 182017270/63. Let o = g + -144. Which is bigger: o or 1?
1
Let c = -0.28 + 0. Let s = c - -9.28. Is -3 >= s?
False
Let a = -108 - -105. Is a less than or equal to -2/19?
True
Let q be (8/(-6))/(2/(-6)). Suppose -4*h - q = -2*h - 5*k, h - 1 = k. Suppose f = h*f. Are 5/7 and f equal?
False
Suppose 0 = 5*p - 9 - 6. Suppose 0*d = p*d + 3*s - 48, 0 = 4*d + s - 73. Let y = -12 + d. Is y <= 7?
True
Let o(g) = 4*g + 7. Let u be o(-3). Let l = u - -3. Which is bigger: l or -11/5?
l
Let t be 4/5 - 9/15. Let v(n) = n**3 + 8*n**2 + 3*n - 19. Let d be v(-7). Which is bigger: d or t?
d
Let a = -340.4 + 341. Is a > 7?
False
Suppose -945 = 25*d + 3480. Is d at least -176?
False
Let c(s) = s**2 + 9*s. Let a be c(-9). Suppose a = y - 5*y + 156. Which is smaller: 40 or y?
y
Let n = 11 + -11.09. Let w = -0.1 - n. Let v = 0.838 - -0.162. Which is bigger: w or v?
v
Let d = -18 - -24. Suppose 0 = -11*z + d - 6. Which is greater: 2/19 or z?
2/19
Let o = -28.9 + 7.98. Let i = o - -21. Let f = -1.08 + i. Which is smaller: f or 8?
f
Let f = -52 - -112. Let l be f/132*(-12)/(-10). Which is greater: 0 or l?
l
Suppose 2*f = 3*f - 9. Suppose 0 = -f*k + 10*k - 2. Suppose 4*g - 6 = -k, 0 = 4*z + g - 13. Which is bigger: z or 1?
z
Suppose 5*x = -2*c + 10, 0 = 3*x + 5*c - 2*c + 3. Suppose 0*f - 21 = -3*y - f, 2*f - 10 = -2*y. Which is greater: y or x?
y
Let f = -17 + -15. Let t = 26 - 5. Let a = f + t. Is 2/5 bigger than a?
True
Let y be ((-9792)/(-1092) - 10) + (-3)/7. Does 2/5 = y?
False
Suppose -6*c = -4*c - 2. Let a be 1/(-2) + c + 1. Which is bigger: 3 or a?
3
Suppose -5*j + 152 + 18 = 0. Suppose -j = 4*l + 30. Let b be (-6)/l*(-8)/12. Which is smaller: b or 1?
b
Let h(v) = 5*v**2 - 115*v - 1. Let g be h(24). Is g at least 121?
False
Let z = -9 - -11.8. Let j = 1/17 + -41/119. Which is greater: j or z?
z
Let j(k) = -5*k**2 + 19*k + 72. Let z be j(-5). Is -151 > z?
False
Let s be 1/(2/(-4) - -1). Suppose -5*f - 4*t - 2 = 1, s*t = -4*f. Is f > 1?
False
Suppose 4*t + 4*y = 4, -4*t - 4*y = -t. Suppose -12 = t*c, s + 0*s = c. Let q be (9/2)/(s/(-4)). Which is bigger: 7 or q?
7
Let p = 114372/67 - 1707. Is p >= -1?
True
Let u(q) be the first derivative of q**4/4 + 5*q**3/3 - 4*q**2 - 11*q - 7. Let d be u(-6). Let t = 691/7 - 99. Is d greater than t?
True
Let l = -0.44 + -48.56. Let v = l + 46. Are -12 and v unequal?
True
Suppose -2*j = j + a + 35, 2*j - 2*a = -10. Let w = 4 + j. Let r = -4 - 2. Is r < w?
False
Let n be 6/(-10) - 66/(-10). Suppose 0 = 3*v + n + 39. Suppose -5*b - 52 = -b + 3*l, -l = -3*b - 52. Are b and v non-equal?
Tru