a < -72?
False
Let u(w) = -w**2 - 29*w - 13. Let n be u(-29). Let c(d) = -6*d - 77. Let f be c(n). Is f < -2/889?
False
Let l = 7077 - 3602. Which is smaller: l or 3474?
3474
Suppose -4*w - w = -3*g + 20, 3*g + 2*w = 13. Suppose 2*s = g*t + 54, 4*s = t + 6*s + 6. Is t less than or equal to -19?
False
Let n be (15/6 + -2)*(6 - -260) + -7. Are 145 and n unequal?
True
Suppose 5*w + 41 = 2*a, 7 = 3*a - w - 22. Suppose n + 7 = a. Let m(f) = -f + 7. Let h be m(8). Which is greater: h or n?
n
Let p = -9146 + 9147. Let m = 338 + -67940/201. Is p bigger than m?
True
Suppose 3*b - 546 = -2*c, 5*b = -c + 44 + 222. Let l be c/(-64) + (-7 - -11). Which is greater: -1 or l?
l
Let a = 26/5589 + -166975/39497463. Are a and 0 nonequal?
True
Let i = -20/2301 - 1/59. Suppose 0 = -4*j + 2*d + 20, -3*j + 0*d = -d - 16. Suppose 8*l - 2 = j. Which is smaller: l or i?
i
Let l = 928664843/10 - 92644504. Let m = l + -221796. Let g = m - 184. Which is greater: 0 or g?
g
Let z(r) = -r**3 - 20*r**2 + 20*r - 6. Let s be z(-21). Let b be -2*s/6 + -21 + 9. Is -88/5 at least as big as b?
False
Let b = -180 - -54. Let d = -136 - b. Let s = -0.6 - -0.4. Which is smaller: d or s?
d
Let u(g) = g**3 - 4*g**2 - g + 3. Let s = -10 - -14. Let b be u(s). Let k be -4*(28/(-16))/(-7). Is k greater than or equal to b?
True
Let g = -391622 + 391621.2. Let o = 2.9 + -3. Which is greater: o or g?
o
Suppose -4*a + 5*x + 35 + 219 = 0, 2*x = 5*a - 309. Suppose -k + a + 1 = 0. Suppose -k - 26 = 2*t. Which is smaller: t or -43?
t
Let z be (-8)/2 + 4 - (1551 + -22). Which is smaller: z or -1528?
z
Suppose 0*w + 5186 = 9*w + 5195. Which is greater: w or 22/161?
22/161
Let h = 218 - 216. Suppose -3*u + 19 = 7, -5*a + h*u + 287 = 0. Is a at most 61?
True
Let o = -72 + 86. Suppose -o*d + 273 = -d. Which is bigger: d or -0.02?
d
Let i be (0/1)/(-1) + -72. Suppose -383*h + 378*h = -10, -5*v - 348 = 6*h. Is i equal to v?
True
Let v be 1690/14 - 544/(-1904). Is v equal to 122?
False
Let w = -118 + 126. Suppose w*k = 6*k + 60. Which is smaller: k or 32?
k
Suppose 1360 = 2*d - 4*y, d - 9*y = -8*y + 684. Is d greater than 688?
False
Let g = -24 + 34. Suppose -n - u = -4, n + 0*n - 5*u = g. Suppose 0*i = n*j + 3*i - 79, 0 = 4*j + 2*i - 62. Does 14 = j?
True
Let u(b) = -4539*b + 1980. Let i be u(-5). Is i less than 24675?
False
Let c(b) = -7*b - 123. Let x be c(-20). Suppose 1 = 4*n - 5*n + v, 0 = 4*n + 3*v - x. Is 22/25 != n?
True
Let g = -29835 + 328409/11. Which is smaller: 20 or g?
20
Let s = 0.32 + 14.58. Let k = s - 0.3. Let u = 0.6 - k. Is 0.1 <= u?
False
Let g = 67 - 67. Suppose g = -t + 5 + 1. Suppose t*s + 183 = 3*h + s, 0 = -4*s - 12. Is 57 equal to h?
False
Let w = -116.00688 - -115.96. Is w equal to 0.1?
False
Let k(w) = 26*w - 158. Suppose -4*o = -6*l + 11*l - 26, 0 = l - 5*o - 11. Let n be k(l). Are 52 and n equal?
False
Let s = -296/4947 - -2/51. Let r(y) = -3*y + 4. Let h = 44 + -43. Let c be r(h). Are s and c unequal?
True
Let o(d) = -d**2 + 14*d + 23. Let y be o(13). Suppose 0 = 7*p - y - 55. Which is bigger: p or 14?
14
Let n be 3/(135/(-31335)) + 3. Are -692 and n unequal?
True
Suppose -1144*o + 1090*o = -162. Is o smaller than 1/73?
False
Let v be ((-30)/18)/(-5) + 29250/216. Is v less than or equal to 135?
False
Let x = 30342469/677 - 44819. Let l = x - -41273/2708. Which is smaller: l or 16?
l
Suppose -c + 47832 = -16*c - 9*c. Which is bigger: c or -1995?
c
Let v = -0.051 + -0.049. Let t = 465 + -546. Are v and t non-equal?
True
Suppose 3*y + 40 - 55 = 0, 0 = 3*o - 5*y + 7. Let j be 5/o - 9/(-54). Is j at least 0?
True
Let c = 66 + -45. Let f = c - -30. Let j = f - 50. Is 41 less than or equal to j?
False
Suppose 2*q + 3*i + 5 = 2*i, 5*q + 3*i + 14 = 0. Suppose -18 = -7*g + 24. Does q = g?
False
Let n be (-2)/(-3)*((-60)/8 + 1 - -5). Which is bigger: n or -0.053?
-0.053
Let h = 0.9351 - 1.0351. Let p be (79/(-3))/((-2)/(-6)). Which is smaller: h or p?
p
Let w(n) = 105*n + 1871. Let c be w(-18). Is -164/9 less than c?
False
Let z = -87197857/893 - -97646. Let k = 11/47 - z. Suppose -4*d + 7*d + 3 = 0. Which is smaller: d or k?
d
Let k = -2620.07473 - -0.07473. Which is bigger: k or -1/3?
-1/3
Let f = 32.399 + -341.399. Is -5/12 <= f?
False
Let s be ((-61048)/(-2405))/(3102/5). Let a = -2/1221 - s. Let d = a + 55/188. Which is bigger: 2 or d?
2
Suppose -2*p - p - 42 = 0. Let d = 10314 + -10321. Is p bigger than d?
False
Let q(d) = -3*d**3 - 3*d**2 + 14*d - 26. Let g be q(4). Let w = 171 + g. Is -38 greater than or equal to w?
True
Let q(d) = 2*d**2 - 27*d + 15. Let k be q(5). Let o = -51 - k. Is o at least 97/5?
False
Suppose -5*c + 35 = 0, -188*a + 185*a - 3730 = -4*c. Which is greater: a or -1231?
-1231
Let h = -0.49 + 48.49. Let g = h + -45. Let u = g - 4.7. Which is smaller: u or -1/4?
u
Let g = 46181 + -9836531/213. Do -2/5 and g have the same value?
False
Let x be ((-364)/390)/(((-4)/(-3))/(-1)). Let i(l) = l**3 + 11*l**2 + 10*l + 1. Let k be i(-10). Is k greater than or equal to x?
True
Suppose -209 = -3*z + 4*z. Let k = 1163 + -1373. Which is greater: z or k?
z
Let v be 10 + (-6 + 11 - 16). Is 12/29 bigger than v?
True
Suppose -2*h = t - 14, -2*t + h + 53 + 0 = 0. Suppose 0 = 3*s + 3*s - t. Suppose 5*g - 21 - 36 = b, 0 = -s*g - 4*b + 36. Is g greater than 12?
False
Let q(g) = 83*g**2 + 327*g + 15. Let t be q(-5). Is t less than 6?
False
Let r = 16420 + -12877. Is r >= 3544?
False
Suppose 0*c = -5*c - 5*u + 5, -c = -3*u - 9. Let w be 16*c - (-6 - 11/(-1)). Which is smaller: w or 46?
w
Suppose -20 = 3*b + 5*y, -11*y + 14*y = -5*b - 12. Let d be (6 - b)/(9*(-3)/(-36)). Let z be 1 - -3*40/18. Which is smaller: z or d?
z
Suppose -1638 = -15*i + 5907. Which is smaller: i or 500?
500
Suppose 0 = 2*p - 0*p - 8. Let g = 5.621407 + 0.078593. Are g and p unequal?
True
Let y = -3158585/39 - -80983. Which is smaller: -5 or y?
y
Suppose -a = m - 5, 3*m = 4*m + 5*a - 5. Suppose -5*j + m*z - 25 = 0, -4*z + 18 = -2*j - 0*z. Let c be (-435)/300 + j/(-4). Is c less than 0?
True
Suppose -5*d = -2*l + 545, 6*l - 870 = 3*l - 3*d. Let s = l + -289. Is 4 at most s?
False
Let r = -1072 + 1834. Let q = 761.93 - r. Which is smaller: q or -19?
-19
Let m = -3099 + 40279/13. Are m and 27 unequal?
True
Let u = -7 - 1. Let z be 15/(-10) - (27/6)/(-3). Suppose z = h + 6 - 0. Is h equal to u?
False
Let f = 33/7 + -3. Let s(j) = -j**3 + 32*j**2 - j + 34. Let a be s(32). Is f bigger than a?
False
Let x = -1.199 + -0.001. Let n = 12.2 + x. Let d = -16 + n. Is 0 not equal to d?
True
Let l(r) = 2*r**2 + 2*r - 3. Let v be l(0). Let n be ((-198)/(-32) + v)/((-40)/32). Let b = -9/5 - n. Which is bigger: 1 or b?
1
Let b = -57.4 - -57. Let c = -114 + 115. Which is bigger: b or c?
c
Suppose 1997 = -44*n + 17. Let s be 2/(1*9/n). Which is smaller: s or -141/13?
-141/13
Let v = 13 + -22. Let j be 334/(-66) - ((1 - 8) + 2). Let q = 3/11 - j. Is v >= q?
False
Suppose -3*z = 4*f - 157, 3*z - 2*f + 50 = 183. Let v(y) = 13*y + 11*y - 55*y + 10*y - 80. Let u be v(-6). Which is bigger: z or u?
z
Let m = 0.03829 - 17.23829. Which is greater: m or -11?
-11
Let d = -9234/2198713 + 10/1459. Which is greater: d or 1?
1
Let q = 69.55 - 74. Let b = q - -4.6. Which is smaller: b or -4/7?
-4/7
Let d = 144 + -120. Let l be (d/171)/(2/(-9)*3). Is l != -1/4?
True
Suppose -r + 11 = -0*j + 3*j, -5*r - 3*j = 5. Let c be (r/10)/2 + (-869)/55. Do -0.05 and c have different values?
True
Let j(c) = 2*c**3 - 53*c**2 - 83*c - 28. Let b be j(28). Suppose 3*i + 2*p - 17 = 13, 2*p + 26 = 4*i. Let l be (1/(-13))/((-4)/i). Is l > b?
True
Suppose 1424 - 16824 = -51*f + 7*f. Which is smaller: 355 or f?
f
Let l be 0/(-3*((-20)/6 - -4)). Suppose l = -3*p, 2*g - 82 = 2*p + 72. Does 82 = g?
False
Let q(p) = p**2 + 11*p - 16. Let k be q(-8). Let z be (-9)/6*k/12. Let c be (-1 - -4)/(33/(-22)). Is c greater than z?
False
Let z = -3064960/4599 - -5998/9. Is 0 != z?
True
Let s = -758921/1086560 + 32/6791. Which is smaller: s or 0?
s
Let p be ((-2 - 60/(-27)) + 6/(-27))/(-2). Is -203.1 < p?
True
Suppose 55*c = 3*o + 50*c + 10249, -c = -4*o - 13637. Is o > -3408?
False
Let m(d) be the second derivative of d**3/6 - d**2/2 - 23*d. Let x be m(-3). Let p be 4/(-3)*(-36)/x. Which is greater: 2 or p?
2
Let j = 67 + -67.116. Let o = 10032 - 10031.9. Which is smaller: o or