8013 = 28*z - 28683. Which is bigger: 3953 or z?
3953
Let i = -316 + 4742/15. Let v(l) = 2*l**2 + 82*l + 14. Let d(x) = -41*x - 7. Let r(c) = 7*d(c) + 3*v(c). Let z be r(7). Is i greater than z?
True
Let n = 191.9366 + 0.0634. Which is bigger: n or 17?
n
Let a(o) = 8*o - 49. Let j be a(6). Let r be (1 + (-7)/2)/((-11)/(-44)). Are j and r nonequal?
True
Let f(p) = -76*p - 3726. Let a be f(-53). Is 304 greater than or equal to a?
True
Let a = 54.34 + -55. Let i = a - 1.34. Let m = -4 - -9. Are i and m non-equal?
True
Let s = 1.828 - -1.172. Let x = 8.8 + -7. Do x and s have different values?
True
Let s = -1350 + 41853/31. Is s less than -20?
False
Let v = -31 + -62. Let t(b) = -b - 86. Let q be t(6). Is q at most as big as v?
False
Let b = 61 - 46. Let a be (-5)/7*b/(-30). Let s = a + -81/266. Does -0.1 = s?
False
Suppose -4*o = -5*l + 45, -4*o + 2*l = l + 25. Let v be o - ((-384)/66 - -5). Is -4 greater than v?
True
Suppose 6*s + 16 = 9*s + 13*s. Is s at least 1/103?
True
Let n = -7/38825 - 240708/38825. Let w = -17 + 10. Is w bigger than n?
False
Suppose 232*i = 274*i - 42. Let q be (-3)/(-135)*(3 + -1). Does q = i?
False
Let q = 3172/2055 + 26/137. Let d = -8112 - -8113. Is q smaller than d?
False
Let m(s) = -3*s**2 - 25*s + 52. Let v(j) = j**2 + 8*j - 17. Let c(g) = -4*m(g) - 11*v(g). Let i be c(-9). Which is smaller: 3 or i?
i
Let z be ((-8)/10)/(1 - (-40)/(-50)) - -319. Which is greater: 320 or z?
320
Let p(y) = -2*y**2 - 6*y - 25. Suppose 3*j = 3*o + 12, 14*o + j + 20 = 12*o. Let k be p(o). Let h = -71 - k. Which is bigger: 36 or h?
36
Let b be (-151 - -159) + (-285)/(-110). Is b < 12?
True
Suppose -3*g - 75 = -5*k, 3*k + 15 = 4*g + 71. Let o = -33 - -58. Suppose 3*p = o + 11. Is k equal to p?
True
Suppose 11*r = 3*r + 9*r. Which is greater: r or -2/8737?
r
Suppose 4*u - 14918 = -5454. Which is smaller: 2367 or u?
u
Suppose -3*l = -7*l. Let r = 1452857/8 - 180890. Let q = r - 716. Do q and l have different values?
True
Let i(z) = 3*z**2 - 48*z + 134. Let s be i(3). Suppose -x = -s + 20. Are x and -20/7 nonequal?
True
Let l be 68/20 + -1 + -1. Let w = l - 0. Let t be (4/1)/(4 - -10). Is w != t?
True
Let u(h) = h**3 + h**2 - 25*h + 157. Let z be u(-7). Let l be (34/1)/(1 + 0). Which is bigger: z or l?
z
Let u(j) = -5*j**2 - 56*j - 86. Let f be u(-9). Is 309/22 less than or equal to f?
False
Let r = 4929 - 4994.26. Let g = 1.26 + r. Let u = -56 - g. Which is smaller: 0.4 or u?
0.4
Let r(s) = 234*s - 2999. Let y be r(14). Which is smaller: y or 265?
265
Let w = -9/3950 + -1957/7900. Let k = 343 - 645. Which is smaller: w or k?
k
Let y be (5 + 18/(-6))*5*(-4)/(-40). Are -6424 and y equal?
False
Let x(f) = -f**3 - 2*f**2 - 5*f + 2. Let g be x(-4). Suppose -82*m + 91*m = -g. Which is smaller: -5 or m?
m
Let z = -9728 - -107006/11. Let g be (166/(-4) - -2)*2. Is g at most z?
True
Suppose 5*z = 0, 5*z = -5*w + z. Suppose -k - 2*k = -120. Let y be (-2)/k + 1 + -1. Do y and w have the same value?
False
Suppose -1544*z - 1007 = -1563*z. Which is smaller: 13 or z?
13
Let d(g) = -g**2 - 22*g + 234. Let l be d(-22). Which is smaller: l or 259?
l
Let j = -10492 - -10364. Which is bigger: j or -124?
-124
Let t = -0.03953 + 1560.03953. Which is smaller: t or -2?
-2
Let s(f) = -8*f - 2 + 0*f + 4 + 3*f**3 + 6*f - 2*f**2. Let w be s(1). Is -2/371 greater than w?
False
Let y = -1597 - -839. Let s = -758 - y. Let r = 2.8 - -43.2. Which is greater: s or r?
r
Suppose 4*z + 2*s - 68 = 0, -10*z + 187 - 1 = 3*s. Let d(o) = o**3 - 3*o**2 - 6*o - 1. Let y be d(5). Is z less than y?
False
Let k = -230/3 - -1259/12. Suppose -4*b = -0*b - 5*q - 98, 5*b + q = 137. Which is greater: k or b?
k
Let g be 26 + (2 - (2 + -2)). Let z be ((-5)/(-3))/(g/(-8) - -6). Let m = 2.8 - 3. Is m bigger than z?
False
Let j = -3584 + 3582. Which is smaller: j or 1489?
j
Let m = -470.9086 - 0.0914. Let c = m + 781. Is c greater than or equal to 1/3?
True
Suppose 0 = -7878*a + 7910*a. Which is smaller: -1/5936 or a?
-1/5936
Let i be ((-353)/(-1059))/(1/20250). Is i at most 6749?
False
Let h be ((-16)/(-6))/(4/6). Suppose -h*b + 60 = 2*b. Suppose b*l - 5 = 5*l. Is l > -2/55?
True
Let c be ((-27)/27*1/3)/(1868/30). Is 1 at most as big as c?
False
Suppose 3*k = 2*t + 6, 0*k - 4*k + 8 = 4*t. Let b = -110 + 113. Let n be (b - 0) + (-316)/52 + 3. Is t at most as big as n?
False
Let f = 2 + -1. Let n = 6248/380511 + -10/829. Let h = n - 956/8721. Which is smaller: f or h?
h
Suppose -43707 = -210*r + 52473. Which is smaller: 470 or r?
r
Suppose -137 = j + 3*v, -3*j + 3*v = -2*v + 369. Let y = j - -60. Is -67 equal to y?
False
Let l(v) = -2*v**2 - 23*v + 28. Let i be l(-18). Let b = 206 + i. Which is smaller: b or -8/45?
-8/45
Let z = -270537 + 38957105/144. Let n = 19/16 + z. Which is bigger: 0 or n?
0
Let w = -16 - -11. Let b = 9.08 + -7.7. Let y = b - 1.4. Which is greater: y or w?
y
Let t be (-110)/22*(0 - 1). Let b be (-12)/(-20) + 2/t. Which is smaller: b or -1/91?
-1/91
Let j(s) = -7608*s**2 - 334*s + 333. Let r be j(1). Which is smaller: r or 0?
r
Let x be -1*1 + (16 - 20) + 4. Let i be 24*(-5)/(80/(-12)). Let a be 11*x*(-6)/i. Which is smaller: a or 4?
a
Let b(c) = -22*c + 397. Let m be b(23). Let l = -110 - 0. Which is smaller: l or m?
l
Let s be (8/(-10))/(8/(-25700)). Let b = 2474272/7 - 350892. Let z = s - b. Are z and -6 non-equal?
True
Suppose 0 = -3*s + 7*s - 16. Suppose -s*c - 160 = c. Let v = -3277/9 - -6545/18. Which is bigger: c or v?
v
Let w = 80.6 + -80. Do w and -127 have the same value?
False
Let b(n) = -8*n + 33. Let r(l) = -7*l + 34. Let p(k) = -6*b(k) + 7*r(k). Let g be p(16). Let m be ((-20)/(-9) - 2) + g/54. Which is smaller: 0 or m?
0
Suppose -999856 = -2231*l + 2374*l. Which is smaller: -6993 or l?
-6993
Let g(r) = -11 + 4*r - 5 - 1. Let z be g(4). Let b be 37/(-56) - (0 - (-6)/(-21)). Do b and z have different values?
True
Suppose z = k + 2*k - 19, 5*k - 27 = -3*z. Do z and -10/493 have the same value?
False
Let d = 124 + -422. Let x = d + 401. Are 1 and x nonequal?
True
Let s = -136 + -9. Let x = s + 145. Let z be (1 + x)/((-425)/34). Is z smaller than -1?
False
Suppose -7928 + 5652 = 11*o + 8273. Which is smaller: -958 or o?
o
Let n be (-6)/(-7)*54/33291. Which is smaller: n or 0?
0
Let z = -287874127/104 - -2767994. Let t = z + 21/104. Which is greater: -27 or t?
t
Suppose 343 - 57 = 13*p. Let f be 10/25 + p/(-5). Suppose -j - 4*j - 10 = 0. Is j >= f?
True
Let p = 11452818829 - 66895914518384/5841. Let y = -493/11 + p. Are 1 and y nonequal?
True
Suppose -8888 = -198*h + 194*h. Which is greater: h or 2221?
h
Let t(o) = -o**3 + 9*o**2 + 16*o - 116. Let m be t(10). Let r = 234 + m. Is r bigger than 176?
True
Let t be 0 + 2/((-10)/(-8)*48/126). Is t greater than 0.11?
True
Let q = 7 - -24. Suppose -28*o + q*o - 9 = 0. Let u be (0 - -2)*o/(7 + 5). Is u less than -3?
False
Let b = -3918.18 - -3918. Which is greater: 0.2 or b?
0.2
Let x be (8/5 - (-40)/(-25))/(-4). Is 4.983 less than x?
False
Suppose -3689 = 20*c - 10029. Let x = -199/485 - -1/97. Is c <= x?
False
Let l = -54348 + 269713/5. Is -404 equal to l?
False
Suppose -5*v = 15, -5*h - 4*v + 2*v - 2936 = 0. Let j be 4*((1 - -4) + h/12). Does j = -176?
False
Let b = -25063/59655 - -8/1455. Is b at most -1?
False
Let m be ((-1555)/519 - (-249 + 246))/((-4)/3). Which is smaller: m or -0.07?
-0.07
Let q = 567 - 234. Let t = q - 333.4. Is 10 greater than t?
True
Let r be 0*(15/(-10))/((-3)/(-2)). Let h be (154 - 16) + r + 1. Which is bigger: h or 2/5?
h
Let y = -9891.6 + 9891. Which is smaller: y or 99?
y
Suppose -2*f = 4*a + 59 - 169, -133 = -5*a - f. Which is bigger: 77/3 or a?
a
Let i = 0.08 + -0.8. Let n = -488 - -488.69. Let b = i + n. Which is greater: -0.5 or b?
b
Let g be (-22)/14 - -1 - (-2941350700)/(-35). Let w = g + 395821758121/4710. Let t = w - 1/785. Which is smaller: -1 or t?
t
Let g(w) = 57 + 24*w - w**2 - 20*w**2 + 3*w**3 - 4*w**3. Let h be g(-22). Is h at least as big as 86/7?
True
Let r(b) = -4*b**2 - 44*b - 40. Let s be 427/(-63) - -7 - (-184)/(-18). Let y be r(s). Let i be -1*2*(-6)/(-4). Are i and y nonequal?
True
Let w = 238 - 223. Suppose 0 = 13*f - w*f - 2. Is f < 55?
True
Let g(s) = 175*s + 168. Let c be g(-1). Which is greater: c or -18?
c
Let v(q) = q - 1. Let a(u) = -u**3 - 7*u**2 - 8*u - 