2 - 3*u - 1104. Let b be n(35). Let z = 4885/91 + -501/13. Is b greater than or equal to z?
True
Let q(h) = 19*h + 210. Let k be q(-11). Is k bigger than -1/4673?
True
Let r(f) = f - 10. Let b be r(12). Let y be b - (-7)/(-3) - (-4020)/180. Which is bigger: y or 194/9?
y
Let k = 167.23 - 166.83. Do k and 3.075 have different values?
True
Let x be (-5)/(-2)*((-108)/(-20) - 5). Let s be x/4*744/(-9). Suppose -3*k = 73 - 13. Are s and k unequal?
True
Suppose 0 = 4*v + 2*d - 58, -v + 3*d = -6*v + 72. Suppose -285 + 960 = v*x. Is 43 > x?
False
Let u be 2/10 + 14 + 47663994/5705. Let f = 8369 - u. Which is smaller: 0 or f?
0
Suppose 0 = 131*r - 93*r - 113*r + 22050. Is 296 at least as big as r?
True
Let o(c) be the third derivative of -13/24*c**4 + 0*c + 0 + 12*c**2 + 1/60*c**5 - 1/6*c**3. Let g be o(13). Which is bigger: -2/75 or g?
-2/75
Let j = -33847 - -32113. Is -1739 bigger than j?
False
Let v(j) = -7*j**3 - 4*j**2 - 2*j. Let q be v(-3). Suppose 9 = -2*r + q. Suppose -9*n - r = -12. Is n < -8?
False
Let k be 2 + (-1 + 5)/2. Suppose -k*y = -2*z + y + 28, -4*z = -4*y - 32. Suppose -3*i - 2 = 2*b + 5, z*i - 5*b - 29 = 0. Which is smaller: 14/13 or i?
i
Let a be -2*(1 - (-30)/(-4)). Suppose -a*r = -9*r. Suppose -15 = 3*m - r, -3*d - 133 = -4*m. Which is smaller: d or -52?
-52
Let z(p) = -2*p**2 - 17*p + 8. Let r be z(-9). Let j be (r/(-1))/((-3)/(-18)). Let i be (14/21)/(2/j). Are 2 and i non-equal?
False
Suppose 81*y = -5*c + 83*y + 23964, 5*y = -5*c + 23985. Is 4794 not equal to c?
False
Suppose 0 = -14*c + 20*c + 36. Let j(s) = -14*s**2 - 31*s - 102. Let n be j(c). Is n greater than or equal to -419?
False
Let p = -7.06347 - -0.06347. Is p less than or equal to -120?
False
Let f = -8190 + 8190. Which is smaller: 2/6587 or f?
f
Let z = 311 - 267. Which is smaller: 46 or z?
z
Let f be (11 + (-1458)/(-24))*8. Is 572 not equal to f?
True
Let m = -7/20996 + 66851299/104980. Which is smaller: m or 638?
m
Let f(k) = k**3 + 8*k**2 - 4*k + 9. Let r(h) = 1 - 3*h - 11 - 10 + 3. Let s be r(-3). Let c be f(s). Is 41 less than c?
False
Let w be -1*(-242)/3*63/(-42). Which is smaller: 13 or w?
w
Suppose 3*b + 8 = 5*z - 24, -4*b = 3*z + 62. Let t be b/(-35)*20 + -8. Are t and -2/1647 unequal?
True
Let q = 61 - 111. Let x = q + 51. Let k be -2 - -2 - (2 - 5). Is x not equal to k?
True
Let q be (2054/52)/((-25)/2 - 0). Which is smaller: q or -2?
q
Let p = 24563 - 24437.01. Let x = -12.7 - -138.7. Let c = p - x. Is -7 > c?
False
Let v = -0.06 - -0.02. Let g = -7.04 - v. Let b = -0.3055 - 0.6945. Are g and b equal?
False
Let t be 50 - 53 - ((-2589)/(-2586) - 1)*-2766. Is -1 equal to t?
False
Let z(h) = -243*h + 442. Let p be z(-3). Is 1170 > p?
False
Let u be (-4)/2*3/6. Let h(y) = y**3 - 7*y**2 + 3*y + 15. Let v = -320 - -326. Let d be h(v). Which is bigger: d or u?
u
Let q be (-3526)/(-10) + -2 - 15/25. Suppose 14*j = -0*j + q. Which is bigger: 24 or j?
j
Suppose -2*t + 20 - 108 = 0. Let v be 1/(-3) + t/(-36). Let d(y) = -y**3 + 79*y**2 + 1. Let h be d(79). Is h greater than v?
True
Suppose -62 - 82 = -4*l. Let b = -16 + l. Let j = b + -7. Are 58/5 and j non-equal?
True
Let y(d) = 3*d - 13. Let g be y(6). Let a = g - 5. Suppose 5 = -a*t + t + 3*p, -8 = -5*t + 2*p. Which is greater: t or 13/8?
t
Suppose 16*z = 10*z + 72. Suppose 7*x - 90 = z*x. Let l = -130 + 111. Which is greater: l or x?
x
Let n(w) = -w**2 - 8*w - 12. Let a be n(-6). Suppose a = -t + 2*h - 5*h - 12, -4*t + h = -4. Let j = 1652/85 + -96/5. Which is smaller: t or j?
t
Suppose 5*l + 0*l - 85 = 0. Let s = 467.86 - 467. Let z = 0.66 - s. Which is greater: l or z?
l
Let m = -4.63 + -238.37. Let g = 325 + m. Which is smaller: 0.2 or g?
0.2
Let v = -746 - -746. Suppose v = 5*p + 2*s - 307 - 242, 3*s = -2*p + 224. Is p at least as big as 111?
False
Let p be 7/((-140)/(-24)) + 2*77/(-70). Which is smaller: p or 2943?
p
Let u = -537367509/2500 + 214947. Does u = 1?
False
Let m = 2416 + -789. Is 1627 at most m?
True
Let x(v) = -2*v**3 + 14*v**2 - 10*v - 10. Let t be x(6). Let d be (1 + -1)*t/(-8). Let n be 0 + 2 - (-92)/(-50). Is d at least as big as n?
False
Suppose -2*x + 3631*k - 3629*k = -960, -k = 2*x - 966. Suppose -3*a = -5*a + 5*l + 959, 0 = -3*a - 5*l + 1451. Do x and a have the same value?
True
Let c be 214/(-2033) + (-180)/95. Let r = -1224/1625 + -2/125. Which is smaller: r or c?
c
Let b = -77/302942 + -364007463/506821966. Let s = 2795 - 668006/239. Let r = s - b. Is r bigger than 0.2?
True
Let v be ((-150)/(-525))/((-4)/(-42)). Suppose -v*a = -5*o - 0*o + 41, -5*o + 5*a + 35 = 0. Does o = 11?
False
Let r = 1851 + -2910.4. Which is bigger: r or 2/3?
2/3
Let w be 30/(-405)*-3*3. Does w = 1299?
False
Let q(f) = 29*f - 34. Let z be q(2). Suppose m - z = -11*m. Let p = 0.9 + -1. Does p = m?
False
Suppose m - 187 = 5*d + 85, -3*m = -2*d - 842. Suppose -30*r + 25*r + 1410 = 0. Is m at least as big as r?
True
Let j = -36 - -41. Suppose -r + j = 0, -2*s + 687 = -6*s + 3*r. Let i be s*(-7 + 2)/15. Does 57 = i?
False
Let v(n) = -17*n - 4*n + 4*n + n. Let k be v(-1). Let j be 33/(-44)*k/(-22). Which is greater: j or 2?
2
Let t be (0 + 2/3)/2. Suppose 4*b - 26 = 5*j, -4*j + 9 - 33 = -4*b. Suppose 2*r = 3*h - 13, b*r + 3*h - 28 = -9. Which is greater: t or r?
r
Let x be 50 + ((-2)/2 - -1). Suppose 9*b - 58 - x = 0. Let n = 37/3 - b. Is 9/2 equal to n?
False
Let a = -129168/19 + 6798. Suppose 0 = -i - 1. Are i and a equal?
False
Suppose 0 = -391*n + 463*n + 41976. Is n != -1165/2?
True
Let q(f) = 122*f - 455. Let o be q(3). Is 12/5 equal to o?
False
Let h(b) = b**3 - 7*b**2 - 29*b - 11. Let o be h(10). Let g be (-21)/(-7)*o + 2. Which is bigger: -6/79 or g?
-6/79
Suppose 121*z - 59*z - 61*z + 1 = 0. Which is smaller: -31/33 or z?
z
Let t be (-5)/15 - 976/24. Let j = t - 10. Is j at least as big as -51?
True
Let z = 43391/7 + -6187. Is z < 12?
True
Suppose 6*p + 48 = 2*r + 2*p, 2*r = -4*p + 48. Suppose 6*g - 108 = r*g. Which is smaller: g or -13?
-13
Let p be (-3810)/381 - 117/(-12). Let c = 0.01 - -1.29. Is p smaller than c?
True
Suppose 152*s + 125*s + 21 = 256*s. Which is bigger: s or 1/190?
1/190
Let z be ((-551)/171 - (-2)/9) + 3. Suppose z = -4*o + 2*g - 110, 8*g - 3*g - 86 = 3*o. Let i(r) = -6*r - 5. Let d be i(4). Is o at most as big as d?
False
Suppose 4*j + 5*y + 3791 - 363 = 0, 4*y = -4*j - 3428. Do -857 and j have the same value?
True
Let k(j) = -j**3 - 6*j**2 - 4*j - 7. Let d be k(-6). Suppose -62*q + 60*q = -844. Let x = q - 407. Is x equal to d?
False
Let f(u) = 2*u**2 - 13*u - 82. Let t be f(-4). Suppose 2*a = -t*p - 154, -3*p - p = 5*a + 313. Is p smaller than -220/3?
False
Let l = 26 + -25.07. Let a = l - 50.93. Let w = 49 + a. Which is smaller: 1/4 or w?
w
Let z(y) = 557*y - 117. Let q be z(7). Is q > 3781?
True
Let g be (3 + -5)*(35 - 34). Is -63/22 greater than or equal to g?
False
Let y = -126553 + 6327891/50. Which is bigger: 4 or y?
y
Suppose 0 = -2*y + 5*a + 74, 4*y - 7*y + 128 = a. Let n = 64 - y. Let r = n + -24. Do r and -1 have the same value?
False
Let y(u) = -u + 10. Let q be y(6). Let o be (-9)/36 + 1/q*-7. Let k = o - 4. Which is bigger: k or 5?
5
Suppose -33 = 3*s + 58 + 29. Are s and -17 nonequal?
True
Suppose -2*j = 39 - 49. Suppose -4*n = -4*y - 20, 2*n = j*n + y - 35. Let f(q) = -q**2 + 3*q + 36. Let d be f(7). Is n greater than d?
True
Suppose 2*h + 4*m = -690, 73*h = 71*h + 5*m - 681. Which is smaller: h or -344?
-344
Let l be (-3*8/72)/(2/(-36)). Let o be 112/(-8)*(-1269)/l. Let t = -701756/237 + o. Which is smaller: 0 or t?
0
Let b = -17.03 - -52.03. Which is smaller: b or 1/8?
1/8
Let s be 4/(-10) + 520/50. Let x be s*(955/(-175) - -5). Let y = 121/28 + x. Which is bigger: -0.04 or y?
-0.04
Let f = 41649 - 41648. Is 1/18441 not equal to f?
True
Suppose -18 - 40 = -4*m - 74. Let y be (-3 - -1)/((-1)/(-7)). Which is bigger: m or y?
m
Let q = -5665/54 - -631/6. Suppose -v - 5 = -4. Is v >= q?
False
Suppose v = 10*b - 12992, 70*b - 69*b - 2*v - 1303 = 0. Which is greater: b or 1302?
1302
Let b = -12096 - -8455. Which is bigger: b or -10925/3?
b
Let j be (0 - (1 - 2))/(-25 - (-23 - 1)). Which is greater: 17/130 or j?
17/130
Suppose -5*r - 6*t + 4*t + 65 = 0, 2*t = 0. Let q(k) = -k + 99. Let g be q(0). Suppose 4*p = -3*l + 71, 4*l + r - g = -p. Is 19 > l?
False
Let i