. Let x = -432 - -3026/7. Is x != j?
True
Let c = 3.66 - 3.74. Let d = 0.9 + -0.6. Which is smaller: c or d?
c
Let q(a) = -2*a**3 + a**2 - 3*a - 3. Let z = 67 + -69. Let d be q(z). Which is bigger: d or 113/5?
d
Let r = 0.1 - 1.1. Suppose -12*g = -4*g + 144. Which is smaller: g or r?
g
Let n = 226 + -225. Are n and -1/467 non-equal?
True
Let q be ((-3)/(-4))/(60/320) - -222. Is q equal to 226?
True
Let a = -0.7 + 1.3. Let z = a + -0.2. Let t = z - 0.3. Which is smaller: t or -0.02?
-0.02
Let i be 1/4 + (-4 - -6). Let m = -51/28 + i. Suppose -t = -3*t. Does t = m?
False
Let y = -7 - -3. Let h = 8 + y. Suppose 12 = -h*w, -5*w - 14 = -f - 0*f. Is f at most as big as -2/9?
True
Let b be 285/6 + 6/(-4). Let m = -35 + b. Which is smaller: m or 12?
m
Suppose 4*i + 85 = 97. Is 109 smaller than i?
False
Suppose 394 - 146 = 4*y. Suppose -5*t - 7 = -y. Suppose 2*p - 6*p = 4*b - 4, 4*p = 3*b + t. Is 0 < b?
False
Let k = 0.232 + 5.768. Is k >= -3/4?
True
Let h = 37/42 + -7/6. Let z be (78 - (1 + -8))*(0 - -1). Let r = 427/5 - z. Which is greater: h or r?
r
Suppose -4*v + 1 = -3. Let z = -1.87 - -5.56. Let t = -3.6 + z. Do t and v have different values?
True
Suppose 152 = -9*m + 11*m. Let s = 230/3 - m. Suppose 3*x - 4 + 0 = -5*f, -5*f - x + 8 = 0. Which is greater: f or s?
f
Let l = 58 + -43. Let b = l - 16. Is b at most as big as -13?
False
Let o be -1 + (-3 + 4 - 0). Let t = 41 + -370/9. Which is smaller: t or o?
t
Let r = -15 - -17. Let w be 0/(r + (1 - 2)). Suppose -3*o = -4*c - 0*o - 27, 4*c + 2*o + 22 = w. Which is smaller: 0.2 or c?
c
Let z(v) = -v**3 + 23*v**2 - 25*v + 61. Let k be z(22). Let j = 6 - 10. Is k greater than j?
False
Let i = 690 - 687.2. Let t = -0.3 + 1.3. Is t != i?
True
Let f = -4 - -4. Let d = -4 + -7. Let u(q) = q + 15. Let n be u(d). Does f = n?
False
Let m be 7*34/1547*1/3. Does -0.18 = m?
False
Suppose 6*z + 10 = z. Let j be (z/6)/(2/(-30)). Suppose -u = 2*t - 6, 5*u + j*t - 12 = t. Is u at least -2/7?
True
Let t be (-14)/119 - (-88551)/(-595). Let f = t + 149. Which is greater: f or 1?
1
Let o(i) be the first derivative of 2*i**3/3 - 13*i**2/2 - 9*i - 20. Let j be o(7). Does -12/13 = j?
False
Suppose 3*o + 2*s + 2 = -9, 3*o + 15 = -3*s. Let u be (-7 - (0 + -6))/(-2 - o). Which is smaller: u or 0.4?
0.4
Let o = -5.94 - -6. Let b = o + -0.06. Let v = 0.4 + -1.6. Do v and b have different values?
True
Suppose 3*r = 2*r + 2. Suppose -5*d + r*n = -4, 4 = -n + 2. Let c be ((-6)/14)/(24/8). Which is bigger: d or c?
d
Suppose -180 = -5*s - 5*n, 2*s - 16 - 36 = 2*n. Let a be 8 - 18/27*-33. Which is smaller: a or s?
a
Let d be (-2)/(-6)*2001/(-20 + -3). Which is smaller: -57/2 or d?
d
Suppose 2*x + 52*w = 53*w + 1, -2*w = -3*x + 2. Is -2/227 not equal to x?
True
Let l = -237 - -265. Are 31 and l non-equal?
True
Let l be (-3)/(-1)*(-5451)/(-27). Which is smaller: 605 or l?
605
Let q = 123 - 123.07. Let s = q - 3.93. Are -13 and s nonequal?
True
Let d = -2563 - -1838. Which is smaller: -724 or d?
d
Let z be -1*((4 - 8) + 4). Let k(s) = -s**3 - 2*s**2 - 2*s - 1. Let y be k(-1). Suppose o + 2*o - 3 = y. Which is smaller: z or o?
z
Let k = 0.03 + -15.23. Let r = -15 - k. Let y = 1.6 - 0.6. Which is bigger: y or r?
y
Let i = -2604 + 2601. Is -523 < i?
True
Let d = -0.061 - -9.661. Let x = d - 13.5. Let r = -0.1 + x. Do r and -3 have the same value?
False
Suppose -27 = -2*d - 0*d + 5*s, 5*s = -d - 24. Suppose 0 = -4*g + d + 3. Are g and 3/5 nonequal?
True
Let s = 59 + -52.2. Let g = s + -7. Let j = -0.8 + g. Which is smaller: -4 or j?
-4
Let s be 0/(3/(3/(-2))). Let k be (4 + 759/(-189))*37. Let o = k + 4/9. Is s at least as big as o?
True
Let m = -81 - -77. Let c be 5 - 9 - (m + 3). Let a(u) = -2*u**2 + 2*u + 2. Let j be a(2). Which is bigger: j or c?
j
Let q be (-11610)/75*30/63. Do q and 0 have the same value?
False
Suppose 5*b - 6*t + 11*t = -20, b = 4*t + 21. Let j = -2/61 - 39/671. Which is greater: j or b?
b
Let g be (30/32)/(12/(-400)). Which is bigger: -30 or g?
-30
Suppose -29 = -2*v + 23. Let q = 4711 + -4687. Which is smaller: q or v?
q
Suppose 0 = -f - f - 32. Let r = f - -52. Is 35 > r?
False
Suppose 4*a - 2*a - 5*w + 46 = 0, -5*a - w - 169 = 0. Which is greater: -101/3 or a?
a
Let z be -4 + 6/(-4)*594/(-11). Which is greater: 79 or z?
79
Let a = -12.8 + 22.9. Let q = 10 - a. Which is bigger: 0.9 or q?
0.9
Let p(d) = -d**3 + 8*d**2 + 9*d - 16. Let z be p(9). Is -73/5 equal to z?
False
Let f = 65.51 - -1.49. Let q = -67.3 + f. Is 0 at most q?
False
Let l = 78 + -90. Is -58/5 less than l?
False
Suppose 6 = 124*o - 121*o. Let d be (2 - 424/210) + o/7. Are -1 and d non-equal?
True
Suppose -u + 30 = -3*u. Let y = -21 - u. Let d be y/(-2)*33/(-45). Which is smaller: d or -1?
d
Let o = -1 + 1. Let c = -921343/13590 + 27/1510. Let a = c - -68. Which is smaller: o or a?
o
Suppose 2*r - 15 = -p, 21 = r + 4*p + 3. Suppose -w = 2*m + 3*w + r, 4*m - 4*w = 12. Let o be 3/(-2)*4/(-6). Is o not equal to m?
False
Let z(j) = j + 10. Let g be z(-3). Suppose -g = w - 5. Let d = w - -2. Which is smaller: d or -5?
-5
Let y = 31 - 32. Let k = -8 + 11. Let m be k + (-38)/9 - -1. Which is greater: m or y?
m
Let x = 340.33 + -5.33. Which is smaller: 0.1 or x?
0.1
Let c(r) = 2*r**2 - 5*r + 4. Let x be c(2). Suppose v = 3*v + 2. Is x < v?
False
Let a = -18.42 + 18.416. Does -1 = a?
False
Suppose -1 = -k - 0. Suppose k - 3 = 2*t. Let j be (-2)/(-3)*(-2)/(-4). Is j at least as big as t?
True
Suppose 7*a - 42 = 91. Suppose a*t = 14*t. Is t at least 2?
False
Let v(k) = k**3 - 25*k**2 - 18*k + 101. Let p be v(25). Which is bigger: 0 or p?
0
Let f = -829993 - -45651863/55. Let r = f - 498/11. Which is smaller: r or -3?
r
Let w be -3*(1 + -3) - -3. Let p(y) = -10*y + 15. Let l be p(w). Let f = l - -376/5. Is -1 bigger than f?
False
Let r = -37.6 + 33. Let d = -4.8 - r. Which is greater: 0.3 or d?
0.3
Let p(d) = d - 3. Let u(j) = 2*j - 5. Suppose 12 = -5*g + 2, 3*q = 3*g - 12. Let f(m) = q*u(m) + 11*p(m). Let t be f(-7). Is 11/3 at most as big as t?
True
Suppose -4*f = -25*f - 1281. Which is smaller: 1 or f?
f
Let v(k) = k**2. Let n be v(-1). Let d = n + 2. Suppose -c - 12 = d*c. Is -3 at least as big as c?
True
Suppose -r = -3*r - 3*v + 24, 4*r = 2*v + 32. Suppose -5*u + 2*x + 3 = -6, -3*x = -r. Is u not equal to 5?
True
Let m be 46/(-4) + (-2)/4. Let v = 0.13424 - -0.06576. Which is bigger: v or m?
v
Let a be 1917/20 - (-4)/40*4. Which is greater: 96 or a?
a
Let u = -0.14 - -26.14. Let v = -17 + u. Let q = -2 + v. Is q > 0.1?
True
Let k = -61695/2387 - -45/341. Is -27 > k?
False
Let n = -44 - -42. Let c be (24/15)/(n/(-25)). Which is smaller: 18 or c?
18
Suppose 132 = -4*a - 4*j, 11*a - 10*a + 33 = -5*j. Let t = 7 + a. Is -27 smaller than t?
True
Let a = 1704/7 - 244. Let j = 3483/6083 - 1/869. Is a at most j?
True
Suppose 0 = 3*s + 2*t + 4 + 2, s = -t - 2. Let r(x) = -x - 18. Let k be r(-14). Let c be k/(-2)*(-5 - -3). Which is smaller: c or s?
c
Let f be (-80)/(-48)*(4 - 1). Suppose 2*t - 3*y - 8 = 0, t = 3*t - f*y - 16. Is -8/3 greater than or equal to t?
False
Let t = -200 + 88. Is -113 greater than or equal to t?
False
Suppose 0 = -4*m + 7 + 1. Let l be 10/m + 9/(-3). Let f = -544 - -2187/4. Is f greater than or equal to l?
True
Suppose -5*v + 13 = -4*v. Which is smaller: v or 6?
6
Let i be 2/(-6)*(-44)/297. Is i > 0?
True
Suppose 4*b + 5*z = 2, 0 = b + 3*z - 2*z - 1. Suppose -k - 3*q + 9 = 2*q, -4*q + 11 = -b*k. Is 1/6 less than k?
False
Let c be (-1)/(-3) + (-7 - 100/(-15)). Are 1 and c nonequal?
True
Let o = -3594/17995 - 1/3599. Is 0.0627 not equal to o?
True
Let f(r) = r**2 + 2*r. Let g be f(0). Let a be 3/3 - -1 - g. Is 8/5 < a?
True
Let v = 40 - 7. Let u be 6/4 - v/22. Suppose u*t - 3*t - 2*f - 11 = 0, -3*t = -5*f - 17. Are -2 and t unequal?
True
Let j(k) = k + 35. Let y be j(0). Let u = y - 20. Let h(a) = 3*a**2 - 33*a + 14. Let x be h(11). Is u at most as big as x?
False
Let n = 528 + -505. Are 22 and n equal?
False
Let t be 44/8 - (2 + 12/4). Let l = 1 + -1. Let a = l + 0.2. Is t smaller than a?
False
Let f be (-312)/105 - (1 - (-6)/(-3)). Let a = f - -11/7. Which is greater: a or 3?
3
Let s(w) = -w**3 - 6*w**2 - w. Let m be s(-6). Let g be -2 + (-6)/(-9)*m. Suppose -3*x + v + 23 + g = 0, -x - 4*v + 4 = 0. Which is smaller: 9 or x?
x
Let y = 