ppose 2*g = -0 + 2. Is g not equal to j?
True
Let x = -2876/11 + 261. Let t = x - 23/22. Let z = 19 + -20. Which is bigger: z or t?
z
Let m = -4 + 6. Suppose -13 = -5*d + 4*r, -5*d + m*r + 4 = -3*d. Let g(s) = 2*s**3 - 3*s**2 + s - 1. Let a be g(2). Is a at most d?
True
Let t = -27.935 + -0.065. Let g = -27.9 - t. Which is bigger: g or 25?
25
Let b = -70 - -69.86. Let o = b - -0.24. Let t = 11.9 - 13. Does o = t?
False
Suppose 17 + 15 = -4*g. Let d be (27/(-12) + 3)*g. Is d smaller than -5?
True
Suppose -2*l - 5*a - 6 = -4*l, 5*l - 4*a - 15 = 0. Suppose -6 = 3*h + l. Suppose -q - 3 = 0, 2*t + 22*q + 3 = 23*q. Is t >= h?
True
Let d be (-32)/(-13) - (-9 - -13). Let p = -13 + 12. Is p greater than or equal to d?
True
Let v = -12.67 - 0.33. Let l = v + 12. Do l and 0.1 have the same value?
False
Let j = -5/341 - 1981/4433. Which is smaller: -2/7 or j?
j
Suppose d - 17 = -5*a, -a = -0*a - 5*d + 7. Suppose -5*r = -3*v - 10*r + 7, -4*v + 20 = -4*r. Suppose m - v = -a*m. Is 3 greater than or equal to m?
True
Suppose 5*b + 2016 = -4*p, 1619 = -4*b - 13*p + 16*p. Is b < -405?
False
Let j be (-1)/(-3) - 0 - (-148)/222. Which is greater: -8/27 or j?
j
Let v = 527 - 573. Which is greater: v or -53?
v
Let u = -24 - -39. Let j = u + -15.1. Is 0 smaller than j?
False
Let k be (5 + 136/(-28))*(-427)/(-2). Which is bigger: 32 or k?
32
Suppose 371 + 229 = -6*z. Is z bigger than -105?
True
Let z = 1.13 - 54.13. Let m = -53 - z. Let f(a) = -a. Let w be f(-2). Which is smaller: m or w?
m
Suppose a = -2*n + 31 - 170, -3*n = -5*a + 176. Is n at least -72?
True
Let l = 1385 + -23535/17. Let f = -4 + 5. Are f and l nonequal?
True
Suppose -5*z = -5*k - 15, -k - 5*z = k - 1. Is k smaller than -18?
False
Suppose 4*p + 24 = 6*p. Suppose -4*a = -p*a - 72. Are -9 and a non-equal?
False
Let z(x) = x**2 + x - 3. Let d be z(-3). Suppose 0 = 5*v - 8*v + d. Let u be v*(0 - 1) - -12. Which is smaller: 10 or u?
10
Let q be -4 + 153/27 + 3332/6. Is 556 >= q?
False
Suppose -8*n + 16 = -56. Let f(m) = -m**2 - 9*m - 6. Let d be f(-7). Suppose -d*b + n*b = 0. Are b and -4/9 nonequal?
True
Let v = -175 + 175.025. Which is bigger: v or 6/7?
6/7
Suppose -9*f + 7*f + 2*p - 272 = 0, f = 4*p - 121. Is f != -141?
False
Suppose 445*p = 458*p - 858. Which is smaller: p or 334/5?
p
Suppose -p + 4*p = -3*t + 6, 0 = 4*t - 3*p - 8. Suppose 7 = -t*l + 3*l. Is l less than or equal to 7?
True
Suppose 161*i - 6 = 167*i. Is -3/458 greater than or equal to i?
True
Suppose 3*b = -0*b - 0*b. Suppose -3*t + 2*t - 1 = b. Which is bigger: -13 or t?
t
Let c be 490496358/5187 - 6/(-21). Let f = 94564 - c. Let t = -6/19 + f. Is t not equal to 1?
True
Let g = 1783 + -1772. Suppose 0 = -3*z + 27 + 3. Which is bigger: g or z?
g
Let h = 324 - 319. Is -9 > h?
False
Let r = -10279/2 - -5263. Let g = -128 + r. Does g = 0.1?
False
Let j = -11 - -19. Let q be 360/26 - 6/(-39). Let u be q*((-9)/(-6))/3. Does u = j?
False
Let q be 54/5 + (-3)/(-15). Suppose 0 = -6*f - f + 84. Is q greater than f?
False
Let j = -46 - -51. Suppose j*c + 8 = 13*c. Which is greater: -3/13 or c?
c
Let g(r) be the third derivative of -r**6/120 + r**4/12 + r**3/3 + 5*r**2. Let t be g(-1). Let f be t*(4 - 5)*3. Which is smaller: -8 or f?
-8
Let n = 112689 - 210693. Let p = n + 1074896/11. Let q = p - -286. Which is bigger: q or -1?
q
Let v be (-21)/(-70)*(-75)/72. Is 1 equal to v?
False
Suppose -4*v + 12 = -v. Suppose 4*y - 31 = 33. Let h be ((-2)/v)/(y/96). Are h and -3 non-equal?
False
Suppose 0 = -0*o - o - 5. Suppose -2*v + 16 = -4*k, 5*k - 3*k + 28 = 3*v. Let p = -14 + v. Which is greater: p or o?
p
Let i(f) = 43*f + 1291. Let m be i(-30). Which is smaller: m or -6/1091?
-6/1091
Let i(k) = 4*k - 27. Let f be i(14). Suppose 3*b = -4*x + 10 - f, 17 = 3*b - 5*x. Is -1 greater than or equal to b?
True
Suppose -186 = -2*b - 52. Let d = b + -135/2. Which is bigger: d or 5?
5
Let n = 7.7 - 7.63. Let y = -0.13 - n. Which is greater: y or 1.1?
1.1
Let p(n) = 48*n + 16. Let x be p(0). Is x >= 24?
False
Let j be (-14)/10 + (-4)/(-10). Let d be ((9/2)/9)/((-2)/220). Let n be (-77)/d + j/(-5). Do n and 2 have the same value?
False
Let z = -0.0418 + 3.0418. Which is smaller: 1/18 or z?
1/18
Let w = -32.81 - -0.81. Let i = -30 - w. Which is bigger: i or 1?
i
Suppose -x = 4*l - 14, 3*x - l + 22 = 3*l. Let n be x/12 - 60/(-306). Suppose 0 + 3 = -3*p. Which is smaller: n or p?
p
Let h = -14 - -21. Let c = -2.96 + 3.3. Let y = c + -0.44. Which is smaller: h or y?
y
Suppose -4*x - 6*l = -2*l - 28, -2*x + 5*l = -35. Let b = x - 6. Let c be b/22*-1*1. Which is greater: c or 0?
0
Suppose -3*o + 2*v = 6*v - 233, 0 = 5*v + 5. Which is smaller: o or 81?
o
Suppose -o - 4 = 0, 3*l - 2*l = -3*o - 47. Let f = l - -54. Is 20 > f?
True
Let b = -0.78 - -72.78. Let x = -66.9 + b. Which is smaller: 0 or x?
0
Let k be 10/(-135)*-3 + 42/54. Which is smaller: k or 0.95?
0.95
Let f = -366 - -897. Which is smaller: 532 or f?
f
Let b(i) = i**3 - 16*i**2 - 18*i + 18. Suppose -6*t - 5*x + 66 = -3*t, -2*x + 23 = t. Let u be b(t). Which is smaller: u or -1/10?
-1/10
Suppose 3*p - 3 = -4*i + 48, -2*i + 3*p = -21. Which is smaller: 5 or i?
5
Let j = 27 - 27. Let q(z) = -2*z**3 + z**2 + 10. Let c be q(j). Is 5 less than c?
True
Let r = -0.879 - 6.121. Which is greater: r or 18/5?
18/5
Let p be -2 + 26/10 - 21/(-490). Let n = -44/63 + p. Which is greater: 0 or n?
0
Let k = 1 + -20. Let h = 24.938 - -0.062. Let a = k + h. Is a at most -2?
False
Let k(q) = 22*q - 13. Let y be k(4). Suppose -y*a = -73*a + 14. Let t = 8 - 14. Are t and a non-equal?
True
Let i(t) = -22*t + 352. Let y be i(16). Is y != -2/2595?
True
Let l = -94 + 120. Let j = -30 + 29. Is l less than j?
False
Let b = 157 - 103. Let o = b + -33. Let x = 13 - o. Do 3/2 and x have different values?
True
Let f(s) = s**3 - 9*s**2 + 25*s + 1. Let v be f(6). Is v less than 43?
False
Let b = 310/3 + -102. Let p = 4 + -8. Let x = p - -5. Is x <= b?
True
Let w = 114 - 109. Suppose -w*z + 3*z = 48. Is z at most as big as -2?
True
Let v(s) = s**3 + s**2 - 2*s + 12. Let f be v(0). Let n be f/6 + (-2)/2. Let d be ((-2)/(-6))/(14/(-12)). Is n bigger than d?
True
Let a = -17915 + 41114923/2295. Which is smaller: a or 0?
a
Suppose -v = -4*t + 8, -3*v = -5*t + 25 + 13. Let c = v + 21. Which is bigger: 3 or c?
c
Let v(u) = -5*u**2 - 60*u + 24. Let t be v(-22). Are -1076 and t equal?
True
Let b(q) = q - 10. Let k be b(0). Let h = 10 + k. Let s be -3 + h - 20/(-6). Which is bigger: s or -1?
s
Suppose -4*u + 13 = 3*l - 8*u, -4*u = -2*l + 14. Suppose -i = i - 2. Let o be -1*(1 + (0 - i)). Is l at most as big as o?
True
Let x(c) = 48 + 2*c - 7*c + 8*c. Let b be x(-14). Which is bigger: 8 or b?
8
Let r = -1743 - -1753. Are 79 and r unequal?
True
Suppose 3*w = -w - 24. Let n be 18/15*(-15)/w. Let z be 3/n*2 - 2. Which is smaller: z or -4?
-4
Let y(d) = -d**3 + 5*d**2 - 5*d + 4. Let a be y(4). Suppose a*i + 1708 = -4*i. Let n be i/(-49) + 4/14. Is n less than 8?
False
Let i(f) = -3*f + 378. Let v be i(-26). Is 456 at least as big as v?
True
Let m = -4.91 + -0.09. Which is smaller: -13/10 or m?
m
Let i(r) = 7*r - 160. Let k be i(23). Which is smaller: k or 14/11?
k
Let c = -350 + 350. Is -0.1 smaller than c?
True
Let u = -11 + 24. Let b = -315 + 329. Which is smaller: u or b?
u
Suppose -2 - 16 = 6*t. Let n be (-76)/7*-3*t/(-36). Does n = 4?
False
Let k = 200 - 202. Is k less than -13/18?
True
Suppose -3*w = -5*t - 19, 4*w + 2*t + 3 = -15. Let g = 3 - w. Let o = g + -6. Which is smaller: o or 2/9?
o
Let s = 61 + -70. Let a be ((-30)/(-4))/(s/24). Is a > -18?
False
Let z be 2/(-51) + -1 + (-20)/(-15). Let m be (-5)/10 - (-1)/(-2). Is z less than m?
False
Suppose 0 = 5*m - 3*v - 59, 0*m + 3*m - 24 = -2*v. Let j be -1*(45/m)/9. Which is greater: j or -3/5?
j
Let b = -84 + 88. Suppose -3*z - z - b = 0. Which is greater: -6/79 or z?
-6/79
Let v(q) = -2*q + 1. Let y be v(-1). Suppose 0 = -7*u + y*u - 16, 2*t = -3*u + 48. Let o be (-4)/10 + (-48)/t. Which is bigger: -3 or o?
o
Let b = 819 - 822. Which is bigger: b or 84?
84
Let x = -7 - -1. Let f = -166 - -166.2. Which is smaller: f or x?
x
Let f be (1/(-4))/((-13)/(52/8)). Let p(i) = -5*i - 1. Let b be p(-1). Suppose 2*n + 15 = -n, -m + b*n + 21 = 0. Which is bigger: f or m?
m
Let r(b) = -3*b**2 + 1. Let x(z) 