 = x + g. Is q at least as big as 1?
False
Suppose -5*o + 38 = k, -o - 3*k - 46 = -6*o. Let r be 1/(-2)*(2 + -18). Does r = o?
True
Let j = -69 - -71. Which is smaller: -10 or j?
-10
Suppose -15 = 6*v - v. Let g be (-12)/(-9)*v/12. Suppose -5*w = -20, 0 = -2*i - 0*i + 3*w - 14. Is g > i?
True
Let t = 5.08 - 0.08. Let l = 40 + -45. Let s = t + l. Which is bigger: s or 1/4?
1/4
Let a be -2*2/8*0. Let r be (-6 + a)*(-6)/234. Which is greater: 0 or r?
r
Let z = 1 - 2. Let v be z*(-2)/(-12) - -1. Which is bigger: v or 2?
2
Let n be (1 - 1) + 2/(-2). Let l be (2 - 4)*(0 + 1). Let f be 3*2/60*l. Is n greater than or equal to f?
False
Let n(l) = -4*l - 2*l**2 - 3*l**2 - l**3 + 2 - 7. Let p be n(-4). Which is smaller: p or -4?
p
Suppose -2*w + 4 = -0*w, 5*k = -w + 27. Are k and 8 equal?
False
Let d = 779/150 + -26/5. Which is smaller: d or -1?
-1
Suppose -3*q + 15 = -4*x, 0*x = -3*x - 4*q - 5. Let y be x - ((-22)/26 - 2). Is -1 at most as big as y?
True
Let r = -37 - -38. Suppose 8 = -7*s + 3*s. Let g be s/(-36)*4/1. Which is bigger: g or r?
r
Let v(j) = 3*j**2 + 2 - 3*j - j + 0*j**3 + j**3. Let u be v(-4). Suppose -u*t = 3*t + 25. Is t greater than or equal to -2?
False
Let r(y) = -y**3 - 3*y**2 - 2*y - 2. Let m be r(-2). Let d be (-16)/7 + 2 - 0. Which is smaller: d or m?
m
Let j be 6/9 + (-11)/3. Let y be 5/(-10)*(4 - 0). Is j smaller than y?
True
Let b = 76 - 77. Is -7 equal to b?
False
Let n = 2 - 3. Let t = 0 + n. Is t greater than -1/2?
False
Let m = -29 - -173/6. Which is bigger: m or 1?
1
Suppose -q - 5 = -2*a, 3*a = -4*q + 6*q + 9. Let b be (q/21)/(2/4). Suppose 5*l + 9 = -2*j, 3*j + 4*l + 16 = 6. Is j at most as big as b?
True
Let a = 0.3 + -0.39. Is a bigger than 1/3?
False
Let x = 95 - 663/7. Does 5 = x?
False
Let w(k) = k. Let d be w(-7). Which is smaller: -6 or d?
d
Let u = 2 + -1. Let a = 14 + -10. Which is bigger: a or u?
a
Let j be 8/(-2)*5/(-2). Suppose 2*i - 8 = -4*v, 0*i - 4*v = -i + j. Is i at least as big as 6?
True
Let r = 30 - 8. Let i be (-1 - -1) + 4/r. Let j = -398 + 795/2. Is j at most i?
True
Let w = -4 - -6. Suppose 4*f = -3*m + 34, -w*f - 8 = -3*m + 2. Which is bigger: 7 or m?
7
Let j(c) = c**3 + 10*c**2 + 7*c - 13. Let f be j(-9). Suppose 4*y - 8*y + 2*b = 2, 5*b - 10 = f*y. Which is bigger: y or 2?
2
Let x = 2.4 - 0.4. Let j(w) = -w - 8. Suppose 17 = -4*y + 3*o - 7, -3*y + 3*o - 18 = 0. Let r be j(y). Which is greater: r or x?
x
Suppose -t - 3 = -2*u, -2*t + 0*t + 12 = 2*u. Suppose u = 6*h + 45. Is -0.2 > h?
True
Suppose 34 = -y + 133. Do y and 99 have the same value?
True
Suppose 7*d + 18 = 53. Which is greater: d or 6?
6
Let g(q) = q**3 + 6*q**2 - 9*q + 2. Let z(p) = -p**2 + p - 1. Let x(l) = g(l) + 5*z(l). Let f be 1 - (-3 - (-4 + -2)). Let b be x(f). Is 1 at least as big as b?
True
Let j(n) = 2*n**3 - 11*n**2 + 5*n + 2. Let d be j(5). Is d at most 2/5?
False
Let l = 1201/13 + -92. Which is bigger: 1 or l?
1
Suppose 0*z = 2*z + 4. Let a be (-88)/(-6)*(z + -1). Let s be 2/(-8) - 3/a. Which is greater: -1 or s?
s
Suppose -22*f + 28*f + 90 = 0. Is -57/4 bigger than f?
True
Suppose -4*u = -2*u. Let l be 4/(-16) + (-18)/24. Which is bigger: u or l?
u
Let g = 9/17 + -91/204. Let o = -5 + 8. Suppose -2*c = 2*t - 4*c + 12, c = -o*t + 2. Which is greater: g or t?
g
Let g = -5 - -4.9. Which is bigger: 0.08 or g?
0.08
Let k be (-800)/88 + (-8)/(-1). Suppose 4*c - 3*c = 0. Which is smaller: c or k?
k
Let b be (-9)/14 + 1/(-2). Is b < -2?
False
Let u(h) = h**3 + 2*h**2 - 3*h - 9. Let d be u(-4). Does -0.1 = d?
False
Let a = -1626/2821 - -2/403. Are -2 and a equal?
False
Let q = -13 + 18. Suppose 0 = -q*n + w + 20, 4*n - w - 5 = 2*w. Suppose n*g + 19 = 4. Is -3 at most g?
True
Let s = 13 + -8. Suppose 0 = 2*r - s*r + 6. Let m = r + -3. Is m at most 3?
True
Let d = 2 - 4. Let m = d - -4. Let b = m - 2.1. Is b equal to -3?
False
Suppose y = -1 + 2. Let h = 994 - 14917/15. Let d = h - -2/3. Which is smaller: y or d?
d
Let a(d) = -2*d - 8. Let b be a(-6). Suppose -b = o - 1. Let l be o*(0/1 - -1). Which is smaller: -2 or l?
l
Let u = 0.7 - 1.1. Let q = u - -1.4. Is 1 < q?
False
Let f = 39.56 - -0.44. Is f bigger than -2/9?
True
Let p = 7.3 - 7. Let u = p - 0.2. Let j = -0.1 - u. Is j greater than -0.2?
False
Let c = -1 - -2. Let a be -1 - 0 - (-6)/8. Are a and c unequal?
True
Let g = 128 - 129. Let k be (-2)/(-9) + 3/108. Which is greater: k or g?
k
Let n = -3.8 - -1.4. Let q = 3 + n. Let l = 0.5 - q. Which is smaller: l or -3?
-3
Let y = 0.8 - 1. Let i = -44 + 41. Which is smaller: i or y?
i
Suppose -3*n - 2*n = 3*u + 14, 0 = n + 4. Suppose -u*v + 0*b = 3*b - 13, -4*b = -20. Is -3 less than or equal to v?
True
Let p be 4/(((-21)/(-6))/(-7)). Let y be p/(-2) - 42/12. Which is smaller: 1 or y?
y
Suppose -2 = -i, 0*v = v + i - 81. Is v greater than -1?
True
Let t be 52 - 4 - 6/(-3). Are t and 50 equal?
True
Suppose 5*o = -0*d - 2*d - 90, -5*o = -d + 75. Suppose 2*s + s - 21 = 0. Let h be (-4)/(-2) + o/s. Which is smaller: 1 or h?
h
Let r = -147 + 206. Are 59 and r equal?
True
Let v be ((-7)/(-5))/((-4)/(-5)). Let f(y) = 5*y**2 - y - 1. Let u be f(1). Is u equal to v?
False
Let b be (2*1)/(4/8*-4). Are 0 and b unequal?
True
Let o be (-17)/85 + (-2)/(-10). Is o bigger than -6/13?
True
Let t be 231/(-28) - 1/(-4). Let s be t/64*(0 + -1). Suppose -q + 5*g = q + 12, 3*g - 7 = q. Is s > q?
True
Suppose g + 25 = -5*p, -8 - 7 = g + 3*p. Suppose 0 = 5*q - 3*q - 6. Let d = q - g. Which is greater: 4 or d?
4
Let d be (-87)/(-100) + (-5)/((-80)/(-12)). Which is bigger: d or 0?
d
Let q be (-2)/16*-6*8/(-12). Is -23 equal to q?
False
Let u = 81369/22 - 3700. Let b be 1/(-22)*(1 - -1). Let t = b + u. Are t and -2 unequal?
True
Let r be 1 + 1 + -1 + 1. Let w = -5 + r. Is w at most 2?
True
Let m be 2 - 0 - -3 - 0. Let h be m/2*36/30. Is 5/2 < h?
True
Let r = -8.04 - -0.04. Let k = 7 + r. Let c = k - -2. Is c at most as big as -0.2?
False
Let b(r) = -r**2 + 5*r - 3. Let v be (-10)/(-25) + 46/10. Let i be b(v). Is -3 at least as big as i?
True
Suppose 56 = 4*w - 5*c - 52, 0 = 2*w + 3*c - 76. Is 33 greater than or equal to w?
True
Let b = -3 + 9. Suppose 3*k - v = b, -k + 4*k = -2*v - 3. Do k and -5 have different values?
True
Let q = 138 - 216. Is -80 smaller than q?
True
Let m be (-20)/9 - -2*(-1 - -2). Are m and -2/7 unequal?
True
Let g = 906/7 + -129. Let i(j) = j**3 + 5*j**2 - 7*j - 5. Let k be i(-6). Is k != g?
True
Suppose 5*z + 22 = -4*o, 0*z + o = -z - 5. Let d be z/(-8)*8/(-6). Let l = 2.6 + -0.6. Which is bigger: l or d?
l
Let y = 0.44 - -0.06. Let v = y - 0.6. Which is bigger: v or 3?
3
Let d = -469785491/3427365 - -4/118185. Let p = 137 + d. Does 0 = p?
False
Let l be (-2)/5 - (-21)/15. Suppose -2*u = -u + l. Let b be -3 + 4 + (-4 - -1). Which is smaller: b or u?
b
Let r = 18 - 15. Let w be (r - 2)*0 + -1. Is -5/6 greater than or equal to w?
True
Let z = -1.13 + 1.48. Is z <= 1?
True
Let u = -39 + 19. Let q be u/30 - (-26)/30. Which is bigger: q or -1?
q
Let r(g) = -g - 4. Let c be r(-5). Let z be c/3 - (-55)/15. Which is bigger: z or -2/3?
z
Let d be ((-3)/(-4))/(513/(-24)). Which is smaller: d or -1?
-1
Let w = -0.05 - -0.01. Let h be (-2)/3*(-6)/10. Which is greater: h or w?
h
Let a = 19 - 14. Suppose 4*q + 34 = -2*x, 3*x - 2*x - a*q - 18 = 0. Which is smaller: x or -11/2?
x
Let p = -15 - -21. Let k = -6 + p. Suppose 0 = -4*t + 3*t + 3. Is t at most k?
False
Suppose 0 = 3*x + 3*h - 93, 2*h - 18 - 11 = -x. Is 32 < x?
True
Let i be 2/4*-1*(-30 - -32). Let o = 757/7 - 108. Which is greater: i or o?
o
Suppose -2*v + 7*v = -90. Is v > -17?
False
Let y = 0.88 + 0.22. Let n = y + -1.8. Let z = 0.6 + n. Is z bigger than 1/6?
False
Suppose -4*h - 5*l + 2 + 0 = 0, 2*l + 7 = h. Let r be 1*h - 584/200. Which is smaller: r or -1?
-1
Let i(w) = -w**2 - w. Let h be i(0). Let s(j) = -j + 8. Let g be s(6). Suppose -m = -2*m + 2*l - 7, 3*m + g*l - 11 = 0. Is m equal to h?
False
Let g = 41/318 - -2/53. Let o(k) = k**2 + 1. Let q be o(0). Is q != g?
True
Let a(i) = i**2 + 8*i + 1. Let l be a(-9). Let m be (l/(-15))/((-4)/(-18)). Let y = -1 + -2. Do m and y have the same value?
True
Let w be 2/3 - (-35)/(-3). Let o = w - -9. Is o != 1?
True
Let f = 3391/5 + -671. Let c = 87/10 - f. Suppose u + 2 = -2*s + 3, -s = -3*u - 11. Is c greater than s?
False
Let q