lue?
False
Suppose 4*h + 0*h + 55 = 3*b, b + 3*h = 27. Let i = b - 15. Which is smaller: 3 or i?
3
Suppose -5*p = 5*w - 10, p - 3*p = -5*w + 31. Let u(x) = 3*x**3 + 181*x**2 - 123*x - 66. Let d be u(-61). Which is smaller: d or p?
d
Suppose 0 = i + 5*f - 24, 14*i - 11*i - 5*f = -8. Which is greater: -7 or i?
i
Suppose 0 = 9*h + 2520 + 1467. Is -444 <= h?
True
Let g = -134 + 133. Let q(j) = j**3 - 2*j - 2. Let k be q(g). Suppose x = -0*x - 2. Which is smaller: k or x?
x
Suppose 8*j = 0, 18 = -3*f - j + 15. Is -21/32 bigger than f?
True
Let p be -6 - (46530/(-154) + (-2)/(-14)). Is 297 >= p?
True
Suppose 2*k - 5*k + 9 = 0. Suppose t + s = -t + 30, 0 = k*t + 3*s - 45. Suppose 0 = 5*z - 0*z + t. Is z bigger than -4?
True
Suppose 24*f = 4*i + 28*f + 36, 5*i + 9 = 4*f. Is i <= -4?
True
Let c = 176 - 161. Is c not equal to 18?
True
Let m = -0.9 - -0.81. Let b = m - 39.91. Is 2/5 less than b?
False
Let c = -0.0349 - -84.0349. Is -2/17 at most c?
True
Let n = 0.39 - 0.37. Let l = n - -0.08. Which is bigger: l or 4/25?
4/25
Suppose -5*p + 11 = -3*k, -2*k + 3*p + 5 = 12. Let m be 35/63 + k/9. Which is bigger: m or 10/17?
10/17
Let g = -0.3 + 3.3. Let r = g + -3.1. Let k = 158 + -159. Which is greater: r or k?
r
Suppose 0 = 3*q - 3*z + 1728, -4*z = 2*q + 413 + 739. Which is smaller: -577 or q?
-577
Let x be (-9)/(-2)*(0 + 2). Suppose -5*r - 16 = 2*o, 21 = -2*o - r + 5. Let h be -2*((-15)/(-20) - (-5)/o). Is h smaller than x?
True
Let o = 425 - 437. Does o = -0.18?
False
Let v = 3.9 + 2.1. Is -10 > v?
False
Suppose -24*o - 4*o = 0. Let m be -2*(-4)/(-352)*-1. Do m and o have the same value?
False
Let l = 11596/2277 + -38/207. Which is smaller: 4 or l?
4
Let p = -114 + 106.2. Is p > 0.1?
False
Let c be ((-50)/(-30))/(20/108). Which is bigger: 27 or c?
27
Suppose -37*r + 1320 = 23*r. Is r at least as big as 21?
True
Let i = 1 - 2. Let m be ((-222)/30)/1 - -7*1. Are i and m nonequal?
True
Let r(u) = -u + 18. Let b be r(-7). Let o be 5*10/b*3/6. Which is bigger: 5/38 or o?
o
Let w = 5892 + -1808834/307. Which is smaller: w or 0?
0
Let i = 7 + -6.85. Let g = i - 0.05. Which is bigger: g or -15?
g
Suppose 6*x - 718 = 368. Let c = 287 - x. Suppose 2*w = 3*q - 2*w - c, -3*q - 3*w = -78. Which is smaller: -1/3 or q?
-1/3
Let x = 175 - 145. Which is bigger: 31 or x?
31
Let v(l) = -3*l**3 - 2*l**2. Let y be v(-2). Let m = -14 + y. Let u be -3 - -5 - (-20)/m. Is u <= 13?
True
Let n(b) = b - 1. Let u be n(5). Suppose -3*i = -u*i + 70. Let w be 8/i + (-14)/35. Which is smaller: w or 6/5?
w
Suppose 3*y = -5*t - 2, -2*t + y - 16 = 6*y. Suppose 0 = -t*h + 5 - 11. Let m = 0.03 + -2.03. Which is smaller: h or m?
h
Suppose 3*g = 29*u - 30*u + 6, 6 = -3*g + 3*u. Is g at least as big as -2/773?
True
Let t be (2 + -2)/(-2 + 4/(-4)). Which is bigger: t or -5/164?
t
Let i be 15/26*(6 - 136*-43). Let b = i + -3379. Is b at least as big as -2?
True
Let q = -8 + 14. Let d be (-5)/(-10) + (-223)/2. Let r = d + 118. Which is bigger: r or q?
r
Let i = 54 - 36. Let n = -425 - -443. Is i greater than or equal to n?
True
Let x = 55 - 95. Let q be 6/18*(-3)/x. Is q at most -1?
False
Let d(y) = -2*y + 9. Let w be d(-6). Let v = -27 + w. Is -4 less than v?
False
Suppose -886 = 9*z + 1265. Is -237 > z?
True
Let s = 393 + -247. Let l = s - 103. Which is smaller: l or 1/2?
1/2
Let q = -215 - -209. Is q != -18?
True
Let s = 32.9 + -63.8. Let y = 31 + s. Let i = -95 - -854/9. Do i and y have the same value?
False
Let h = -35 + 32. Which is smaller: 44 or h?
h
Let v = -3.19 - -0.19. Let y = 55 + v. Is -1 <= y?
True
Let b = -1556 - -1539.13. Let i = 0.77 + b. Let s = i - -16. Which is smaller: 1.7 or s?
s
Suppose -4*c + 2*c = -20. Suppose -m = m + 3*a + 9, 2*a + 6 = -4*m. Suppose -5*h = -m*h - c. Is h smaller than 0?
False
Suppose -2*i + 7*i - 65 = 0. Suppose 5*h + i = 3. Let j = 1.6 + 2.4. Which is smaller: j or h?
h
Let z = 9 - 11. Let a be (-1 + z)/((-15)/10). Suppose 0 = 5*g - a*c - 30, -15 = -5*g + 3*c + 20. Which is smaller: g or 2?
2
Let x = 428 + -429. Which is smaller: x or 70?
x
Suppose 7*y - 158 + 32 = 0. Let v be 12/(-54) - 176/y. Which is smaller: -11 or v?
-11
Suppose 6 + 9 = 3*d. Let m be (d/14)/(54/63). Let u = 53 - 53. Which is smaller: u or m?
u
Let q be (28/42 - (-1)/3)*-1. Which is bigger: q or 11.3?
11.3
Let f be (-21)/9 - 4/(-12). Which is smaller: -11/6 or f?
f
Suppose 2*p + 6 = 10. Suppose z - 8 - 27 = 5*a, p*z = -2*a + 46. Which is smaller: z or 24?
24
Let m = 42 + -10. Let o be m/240*(-4 - -1). Let c = 5 + -5. Which is bigger: c or o?
c
Let o be 3 + 1064/10 - -4. Let m = -113 + o. Which is greater: m or -1?
m
Let q = -662 + 661.8. Let g = 0 + -0.06. Does q = g?
False
Let i be (-4)/2*2*-1. Let r be 34/51 + i/(-10). Which is greater: 0 or r?
r
Let z = 132 - 141.9. Let k = -9.9 - z. Is -28 less than k?
True
Let p = -326 + 327. Is p not equal to -175?
True
Let s = -993 - -997. Do s and -7 have the same value?
False
Let v = 8 + 1. Let d = 8.9 - v. Let j = -0.07 + -0.06. Is d bigger than j?
True
Let h(k) be the second derivative of k**3/3 - k**2/2 + 8*k. Let d be h(0). Is 2/37 greater than or equal to d?
True
Suppose -23*h = -7*h + 48. Which is smaller: -49/11 or h?
-49/11
Let s be (-3 + -1*(-3 - -1))*25. Is -27 greater than s?
False
Let b = 2 + 3. Suppose 5*i = b*s - 35, -4*s - 3*i - 1 = -8. Suppose 3*q = 3*p - p + 14, s*q = -3*p - 4. Is p less than -4?
False
Suppose -130 + 10 = 24*f. Let l = -601/175 - 7/25. Is f at most as big as l?
True
Let x be (-3 - 0)*(-1848)/(-252). Let w(l) = -l**3 + l**2 + 3*l. Let a be w(-3). Let k = a + x. Which is greater: k or 2/7?
k
Let n = 762 + -704. Is n <= 54?
False
Let q(j) = -4*j**2 - 28*j + 1. Let n be q(-7). Suppose 0 = 3*r + 3*b - 21, -n + 2 = -2*r + b. Which is smaller: r or 13/12?
13/12
Suppose -2*n = -9 - 5. Let h be (1/(-4))/((-11)/22)*15. Which is bigger: h or n?
h
Let y = 9 + -17. Let h be (8/2)/((-4)/y). Is 7 at least as big as h?
False
Suppose 2*l - 3*v = 15, 15 = -3*l - 4*v - 5. Suppose l = 8*w - 6*w - 10. Is w smaller than 3?
False
Let h be 3 - 6/3 - -1. Let d be h/6 + (-196)/462. Which is greater: d or -1?
d
Let y be (40/(-6))/(-4) + (-18)/27. Is y >= 2/2689?
True
Let z(t) = -3*t**3 + 5*t**2 - 4*t + 11. Let w be z(2). Is -11/48 less than or equal to w?
False
Let q = -15/1166 - 254053/10494. Which is smaller: q or -25?
-25
Suppose 2*r + 6*p - p - 7 = 0, 5*r - 3*p - 2 = 0. Let m be (-2 + r)/((-233)/3). Let q = m + -505/3029. Which is smaller: 1 or q?
q
Let m be 42/12 - 1/2. Suppose 0 = -2*c - 17 - m. Let r be (-1)/c*(-8)/4. Which is bigger: r or 1/2?
1/2
Let g = -768.3 - -768. Do g and -0.116 have the same value?
False
Let t(j) = -j**2 - 9*j + 5. Let i be t(-9). Let m(x) = -x + 4. Let a be m(10). Let g = a + i. Is -3 at least as big as g?
False
Let m = 9.44 - 35.84. Is -1/4 bigger than m?
True
Let z = -70 + 191. Which is bigger: 120 or z?
z
Let m = -19/16 - 71/16. Which is smaller: -5 or m?
m
Let a = 63.053 - 63. Let t = 0.147 + a. Which is smaller: -0.6 or t?
-0.6
Suppose -f + 2*m = -208, -6*f - 5*m = -m - 1264. Is 210 at most f?
True
Suppose -23*f + 388 = -21*f. Let k = -2524/13 + f. Is k greater than -1/4?
True
Let y be (-2)/12 - 1341/54. Let u be (-1 + 4)*y/15. Let c be ((-80)/14)/u + -2. Is c bigger than -1?
True
Let r be 110/15 - (2 + 5). Which is greater: r or 142?
142
Let a = -777/11 + 1611487/22814. Are a and -1 non-equal?
True
Let t = 66 - 35. Let g be -1 + -3 + 4 - -32. Which is smaller: g or t?
t
Suppose 4*p + 8 - 4 = 0. Let i = -8 + p. Let n be (-34)/(-396) - (-2)/i. Is -1 less than or equal to n?
True
Suppose 4*b = -5*p + 20, -3*p + 20 = b + 3*b. Suppose -c - 69 + 15 = p. Is -54 at most as big as c?
True
Let o(m) = -4*m**2 - 2*m - 3. Let l be o(-2). Let a be (-6)/l - (-144)/(-10). Let t be (a - -13)/(1*-8). Is 1 less than t?
False
Let x = -10/97 + 1214/485. Which is bigger: 2 or x?
x
Suppose 17*i = -14*i. Which is smaller: i or 0.92?
i
Let h(g) = g**2 - 5*g - 5. Let r be h(6). Let y be (-2)/8 - (-1649)/612. Is y < r?
False
Let h(a) = a**3 + 7*a**2 - 65*a - 484. Let x be h(-9). Which is bigger: x or -483/8?
-483/8
Let p = 35/61 - 18813/33001. Is 0 greater than or equal to p?
False
Let w be (1/2 - 636/(-296)) + -2. Is 0 greater than w?
False
Let b = -1 - 13. Let x = 126.8 + -126.7. Which is smaller: x or b?
b
Supp