smaller: -1/31 or p?
p
Let m = -83 - -43. Let s = m - -38.75. Let y = s - -1.55. Which is smaller: y or 5?
y
Suppose 0 = 41*y - 39*y - 18. Let k be (1/2*(y + -29))/(-2). Is k > 1?
True
Let t be (-56)/20 + -3 + 3. Let x = t + 8/3. Let p = -13.99 + 14. Which is greater: p or x?
p
Let y be ((-495)/(-75))/(2/(-30)). Let k be (3 - (-91)/(-65))/(y/(-5)). Which is smaller: k or 0?
0
Let a be (69 - -3)/(6/4). Suppose -x - a + 6 = 0. Suppose 0 = 140*l - 134*l + 246. Which is greater: x or l?
l
Let q(h) = -476*h + 3807. Let p be q(8). Let a be (-75)/(-234) + (-1)/6. Are p and a non-equal?
True
Let t be 1974/(-84) - (-3)/2. Let o = 62032/11 + -5660. Which is greater: o or t?
o
Let q(d) = d**3 - 3*d + 5. Let y be q(0). Suppose 4*x - 4*w = 200, 4*x = y*x + 2*w - 53. Which is bigger: x or 53?
53
Let m = -591 - -597. Suppose m*p - 336 = 990. Are p and 223 non-equal?
True
Let b = -5394901/76580 + 1409/20. Is 0 <= b?
True
Suppose 77*c - 309*c = 273*c - 242905. Is 4330/9 at least as big as c?
True
Let v be ((-2)/22)/(173/1903). Which is smaller: -1/2894 or v?
v
Suppose -2*o + 2*t = -54, 10*o + 118 = 14*o - 5*t. Let n(h) = -h**3 - h**2 + h + 4. Let i be n(0). Suppose -2*x + 4 = 0, -i*q + 2*x = -2*x + 4. Is o < q?
False
Let u = -1671 + 1670.94. Which is smaller: -40 or u?
-40
Let c = -155780/7 + 22254. Let q = 3/67 - 100/737. Is c at least q?
False
Let g be 272/476 + (-221)/7 + -2. Which is smaller: g or -437/13?
-437/13
Let t = -3464113/45 - -387767/5. Let l = t + -572. Is l >= 0.2?
True
Let u be 4050/(-24)*200/75. Is -4 greater than u?
True
Suppose -50*n + 4 + 46 = 0. Is 2/1647 less than n?
True
Let v(j) = 23*j - 283. Let b(l) = 6*l - 71. Let q(o) = 9*b(o) - 2*v(o). Let s be q(9). Is s > 2/345?
False
Let r = 488 - 488. Is 38/31 at most as big as r?
False
Let r = 0 + -12. Suppose -3*h - 15 = -3*g, 7*g - 9 = -h + 10*g. Is r equal to h?
True
Suppose 2*p = -3*n + 11044, -5*p - n - 9047 = -36644. Is p greater than or equal to 5518?
True
Let h = -87 + 5. Let y = h + 81. Which is greater: y or 2/91?
2/91
Let k = 3.63 + 2.17. Let a = 37.7 + -38. Which is smaller: k or a?
a
Let a be 28128/10 + (-3 - 112/(-35)). Suppose -28*i = a - 573. Which is bigger: -81 or i?
i
Suppose 6*b + 16 = 10*b. Suppose 3*j = -b*u + 2, -3*j = -5*j - 2*u. Let a be 0 - 1/j*0. Is a > -1/44?
True
Let o be ((-188)/(-58))/((-5282595)/3720291). Let d = -1/352173 + o. Let f = 14/29 + d. Which is smaller: -2 or f?
-2
Let c be (-2)/(-2)*(-1)/1. Let w(x) = -3*x**3 + x**2 + 4*x + 4. Let o be w(c). Suppose -4*v + 4*l - 35 = 9*l, 0 = 4*l - o. Which is bigger: -9 or v?
-9
Let z be (9 + -6)*((-249)/(-9) + 3). Suppose -3*p - 160 - z = 0. Is -86 equal to p?
False
Let j(o) = -o**3 + 10*o**2 - 8*o - 7. Let h be j(9). Let r = -4256 - -4257. Is h <= r?
False
Let d(o) = 7*o**2 - 4 + 5*o**2 - 6*o**2 + 2*o + 3. Let x be d(-3). Let h = -58 + x. Which is smaller: -13 or h?
-13
Let z = 985 - 978.7. Let x = -153 + 159.1. Let g = x - z. Is -1/21 less than g?
False
Let j = 1027 - 1026. Let r = 11 - 192. Is j at least r?
True
Let l = -27 - -33. Let t(m) = -14 - l*m - 5 + 23. Let y be t(1). Is y <= -9?
False
Let s(x) = -1500*x - 164994. Let a be s(-110). Let i = 26 + -13. Which is bigger: i or a?
i
Let p = 34 - 39. Let m be -78 + 1*p/(-5). Let t = 75 + m. Which is greater: t or -2/7?
-2/7
Let x = 0.00516 + 2766.99484. Which is smaller: 2 or x?
2
Let c(u) = -81*u**3 + 3*u**2 - 38*u + 70. Let f be c(2). Is f not equal to -642?
False
Let v = 41.6 - 43.34. Let j = v - -1.33. Is -0.02 at most j?
False
Suppose -16*u + 18*u - 10 = 0. Suppose 3*c + 131 = 5*z - 304, 2*z = u*c + 706. Let y = c + 152. Is y > 12?
False
Let u(m) = -m**3 + 21*m**2 - 52*m - 82. Let s be u(28). Is s >= -7026?
True
Let r = -17078/4743 + 184/51. Let j = 7 - 6. Is j >= r?
True
Let z be (2/656)/(-1 - (-172130)/170440). Let l = -5/338 + z. Which is greater: l or 0?
l
Suppose 105*y - 5 = 110*y. Let r = 20 - 8. Let i be 1 - ((-4)/y)/r. Is 18 bigger than i?
True
Let k = -31888 - -1562503/49. Is 1 < k?
False
Let f = 9104 + -9103.5. Are f and -2/49 equal?
False
Suppose -3*y = -7*t + 3*t + 305, 0 = 5*t + 5*y - 355. Suppose -69*g + t*g = -95. Which is greater: -20 or g?
g
Suppose 1198616 + 1615997 = 408*z + 794197. Which is bigger: 19811/4 or z?
19811/4
Let c = 354 + -328. Suppose 0 = 25*d - c*d + 29. Which is bigger: 5 or d?
d
Let q = 589/2 + -1217/4. Let s = -871 + 860. Which is smaller: s or q?
s
Let t = 28794 - 27854. Which is bigger: -2/33 or t?
t
Let v be 84/16*(-32)/(-6). Suppose -v = -c - 0*c. Let f = c + -27. Is 1/8 bigger than f?
False
Suppose x + 288*u - 291*u - 16 = 0, -5*x + 5*u + 90 = 0. Which is smaller: x or 233/12?
x
Let f = -1533/1700 + 45/68. Suppose -2*t = 8 - 10, j = -t + 37. Let g be -4*((-78)/j + 2). Which is smaller: f or g?
f
Let q = -61 + 60. Let h = 1/9 - 1/36. Let j = h + 1/6. Does j = q?
False
Suppose -130*d + 277218 + 227258 = -44*d. Is d != 5866?
False
Let x(b) = -34*b**2 - 7*b - 9. Let a(q) = -12*q**2 - 2*q - 3. Let m(i) = -11*a(i) + 4*x(i). Let y be m(-1). Are 6/289 and y equal?
False
Suppose -w + 74*l + 272 = 79*l, -l + 1145 = 4*w. Which is bigger: w or 288?
288
Let d be (40/(-25))/(-2)*75/2. Let x be 1 - (1/(-10))/(d/1275). Is 6 equal to x?
False
Let w(k) = -k**3 + 6*k**2 + 3*k + 7. Let g be w(7). Let r = 61/3 + g. Let l = -0.167 + -8.833. Is l smaller than r?
True
Let b(q) = -18*q + 215. Let v be b(12). Is -18/107 at most v?
False
Suppose 2*h + 566 = -d, h + 3*d + 241 = -32. Let m = 297 + h. Which is bigger: 87/7 or m?
87/7
Suppose -637 = 27*o - 34*o. Suppose -8 = 95*k - o*k. Which is smaller: k or 200?
k
Let t be (3 - (-32)/(-10))/((-8)/(-8)). Let r = 2881/6 - 476. Which is bigger: t or r?
r
Let f be (-1)/4 + 7 + 25455/60. Let y = 399 - f. Which is bigger: -6 or y?
-6
Let k = -26 - -28. Suppose 4*p = -a + 30, 2*a + k*p - 14 - 16 = 0. Let v be 2/(1*a/445). Is 88 at least as big as v?
False
Suppose 4*h = -5*i - 1, 5*h - 6*h + 6 = -5*i. Let w be ((-28)/294 + (-382)/(-42))/i. Is w smaller than -5?
True
Let w be 3/((-47178)/(-204436)) - (425 + -412). Is w <= -1?
False
Suppose 62 = -2*p + 20. Suppose -3270 = 2*q + u, 3*q = -3*u + 5*u - 4919. Let b = q - -1618. Is b less than or equal to p?
False
Let r(j) = 2*j**3 - 16*j**2 - 2*j + 18. Let w be r(8). Suppose 4*z = -h - 301, -2*h - w = -0. Is -445/6 greater than z?
True
Let s = -37/68 - -1/4. Let h = -138/527 - s. Let f(j) = -2464*j - 12320. Let k be f(-5). Which is greater: k or h?
h
Let m be 12 + (-15 - -5) - -2. Which is bigger: m or 289?
289
Suppose -5578 = -2*k + 4*h, -k + 1779 = 4*h - 1046. Which is smaller: 2800 or k?
2800
Let q(y) = 9*y + 174. Let h be q(-21). Let i be (h/9)/(120/(-144)). Which is greater: 7/8 or i?
i
Let g = 1019/308 - 36/11. Let y(i) = 2*i**2 + 35*i + 18. Let p be y(-17). Let s be 2 + p*-2 - (2 - 2). Which is greater: g or s?
g
Suppose 3*h - 15 = 21. Suppose 2*v = 3*v - 4, y = -2*v + h. Suppose -y*x - 3*u - 4 = -0*u, 3*u + 10 = -x. Is 2 < x?
False
Let n = -0.349 - 334.651. Is 3 not equal to n?
True
Suppose 0 = -0*d + 13*d - 1157. Let j = d - 90. Which is bigger: -1/156 or j?
-1/156
Let y = -14.751 + 18.491. Let i = 3 - 2. Which is smaller: y or i?
i
Let x = 211 - 83. Let g = 128 - x. Is -42 > g?
False
Let p = -374073342788/253 - -1478552660. Let g = p - 1898. Which is smaller: g or -1?
-1
Let g be 731/(-473) - -1*18/33. Let j = -5/2509 - 95237/52689. Is g less than j?
False
Let n = -0.6 + -0.1. Suppose -8*m + 11*m + t = 65, 5*t = -m + 31. Let o be (-6 - (-54)/6) + m/(-6). Which is bigger: o or n?
o
Suppose -2*h = -2*x + 24, -4*h - x = 51 + 2. Is 27 less than h?
False
Suppose 36 = 10*a + 6. Suppose -5*g - 3*d + 20 = -d, -3*d - 12 = -a*g. Suppose 3*w - g = 2. Is 4 at least w?
True
Suppose -2*o + 22 = -0*o. Let j(w) = -3*w**2 + 19*w + 4. Suppose -3*b - 18 = -3*q, 5*q + 0*b = b + 30. Let p be j(q). Is p less than or equal to o?
True
Let a = 2595 + -2596. Which is bigger: 12/139 or a?
12/139
Let m = -676 + 650. Let o(x) = x**2 + 24*x - 51. Let d be o(m). Does -2 = d?
False
Suppose z + 0*m + 8 = -4*m, -15 = 5*m. Let d(p) = 2*p + 5. Let x be d(z). Let g(c) = -c**2 + 22*c + 1477. Let s be g(51). Are s and x equal?
False
Suppose 72 = 3*c - c. Let u = c - 34. Let r be -8*(0 - (-15)/(-50)). Which is smaller: u or r?
u
Let w = 228 + -613. Let d = w - -362. Is 2 at most as