big as q?
True
Let a = 132 - 115. Let w = 8 + -11. Let i = w - -21. Is a >= i?
False
Let r(g) = 338*g - 29. Let u be r(6). Let v = u + -7937/4. Is -1 less than v?
True
Suppose 10*h + 0*h + 40 = 0. Let a be (1 - h)*(-2)/(-2) - -27. Suppose 0 = -4*m + 49 + 75. Are a and m unequal?
True
Let j = 13741 + -13726. Which is greater: j or -81?
j
Let i(p) = -352*p - 1049. Let y be i(-3). Which is greater: y or 0?
y
Let t = 193212 - 193213. Let y = -1087/73659 - -4/571. Which is greater: y or t?
y
Let l(r) = -2*r**2 + 3 - 2 + 3*r**2 + 3*r. Let g(o) = o**3 + 37*o**2 - 213*o + 12. Let v be g(5). Let w be l(v). Is w > -1/75?
True
Suppose 0 = -2*d + 3*h - 36, 0 = -2*h + 16 - 4. Which is smaller: d or -0.28?
d
Let w be 2 + -9419 + (-45)/(225/(-10)). Is -9414 at most as big as w?
False
Let b = 287 + -486. Let o = b - -176. Which is smaller: o or -16?
o
Let r = -49/23 + 23203/10902. Suppose 1 = 5*c + 6. Which is smaller: c or r?
c
Let z = -223 + 241. Suppose z*p = 42*p + 24. Which is bigger: p or -11?
p
Let d be 5 + (-29)/(-2) + 3/6. Suppose 0 = d*p - 15*p + 400. Is -78 at most as big as p?
False
Let t be (-1)/3*(-4 - -7). Let c be 71/6 - 1/(-6). Let w be 20/(-6)*c/10. Does t = w?
False
Let f be 2340*(-2)/12*54*4/24. Is f at most as big as -3509?
True
Let k = -10181 + 10180. Is k at most -1/5058?
True
Let i = 307.2 - 307.8. Is -1/3 at least as big as i?
True
Let z = 63041 + -8447421/134. Which is smaller: 1 or z?
z
Let u(g) = 44*g - 851. Let f be u(20). Suppose 69 + 51 = 4*j. Is j <= f?
False
Let g = 546713/1305 + -587/145. Is g at least as big as 414?
True
Let y(f) = -f**3 + 5*f**2 - 7*f + 10. Let x be y(5). Let j = -21 - x. Let k be (-10)/35 - j/(-14). Which is smaller: -2/35 or k?
-2/35
Let c = 2/223 + -1352/1561. Suppose 0 = -3*t + 7*t + 12. Let n(x) = -x - 4. Let u be n(t). Which is smaller: c or u?
u
Let v be 4/(-18) - (-876)/54. Let q(f) = f**3 + 2*f**2 - 6*f + 8. Let k be q(-4). Suppose k = 4*a + 8, -3*r + a = 3*a - 50. Is v less than r?
True
Suppose -5*x + 26 = 2*f, 129*x + 7 = -3*f + 133*x. Which is smaller: 200 or f?
f
Let d = -9198 + 8649. Which is smaller: 2/3 or d?
d
Let j = 31 - 54.4. Let m = -23.2 - j. Which is greater: m or -32?
m
Let k = -762 - -66295/87. Let d = 63193 + -63193. Which is smaller: k or d?
d
Let m = 1715 + -1714.8. Let n = -6.079 - -6.1. Which is greater: m or n?
m
Let g be ((-4)/(-1))/((-44)/198*-18). Is g >= 18/113?
True
Let d = 0.115 + 0.01. Let q = -16257 + 16257.1. Is d greater than or equal to q?
True
Let c = 2032.6 - 2025.9. Which is smaller: c or 0.2?
0.2
Let r be ((-9)/15)/((-14)/5). Let z be (-5*20/(-25))/(4/(-6)). Let y(c) = c**2 + 2*c - 24. Let x be y(z). Which is smaller: x or r?
x
Let u = 1193/13 + -1883721/20527. Let q = 583 + -582. Is q greater than u?
True
Let u be ((-14)/(-5))/(3/5). Let q = 203 - 199. Suppose 3*r - 4*z = 0, -r + 17 = 3*z + q. Is r <= u?
True
Let y(j) = j**3 - 9*j**2 - 12*j - 10. Let l be y(10). Suppose 9*v + 21 - 57 = 0. Suppose -12*k - 480 = v*k. Is k greater than or equal to l?
True
Let u(r) = 2*r**2 + 13*r - 734. Let q be u(-21). Which is greater: q or -121?
-121
Suppose -2665 = 2*z + 3*k, 3*z - k - 5355 = 7*z. Let a be (-1407)/z + 2/(-8). Let p = -1 - -2. Which is bigger: a or p?
p
Suppose 29600 = 59*r + 21*r. Is 353 <= r?
True
Let u(j) = -850*j**2 + 34*j. Let v be u(-1). Which is smaller: -883 or v?
v
Let n = -591.4 + 593.8. Let d be (-2)/(-12) - (-4)/48. Is d at most n?
True
Suppose -2*p - 6 = -22. Suppose -p*k = 74 - 2. Let y = 9 + k. Which is smaller: y or -1?
-1
Suppose -24 = -k - k - 4*a, 3*k + 2*a - 20 = 0. Suppose 0 = -6*s + s + 10. Suppose -s*x - k*x = -24. Which is smaller: 22/5 or x?
x
Let r = 15120 - 15127. Is -75.4 <= r?
True
Let x(k) = k**2 - 5*k + 2. Let a be x(3). Let t be -8*(a + 6) - -2. Let p be 728/624 + (-47)/3. Which is smaller: t or p?
p
Let h = -217 - -151. Suppose 86 = -2*f - 42. Which is smaller: h or f?
h
Let z = 2.3 - 5.161. Is z greater than or equal to 2/7?
False
Let i be (-2)/1*(-1)/(-4). Let x = 378 - 376.01. Let u = 1.83 - x. Is u at least as big as i?
True
Let o be (-3974)/(-26) + (-68)/(-1105)*5/2. Suppose -3*k + 453 = 3*g, -2*g + 0*g + 2*k = -306. Is o at least g?
True
Let q be -1 + 0/(2 + -1). Let z = 19943145/26 + -766800. Let o = z - 244. Is q < o?
True
Let x = 0.076 + -63.076. Let i = -140 - x. Let t = i + 76.9. Which is bigger: -1/71 or t?
-1/71
Let z(w) = w**3 + 2*w**2 - w + 12. Let v be z(0). Suppose a + 5 = v. Is a bigger than 9?
False
Let t(u) = -u**2 - 69*u - 1038. Let z be t(-45). Which is smaller: z or 37?
37
Suppose 3*s + 4*w + 29 = -3, -4*w = 5*s + 48. Let r be (-3)/(s/(-6)*945/(-280)). Which is smaller: 0.29 or r?
0.29
Let s = 7/737 - 3831/325754. Let o = s + 122/5083. Are o and 2/3 nonequal?
True
Let y be -3937 + (-3 - (-96)/(-16)). Are y and -3946 non-equal?
False
Let g = -1568 + 199133/127. Which is greater: g or 1?
1
Let l(p) = -7*p - 5. Let i = -33 + 32. Let h be l(i). Suppose -3*z + h*z = 8. Which is greater: -11 or z?
z
Suppose 0 = 5*h - 1 - 4. Let i = -8108 - -8113. Suppose 0 = i*n + h - 11. Is n equal to 4/5?
False
Let c be ((-1446)/42150)/(8/(-5)). Let u = c + 1/281. Which is greater: 2 or u?
2
Suppose -5*m = -4*m + 3*b - 7, b - 7 = 2*m. Let x be m/(-4)*(0 + 12). Suppose 0 - x = 6*s. Which is bigger: s or -2/23?
-2/23
Suppose 2*x = 3*s + 67, x - 3*s = -5*s + 16. Suppose x = -5*r + 3*r. Let b = -195 - -196. Is r greater than or equal to b?
False
Let t(k) = k**2 + 21*k - 55. Suppose 66*f - 59*f = -147. Let h be t(f). Which is smaller: 4 or h?
h
Let x = 552 - 346. Suppose -85*f = -80*f - 1030. Is x greater than f?
False
Let f be (-10)/(-3) + 5 + 16/(-3). Suppose 6 = -0*o - f*o, 2*o = i - 6. Let v = 42 - 43. Are i and v equal?
False
Suppose 2*t + 2 + 25 = 3*y, 0 = -t - 2*y - 3. Let o be (-2085)/(-75) - ((-6)/(-10))/(-3). Suppose -o = -11*r - 127. Is t not equal to r?
False
Let p = -0.0107 + -2.0993. Let h = p + 4.11. Which is smaller: 0 or h?
0
Let l = 92 - 82. Let i(r) = -10*r + 42. Let u be i(l). Which is smaller: u or -4?
u
Let a = 3443 + -3458. Let g be (-2)/5 + (-96)/10. Which is greater: a or g?
g
Suppose 0 = -4*z - 445 + 573. Suppose 7*n + 750 = z*n. Is 31 < n?
False
Let v(d) = -d**3 + 23*d**2 - 22*d + 5. Let z be v(22). Let k(f) = -2*f - 26. Let j be k(z). Suppose 2*i + 162 = -4*t, 0 = 5*i - 7 + 32. Is j <= t?
False
Let r = 4231 - 4232. Is r at most -73/74?
True
Let n = 69777/5 + -13956. Let c = 112.28 + 1.72. Is n less than or equal to c?
True
Let r = -10880 - -10877. Which is greater: -0.1468 or r?
-0.1468
Let v = -21188/11 + 1926. Is -4/89 not equal to v?
True
Suppose 7 + 28 = 3*v + 2*h, 4*v - 32 = h. Let y be (v/96*-2)/(6/2). Let m be -2*(46/12 - 4). Which is smaller: y or m?
y
Let w be (300/(-116) - (-36 + 33))/(6/(-236)). Which is bigger: -15 or w?
-15
Let j(a) = 2*a + 34. Let o be j(-15). Suppose -d - 21 = -5*t + 2, o*t = 2*d + 22. Which is smaller: t or -6?
-6
Suppose 16026 = 22*s - 109687 - 18871. Is s at most as big as 6573?
True
Let s = 9959 + -9169. Does s = 790?
True
Let x = 374775 - 374745. Let w = -15 + 40. Which is smaller: w or x?
w
Suppose -659*w + 664*w + 39 = 4*n, 3*n - 36 = -3*w. Let j = -1/2 - -83/170. Does w = j?
False
Let k(i) = i - 45. Let o(p) = 2*p + 2. Let n(h) = k(h) + 2*o(h). Let m be n(12). Is 24 at least m?
True
Suppose -2*c + 5586 = 5*i, -c - 2234 = -2*i - 2*c. Does 1117 = i?
False
Suppose 27*d + 147 = -18*d + 66*d. Which is smaller: d or 1/167?
1/167
Let c be (-80 + 39 + 33)*(-274)/936. Which is smaller: c or 1/2?
1/2
Suppose 0 = 4*b - 0*b + 16, -104 = -4*h - 4*b. Let r be h/(-5) + (-516)/(-6). Is 81 > r?
True
Let v = -3.89 - -9.83. Let r = -36.3 + 36.24. Let k = v - r. Is k less than -1/2?
False
Let o = 57697 - 637199/11. Let l = 238 + o. Which is greater: l or 8?
8
Let u be (-2)/(-8) - 2907/12. Let s = 733/3 + u. Let z = -236 - -234. Which is smaller: s or z?
z
Let i be (-1)/3 + (-487)/(-3). Let r = 137 - i. Is r not equal to -23?
True
Suppose 3*a - 29 = 2*z, 3*a - a - 34 = 5*z. Let s(w) = 2*w**2 - 10*w - 15. Let b be s(a). Which is smaller: b or 105/8?
b
Let i(w) = 2 + 3 - 14 - 8*w - 25. Let z be i(-4). Is z less than 12?
True
Let i(p) be the second derivative of -p**5/20 - 11*p**4/12 - 5*p**3/6 + 23*p**2/2 + 94*p. Let o be i(-6). Does -126 = o?
False
Let y be 36/(-2)*(1 - 2). Let s =