-2*u + 0*i + 2*i = -o. Let q be (14/(-63))/(u/(-6)). Is q at most 1?
True
Let o = -1.8 + 0.7. Let r = -1.4 - o. Is r bigger than -4?
True
Let h(x) = 2*x**2 + 32*x + 17. Let m be h(-15). Which is smaller: m or -35/3?
m
Suppose 4*f + 7 = 3. Is -4/21 <= f?
False
Let l be (-1)/(-4) + (1 - 1). Let z be ((-2)/6)/((-2)/24). Which is smaller: z or l?
l
Suppose -4 = 4*m + 2*l + 4, 4*m - 2*l - 8 = 0. Let o = m + -6. Which is greater: -9/2 or o?
-9/2
Let d be 1/(1/(8/(-12))). Which is bigger: -4 or d?
d
Let u = -2 - -2. Suppose 5*w = -a - 11 - 4, 5*a - w - 29 = u. Is a at most 6?
True
Let p = 2 - 6. Let x be (-1)/(-4) - (-5)/p. Let f = 2 + x. Which is smaller: -0.1 or f?
-0.1
Suppose 0 = 5*j + 5*c - 153 - 42, -5*c + 127 = 3*j. Is 33 < j?
True
Suppose -h - n - 3*n = -5, -5*n + 7 = 2*h. Let f be (-1)/(-4) + -2 + h. Is f at least as big as -2?
True
Suppose -4*p + 5*r + 44 = 0, -4*p + r + 33 = 5. Let y = 1 - -3. Let o = p - y. Is 1 smaller than o?
True
Let q(o) = -o**2 - o - 2. Let x be q(0). Suppose 5*z - 3*z + 26 = 0. Let l be z/5 + 2/(-5). Is l < x?
True
Suppose -3*o - 5*z = 34, 5*o = -0*o - 5*z - 40. Let l(v) = v**3 + 3*v**2 + 4. Let m be l(o). Is -1 not equal to m?
True
Let h(r) = -r**2 + r + 60. Let p be h(0). Let v = -39 + p. Is 21 <= v?
True
Let o(d) = -d + 3. Suppose 2*g + 0*g + 2 = 4*q, 10 = -2*g - 4*q. Let p be o(g). Which is smaller: 7 or p?
p
Suppose -3*r - 106 + 103 = 0. Which is greater: r or -5/11?
-5/11
Let j = -469 - -2313/5. Let f = j - -6. Let z be 0/(-2 - (-2 + 1)). Which is bigger: z or f?
z
Let y be (1 + -1)/(2*(0 - 1)). Which is smaller: y or -1/36?
-1/36
Suppose 3*z - 5*l + 18 = -0*l, -24 = 4*z - 4*l. Do z and -52/9 have different values?
True
Let a = -151 - -183. Does a = 31?
False
Let m be 3 - 9/(-3 + 6). Suppose -b + 6 = -x, 5*b = 2*x + 28 - 4. Suppose -4 + 0 = -b*z. Is m < z?
True
Let f = 238 - 728/3. Is -6 at least f?
False
Let g = -0.3 + 0. Let o = -7 + 6.9. Let a = 0 - o. Are g and a nonequal?
True
Suppose 0*z = 5*z - 30. Is z > -1?
True
Suppose 0 = -l + 3*k - 0*k - 12, 0 = 3*l - 2*k + 8. Let y(q) = -q. Let r be y(l). Which is smaller: 2/31 or r?
r
Suppose 4*t + 28 = 4*z, 3*t - 5 = -5*z + 22. Let l be (-3 - (-26)/z)/6. Which is bigger: l or -1?
l
Let a be -2*((-3)/(-4) - (-7)/(-28)). Let l = -5 + 2. Which is bigger: l or a?
a
Let p(l) = -l**2 - 7*l - 4. Let k be p(-6). Suppose 7 = -5*t - 2*r + 1, -t - 2*r = -k. Let q be (-2 + 1)*t - 2. Which is greater: q or -0.1?
q
Let d = -7 - -2. Let t = -15 + 16. Which is smaller: t or d?
d
Let u be (3/(-54))/((-1)/(-4)). Let w = -21 + 20. Is w greater than or equal to u?
False
Suppose 30 + 75 = 4*h - 3*m, -5*h + 3*m + 135 = 0. Suppose 3*q = -2*q + 5*r + 30, -5*q + h = 2*r. Does q = 5?
False
Let g be (-6 - -1)*(-630)/(-22). Let k = 143 + g. Which is smaller: -1 or k?
-1
Let v be ((-1)/3)/((-2)/(-3)). Let u be (-22)/3 - 4/(-12). Let g = u - -6. Is g at most as big as v?
True
Let y be (2/4)/(10/20). Are 3/7 and y equal?
False
Let b = -6 - -21. Let v be 2*b/27 + -1. Is v less than -1?
False
Let d be (-75)/99 - 4/(-6). Let h(g) = -g**2 - 4*g + 5. Let f be h(-4). Suppose 3*z = f*z. Is z > d?
True
Let x = 0.51 + -0.41. Which is smaller: x or -21?
-21
Let y(k) = k**2 + 3*k - 4. Let j be y(-4). Which is bigger: -1/9 or j?
j
Let g = 5 + -10. Let u be (-2)/(1 + g)*6. Suppose -4*z + 19 = u*w, -2*z - 1 = -5*w - 4. Is -2/13 < w?
True
Let q be 16/(-6 - -2) - -2. Is q < 1/3?
True
Suppose 0*b - 5*b = -15. Let w(u) = -2*u - 3. Let k be w(b). Let g(f) = f**2 + 10*f + 9. Let c be g(k). Which is greater: c or -1?
c
Suppose 0 = 2*o - 24228 - 70156. Let l = o + -13166585/279. Let k = 5/31 - l. Which is smaller: 1 or k?
k
Let w = -9/7 - -5/7. Let b = 0.5 - 0.43. Let a = 0.07 - b. Is a less than or equal to w?
False
Let m = -0.06 - -2.06. Which is smaller: m or -1/6?
-1/6
Let z(n) = 3*n + 12. Let o be z(-5). Is -2 >= o?
True
Let z be ((-8)/80)/((-4)/(-15)). Which is greater: 0 or z?
0
Let x(w) = w**2 + 8*w - 4. Let i be x(-9). Suppose -i*y = 4*l - y - 44, -2*y = 2. Let o be 10/l - 3/9. Is o <= -1?
False
Let z = -0.9 + -1.1. Let h = z + 0. Is 1 smaller than h?
False
Suppose -3*b = b + 2*r - 12, -4*r - 8 = 0. Which is smaller: 2 or b?
2
Let y(m) = 3*m - 8. Let x be y(3). Which is bigger: x or 1/2?
x
Let q = 10 + -5. Let b(g) = 2*g**2. Let j be b(-1). Suppose j + 3 = -q*r. Is -1 smaller than r?
False
Suppose -2*m + 3*y - 2*y = 17, 3 = -3*y. Let x = -16 - m. Which is smaller: -6 or x?
x
Let n = 42 - 39. Which is greater: n or -6/11?
n
Let j = 2.6 - 3. Let d be -4*((-22)/12)/(-11). Which is smaller: j or d?
d
Let c = 0.1 + -0.2. Let k be 154/(-33) + 3 + 1. Which is smaller: c or k?
k
Suppose 4*m = 19 - 7. Are 3 and m nonequal?
False
Let y be -1*(-25 + 0)/(-1). Let t = -37 - y. Which is smaller: 1 or t?
t
Let j(z) = z**3 - 5*z**2 + 4*z - 1. Let g be j(4). Suppose 0 = -4*h - d + 4, h - 3*h = 2*d - 8. Is g >= h?
False
Suppose -3*n + 0*n = -12. Suppose n*s - 1 = -2*w - 3, s + 5*w + 5 = 0. Suppose 5*c + 3*g = 9, 0 = -4*c - 4*g + 5 + 7. Are c and s equal?
True
Let p(h) = 2*h + 1. Let n be p(0). Which is bigger: -1 or n?
n
Let f = -41 - -11. Which is greater: -31 or f?
f
Let v = 58 + -58.31. Let a = v - -0.11. Which is greater: a or 2?
2
Let o = 0.11 + 0.89. Is o smaller than -1/8?
False
Let r(p) = -11*p - 1. Let h be r(-2). Let d be (-2)/(-21)*98/h. Which is smaller: d or 1?
d
Let j = -1.4 - -0.9. Let b = 0.7 - j. Let t = 0.2 - b. Which is greater: t or -2?
t
Suppose f + 3*w = -82, -3*f + 7*f = 2*w - 272. Let u be (-90)/f - (1 + 0). Is u greater than or equal to 6?
False
Let i = -0.1 - 0.4. Let t = i + 0.6. Which is smaller: -4 or t?
-4
Suppose -5*u - 7 = m, -m - 5*u + 32 = 3*m. Which is greater: m or 7?
m
Let b(n) = -n + 5. Let f be (-10)/(-35) + (-4)/14. Let v be b(f). Suppose 3*i - 5*j - 17 = 0, 4*i + i = -2*j + 18. Is v at least as big as i?
True
Let k = -18562 - -148937/8. Let u = k - 55. Suppose -q = 2*q. Are q and u equal?
False
Let h = 132.1 - 119. Let u = h + -13. Let w = 1 - 1. Is w bigger than u?
False
Let q(t) = 8*t**3 - 8*t**2 - 4*t - 9. Let c be q(-7). Let v be (-2)/(-10) + c/(-140). Let u = v + -91/4. Is -1 less than u?
True
Let j = -5607 - -28597/5. Let n = j - 112. Which is greater: 11 or n?
11
Let u be (9/6)/((-2)/(-356)). Let m = -1063/4 + u. Is m at least 2?
False
Let r = 3 - 2.8. Let z = -0.5 + r. Is -2 smaller than z?
True
Let z = 0.6 - 1. Let y = -1 + 0.7. Let v = y - z. Is 1/2 less than v?
False
Suppose 5*r = 2*d - 46, -26 + 3 = -d + r. Which is smaller: 22 or d?
22
Let i be (-2)/8 + (-34)/(-8). Which is bigger: i or 3?
i
Let n = 1.28 + -0.28. Which is smaller: n or 1/4?
1/4
Let x = 1 - 1.8. Which is bigger: -0.1 or x?
-0.1
Suppose 4*w + 20 = -4. Let a be w/(5 + -2) + 4. Let r be 3/6*4/2. Is r smaller than a?
True
Suppose 2*n + 37 = q, -3*q - 3*n - 71 = -5*q. Are q and 33 unequal?
True
Let r(b) = -b**3 - b. Let s(c) = 10*c**3 + 5*c - 1. Let k(h) = 5*r(h) + s(h). Let v be k(1). Is 13/3 != v?
True
Suppose -5*g = -3*n - n - 12, 3*n = -g - 9. Suppose g = -3*b - 6 + 9. Which is bigger: b or 7/3?
7/3
Let z(r) = -3*r - 2. Let h be z(-5). Is 13 < h?
False
Let l(s) = -2*s - 3. Let n be l(-4). Suppose -n*b + j = -9, 2*j = j - 4. Which is smaller: b or 3/5?
3/5
Let g = -25 + 24. Is 13 at most g?
False
Let q = 1/10 + -3/5. Which is greater: q or -8?
q
Let h = -52 - -52.1. Is h at most -0.6?
False
Suppose -z = -4*m + 2*z + 15, 15 = 3*m - z. Suppose 0 = m*l - 2*l + 40. Let w = -15 - l. Do -5 and w have the same value?
True
Suppose -2*c = 17 - 7. Let h = 21/11 - 23/11. Which is smaller: c or h?
c
Let v be (1/3)/(5/30). Let i = 1 - 6. Let t = 4.8 + i. Is v bigger than t?
True
Let u be (2 - (-1770)/(-882)) + 0. Is u at most 0?
True
Let q(w) = 2*w**3 - 4*w**2 + 3*w - 1. Let g be q(2). Suppose -4*z = 4*m + 10 + 6, 2*z - 20 = g*m. Let f = -1 + -1. Which is bigger: f or m?
f
Let i = 11 + -6. Let j = -4 + i. Is 1 equal to j?
True
Suppose 4*p + 54 - 94 = 0. Does 3/2 = p?
False
Let m = 0.036 - 0.036. Which is bigger: m or 0.084?
0.084
Let l = -0.6 + 1.4. Let r = l - -0.2. Which is greater: r or 2?
2
Let n = 68 + -71. Which is smaller: n or -10?
-10
Let c = -13 - -23. Suppose 3*u + 2 = 77. Let p be u/15*2/c. Is 0 at most p?
True
Let k(d) = -d**3 + 7*d**2 + 6. Let g be k(7). Let l be 1/(-2) - 0/g. Which is smaller: l or 