0.1 unequal?
True
Let s = -18 - -14. Let n be 9/3*(-3 - s). Suppose -7*u - 20 = -n*u. Is u at least as big as -3?
False
Suppose -7*j = -146 + 524. Let t = 4 - 3. Let n be t/2 - (-15)/j. Which is smaller: 0.02 or n?
0.02
Let r be (6*(-2)/(-930))/(4/(-20)). Which is smaller: 0.049 or r?
r
Let z = -13 + 17. Suppose n + 49 = -z*t, 2*t = -n - 4*n - 47. Let f be (-3 - (t - -3))/(-1). Are f and -4 nonequal?
True
Let s = -1256.7 + 1257. Let n = 24 + -24.11. Does s = n?
False
Let w(z) = 112*z + 559. Let u be w(-5). Which is bigger: 3/196 or u?
3/196
Let b(i) = -14*i - 68. Let h be b(-5). Let s be -46 + -4 + 7 + h. Is -41 greater than s?
False
Let y be -4*2/(-4)*2. Let u(c) = c**3 - 3*c**2 - 2*c - 3. Let a be u(y). Suppose i + 5 = 3*o - 2, 9 = -a*i + 2*o. Does -3/13 = i?
False
Let r be -7 - ((-327)/48 + -3). Is r at least 4?
False
Let x = -232/25 - 3/25. Which is greater: x or -10?
x
Let r be 1 - 3 - -1 - 70. Let y = r + 637/9. Do y and 0 have the same value?
False
Let f = -1965/7 - -281. Is f >= -61?
True
Let x = 792/13 - 3778/65. Is x > -16?
True
Let x(o) = o**3 - 6*o**2 - 2*o - 9. Let n be x(7). Let k = n - 25. Let t be (k/((-4)/(-20)))/(-1). Which is greater: t or -3?
-3
Let y = 0.9 + 1.1. Let s = 0.03 - -0.02. Let j = 2.05 - s. Is j < y?
False
Suppose 2*m = 30 - 4. Let q = -12 + m. Is -4/57 != q?
True
Let c be (-3 - 0) + 18 + (-30)/10. Which is bigger: 25/2 or c?
25/2
Let b be (4 - 72/21)/(2/12). Suppose 0 = -l - 3*k - 7, 0*l = -2*l - k + 1. Which is bigger: l or b?
b
Let f = 643 + -643. Which is smaller: 13 or f?
f
Suppose 3*i + 10 = -5*g, -14*i = -13*i + 4*g + 8. Is 3/101 greater than or equal to i?
True
Let j(m) = -3*m - 5. Let b be j(-8). Let h = -15 + b. Let z be (-3 - -2)*h/34. Which is greater: -1 or z?
z
Let h = 11.406 - 11.5. Which is greater: h or -1?
h
Let n be -4 + (-1 - (-2)/1). Let q be ((-2)/n)/(1/1). Suppose 50 = 12*s - 7*s. Is q less than or equal to s?
True
Let w = 1.2 + -184.2. Which is greater: 3 or w?
3
Suppose s - 4*s = 9, 9 = 4*f - 3*s. Let u = 49/304 - -1/38. Are u and f nonequal?
True
Let o = 81 - 80. Which is smaller: o or -17?
-17
Let s be 10/(-6) - 9/27. Let u be 34/4*s - -2. Let r = -14 - u. Which is smaller: r or -0.2?
-0.2
Let y(f) = -f**3 - 14*f**2 + 39*f + 111. Let a be y(-16). Is 3/1774 at least a?
True
Let b(n) = -n**2 - 11*n - 9. Let v be b(-10). Let h(g) = 2*g**2 + 4*g + 6. Let k be h(-3). Let a be (-30)/k*12/135. Is v at least a?
True
Suppose -8*i - 438 = -1190. Let a be (-7 - -8)/(2/i). Which is smaller: 48 or a?
a
Let p(s) = -s**2 - 8*s - 10. Let q be p(-6). Suppose q*n + 28 + 4 = 5*r, r - 5 = -n. Which is smaller: r or -3?
-3
Suppose -2*h - 72 = -3*h. Suppose 6*g - 6 = h. Let m = 16 - g. Which is smaller: m or 2?
2
Suppose p = 2*y + 3*p - 28, -3*p = 2*y - 33. Let d(g) = 3*g - 58. Let n be d(21). Which is smaller: y or n?
n
Suppose 0 = 7*a - 0*a + 7. Let w be a*(-8 - (3 + -5)). Suppose 2*i - 13 = -4*d + 5, -d + 4 = i. Which is smaller: w or d?
d
Suppose -5*w + h = 5*h - 209, -127 = -3*w - 2*h. Let z be 1/(w/(-25) + 1 + 1). Is 19/5 > z?
False
Let t = -1.895 - -1.695. Is t >= -298?
True
Suppose -5*k + 333 = -n - 227, 0 = 3*n - 3*k + 1716. Which is bigger: n or -574?
-574
Let d(y) = 4*y + 16. Let k(v) = v. Let t(a) = d(a) - 3*k(a). Let w be t(-9). Let n = w - 9. Which is smaller: -1 or n?
n
Let i = 999/5371 + -7/41. Which is greater: i or 0?
i
Suppose 5*k + 4*x = 2*k + 12, 0 = -k + 4*x - 12. Let w = 387 + -385. Is k less than or equal to w?
True
Let o(q) be the second derivative of q**4/12 - q**3 - 9*q**2/2 - 16*q. Let k = 9 + -2. Let g be o(k). Are g and -3 nonequal?
True
Let w = 31 + -15. Let g(k) = -5 + 14*k**3 - 14 + w*k**2 - 15*k**3 + 18*k. Let c be g(17). Is 0 smaller than c?
False
Suppose 43 = 2*g + 15. Suppose 2*j + g = 2*q, -3*j - 2*q + q = 5. Does j = -1?
False
Let r(h) = h**2 - 29*h + 33. Let c be r(27). Is c smaller than -1/3?
True
Suppose 9 = 5*r - 6. Suppose 6 = -r*k + 3. Which is smaller: k or 3/8?
k
Let c = -3/47 - -319/3525. Which is bigger: c or 0.11?
0.11
Let f(u) = u**2 + 2*u - 8. Let c be f(-12). Are c and 111 nonequal?
True
Suppose c - 98 = v - 2*v, c = -4*v + 395. Let w be 4 - (v/21 - -4). Which is smaller: -4 or w?
w
Let z = 0.06 + 0.14. Let n = z + 7.8. Let g = -14 + n. Which is bigger: g or 1/4?
1/4
Let q = 51.7 - 65. Let l = q + -1.5. Let d = 15 + l. Is 0 bigger than d?
False
Let r(t) = t**3 + 16*t**2 - 19*t - 4. Let k(v) = v**3 + 17*v**2 - 20*v - 4. Let i(w) = -2*k(w) + 3*r(w). Let g be i(-15). Is g > 27?
False
Let f be (-4*2/(-12))/(8/324). Let z be f/(-108) + (-7)/4. Let i = 17/2 + -9. Which is greater: z or i?
i
Let r = -0.0464 - 19.9536. Is 0 bigger than r?
True
Let z = 4 + 0. Let n = -2 + z. Let y be (-3 + 0)*n/18. Is y bigger than -1?
True
Let r be (-58)/(-6) + (-2)/(-6). Which is bigger: r or 11?
11
Let l be (-175)/(-28)*-2*(-6)/115. Are 0 and l nonequal?
True
Suppose 5*v = 10, -5*o - 6*v = -4*v + 331. Which is bigger: o or -64?
-64
Let i(p) = p - 10. Let k be i(-9). Let f be (-1 - -1) + 5 + -23. Which is smaller: k or f?
k
Let x(n) = n + 35. Let p be x(-15). Suppose 0 = -w + 4*y, 0 = 7*w - 3*w + 4*y + p. Is -1 less than or equal to w?
False
Let q(o) be the third derivative of o**5/60 + o**4/3 - o**3/2 - o**2. Let k be q(-8). Let t = k + 4. Is 1/3 bigger than t?
False
Suppose 3 = 28*n - 25. Which is greater: n or 275/2?
275/2
Suppose g + 2 = -3*g + 3*k, 10 = -g - 4*k. Let c(z) = z**3 + 2*z**2 - 34*z + 6. Let t be c(-7). Which is bigger: t or g?
t
Let r = 90.945 + -91. Let v = -1.945 + r. Which is smaller: 2.2 or v?
v
Suppose 5*w = q - 184, -4*w = 4*q + q + 153. Is -39 bigger than w?
False
Suppose 0 = -8*w + 62 + 130. Let z be ((-48)/w)/(2/15). Is z <= 0.1?
True
Let g(f) = 3*f - 1. Suppose -d + 0 = 1, 30 = 5*y - 5*d. Let h be g(y). Is h > 15?
False
Let o(t) = -17*t**2 - 11*t + 12. Let f be o(1). Let k = f + 68. Which is bigger: 51 or k?
k
Let b = -13769 + 6843197/497. Is 0 greater than b?
False
Suppose -o + 18 = -5*d, -4*d - 21 = -2*o - o. Suppose -5*b - 4*v + 10 = 0, b - 3*v = 18 + 3. Let i be (-89)/40 + b/(-15). Which is smaller: d or i?
d
Let f = -2.4 + 2.47. Let w = -116 - -116.2. Is f greater than w?
False
Let f = -3/1483 - -223939/2966. Which is smaller: f or 75?
75
Suppose 2*i - 5*i - 2*w + 10 = 0, 0 = 4*i - 3*w + 15. Which is smaller: 3/67 or i?
i
Let z = -0.0096 + -0.0904. Are 2/3 and z unequal?
True
Let g = 1340 - 9446/7. Is g smaller than -10?
False
Let q = -171 + 133. Which is smaller: q or -35?
q
Let z be (-26)/117 + (-122)/(-9). Let y = 111 + -97. Is y < z?
False
Let t = -1 - 1.32. Let y = t - -1.2. Let u = 1.1 + y. Is u at least 2/5?
False
Let z = 38.2288 - 0.2288. Is 1/7 > z?
False
Let z(x) = -7*x**2 + 18*x - 55. Let q be z(4). Let g be (-1724)/(-18) + (-2)/3. Let j = q + g. Are 1 and j unequal?
True
Let y = -10.93 + 11. Let v = -0.13 - y. Let u = -0.1 - v. Is 4 greater than u?
True
Suppose 4 = 4*j, 4*y - 5*j - 276 = 315. Which is bigger: y or 150?
150
Let v(a) = 28*a**2 + 3*a + 3. Let h be v(2). Which is greater: h or 122?
122
Let y be 3/126*-2566 + 3. Let l = 58 + y. Is 0 at most l?
False
Let d = 32 - 62. Let r be (15/d)/((-1)/(-4)). Is 2 < r?
False
Let l = -277 - -153. Which is bigger: -126 or l?
l
Suppose -3*t + 6 = -5*a + 21, 4*t = -a - 20. Let m be (-5)/36 + 13/(-117). Is a not equal to m?
True
Let t(s) = 15*s**2 - 37*s - 37. Let x be t(-1). Which is greater: x or 0?
x
Let p be 2/(-4)*(-9 - -1). Let y(t) = t**3 - 4*t**2 + 10*t - 16. Let w be y(3). Suppose -3*s + 3*f = 33, -3*s + p*f = w*f + 13. Are -5 and s non-equal?
True
Let m = 329 - 524. Is -194 < m?
False
Suppose 0 = m - 3*m. Let i = 0 + 0. Suppose 5*r = i, m = -4*d + 3*d + 3*r. Which is smaller: d or 7/9?
d
Let g(m) = -52*m + 4. Let d(p) = -10*p + 1. Let j(w) = 16*d(w) - 3*g(w). Let y be j(-6). Is 2 at least as big as y?
False
Let m = -4.152 - -0.152. Is 26 less than m?
False
Suppose -3*j - 1 = -o - 2, 3*o = 3*j + 3. Suppose -3 = -2*k + j. Suppose k*d - 4*d = 10. Is d greater than or equal to -6?
True
Let c(v) = -v**3 - 3*v**2 + 10*v + 3. Let m be c(-5). Suppose m*i - 2*i = q + 4, 0 = -5*i + 10. Which is greater: q or 0?
0
Let m = 3 + -3.1. Let b = -0.326 - -141.326. Let f = -139 + b. Is f greater than m?
True
Let b be (85/435)/(2/(-6)). Which is bigger: b or -1?
b
Let z = 9/14 + -71/105. Let h =