). Do c and -97 have different values?
False
Let w be -5*(-6)/2 + -26 + 20. Are -4 and w unequal?
True
Let i = 15827/9 + -1755. Which is smaller: 3 or i?
3
Suppose -368 = 4*f - 2344. Is f < 1?
False
Suppose -d - 30 = 4*d. Let l be (21/d - -2)/(-3). Which is greater: l or 1?
1
Suppose -1 + 1 = 5*j. Which is smaller: 7/24 or j?
j
Let u be (-2)/4*(28 - 7 - 5). Is -18 > u?
False
Suppose 4*l - 10 = -a, 3*a - 6 + 0 = 0. Let d(i) = 33*i**2 - 59*i**2 + 27*i**2 - i - i**3. Let w be d(0). Which is smaller: l or w?
w
Let b = 663.9 - 664. Let x be ((-39)/2)/1*2. Let i = -198/5 - x. Is b != i?
True
Suppose 4*h + 6 = -5*g - 11, -h - 4*g = -4. Is -6 at least as big as h?
True
Let q = -2881 + 2852. Let r = 10 + -37. Are q and r unequal?
True
Let c(f) = 2*f**3 + 13*f**2 + 59*f + 609. Let q be c(-8). Let m be 2/(-7) - 383/7. Is m equal to q?
True
Let m = -9.1523 - -0.2223. Is -1 smaller than m?
False
Suppose 8*v + 12*v = -2*v. Do -6/47 and v have the same value?
False
Let h = 5 - 2. Suppose 0 = -x - h*x + 20. Let p = -57626/7 + 8232. Is p greater than or equal to x?
False
Let f be (1412/(-20))/((-10)/(-50)). Is f >= -354?
True
Let y(h) = 1. Let r(c) = -c + 3. Let g(x) = r(x) - 2*y(x). Let v be g(-3). Is 28/9 smaller than v?
True
Let r(c) = -c**3 + 10*c**2 - 10*c + 7. Let l be r(9). Let j be (l - -7)*-4*(-1)/4. Which is smaller: 3 or j?
3
Let d = -28.6 - 4.4. Let l = -33.9 - d. Let w = 0.1 + 0. Are w and l unequal?
True
Let f = -42.2 + 42.4. Is f at least -5?
True
Let u = 402 + -401.1. Let r = -4 - -6. Let o = r + 0. Which is bigger: o or u?
o
Suppose -13*t - 6 = -15*t. Suppose t*l = 102 - 24. Let f = -12 - -38. Is f < l?
False
Let f(i) = i**3 - 3*i**2 - 2*i + 11. Let m be f(3). Which is smaller: 10 or m?
m
Suppose 5*v = 5*z + 10, 2*v = 5*v + 12. Let t be -3 - 14/(-7) - (8 + -5). Which is bigger: z or t?
t
Let n = 3111/7 - 447. Which is greater: -4 or n?
n
Let o(m) = 11*m. Let n(t) = -t + 1. Let k(z) = -6*n(z) - o(z). Suppose -6 = 3*v - v. Let g be k(v). Which is smaller: g or 8?
8
Suppose -9*q = 7*q - 240. Let m be 20 + 3/(q/(-20)). Is 14 equal to m?
False
Let p = 22.4 + -26.4. Let s be -1 + 3 - (-16)/(-9). Do s and p have the same value?
False
Let z = 0.08 - -0.74. Let u = z + -0.12. Which is bigger: u or -1/2?
u
Let q = 116.9 + -117. Are 14/9 and q equal?
False
Let m = 5.88 - 42.88. Is -2 < m?
False
Let n = -3.6 - 24.4. Let j = n + 27.8. Which is smaller: -12 or j?
-12
Suppose 64 = -4*b - 0. Suppose 36 + 64 = -5*g + 3*a, a + 97 = -4*g. Let y = g - b. Is y greater than -6?
False
Let a = -1907 + 1904. Which is smaller: -10/39 or a?
a
Suppose 3*r - 141 = -147. Let p be 2 - (13 + -6*3/6). Is p bigger than r?
False
Suppose -5*j - 2 = 5*r + 3, j - r = -1. Which is smaller: 4/13 or j?
j
Let x = -12 - -8. Let h = -353 - -719/2. Let q = -10 + h. Which is greater: x or q?
q
Let p = 28 - 28. Suppose 16 = 4*m - 4*c, 4*c + 14 = 2*m - p*m. Let a be (1/(6/9))/9. Which is smaller: a or m?
a
Let o be -5 + (-641)/(-5)*(22 - 21). Is o at least 123?
True
Suppose 3 = 6*m - 3*m. Suppose 0*a + 2*a + 3*f = 13, -m = f. Is a at least 6?
True
Let b = 41 + -42.7. Let n = 1.5 + b. Let m = -1.2 - -0.2. Is m less than or equal to n?
True
Suppose -4*l - d - 4*d - 356 = 0, -3*l - 267 = -5*d. Is -90 at most as big as l?
True
Let w(j) = -2*j**2 + 63*j + 189. Let y be w(35). Is y greater than or equal to -57?
True
Let o(x) = -x**2 - 4*x - 4. Let a be o(-3). Let h = -263 - -7889/30. Which is smaller: h or a?
a
Let o = -0.227 + -0.773. Is o >= 4/21?
False
Suppose 0 = -3*h + 38 - 29. Let c be 62/(-22) + 6 + -6 + h. Is c >= 0?
True
Let g = 1981 + -1995.87. Let m = g + 15. Let w = 702 - 703. Which is smaller: w or m?
w
Let w be (29/4)/(1/4). Let z(o) = 11*o**2 - 185*o - 17. Let m be z(17). Let l be (w - m) + (-2)/1. Do l and -1/4 have different values?
True
Let m = -337 + 167. Which is bigger: m or -1/3?
-1/3
Let h(r) = -r**2 - r + 91. Let j be h(-10). Is j >= 4/11?
True
Suppose -5*r + 11 - 16 = 0. Let y be ((-3)/(-9))/(r/(-27)). Which is greater: 10 or y?
10
Let g = -64.7 + 64.6848. Are 0 and g unequal?
True
Suppose -16 = 4*w, 5*y - 2*w - w = -343. Is -70 equal to y?
False
Let p = 5 + -8. Let h = 972/7 + -141. Is p <= h?
True
Let l = -0.65 - -0.85. Let j = -17/230 - 3/115. Is l < j?
False
Let u = -1.7 + 0.7. Let i(y) = y + 4. Let s be i(6). Let m be -7 - -6 - s/(-4). Is m greater than u?
True
Let p = 61 + -93. Let l = p - -23. Let z = -8 - l. Which is smaller: 0.1 or z?
0.1
Let q = -13432/29159 - 2/2243. Which is smaller: 9/4 or q?
q
Suppose g + 486 = -4*s, s + 4*g + 250 = -s. Which is smaller: s or -123?
-123
Let z(j) = -j**2 - 2*j. Let w be z(-2). Let i = 361 - 96385/267. Is i greater than w?
True
Let r be (2/5)/((-164)/(-2050)). Are -101 and r nonequal?
True
Suppose 13 + 18 = d - 3*o, -4*o - 31 = -d. Let v = d + -44. Which is greater: v or -16?
v
Let t(u) be the second derivative of -u**3 + 49*u**2/2 + 26*u. Let k be t(8). Are -1/46 and k nonequal?
True
Suppose 576 = 17*u - 11*u. Is u at least as big as 96?
True
Let r = -146 + 146.38. Let q = r + -0.58. Are q and -3 unequal?
True
Suppose 9 + 1 = -2*o. Let n be (-42)/24 + 1 + 42/(-8). Which is smaller: n or o?
n
Let u(a) = -a**2 + 3*a + 6. Let q be (-112)/(-18) - 9/((-162)/(-4)). Let h be u(q). Which is smaller: -14 or h?
-14
Suppose 0 = 3*y - 3. Let k = -10/3 - -74/15. Is y greater than or equal to k?
False
Let d be (1/(-4) - (-14)/(-56))*0. Is 28 at most as big as d?
False
Let j be -2 + 32248/52 + 2/(-13). Let n = j - 4315/7. Let w = -2 + 3. Is n at most w?
False
Let n = 243 + -244. Is n greater than or equal to -385?
True
Let f = -902 - -1097. Does 194 = f?
False
Let n = -0.0555 - 0.2445. Are -11 and n unequal?
True
Let y = 5/529 - 22243/2645. Is -7 less than y?
False
Suppose 6*b - 1575 = b. Suppose 5*v - 5*z - 2235 - b = 0, 0 = -4*v + 2*z + 2040. Let f be v/(-152) - 6/(-57). Which is smaller: -3 or f?
f
Let l be -2*(-6)/8*52. Do l and 393/5 have different values?
True
Let r be (-8)/14 - (-693)/441. Which is bigger: r or 2/1353?
r
Suppose 0 = -12*t + 18*t + 24. Let q be t/(-1) + -4 + 2/(-10). Which is greater: q or 0?
0
Let x be -1 - (-272)/(-15)*54/24. Which is smaller: x or -43?
-43
Let c = 2684666706254/102051 + -236763976/9. Let b = -2/1479 + c. Suppose 0*p = 5*p + 5*m - 5, p - 5*m = 1. Is b > p?
False
Let b be (-2 - 7/(-6))*1205. Let w = b + 1007. Which is bigger: 4 or w?
4
Let v(x) = x**3 + 6*x**2 - 114*x + 16. Let a be v(8). Which is greater: 4/749 or a?
4/749
Suppose -3*s + 9 = -3*j, -5*s + 9 = -s - j. Suppose -3*r + 55 = s*r. Suppose -12 = 8*g - r*g. Is 3 bigger than g?
False
Let r(y) = y**2 + 10*y + 5. Let b be r(-9). Let x(d) = d**2 + 4*d + 3. Let k be x(b). Suppose 4 = k*t + t. Is t >= -0.2?
True
Let h(a) = a**3 - 4*a**2 - a + 4. Let x be h(4). Let u be (40/(-6))/10*(x - -1). Which is greater: u or 0?
0
Let w be (-4)/((-1 - -5)*1/(-94)). Which is smaller: 96 or w?
w
Let l = 0.1 - 1. Let u = 0.7 + l. Do -3/2 and u have the same value?
False
Let r = 653/4429 + -8/103. Are r and 0 non-equal?
True
Suppose 1 = -8*b + 41. Suppose 3*p + 4 = 19. Are b and p non-equal?
False
Let p = -1231/12 - -515773/5028. Are p and -1 equal?
False
Let q(k) = -k**3 + 5*k**2 + 7*k - 8. Let l be q(6). Let n be 34 - (1 - 3)/l. Let i be 0 - 2 - n/(-12). Which is smaller: i or -2?
-2
Let c be -1*3 + -10 + 11. Suppose -4*r - 2*r = -30. Suppose r*m - 5*g = -20, -5*m = -2*m - 2*g + 11. Which is smaller: m or c?
m
Let h be 5 - 80/(-3 - -13). Which is bigger: -28/13 or h?
-28/13
Let w be (-213)/6*-2 + 1. Let f be (-51)/w - (-6)/(6 - -12). Let a(p) = -p - 3. Let x be a(-3). Which is smaller: x or f?
f
Let y = -7 + 5. Let k = 9 - 15. Let h = k - -3. Is h at most as big as y?
True
Suppose 2*m - 2*u + 4 = m, -4*m + u - 9 = 0. Suppose -4*f = 5*g + 3, -2*g - 4*f + 2*f - 2 = 0. Suppose -5*t + 20 = 5*d, -4*t - 28 = -5*d + g. Is m at least t?
False
Let u = 368.1 - 79.1. Which is greater: u or 1?
u
Suppose -2 - 2 = -2*x. Suppose 0 = 3*v + v - 20, -2*k - x*v = -8. Is k bigger than 3?
False
Let n be 15/(-6)*22720/(-100). Is n not equal to 569?
True
Suppose -2*c + q - 3 = -7, -2*c - 3*q - 4 = 0. Which is greater: c or -10/73?
c
Suppose 4*r - 127 - 25 = 0. Let d = r + -37. Which is smaller: d or -2/33?
-2/33
Let x(j) = 5*j. Let p be x(1). Suppose -16*a + 11*a - p = 0. Let o 