1?
False
Suppose 5*c - 3*p - 293 = 0, 2*c = -2*p - 2*p + 138. Let u = c - -31. Suppose -5*b - u = -7. Is b greater than -18?
True
Let h = -3 - -6. Suppose -h = -3*j + 4*p + 4, -3*j + 2*p = -5. Let m be 2/102*(-1 - 1). Which is smaller: j or m?
m
Let f be (1 + 5)*6/4. Let b be 3/(f/(-2)) + (-187)/(-33). Which is bigger: 32/7 or b?
b
Suppose -4*h = -1 - 15. Suppose -h*q - 21 = -5. Suppose 4*n + 14 = 2. Which is bigger: q or n?
n
Let i(y) = y**2 - 13*y - 29. Let p = 35 - 21. Let f be i(p). Let h be (-3 + -3)*10/f. Which is greater: 1 or h?
h
Let o = -4202/15 - -280. Suppose 0 = 5*r, r - 10 = -5*h - 0*r. Let u be (4/(-12))/(h/6). Which is bigger: o or u?
o
Let w = 141/146 + 35269/292. Let v = w + -121. Is v less than or equal to 0?
False
Let i(m) = -18*m + 30. Let p be i(13). Let s be ((-3)/(-27))/((-4)/p). Which is smaller: s or 7?
s
Let n(m) = m**2 + 6*m - 5. Suppose 14*s = 5*s - 63. Let x be n(s). Let l = 2.4 + 7.6. Which is smaller: l or x?
x
Let y = 1136 - 1136. Is y smaller than 2/2549?
True
Let a be (-3 + 1)*(-2)/4. Let y be (-1 - a) + (0 - 4). Let t = 5 + y. Which is greater: 2/15 or t?
2/15
Let f = 103/348 + -4/87. Is 3 > f?
True
Let i = -1 - -4. Let d be i*(4 + 890/(-222)). Is d less than 1?
True
Let m = 4175/3 - 296395/213. Which is greater: 1 or m?
1
Let p be 3/2 - 140/(-40). Which is greater: p or 22/9?
p
Let f be (-2)/2 - (-20)/(-6). Let l = 178 + -189. Let j(b) = 12*b + 128. Let t be j(l). Which is greater: t or f?
t
Let i be 28766*(-3)/90 - (-12)/(-90). Which is smaller: -960 or i?
-960
Suppose 4*z = -2*z + 12. Let w(k) = 18 + 3*k**z - k**2 - 5 - 14. Let n be w(2). Which is greater: 8 or n?
8
Let w = -73 - -169. Which is smaller: 0 or w?
0
Let g = 5 + -1. Let u(q) = -2*q**3 - 6*q**2 + 10*q + 13. Let d be u(-4). Which is greater: g or d?
d
Let f = -799 - -794. Is f at most 18?
True
Let j(u) = -u**3 + 6*u**2 + 9*u - 11. Let l be j(8). Which is greater: l or -69?
l
Let p be 2/(-140)*-19 - 4/7. Which is greater: 0.1 or p?
0.1
Let y = 2/661 + 7918/4627. Let k = -7 + 8. Let a be ((-2 - -1)/1)/(-1) + k. Which is smaller: y or a?
y
Let j = 569 - 569. Which is bigger: j or 2/349?
2/349
Suppose 3*l + j - 30 = -0*l, 0 = -4*l + 4*j + 40. Let u be (5 + -7)/((-4)/l). Let k = 35 + -29. Which is smaller: u or k?
u
Let j be (41 - 36) + 31/6*-1. Which is bigger: j or 0?
0
Suppose -b = -4*p + 12, 2*p + 15 = 7*p - b. Suppose -3*z + p*a = -2 - 16, -5*z - 3*a = -54. Let s = -1444 - -1454. Is s greater than or equal to z?
True
Let f(y) = -y**3 + 7*y**2 + 29*y - 19. Let t be f(11). Let g = t - -129. Is -54 bigger than g?
True
Let k = 0 + -2. Let z be 3/k*(-14)/(-21). Suppose -2*j + 4*j = 0. Are z and j non-equal?
True
Let f be (-2 + 2 - 0)*1. Let l = -15 - -18. Let h be (-4)/138*(l + 0). Which is bigger: h or f?
f
Let w = 49 - 49. Suppose -5*s + 20 = 0, w*h = 3*h - s - 26. Is h equal to 10?
True
Let n = -342 - -341. Which is smaller: -26/33 or n?
n
Let l = 0 + 20. Let p = -19.6 + l. Let o be 2 + 4/(16/(-7)). Is p bigger than o?
True
Let d be 6*(177/2223 - 2/19). Which is smaller: d or -1?
-1
Let j = -11 - -2. Let l = 1700 - 1712. Which is bigger: j or l?
j
Let k = -0.021 - -0.841. Let i = -0.92 + k. Let y = -0.05 + 0. Which is greater: y or i?
y
Let v = -71.8 + 73. Let l = v + -1.1. Which is greater: 5 or l?
5
Let c = -22 - -52. Suppose t - 4*r = 0, 6 = t + r - 2*r. Suppose -c = -3*q + t*q. Is -6 less than q?
False
Suppose 3*r + 4*c - 16 = 6*r, 5*c - 20 = -2*r. Let o be 6 - (r + 5 + -3). Are o and 6 non-equal?
True
Let m = -0.2 + 1.2. Let x = -4767.049 + 4769. Let c = x - -0.049. Is m at least c?
False
Let t = -2830 - -4812. Which is greater: t or 1981?
t
Suppose -313 = -27*y + 119. Does 4/9 = y?
False
Let p be 1/(((-5)/(-3))/5). Suppose -4*o - 63 = 3*d, p*d = -o - 53 - 10. Let z be d/(-28)*(-14)/(-6). Which is greater: z or 1?
z
Let z = -0.07 - -0.37. Let s = -0.95 - 46.05. Let v = s + 48. Is v at least z?
True
Let s = 107 + -56. Let c be 1/(s/18 - 3). Is -6 smaller than c?
False
Suppose -8*o + 48 = -64. Let y = o + -13. Suppose n = m + 3 - y, 0 = 3*n + 2*m + 4. Which is greater: -10/11 or n?
n
Let g = 2/25 - 31/75. Let h = 3.18 - 3.2. Is h <= g?
False
Suppose 0 = -3*l - 3*l + 66. Let b be (3 - l)/4*10. Suppose -n = -5*t - 110, -2*t - 13 - 24 = n. Is b at most as big as t?
False
Suppose -5*x + 13 - 41 = 3*y, x - 3*y = -2. Let l be (((-20)/(-88))/x)/(1/4). Is l greater than or equal to -11/3?
True
Suppose -29*c - 4 = -25*c. Let q be (-18)/(-6) + 1/(c/40). Is q smaller than -38?
False
Let d = 3.188 - 0.118. Let x = d + -0.07. Is x > -12?
True
Let b(h) = 19*h + 267. Let q be b(-14). Let s = -1857/11 - -169. Which is greater: q or s?
q
Suppose o - 10 = -3*z, 2*o - 3*z - 36 - 20 = 0. Suppose 20*n - 112 = o*n. Is -57 less than or equal to n?
True
Suppose -3 = -l, -31 - 83 = 4*g - 2*l. Which is smaller: -38 or g?
-38
Suppose 3*v - 16 = -x, -2*v + 15 = 3*x + 2*x. Do -1/165 and x have the same value?
False
Let p(w) = -w - 8. Let q(m) = m**3 - 3*m**2 - 2*m - 4. Let h be q(3). Let y be p(h). Let k be (-8)/(-5)*(-1)/y. Is k smaller than 0?
True
Suppose -h = 4*h + 430. Let w = h - -6792/79. Let r be (2/(-4) - 0)/((-52)/104). Which is bigger: w or r?
r
Suppose -4*m + 4*s = -20, -17*m + 13 = -18*m - 5*s. Which is greater: 5/2 or m?
5/2
Let c = 80 + -37. Suppose 4*l - k - 29 = 0, 5*l = -0*k - k + c. Is l <= 8?
True
Suppose -27*n = -28*n - 2*g - 676, -680 = n + g. Which is bigger: n or -685?
n
Let y be (156/351)/(10/9). Suppose -w - w = -8. Is y at least w?
False
Let j be (-8)/20*2*1/(-2). Let b(u) = -u**2 - 5*u - 1. Let i be b(-4). Suppose -20 = -4*v - 4*l, 4*v + v = i*l + 1. Which is bigger: j or v?
v
Let o = -3.1 - -3.4. Which is bigger: o or 124/5?
124/5
Let z(x) = -x**2 - 60*x + 172. Let b be z(-63). Which is smaller: b or -43?
-43
Let n be ((-2)/24)/((-141)/(-24)). Do -1 and n have different values?
True
Let h(d) be the second derivative of -d**4/12 - 7*d**3/3 - 17*d**2/2 - 3*d. Let m be h(-12). Let l be (-8)/(-42)*(1 - m). Which is smaller: l or 0?
l
Let n = 16 - 16. Let p be (9/(-6))/(-5 + 2) + n. Are 0 and p unequal?
True
Suppose -36 = -a + 38. Suppose k = g + 22, 5*k + 4*g - a = -0*k. Let j = k - 19. Is j at most -1?
True
Let c = -1.59 - -0.59. Which is smaller: c or 1.23?
c
Let n = 279 - 272. Which is greater: 8 or n?
8
Let x = -330 + 313. Which is bigger: x or -14?
-14
Let d be 12/48 + (1023/(-108) - -3). Which is greater: -6 or d?
-6
Let n = -111 - -99. Let m(u) = 2*u + 22. Let c be m(n). Which is greater: c or -19?
c
Let w = -117 - -117. Suppose -2*f + 0*f = 0. Suppose f*h + h = w. Which is smaller: h or 2/7?
h
Let h be (65/(-13))/(1*-1). Suppose w + 2*x = 4, 4*w = 2*w + h*x - 1. Let t be (-2 + 4)/(5 - 9). Which is bigger: w or t?
w
Let g be (-2)/(-15)*-1 - 1121464/1545. Is -726 equal to g?
True
Let z(c) = c**2 - 6*c + 8. Let s be z(5). Suppose -d + 4 = -h, -5*h + 4*h + 4 = 0. Let n be (-13)/(-4) - 2/d. Is n greater than or equal to s?
True
Let y be 56/(-840) - (-2 + 37046/(-390)). Which is smaller: 98 or y?
y
Let w = 294 + -293. Which is smaller: w or 1/357?
1/357
Let v = 4406 + -4400. Let p = 0.3 - 0.2. Let k = p - 0.1. Is v <= k?
False
Let w = -29.06 + -11.02. Let t = -39 - w. Let l = t - 0.08. Is l > 3?
False
Let b(w) = 9*w + 51. Let q be b(-6). Let m = -24/7 + 13/14. Is q greater than m?
False
Let y be -4 + 175/42 + (-739)/(-2). Let d = y - 365. Which is bigger: d or 5?
5
Let k = -7 + 20. Let p = k - 8. Let h = p + -5. Is 0 at least as big as h?
True
Let u be (3 + 130/(-8))*4. Let b = u + 55. Which is smaller: 5/2 or b?
b
Let m = -371 - -1483/4. Is 53 <= m?
False
Let k(w) = -w**2 + 7*w - 19. Let p be k(7). Let b = -1 + p. Which is smaller: -18 or b?
b
Let j(s) = 25*s - 6*s + 0 - 14*s + 3. Let n(k) = -6*k - 2. Let u(f) = 5*j(f) + 4*n(f). Let x be u(-10). Are 1 and x unequal?
True
Let l be (-129)/6*(8 - -6). Is -299 at least as big as l?
True
Let r = 43 + -41. Suppose 3*p = -4*m + r*p - 2, -3*p = 6. Is 20/7 bigger than m?
True
Let a = -1283 + 1145. Are -142 and a unequal?
True
Let o = -1 + 2. Let k be (8/(-8) - 0)/1. Is o < k?
False
Let g(u) = -u**3 - 21*u**2 + 24*u + 45. Let j be g(-22). Which is smaller: j or 8/45?
8/45
Let i(l) = -198*l + 75. Let z be i(-15). Let n be (-8)/(-60) + 14/z. Is -1/4 bigger than n?
False
Let b(z) = z**3 - 2*z**2 + 4*z 