f - 3 = 3*f, 5*l = -4*f + 22. Do l and 2 have different values?
False
Let i(u) = -3*u - 6*u**2 - 3*u**2 + 0 + 8*u**2 + 3. Let z be i(-5). Let b(d) = d**3 + 6*d**2 - 7*d + 1. Let n be b(z). Is -4/17 smaller than n?
True
Suppose 90 = -113*m + 116*m. Which is greater: 10 or m?
m
Let u = -4519206878/164385 - -1072172/39. Let o = u + -3/281. Is o greater than 1?
False
Suppose -6 = g + x, -13 + 5 = -2*g + 3*x. Let b be (g/6*0)/(-2). Is 2 != b?
True
Let t = 9/4 - 3. Which is smaller: 37 or t?
t
Suppose 3*w = -3*w - 5310. Let x = -1817/2 - w. Are -25 and x nonequal?
True
Let m = -28 - -141/5. Let h = -6 + 2. Let q = h - -4. Is m at most as big as q?
False
Let a = 0.05 - 3.05. Suppose 16 = -r + 3*h, -29 = 4*r - 4*h - h. Let p be (r/2)/(1*(1 + -2)). Is a less than p?
True
Suppose 0*u + 2*u + 14 = 0. Let z = -3 - u. Let p be -1 + -7 + z + -1. Which is greater: p or 1/3?
1/3
Let h(z) = z**3 - z + 9. Let q be h(-3). Is -15 < q?
False
Let v(t) = t**2 - 16*t + 58. Let k be v(5). Which is bigger: 70/41 or k?
k
Let w(c) = 2*c**2 + 39*c - 263. Let j be w(-26). Is -1 at least j?
False
Let n(s) = -2*s + 21. Let l be n(0). Let p = l + -68. Which is greater: p or -46?
-46
Let p = -39 - -42. Suppose p*u - 8 = 7*u. Are u and -1/9 nonequal?
True
Let h = -593 + 575. Which is bigger: -10 or h?
-10
Suppose 0 = -6*x - 4*x + 60. Let p be (3 - 0) + x/(-3). Which is bigger: -2/87 or p?
p
Let i be (-26*1/(-52))/(2/337). Is i less than 84?
False
Suppose -1 = z - 7. Let x be z*-1*((-81)/(-39) - 2). Is x less than or equal to 0.2?
True
Suppose -7*f = -12*f. Suppose -a - 3*a - 20 = 0, 3*q + 5*a + 205 = f. Let j be (-21)/q - 9/12. Which is smaller: 0.3 or j?
j
Let k = 74.6 - 73.02. Which is smaller: k or 4?
k
Let u = -35 + 37. Suppose 5*t - 16 = u*t + 2*r, 2*t + 2*r = -6. Are t and 0 unequal?
True
Let q be (0/(-2))/(2 + 0 + -1). Let g be -3*(-1 - q/3). Which is smaller: -1 or g?
-1
Let h be 4/(-186)*6/(-10). Let b = h - -761/1085. Which is bigger: b or 2?
2
Suppose -4*p + 11 + 5 = -4*q, p = 2*q + 7. Let c be (4 - 1)/(-2 + p). Which is bigger: c or 1/15?
1/15
Let v(g) = -g**2 - 10*g + 45. Let n be v(-13). Suppose -9*x + n*x = 0. Is -2/83 bigger than x?
False
Suppose -2818 + 2562 = z. Is 0 less than z?
False
Let y = -242 - 90. Which is smaller: 0 or y?
y
Let t = -258 - -209. Are -49 and t unequal?
False
Let l = -6 - -11. Let k be l/3 + 4/(-6). Let a = -210 + 2941/14. Which is greater: a or k?
k
Let d(p) = -p**2 - 25*p + 7. Let y be d(-21). Let b = 83 - y. Is -37/5 equal to b?
False
Suppose 11*x + x = 8*x. Which is smaller: x or -6/19?
-6/19
Let d = -96/151 - -9622/1359. Let u be (-9 + 4 - (-2 + 18))/(-3). Is u smaller than d?
False
Let k(u) = u**3 + 2*u + 90. Let y be k(0). Let n be (-2)/(5/y*4). Which is greater: -8 or n?
-8
Let l be 4/(8/9)*-2. Let h be -72*(3/(-2))/((-9)/4). Let y be 153/(-15) + (h/(-15))/(-4). Is l at least y?
True
Let w(d) = -d**2 + 9*d - 19. Let b be w(6). Are -26/29 and b unequal?
True
Suppose -3*k - 116 = k. Let c(f) = f**3 + 4*f**2 + f. Let g be c(-5). Which is bigger: k or g?
k
Suppose 2*o + 5*n - 11 - 12 = 0, 12 = 4*n. Suppose 6 = -5*b + o*y, b + 4*y - 2 = 4*b. Suppose 6*t - 2*t = 2*f - 20, -5*f + 3*t + 15 = 0. Is f >= b?
True
Let w(a) = -a**3 - 3*a**2 + 5*a + 6. Let z be w(-4). Suppose -z = -2*r - 4. Let y = -2/31 - -107/217. Which is smaller: r or y?
r
Let r = -0.24 - 20.76. Let m = 11 + r. Let g = 18 + m. Which is smaller: g or 0?
0
Let t(o) = -9*o**2 - 2*o - 1. Let c be t(-1). Suppose 3*p + 4*m - 335 - 50 = 0, -4*m = -p + 123. Suppose 125*k - p*k = 16. Is c less than or equal to k?
True
Let k be (-3)/(-214)*(-4)/(-3). Suppose -9 = c - 6, 5*j = -5*c - 15. Is j at most as big as k?
True
Let l be (7 + -3)/(2/(-43)). Let w = l - -428/5. Let i(v) = -v + 3. Let g be i(4). Which is smaller: g or w?
g
Let w = 57.18 + -0.18. Let j(k) = -k - 7. Let t be j(-6). Is t less than w?
True
Suppose -4*z - 4*m = -104, 2*z = -5*m + 70 - 15. Let a = z + -20. Suppose 0 = -a*s + s. Is 3 not equal to s?
True
Let i = 28 + -37. Let y(f) = -2*f**3 - 19*f**2 - 12*f - 13. Let x be y(i). Which is bigger: 13 or x?
x
Suppose 3*s - d = -4 + 3, -7 = -3*s + 5*d. Which is bigger: -3/50 or s?
-3/50
Let x = -0.03 - -0.43. Let y = -69 - -69.4. Let w = x - y. Is w != -8/3?
True
Let k(z) = z + 3. Let f be k(3). Let q be (f/(-54))/(1/(-21)). Is q < 2?
False
Let s be 5*1 + 8976/(-340). Do -21 and s have different values?
True
Let z(k) = 2*k**2 - 6*k - 20. Let b be z(5). Suppose -5*q + b - 2 = -2*u, q - 14 = 4*u. Is q at most as big as -14/5?
False
Let c(k) = k**3 + 27*k**2 - 19*k + 25. Let t be c(-29). Is -1106 smaller than t?
False
Let h be (-1)/(-18)*6*-57. Do -4 and h have different values?
True
Let y be 16/16 + 0 + 5. Suppose -y*i - 2 = 10. Suppose 4*c = 3*c. Which is smaller: i or c?
i
Let g be 3 - ((-1750)/(-846) + 1). Let d = g - -1/9. Is d != 1?
True
Suppose 5*d + 7 - 77 = 0. Let v(h) be the third derivative of h**5/60 - h**4/2 - 13*h**3/6 - h**2. Let w be v(d). Is w < 14?
False
Let v = -64 + 40. Let u = 54 - 80. Is v equal to u?
False
Let k = -12.47 + 26.69. Is 1 != k?
True
Let k = -28 + 58. Let q be k/99*(-1)/5. Suppose 0 = -8*s + 18*s - 10. Is s at least as big as q?
True
Let b = -153 - -1219/8. Let v = 29 + -30. Which is smaller: b or v?
v
Let f = 0.059 + -0.018. Let j = f - -0.009. Which is smaller: j or -1/3?
-1/3
Suppose -10*y + 3*y = 504. Which is smaller: y or -0.1?
y
Let l be (24/6)/((-4)/2). Is -19/14 less than l?
False
Let t be (13 - (-38)/(-3))*(-39)/(-4). Which is smaller: t or 3?
3
Suppose 4*j - 4*h = -20, -3 = 3*j + h - 8. Is j < 1/84?
True
Let a(v) = v**2 - 17*v + 23. Let r be a(16). Is r smaller than 13?
True
Let b be (-418)/(-7) - (-22)/77. Let g = 46 - b. Is g at least as big as -17?
True
Let t = -469 + 474. Let n be 4/(-10) - (-9)/10. Are n and t non-equal?
True
Let u = 227/546 - -1/78. Let n = -1460 - -1459.7. Which is greater: u or n?
u
Let l(r) = 4*r**2 + 62*r + 27. Let h be l(-13). Which is smaller: 1/2 or h?
h
Suppose -p - 2 = -5, -v - 5*p + 8 = 0. Let j be ((-2)/4)/(v/(-42)). Is j smaller than -4?
False
Let i = -1760/51 + 103/3. Let q = 165/68 + i. Which is greater: 1 or q?
q
Let v = -8/171 - -1619/1710. Is v at most as big as -3?
False
Let w = 233 - 230. Which is greater: 11 or w?
11
Let s = -1/6 + 2/3. Let h = -13.7 - -13.7. Which is greater: h or s?
s
Let k = 0.22 + 2.78. Let z be 6/(-16)*34/51. Is k at most as big as z?
False
Let s = -14 + 10. Let f be (s/(-12))/(1/(-93)). Let d = -46 - -16. Which is smaller: d or f?
f
Let g(u) = -u**3 - 8*u**2 - 8*u - 4. Let m be -8 + 3/(2 - -1). Let b be g(m). Which is smaller: 7 or b?
b
Suppose 0 = 3*a, -74*m - 4*a + 2190 = -69*m. Is 438 greater than m?
False
Let d be (-6)/(-1) + -2 + -1. Suppose -d*b = -47 + 20. Let a be -1*-2*7/2. Is b at most as big as a?
False
Suppose -a = 3, -q + 3*a = -0*a - 23. Let r be 30/189 - (-4)/q. Suppose z + 4*h - 4 = 0, 2*z - h + 1 = -0*z. Which is smaller: z or r?
z
Let j be -17*(6/(-10) - 8/20). Suppose n - 144 = -124. Which is greater: j or n?
n
Let i be (108/90)/(6/20). Let s be (37/40 - 1)/(i/10). Which is bigger: 1 or s?
1
Let z = -20609 + 20609.1. Let d = 20/13 - 48/65. Is d smaller than z?
False
Let r = -4 - -9. Let m(i) = i**2 - 2*i - 1. Let p be m(2). Let z = r - p. Do 3 and z have the same value?
False
Let n(z) = 7*z**3 + 78*z**2 + 12*z + 10. Let t be n(-11). Let c = 2 - 2.29. Is t greater than or equal to c?
False
Let j = 0.15703 + -0.55703. Let s be 4/(-10)*5/7. Is j >= s?
False
Let p be (1/5)/((-34)/170). Is p less than or equal to 1/216?
True
Suppose -28*l - 120 = -16*l. Is -52/5 at least l?
False
Suppose -2*a + 21 = 37. Let x be (4 + 4 + a)*-1. Let w = -1 + 0. Is w smaller than x?
True
Let b = -350397/287 - -8563/7. Which is smaller: 3 or b?
b
Let h = -1042/483 + -3/322. Do h and -3 have the same value?
False
Suppose 4*r + 324 + 12 = -2*b, 2*r + 2*b = -172. Is r equal to -80?
False
Let k = 4634 + -4630. Let j(v) = -v**3 + 5*v**2 + 7*v - 5. Let u be j(6). Is u < k?
True
Suppose -7 - 7 = i. Let d = -12 - i. Suppose d*r - 4*y - 26 = -r, 2*y + 8 = -r. Which is bigger: 0 or r?
r
Let u(g) = -3*g - 37. Let a be u(-13). Suppose 8 + 8 = -a*s. Which is bigger: s or -7?
-7
Let a = 2.7 + -3. Suppose 10 = h + 14. Let q be (1/h)/(4 - (-65)/(-20)). Are q and a non-equal?
True
Let m