 as b?
True
Let r = 184193/14 - 13162. Is r less than or equal to -6?
False
Let y(k) = 4*k - 11. Let i be y(3). Suppose 59 = p - i. Suppose 2*o - 16 = -2*w - p, w - o = -24. Which is bigger: w or -24?
w
Let h be 3/(-2)*(2 - -2). Let f be 2/(-3) - (-74)/h. Let l = -1495 + 1480. Do l and f have the same value?
False
Let g = -29 - -29. Suppose 0 = -2*l + 5*t + 110, g = -2*t + 1 - 5. Let h be 2 + l/(-8) + 13/52. Is -4 != h?
False
Suppose 4*t - 3*q + 1 - 8 = 0, -q + 15 = 3*t. Suppose -227 = t*p + 4*o + o, -5*p = 5*o + 290. Is p < -64?
False
Let v = -34991 + 34990.94. Let b = -0.31 - 12.69. Which is greater: v or b?
v
Let l be -3 - (8 + 81606/(-11648) - (1 - -3)). Which is bigger: 1 or l?
1
Let g = 1456 + -2913/2. Is g > -1386?
True
Let q(u) = 2*u**2 + 13*u + 9. Let b be q(-5). Let g be -52 + b + (-1 - (-3 + -1)). Is 0 greater than g?
True
Suppose -v - 1485 = 4*v. Let h be 2/9 - (-88)/v. Suppose -2*t = 3*t - 29*t + 24. Does h = t?
False
Let o = -1 - -0.4. Suppose 2*f - 7 = -g, 5*f + 3 - 1 = 4*g. Suppose -3*t = 2*b - 6*t + 8, g*b - 2*t + 7 = 0. Which is smaller: o or b?
b
Let f = -108 - -109. Let u be (16/(-24))/(f/((-3)/2)). Let m(k) = -9*k**3 + 2*k**2. Let y be m(u). Which is smaller: y or -8?
-8
Let o = 31509 + -31519. Is o less than 306?
True
Let r(y) = 3*y**2 + 167*y - 1632. Let v be r(10). Let f = -414 + 752. Is f at least v?
True
Let q = 673 + -326. Let r = -349.5 + q. Let p be (4/24)/(1/(-4)). Is p greater than r?
True
Suppose 4*o + 5*n + 260 = 0, -205 = 3*o + 1497*n - 1492*n. Let j = -126 - -75. Is j > o?
True
Suppose 16 = -2*j + 52. Let d = 35197 + -35199. Which is greater: d or j?
j
Let g = -227 + 85. Let n = -25 - g. Let b be 0 - (354/n + -2) - -1. Which is greater: 1 or b?
1
Suppose 0 = -18*o + 19*o - 3. Suppose 22 = -5*x + 5*g + 7, 3*x + o*g - 9 = 0. Let n = 134 - 1473/11. Does x = n?
False
Suppose 3*h - 203 = -m, -m + 143 = 2*h - 66. Is m > 216?
True
Let m = 35 + -37. Let i(t) = -3*t - 1. Let n be i(m). Suppose -2*x - 4*r - 43 = -17, -n*x - 33 = 2*r. Is x greater than or equal to -1?
False
Let n = 14768 + -14771. Which is smaller: n or -261/59?
-261/59
Suppose 7*q = -6*q + 8*q. Suppose q = -9*d + 13*d + 16. Suppose 0 = -5*v + 2*v - 12. Is d != v?
False
Let z(v) = v**3 - v**2 - 2*v + 5. Let f be z(0). Suppose -77 = -3*p + f*s, -2*p - 9*s + 26 = -6*s. Which is smaller: 21 or p?
p
Let p = 92 - 83. Let c(g) = g**3 - 9*g**2 - 12*g + 26. Let o be c(p). Is o smaller than -81?
True
Let p(c) = c + 1. Let b be p(-1). Suppose -2*g - 4 = -b. Let q be ((-5)/g - (-2)/(-4)) + 1. Are q and 7 non-equal?
True
Let g(w) = 2*w**2 - 12*w - 32. Let c be g(-5). Let s = 84 - c. Which is greater: s or 81/13?
81/13
Let p = 4 + 68. Let w(v) = -v**2 - 10*v + 192. Let u be w(7). Is p >= u?
False
Let b = -966/59 - 33830/413. Which is smaller: b or -99?
-99
Let c be (-2)/6 + (252/27 - 6). Suppose -324 = c*t - 3*l, 2*l - 319 = 3*t + 9. Which is greater: t or -115?
t
Let y be -9 + (6/2 - 3). Let a(q) = 19*q - 97. Let b be a(5). Let r = y + b. Is -1 > r?
True
Let q = 1.3296 - 0.3296. Is q at most as big as 284?
True
Let w = -10.855 + 10.931. Which is bigger: w or -2/3?
w
Suppose -106*g + 4*i + 24 = -109*g, 5*i + 30 = -4*g. Which is smaller: g or -16/249?
-16/249
Suppose 0 = 35*v - 31*v - 72. Let p be (-436)/v + (40/36)/5. Let l(k) = 4*k + 32. Let h be l(-8). Do p and h have the same value?
False
Let v(n) = -n**3 - 34*n**2 - 24*n - 71. Let p be v(-33). Let a = -325 - p. Is a at least 42?
True
Let m = 498 - 450. Let a be m/(-9)*(-780)/40. Is 106 less than or equal to a?
False
Let h = 550.34 - 3.34. Let x = -547 + h. Which is greater: x or 495?
495
Let l(m) = 2*m**2 + 11*m + 12. Let b(o) = -o**3 - 5*o**2 - o + 5. Let w be b(-4). Let c be l(w). Suppose -4*x - x + 185 = 15. Which is bigger: x or c?
x
Let u(k) = -10*k + 42. Let f be u(-2). Suppose -f = -10*v - 412. Is 4/7 < v?
False
Let n = -1.091 + 0.031. Let w = 116.06 + n. Let v = w - 117. Which is smaller: 22 or v?
v
Let w be -1*(-7 + 9) + 3. Which is smaller: w or 43/115?
43/115
Let r = 438.18 + -437.98. Let q = 29.8 - 61.6. Is r at least as big as q?
True
Suppose 3*l = 7*l + 2*q - 12, 4*l - 5*q = 26. Suppose -l*p - 8 = 0, p = r + 9 - 10. Let y = 756 + -5282/7. Which is bigger: y or r?
y
Let h = 21183 + -21187.7. Is 2/477 at most h?
False
Suppose 0*v + 3*v + 2*z = -44, 4*v - 4*z + 52 = 0. Let h be v/98 - 34/7. Let k be (-3 + 37/13)*-1. Which is smaller: h or k?
h
Suppose 3*q = -11*q + 14. Suppose 3*t + 2 = 2*k + 6*t, 0 = -k + 2*t + q. Do k and 15/11 have the same value?
False
Let n = 72 + -70. Let j(i) = 2*i + 9*i - 825*i**3 + 826*i**3 - 11*i**n - 3. Let t be j(10). Are t and 7 nonequal?
False
Suppose -3*g + 3121 = -5*k, 3 + 12 = -5*g. Let w = -697 - k. Which is greater: w or -74?
w
Let x = -3031 + 15059/5. Let t = -19 - x. Which is bigger: -2 or t?
t
Let v = 22 - 15. Let k be 40/108*(v - 28). Which is greater: -7 or k?
-7
Let f(b) = 117*b**2 + b + 17. Let w be f(5). Do 2947 and w have the same value?
True
Let p be (-19*4)/(266/1729). Is -3454/7 smaller than p?
False
Let m(f) = 2*f**3 + 22*f**2 - 119*f - 1332. Let b be m(-11). Suppose -2*i = -4*n - 54, 2*n = -n - 3*i - 45. Is b at least n?
False
Let r(a) = 3*a - 9. Let z be r(-5). Let c be ((-51)/z)/((-2)/4). Let v be (4 + (-2 - 1))*-3. Which is smaller: v or c?
c
Let z be 3/(-6) - (-5)/1340*6. Let k = -3110/6231 - z. Which is smaller: 0 or k?
k
Let h be -4 + (-87834)/(-12546) - (-9)/(-3). Is 1 >= h?
True
Let w = 25826 - 25906. Suppose 4*r = -2*f - 13 + 3, -4*r - 16 = 4*f. Which is smaller: w or r?
w
Let w(s) be the first derivative of -3*s**2/2 + 4*s - 44. Let l be w(1). Suppose -y - 6 + 0 = 0. Is y smaller than l?
True
Let j = -4822.07 - -4790. Let t = j - -32. Is t > 0.5?
False
Suppose 66*t - 7662 = 229*t - 2772. Suppose 2*y - 5 = a, 20 = -2*y - y - 4*a. Suppose -3*u - 49 - 38 = y. Which is smaller: t or u?
t
Let r be (4 + -6)*1/(2/87). Let n = 106 + r. Let v = 28 - n. Which is smaller: 5 or v?
5
Let n = -13616 - -193693/14. Which is smaller: n or 218?
218
Let o = 71/270 - 7/54. Suppose 15*q + 1121 = 176. Let a be 9/(q/14) + 3. Which is smaller: a or o?
o
Let z = -0.32 + 0.128. Let v = z - 0.008. Which is greater: -47/4 or v?
v
Let g be -6 + (-27118)/4264 - -13. Do 0 and g have the same value?
False
Suppose -144*a - 4368 = -239*a + 137*a. Which is smaller: a or 31/5?
a
Let u(x) = -6*x - 17. Let c be u(-4). Suppose 0 = -3*w + c*w - 148. Suppose w*b = 39*b. Which is greater: 3/4 or b?
3/4
Suppose 0 = 5*i - 52 + 2. Let o = 382 + -320. Let y be ((-8)/i)/(o/15). Does 1 = y?
False
Let g be 47408/(-12) - 0 - 68/204. Is g < -3948?
True
Let n = -6091 + 6090.5. Which is smaller: n or 0.136?
n
Suppose z - 4*v - 45 = -0*v, -5*z + 150 = -5*v. Suppose 5*n + 5*d = z, n - 16 = -3*d - 5. Let q be n/5 - -1*(-48)/(-105). Which is greater: 1 or q?
1
Let w = 0.0565 - 0.3075. Let p = w + 0.011. Do p and -2 have the same value?
False
Suppose 3*q = 23 - 8. Let w be (-10)/(-35) + -1*(-18)/(-63). Suppose -24*x + 382 - 70 = w. Which is smaller: x or q?
q
Let w = -2/99 - 49/2475. Let z(n) = -n**2 + 16*n - 35. Let m(g) = g**2 - 17*g + 35. Let r(u) = 3*m(u) + 2*z(u). Let a be r(17). Which is smaller: a or w?
w
Suppose 0 = 3*w - 9*w + 6. Let j = 40607/4 + -10083. Let l = j - 68. Is l greater than w?
False
Suppose -l - 2*l + 6 = 0. Suppose l*s = -6*s. Suppose 4*m - y - 2*y = s, -3*m + 3*y = 0. Which is smaller: 1/70 or m?
m
Let q be 9135/(-1885) - (2 + -7). Is 8/9 less than q?
False
Let g = 1147 - 1738. Let r = -590 - g. Are r and 3/5 nonequal?
True
Suppose 3*h = -5*y - 1, 2*h = -h + 5*y - 11. Suppose -6*o = 2*b - 5*o - 11, b + 3*o - 18 = 0. Suppose 0 = 3*v - b - 3. Is h at least as big as v?
False
Let a(f) = f**3 + 5*f**2 - 4*f - 20. Let b be -2*-1*2/(-4). Let n(u) = -u - 1. Let d(m) = b*a(m) - 4*n(m). Let y be d(-6). Which is greater: y or 13?
13
Let n = -20 - -5. Let i = n - -15. Let t = -1.397 - -0.097. Which is bigger: t or i?
i
Let c be 3/(-9) + (0 - (-7)/3). Suppose -3*m = 2*d - 19, 8*m + 43 = c*d + 3*m. Are d and 14 equal?
True
Let j = 26523486203982/33077 - 801870974. Let c = -10/341 - j. Which is smaller: -1 or c?
-1
Let g = -4838 + 4898. Which is bigger: 55 or g?
g
Suppose 4*f = 5*v - 24, -2*f + 14 = 5*v - 4. Suppose k - 3 = -2*z + 6*k, -2*z - 2*k - v = 0. Let w be (8/(-24))/(43/(-2)