ost as big as q?
True
Let y = 5/18 - 5/99. Let q = 89 + -89. Is y bigger than q?
True
Let b be ((-265)/(-280) + -1)*(-12)/(-63). Let u be 102/(-980) - (-8)/20. Let p = b + u. Which is smaller: p or -0.08?
-0.08
Let b(s) = 611*s - 1292. Let y be b(2). Which is smaller: -50 or y?
y
Let i = 18197 + -18199. Is i greater than or equal to -93/98?
False
Let z(i) = 13*i - 19. Suppose -3*w + 3 - 19 = 5*a, -a = 3*w - 4. Let k be z(a). Is -84 > k?
False
Let w = -75 - -75. Suppose r + 13*r + 798 = w. Which is greater: -58 or r?
r
Let z be 2/(15/7 - 2). Let o(b) = -5*b**2 + b**3 - 2*b**3 - 3 - z + 66*b - 63*b. Let m be o(-6). Is 0 >= m?
False
Suppose -11*m = -67 - 54. Suppose m*q - 12*q = -46. Is q greater than 46?
False
Let m = 267 - 208. Suppose 0 = 2*n + 57 - m. Is -5 at least n?
False
Let f be (-1)/(0 - 4/(-76)). Let d be (-2562)/(-8)*14/21. Let x = d - 233. Is f < x?
False
Let l = 11 + -274. Let d = 767 - 766. Is d less than l?
False
Let u(g) = 305*g - 1561. Let s be u(5). Is -12 not equal to s?
True
Let h(l) = -102 - l**2 + 53 + 51 + 9*l + 0*l. Let j be 1/((-15)/(-9))*(16 - 1). Let b be h(j). Is b <= 0.036?
False
Let d = 124137 - 5958569/48. Suppose -4*w + w + 2*n + 5 = 0, -4*n - 16 = 0. Do w and d have the same value?
False
Let y be 2/(3/((-546)/(-4)))*(-3000)/(-1400). Which is smaller: 3328/17 or y?
y
Let o be 14*1*(-1)/(-2). Let u(z) = -z**2 - 8*z - 4. Let w be (0 - (-2 - -1))*-6. Let j be u(w). Which is smaller: o or j?
o
Let h(y) = -3*y**2 - 639. Let w be h(23). Is w < -2226?
False
Suppose -4*y - 2*x = -234, 0 = 5*y - 6*y + 2*x + 66. Suppose -32*z = -37*z - y. Let n be (-1)/30 + (-4)/z. Is n at least as big as 0?
True
Let c = 2916 - 2934. Which is smaller: c or -19?
-19
Let o = 4853 - 4853.5. Which is bigger: 541 or o?
541
Suppose 8 - 36 = 7*y. Let z be 42/8 + (-2 - (-2 - y)). Is 2 less than z?
False
Let r be (-6)/(-28) + 4578636/4872. Is 938 <= r?
True
Let k = -7 - -3. Let v = -31 - -31. Let h = v - k. Is 9 greater than or equal to h?
True
Let l(j) = -3*j**2 - 13*j - 12. Let c(z) = 6*z**2 + 25*z + 25. Let k(o) = -6*c(o) - 13*l(o). Let i be k(-6). Let d be (0 - 1/3)*i/1. Which is smaller: d or 1?
d
Suppose -10 + 20 = 2*z. Suppose 9*w = z*w + 12. Let r be 1/((w - 5)*(-3)/11). Which is smaller: r or 2?
r
Let x(f) = -2*f**3 - 10*f**2 + 7*f + 56. Let k be x(-3). Which is bigger: k or 4/8415?
4/8415
Let v(q) = 52*q**2 - q - 1. Let g(a) = -a**2 + 2*a + 7. Let i be g(-2). Let n be v(i). Suppose -8*x = -4*x + n. Is x != -12?
True
Suppose -6*m = 175 + 305. Let i be (2/236)/(220/m). Which is smaller: -1 or i?
-1
Suppose 2 + 1 = -3*p. Let n be 14/253 + 126/2079. Is n smaller than p?
False
Let k = -0.156 + 0.327. Let p = 0.029 + k. Let s = 0.837 + 0.063. Is s less than or equal to p?
False
Let c = -40 + 81. Let s = c + -44. Let b = 570 + -543. Is s at most b?
True
Suppose -5*q + 6 - 13 = 2*s, -2*s = 4*q + 6. Let m = -2213/4 + 123931/224. Which is bigger: q or m?
m
Let g be 2/(-6) - 50/(-15). Let c be 1*(-1)/60*g. Let u be -1 + -1 + (-4 - -1 - -5). Does c = u?
False
Suppose -39*k + 3653 = -52*k. Does k = -1691/6?
False
Let h(f) = -5*f**3 + f**2 + 2. Let z(m) = -m**3 - m - 60 + 60. Let q(n) = h(n) - 4*z(n). Let p be q(4). Which is bigger: p or -32?
p
Let u = -1.2 + 3.02. Let k = 4.82 - u. Which is greater: k or 3/44?
k
Let y be 9229/319 + -8*3/(-348). Is y smaller than -0.002?
False
Let b be ((-429)/(-2))/((-2)/(-4)). Let w be (-2)/10 - b/(-845). Let t(o) = -o**3 - 25*o**2 + 24*o - 52. Let i be t(-26). Are i and w non-equal?
True
Suppose -2*s + 4*q + 964 = -3*s, 0 = -3*s + 3*q - 2832. Let u = s - -948. Is u smaller than 13/9?
True
Let i be (-173 + 174)*(-40 - 0). Which is bigger: i or -50?
i
Let o = -25.67 + -388.33. Which is greater: o or -1/2?
-1/2
Suppose 2 = 9*o - 7. Let t be o + 30/(-26) + (-11638)/(-40664). Let b = 907/340 + t. Is b greater than or equal to 4?
False
Suppose 2*i + 5 = 11*y - 16*y, -i = 3*y + 3. Is -39/95 less than y?
False
Let z(c) = -c**2 + 3*c + 11. Let w be z(5). Let g be ((-87)/(-148))/(-3) + (-5)/(-20). Which is smaller: g or w?
g
Suppose 3*t - 8*t + 412 = 392. Is 0.2 less than t?
True
Suppose 0 = -3*v - 16 + 34. Suppose 0 = q + 3, -4*j + 0*j + 2*q + v = 0. Which is bigger: 2/41 or j?
2/41
Let i(a) = -13 + 0 + 2*a - 56 + 0*a. Let x(o) = -o - 1. Let v(j) = i(j) - 2*x(j). Let b be v(17). Which is smaller: b or -2/441?
-2/441
Let h = -60 - -59. Let c be h/(-4)*(-12)/(-3). Let m be 18/(-12) + c/2. Which is smaller: -45 or m?
-45
Let c = -16504 - -3944445/239. Which is smaller: -1 or c?
-1
Suppose 6*n - 166 = -58. Let h(q) = 2*q**3 - 37*q**2 + 17*q + 24. Let u be h(n). Which is smaller: u or -10?
-10
Let m = -2920 + 17557/6. Suppose -4*l + 18 + 2 = 0. Is m less than l?
False
Let v = -0.0582 + 2.0582. Let p = -425 - -425.01. Does p = v?
False
Let q = 0.333 + 0.317. Let n = q + -0.55. Which is smaller: -100 or n?
-100
Let s = -1636 + 1632.229. Which is smaller: s or -1/4?
s
Suppose -5*t - 1468 = 4*v, -1489*t - 2*v = -1486*t + 882. Is -296 <= t?
True
Let r = -3 + 90.4. Let m = r - 92. Which is bigger: m or 0?
0
Suppose 4*t - 487 = 5*a - 3596, 4*t + 3069 = -3*a. Let q = 2093938 - 85819845/41. Let j = t + q. Which is bigger: -1 or j?
j
Let j(i) = -i**2 + 9*i - 13. Let v be -2 + (-2 - -3) - -7. Let m be j(v). Let z be 5 - m - (-1 + 26 + -2). Is 2 < z?
False
Let p be (469/28)/((52/32)/(-13)). Is -1202/9 greater than p?
True
Let d be (3 + 0 - 7) + -150. Let m = d + 769/5. Which is smaller: m or 0.06?
m
Let n = 361.654576 + 0.015424. Let l = n - 358. Are l and 1 unequal?
True
Suppose 2*k - 184*l = -182*l - 9104, 4*k + 3*l = -18250. Is k at most as big as -4559?
False
Suppose -51*u + 81 = 56 - 230. Let c(n) = n**3 - 4*n**2 + 3*n + 3. Let m be c(3). Is u less than m?
False
Suppose 65*t + 20338 + 5471 = -1426. Let x be ((-1676)/3)/(-4)*-3. Do x and t have the same value?
True
Suppose 6*h - 13*h = 1470. Let p = -251 + 42. Which is bigger: h or p?
p
Let r(g) = -41*g**3 - 8*g**2 - 42*g - 191. Let h be r(-5). Which is smaller: 4943 or h?
4943
Suppose q - 2*q = g - 13, -5*g + 41 = -3*q. Suppose -5 = c + 2*i, g - 2 = -2*i. Suppose -c*m + 33 = 15. Which is smaller: 10 or m?
m
Let f = 2/5907 + -11828/41349. Are f and 971/3 non-equal?
True
Let k = 31879/2 - 15648. Is k smaller than 292?
True
Let q(t) = 6*t**3 - 2*t - 2. Let u be q(2). Suppose -5*k + u = -2*f, -12 = 2*f + 5*k - 10. Which is smaller: -21 or f?
-21
Suppose -3*w + 2853 = 3*o, 5*o - 1902 = -2*w + 10*o. Suppose 6*r - 117 = w. Which is smaller: r or 177?
177
Let k = 400.821 + -401. Let v = 9.962 + -7.962. Is v at most as big as k?
False
Let w be 0 + -5 - (-5 + -9). Let l = 13/56 - 737/3416. Let m = l - -1400/183. Which is greater: w or m?
w
Suppose 3*l - 3*o = o + 38, -3*o + 12 = 0. Suppose 3*x - 42*v + l = -39*v, v - 1 = -4*x. Let q be 1*(3 + -1)/(-26). Which is greater: q or x?
q
Let t be 2 + (-4)/2 + 3. Let f be (-1 - 1) + -1 + t. Let m = 53/10 + -1769/330. Is m < f?
True
Let v = -10.263 - 0.617. Let j = v - -2. Let c = j - -8.9. Which is smaller: -4 or c?
-4
Let f(t) = 27*t + 637. Let b be f(-20). Is 87 at least b?
False
Let o be 3*(-3 + 2*-4). Let q = -11637 - -34811/3. Is q > o?
False
Let t = 43649/430 - 203/2. Let s = 1642460937/4491355160 + 10/2611253. Let q = s + t. Is -1 greater than q?
False
Suppose l = 5, 6*y + 2067 = 3*y - 8*l + 364. Let a be -2*(-1)/2 - 581. Which is bigger: y or a?
a
Let r = 102 - 100. Suppose 5*a = 4*x + 225 + 161, 3*x + r*a + 301 = 0. Let t be -3 + ((-10413)/x - (-4)/(-22)). Which is greater: t or 0.1?
t
Let g = 2/8087 - 162586/3420801. Is g at most as big as 0?
True
Let n be ((-2)/5)/(2/(-140)). Suppose 8 = 10*w + n. Let a be (1 + (-11)/w)*(-92)/207. Is -3 smaller than a?
True
Let q be (-15)/(-30)*4/(-28)*0. Which is smaller: -12.76 or q?
-12.76
Let b = 316 + -779. Let j = -291 - b. Is 170 bigger than j?
False
Suppose -5*t + 14 + 33 = 4*o, -4*o + 3 = t. Let d be (-8 + -4)*(-16)/6. Suppose 12 + d = t*x. Is x <= 5?
True
Let c = -45/14 - -69/14. Let t = -221/14 - c. Let j = t - -101/6. Is -63 < j?
True
Let u be 1 - (-10)/(-3) - (-495)/165. Which is bigger: 1659 or u?
1659
Let c = 580/7161 + -11/217. Let f be -1*2*1/(-1). Suppose 5 - f = -3*r. Which is bigger: r or c?
c
Suppose -38 = 3*c - 5*c. Suppose g + 3*k - 2 = -c, 17 = 4*g - 5*k. Let q(t) = 3*t + 31. Let u 