2107*v - 45 - 3 = 0. Do z and v have the same value?
False
Suppose -64 = 2*b - 3*b + w, -288 = -5*b - 3*w. Is b at least as big as 60?
True
Suppose 22 + 10 = 4*o. Suppose o*r + 2 = 7*r. Which is bigger: r or -12/11?
-12/11
Let o be (-7 - (-133)/21)/((-2)/9). Suppose 6*j = -9 + o. Which is greater: -2/3 or j?
-2/3
Let x = 42555/17 + -2503. Is -2/39 <= x?
True
Let y be (-22)/18 + 8/36. Let r = 46/693 + -2011/6930. Let l = r + 1/42. Which is bigger: y or l?
l
Suppose 0 = -52*p + 48*p. Which is smaller: -107 or p?
-107
Let t = 32 + -34. Suppose 2*w + 0 + 6 = 0, -5*g - 5*w = 5. Let c = g + -3. Is c less than or equal to t?
False
Suppose 3*a = 3*u - 0 - 6, -3*a = -5*u. Let b be 1/((-7)/23) + 52/182. Is b smaller than u?
False
Let x = 778 + -779. Let m = 2027/9 - 225. Which is smaller: m or x?
x
Suppose 0 = 4*w + t - 1, w = -4*t - 12 + 1. Is w at least as big as 44?
False
Let m = -166.1 + 174.4. Which is smaller: m or -1.1?
-1.1
Let b(a) = -425*a - 2124. Let q be b(-5). Let m(g) = g**3 - 4*g**2 - 2. Let y be m(3). Which is bigger: y or q?
q
Let l = -7 - -12. Let x(y) = 0*y**3 + 0*y - 5*y**2 + y**3 - 6 + 3*y + 2 - 10. Let n be x(l). Is n less than 2?
True
Suppose -7*k + 60 = 5*k. Let h = 10 + -7. Suppose b = -k - h. Is -7 at most as big as b?
False
Let u(c) = c**2 + 6*c - 24. Let s be u(3). Let t(i) = -i + 7. Let r be t(5). Let j = 3 - r. Is j at most as big as s?
True
Let j = -105.5 + 101. Let i = 5.5 + j. Is i bigger than -51?
True
Let r be 10/(-4)*(0 - 64/120). Which is smaller: r or 0?
0
Let o = 7 + -10. Let w = -718 - -720. Which is bigger: w or o?
w
Let o be 1/(-1 + 2) + 1. Let r = 42 - 44. Let w be (r - -4) + 16/(-12). Which is greater: w or o?
o
Let f = 18 + -24. Let y be 10/(-15)*f/(-14). Is y != -2.5?
True
Suppose 6*r + 398 - 374 = 0. Let p = 4 - 7. Let f = p + 0. Which is greater: f or r?
f
Let n = 2/165 - 364/2805. Let b = 7 + -2. Let t be 2/b - 6*(-1)/(-15). Which is bigger: n or t?
t
Suppose 5*b = -k + 27, -3*b + 17 = -0*k + k. Suppose -d - 7 = -t - 3, -b*d = -t + 4. Let q be (20/8*t)/(-1). Which is smaller: q or -11?
-11
Suppose 0 = 3*p, p - 5*p + 28 = 4*t. Suppose t = -4*x + 15. Is x at most as big as 12/13?
False
Let n be (-2)/(-4)*2 + -21. Let a be (-8)/12*(-24)/n. Is 0 at most as big as a?
False
Let t = 1253 - 73919/59. Which is smaller: -1 or t?
-1
Let x(o) = o - 9. Let r be x(3). Let z be (-4)/(7/(28/r)). Is z >= 0.3?
True
Let d = 112.2 - 112. Is d < 0.27?
True
Suppose -d = -4*x - 3, x - 1 = 5*d - 3*d. Let b(k) = -8*k. Let g(i) = 1. Let s(o) = b(o) - 2*g(o). Let r be s(d). Is r bigger than 5?
True
Let g(a) = a**3 - 22*a**2 + 8*a - 11. Let h be g(22). Let k be ((h/10)/(-11))/(2/4). Which is greater: k or 0?
0
Suppose 0 = 29*i + 31 + 172. Let j = -15 - -33. Let w be j/(-4) + (3 - 5). Which is bigger: i or w?
w
Let m = 384 + -2303/6. Let b be (75/(-12) - -1)/(-3). Let n = b - 2. Is m bigger than n?
True
Let d = 90/23 + -9/23. Which is bigger: d or 5?
5
Let r be (-8)/(-6)*222/16. Is r > 19?
False
Suppose 10*x + 190 = 4*b + 5*x, 5*b + x = 223. Is 0.4 at most b?
True
Let i(g) be the second derivative of -g**4/12 + 3*g**3/2 + g**2/2 - 14*g. Let a be i(9). Which is greater: a or 8/5?
8/5
Let a be 21/3 - (-288)/(-40). Suppose -3*b = 2*b. Which is smaller: a or b?
a
Let f(t) = t**3 + 5*t**2 - 4*t + 1. Suppose 6*h = h - 30. Let b be f(h). Let a(o) = -o**2 + 97*o + 290. Let c be a(100). Which is smaller: c or b?
b
Let r = -451 - -30667/68. Let h = 239/68 + r. Does h = 5?
False
Let n be 51/(-30) - (2 + -6 + 2). Which is bigger: -2 or n?
n
Let p = 913 + -909. Let w(v) = v**3 + 3*v**2 - 3*v - 1. Let q be w(-3). Which is smaller: q or p?
p
Let t = -46 + 21. Is 1/6 != t?
True
Let a be 7*17/(-238) - (-6402)/12788. Which is greater: -1 or a?
a
Let f = 244/3045 - 2/35. Let i = -109/957 + f. Let v = 43085 - 43085. Is i greater than or equal to v?
False
Suppose 16*h - 286 = 3*h. Which is bigger: h or 137/6?
137/6
Let r = 505 - 496. Which is bigger: r or -3?
r
Let l = -195 - -169. Which is smaller: 3 or l?
l
Let g = -11436 + 3259267/285. Which is smaller: g or 0?
0
Let j = -1193 - -1192. Which is smaller: -31/2 or j?
-31/2
Let p = 652 + -651.8. Is p at most 69/8?
True
Let a = 35 - 77. Let s = -46 - a. Let t = -0.9 - -1. Is s bigger than t?
False
Let v = 4/11 - 125/132. Is v smaller than 0?
True
Let c = -1581 + 1580.99. Are 3 and c nonequal?
True
Let o = 435 - 301. Which is smaller: 135 or o?
o
Let u = 1.16 - 1.26. Let r = -32 - -31.6. Which is greater: u or r?
u
Let i be 4 + 1 - ((-92)/10 - -12). Are -0.1 and i nonequal?
True
Let h be 3*((-4 - -9) + -4). Suppose 4 = 4*m - 2*c, -c - h + 2 = -m. Which is greater: m or -5?
m
Suppose -15*c - 305 - 160 = 0. Let j be (-14)/(-14) - c/(-34). Which is smaller: -1 or j?
-1
Suppose 4*c + 2*w - 80 = 3*w, c - w = 23. Let q = -17 + c. Is 10 bigger than q?
True
Let x(k) = -2*k + 5. Let v(w) = -2*w - 8. Let u be v(-9). Let f be x(u). Are f and -15 equal?
True
Suppose 10 = -4*u - u. Let l(p) = -3*p - p**3 - 2 + 3*p**2 + 0*p**3 - 6*p**2. Let b be l(u). Which is bigger: b or 1/23?
1/23
Let f = -1.59 + 0.62. Let q = -2.19 + 2.16. Let m = f + q. Which is bigger: m or -0.1?
-0.1
Let a = 12 + -16. Let i be (a/(36/3))/17. Let q = 419/561 + i. Which is smaller: 1 or q?
q
Let s(v) = -11*v - 10. Let p(m) = 39*m + 36. Let o(i) = 5*p(i) + 18*s(i). Let z(y) = -y. Let t be z(-4). Let n be o(t). Is 0 > n?
True
Let d(i) = 4*i**3 - 4*i**2 + 2*i. Let c be d(2). Let u = 15 + -21. Let b be c/u*(-3)/(-1). Is b at most as big as -9?
True
Let f(r) = r**2 + 3*r - 2. Let d be f(-3). Let h be d + 1/(2/4). Suppose i - 5*x = 4 - 2, h = -4*i - 3*x + 31. Is i at least 7?
True
Let v = -15458/3 + 5104. Does -48 = v?
False
Let w = -87.5 + -8.5. Let c = w - -91.5. Which is greater: 1 or c?
1
Let d = 853 - 854. Is 1/518 > d?
True
Let z(f) = -f**2 - 8*f - 1. Let j be z(-7). Let i be (11 + -2)/1 - 5. Suppose j*o + 4 = i*o. Is o at most -2?
True
Let l = 18463/26 + -710. Let c = -2195 + 2194. Is l at least c?
True
Let z be (-29)/((8 + -6)/2). Is z at least 4?
False
Let n be 1912/18 - 2/3. Which is bigger: n or 107?
107
Let i = -13786925/149394 + -1/21342. Suppose -43*z + 17*z + 2392 = 0. Let s = z + i. Are s and -4 nonequal?
True
Let j = -599/4 - -501365/3348. Which is smaller: -1 or j?
-1
Let k be (-1 + -1)*(-1)/(-2). Let s = 12231/19 - 644. Which is bigger: k or s?
s
Suppose 869 - 288 = -k. Is k at least as big as -581?
True
Let r(o) = -18*o - 262. Let t be r(-20). Which is smaller: t or 99?
t
Let g = -2.6 - -2.1. Let q = -28.5 - g. Let t = q + 28. Is -12 less than t?
True
Let p be (-112)/28 + 7/2. Which is bigger: 3/7 or p?
3/7
Suppose -12*j + 1010 = -922. Which is bigger: j or 160?
j
Let r be (18/105)/((-6)/(-10)). Let i = 0.82 + -0.9. Let j = 5.08 + i. Does j = r?
False
Let s = 23 - 23.56. Let k = s + 0.61. Which is greater: k or -1/3?
k
Let k be (-1 + 20/14)/((-120)/(-35868)). Let q = -306 - -178. Let u = k + q. Is 1 > u?
True
Let c(h) = 5*h + 14. Let f be c(-8). Let o = -24 - f. Suppose 10*r - 5*r + o*d = 0, 0 = 3*r - d. Is r at most 2/31?
True
Suppose -2*l = 13 - 5. Let j = l + 5. Suppose -5*c = 5*n - 20, -n + 8 = 5*c - 3*c. Which is smaller: n or j?
n
Let t be 204/20 - (3 - -1). Let f = 6 - t. Is -0.2 <= f?
True
Let o = 34 - 34.31. Let h = -13.69 + o. Let u = -15 - h. Which is smaller: 2/11 or u?
u
Let y(z) = z - 2. Let k be y(5). Suppose -3*h - 14 = 4*f, -k*f + 7*f = -20. Suppose -5*o = 5*p + 55, p + 6 + 5 = -h*o. Are p and -11 non-equal?
False
Let g be (3/4)/(2/8). Suppose -g = m - 4. Let h = -108.9 - -109. Is m less than h?
False
Let h be (-12)/((-2040)/(-38573)) + 1/(-10). Is h less than or equal to -225?
True
Let u = 45 - 22. Suppose 1876 - 74 = 17*l. Suppose 7*i = 4*m + 5*i - l, 86 = 4*m + 2*i. Which is greater: m or u?
m
Suppose 4*m + d = 82, 4*m - 5*d = 3*m + 31. Suppose 2*o - m = 4*n + 21, 0 = 2*o - 2*n - 34. Suppose -17 = -5*s + o. Which is smaller: 5 or s?
5
Let k be 8/(-234)*(225/(-35) - -6). Is 0 at most k?
True
Let b = -4337/6 + 719. Which is bigger: b or -3?
-3
Let b(j) be the third derivative of j**4/24 - 2*j**3/3 - 4*j**2. Let i be b(7). Let r be 1/(-4) + (-26)/(-40). Which is smaller: r or i?
r
Suppose 2*n - n = -0*n. Suppose n*r = -r + 2*a - 3, -5*r = 5*a. Which is greater: r or -1/21?
-1/21
Suppose 5*m - 3*g = 25, -m - 2*m +