 = -5*z - 0*z. Let q be (1 + (-44)/12)*x/28. Do q and -1 have different values?
True
Suppose -2*d = -g + 646 - 27, -d - 307 = -g. Let b = -7146/23 - d. Let f = b + -316/207. Which is greater: -4 or f?
f
Let w be 159/5*(-325)/(-195). Which is greater: w or 51?
w
Suppose 0*n + 225 = -3*n. Let y be (-35)/(-21)*2/n. Which is bigger: y or 0.4?
0.4
Let g = -259693/107 - -2427. Is g smaller than -1?
False
Suppose 0 = 2*x - 5*x - 9. Let v be (27/(-36))/(9/(-7166)). Let u = 594 - v. Which is smaller: u or x?
u
Suppose 2*h - 6 + 16 = c, 2*c - 60 = -4*h. Suppose 2*f - 1836 = 5*a - 0*a, f + 4*a - 918 = 0. Let z be (-2)/16 + f/48. Which is smaller: z or c?
z
Let l(v) be the second derivative of -v**4/12 - v**3 - 5*v**2/2 + 3*v. Let q = 29 + -33. Let g be l(q). Which is greater: 1 or g?
g
Suppose 4*w + 5 = 17. Let t be 0/2 + w + -3. Let n(q) = 12*q - 60. Let l be n(5). Do l and t have the same value?
True
Let a = -1223 + 1208. Do a and -7 have different values?
True
Let l = 639 - 633. Which is greater: 90/13 or l?
90/13
Let w(p) = -p**2 - 2*p + 1. Let o(y) = -y**3 - y**2 - y - 3. Let c be o(0). Let b be w(c). Is -3 > b?
False
Suppose -3*i - 5615 = -5*l, -2*i + 4*i - 2*l + 3750 = 0. Let w = i - -47018/25. Is 1 greater than or equal to w?
True
Let t = 244 + -244. Which is greater: t or -6/97?
t
Suppose -22 + 33 = -11*x. Suppose 4 = -2*h, w + h + 4 = -w. Let r be w + 2 + 3 + x. Is r at least as big as 2?
True
Let r = 4.6 - -13.4. Let g = 18 - r. Which is bigger: -2 or g?
g
Let m = 4 - 3. Let v be 2/((-2)/1*m). Which is bigger: 4 or v?
4
Suppose 0 = 3*d - 5*o - 59, d - 13 - 4 = o. Suppose d*c - 5*c + 32 = 0. Is -7 > c?
False
Let y = -11/177 - -1505/29913. Which is smaller: y or 0?
y
Let m = -305 - -306. Is 3/56 greater than m?
False
Let b = -292 - -291.9. Is b >= 1/143?
False
Let x be ((-292)/16)/1*(-28)/(-7). Are x and -72 unequal?
True
Let z = 1738 + -1739. Does z = 1/866?
False
Let y be (2 + -18)*(-2)/4. Let k be 166/82 - 3/12*y. Which is smaller: 1 or k?
k
Suppose -2*u = -2, -3*l - 2*l - 4*u = 71. Let h be (13/(-2))/(l/30). Are h and 12 nonequal?
True
Suppose -4*a - 2*t + 12 = a, -2*t + 4 = a. Let n be (-646)/21 - (-8)/84. Let p = n - -284/9. Which is bigger: a or p?
a
Let s be -1 + 1*(-1 - -2). Let u = 77 - 74. Suppose -5*g = 0, u*f + 10 = -2*f + 2*g. Which is bigger: s or f?
s
Let v be ((-3)/2)/(9/(-48)). Suppose -4*l = 5*g - 108, -3*l + 86 - v = 3*g. Which is greater: 20 or l?
l
Suppose 4*z - 2 = 2*j, -3*z = 2*j + z - 6. Let g be j/(-10)*(-31 + 17). Let o = -32 - -33. Which is smaller: g or o?
o
Let y be (3 + (-12)/3 + 0)/1. Let v = 5 - 0. Are v and y nonequal?
True
Suppose -48 = 4*z - 8*z. Let k(c) = -2*c + 12. Let b be k(5). Suppose z - 4 = -b*v. Which is greater: -2 or v?
-2
Suppose -10*c + 12*c - 3*j - 5 = 0, -3*j = c - 25. Which is greater: c or 38?
38
Let o = -14707215334/1859 - -7911359. Let w = o - 3/169. Let v = w - -31/44. Do -1/5 and v have different values?
True
Let l = -1.97 + -0.03. Let u = -7.9 - -7.9. Let z = u - l. Is z greater than or equal to -1/5?
True
Let v = 14.27 + -0.27. Let z = -13.8 + v. Is z bigger than -3/17?
True
Suppose 92 = -10*g + 14*g. Which is bigger: -3 or g?
g
Suppose -5*u + 25 = -4*c - c, 2*c - u = -9. Suppose -z + 16 = -5. Suppose 2*p + z = -p. Which is greater: c or p?
c
Suppose 0 = -8*f - 183 - 913. Is -137 less than f?
False
Suppose -f = 3*n - 86, 2*f + 60 = -0*n + 2*n. Suppose j + 17 = 2*u, -4*u - 3*j + n = -0*u. Which is greater: 9 or u?
9
Let t = 3.27 - 19.27. Which is greater: t or 1/10?
1/10
Let a be (-240)/(-70)*7/1. Let r = a - 17. Is r equal to 7?
True
Let m(y) = -3*y - 5. Let b = 34 + -29. Suppose b*p - 2*a + a - 12 = 0, -5*p - 5*a + 30 = 0. Let j be m(p). Is -0.1 smaller than j?
False
Suppose -4*t + 3*d = -2 + 3, 4*t + 3*d - 17 = 0. Suppose -t*y - y = 0. Suppose -h = 3*i - 0 - 6, -3*i = 5*h - 6. Is h < y?
False
Let j be ((-2)/1)/((-2)/(-11)). Let y(t) = -t - 1. Let x be y(0). Let k be (1 + x)/(j - -12). Is 6/11 less than or equal to k?
False
Let j = -80 + 163/2. Suppose 18 = 5*r + 3*y - 13, 3*r + 4*y - 23 = 0. Which is smaller: j or r?
j
Let h = 18 - 12. Let g be 5/(-2*3/h). Let j be 4/g - 4/(-10). Which is bigger: j or 3?
3
Suppose -m - 5*x - 8 = 0, -5*m + 4*x - x - 12 = 0. Let k = 210 + -230.2. Let i = 20 + k. Is i equal to m?
False
Let h be 92/(-28) + (-36)/(-126). Let k = 0.12 - 0.05. Do k and h have the same value?
False
Suppose 11*u = 8*u + 15. Suppose -5*l - 10 = j, -25 = u*j - 0*j. Is l bigger than 2/55?
False
Let y be 1140/133 - 8/14. Let a = 3 - -1. Which is greater: a or y?
y
Let u be (-32)/48*9/(-6). Which is smaller: u or -3/32?
-3/32
Let d be 15*30/(-36) - 6/(-4). Let l be (-90)/8 + (-5)/(-20). Is l at most as big as d?
True
Let p = 433 + -539. Is -1/3 at least as big as p?
True
Let n(t) = -2*t**3 + 11*t**2 - t - 19. Let i be n(5). Let c(f) = f**3 + 5*f**2 - 2*f - 3. Let x be c(-4). Let o be ((-1)/x)/(2/(-6)). Which is smaller: i or o?
o
Let s(g) = -20*g**2 + 8*g + 1. Let b be s(5). Let w be b/972 - 2/(-9). Let q be (-2)/(-5) - (-16)/10. Which is smaller: q or w?
w
Let p = -327749259139/50074145 + 138/1164515. Let s = p - -6545. Let w = 70/559 + s. Is w less than or equal to 1?
True
Let c be 0 + 11 - (13 + -2). Is c less than 332?
True
Let u(s) = 23 + 17*s - 3*s - 15 + 5. Let x be u(-6). Which is smaller: -70 or x?
x
Suppose 6 = 2*w + v, 2*w + 0*v + 2*v - 6 = 0. Suppose -93 - 36 = w*m. Is -1 > m?
True
Suppose 0 = 4*p + 2 + 10. Let b be -1 + -2 + (-7)/p. Let v = -962/15 - -64. Which is bigger: v or b?
v
Let q = -925 - -1070. Does q = 144?
False
Let s(i) = -i**2 + 10*i + 11. Suppose 3*g - 28 + 4 = 0. Let k be s(g). Suppose -5 = 4*x + k. Is -8 <= x?
True
Suppose 6217 - 1609 = -6*b. Let r = b - -12293/16. Which is smaller: r or 1/3?
r
Let t = -103 + 108. Suppose 0 = -t*m - 126 - 214. Which is smaller: -69 or m?
-69
Let k = -1187 - -510. Let b = -11512/17 - k. Is b at least as big as 0?
False
Let q = 107 + -37. Let h = q + -69.9. Is h smaller than 0.39?
True
Suppose 33 = 2*t + 25. Suppose -5*c - 7 = -2*o, -t*c = o - 0*c + 3. Which is smaller: o or -2?
-2
Let r(z) be the second derivative of -z**5/20 + 7*z**4/12 - z**3 + 4*z**2 + 8*z. Let x be r(6). Let a be x/10*(-3)/18. Is -0.1 >= a?
True
Let s = -8129 + 8173.31. Let z = -44 + s. Let w = z + -0.31. Is w greater than or equal to -2/3?
True
Let t = 5769 + -5779. Suppose j + 2*p = -2*j + 18, -5*j = -2*p - 30. Let s be j/(-21) - (-61)/(-7). Which is greater: t or s?
s
Let o = -5 - -12. Let q(r) = -r**3 + 5*r**2 + 10*r - 2. Let i be q(o). Let u be (3/6)/((-35)/i). Does 1 = u?
False
Suppose 0*q - 40 = -2*q. Suppose 0 = -1287*s + 1271*s + 320. Are q and s non-equal?
False
Let h = -0.659 + 44.959. Let a = 44 - h. Is a less than or equal to -0.3?
True
Let l = 863219/9570 - 1/1914. Which is bigger: l or 89?
l
Let y = -522 + 520. Which is bigger: y or -1/4?
-1/4
Let d be 4*(-17)/408 + (-26)/(-588). Is 0 at least as big as d?
True
Let r be 4/70*-5 + (-172)/(-14). Let s be (-1 + 6/r)*-10. Is 8 bigger than s?
True
Let s(c) = c - 24. Let a be s(43). Which is smaller: 96/5 or a?
a
Suppose 0 = -3540*n + 3537*n - 3. Which is smaller: n or 2/617?
n
Let s = -26 - -26. Suppose s = 6*k - 5*k - 6. Let o = 0.2 - 1.2. Which is smaller: k or o?
o
Suppose -3*t + 13 = 5*u - 3, -3*t = -u + 14. Suppose -7*y - o - 92 = -2*y, -5*y + u*o - 110 = 0. Let n = y - -34. Which is greater: n or 14?
n
Suppose 312 = z + 311. Is z greater than 1/217?
True
Let j(i) = i**2 - 8*i - 20. Let q be j(10). Which is smaller: q or 1/243?
q
Let m be (-1)/2 - (-21)/(-6). Let z = -13 + m. Let s = -25 - z. Which is greater: -7 or s?
-7
Suppose 0*l = l + 3. Let f be (3 + 16/(-3 + -1))*1/1. Which is bigger: f or l?
f
Let a = 2886212 + -6854753739/2375. Let x = 6/125 + a. Is 1 at least as big as x?
True
Suppose 0 = -8*b + 3*b - 190. Let t be 1 + 118/b - -2. Which is smaller: 0 or t?
t
Let h = -17 + 6. Let v = h - -8. Let z be (-3)/(2*3/4). Is z smaller than v?
False
Let k = 254 - 763/3. Which is smaller: 214 or k?
k
Let s = 2.2 + -0.7. Let b = 9.5 - s. Let w = b - 6. Is w smaller than -3?
False
Let w = -7357/26 + 283. Let r = -3 + 2. Is r equal to w?
False
Let s be (-6)/(-20) + 9 + 651/(-70). Let o be 7/5 + (2 - 3). Do o and s have different values?
True
Let c be -5 + 3 + (-18100)/(-9045). Do 0 and