k have different values?
True
Suppose 9 = 2*u + 1. Suppose -q - 2*r - 20 = -4*q, u*q - 2*r - 26 = 0. Which is bigger: q or 4?
q
Let x = 1.05 - 0.05. Let g = x + -2. Which is bigger: g or 2?
2
Let h(q) = q**3 - q**2 - 2*q - 12. Let j be h(0). Is -12 bigger than j?
False
Let x be 3/4 + (-36)/48. Suppose 6*b - 36 = -x. Let u = -10 - -16. Are u and b unequal?
False
Let q = -5/71 - 173/568. Which is smaller: 0 or q?
q
Suppose 4*n = -4*m, 2*n + m + 3 = 2*m. Is -3/7 greater than or equal to n?
True
Let n(o) = -o**3 - 4*o**2 + 2*o + 5. Let q be n(-4). Suppose 0*l - 9 = -l + 4*v, 0 = -2*l + 2*v. Is l less than or equal to q?
True
Let a be (-2)/(-9) + 721/63. Let b = a + -172/15. Are b and 0 unequal?
True
Let d = -12 + 6. Is d <= -5?
True
Let d(s) = -s**3 + 7*s**2 - s - 7. Let a be d(7). Let v = -23 - a. Is -9 < v?
False
Suppose 4 + 10 = 7*a. Which is greater: 13/6 or a?
13/6
Let o = 3 - 0. Suppose 3*r - 4*h - 3 = 1, -5*r + 3*h = -o. Is 4/3 < r?
False
Let n(m) = m**2 - 5*m - 1. Let k be n(4). Let p be (-8)/(-5) - 2/k. Does p = 1/2?
False
Suppose -12*k - 8 = -10*k. Which is greater: -6 or k?
k
Let m = -553/5 + 111. Let k be (-3)/2*2/(-3). Is m less than k?
True
Let q = 14 - -7. Which is smaller: -0.1 or q?
-0.1
Let b = 3 - 7. Suppose 2*r + 0*r - 5*c + 17 = 0, 0 = -4*r - 5*c + 11. Is r >= b?
True
Suppose 0 = 11*m - 10*m + 2. Let g(u) = -u**2 - u - 5*u**2 + 5*u**2 + 2. Let d be g(m). Is d < -2/3?
False
Let x = 6.09 - 0.09. Let b = x + -5.97. Is b greater than or equal to -0.1?
True
Let n(g) = 3*g + 2. Let q = -7 + 5. Let u be n(q). Let x be (1 - 4)*u/(-28). Are 0 and x equal?
False
Let g be (-4)/(48/81)*4. Is g > 1?
False
Let o = 8 + -8.06. Let z = -0.006 + 2.066. Let a = o + z. Is 1/3 equal to a?
False
Suppose 0 = 3*x - 12, 4*m = -2*x - 2 - 6. Let y be -1*(m + 3 + 2). Which is greater: y or 1/3?
1/3
Suppose -r - 2 = -2*r. Suppose 3*w + 2*d - 3 = -4, 0 = -2*w - 3*d - 9. Which is smaller: r or w?
r
Let r be 50/75 - (-236)/(-345). Is r < 1?
True
Suppose 0 = x + 3 + 1. Let h(m) = -3*m**2 - 1. Let s be h(-1). Is s <= x?
True
Let c be 15/(-13) + 2/2. Let b be 2/4 - (-25)/10. Suppose 7*m - b = 2*m + a, -5*m + 15 = 5*a. Which is bigger: c or m?
m
Let s(j) = -j**3 - 12*j**2 - 11*j. Let a be s(-11). Let g = 3 - 5. Which is smaller: a or g?
g
Let r be (-2 + 1)/((-3)/(-3)). Let m = 20 + -16. Is m at least as big as r?
True
Let k(q) = q**3 + 3*q**2 + q + 2. Let v be k(-3). Let c = 1917/182 - 74/7. Let g = c - 23/78. Is v equal to g?
False
Let m = -9 - -9. Let h be (3 + m - 1) + -1. Which is greater: h or 1/5?
h
Let a = 1 - 0. Let x = 1 - a. Is 3 not equal to x?
True
Let a be ((-14)/(-4))/(1/26). Let r = -997/11 + a. Are r and 0 nonequal?
True
Let f = -34 + 36.8. Let n = -3 + f. Is -1/2 smaller than n?
True
Let o = -1375/6 - -230. Which is greater: o or 1/2?
o
Suppose -4*v + 24 = -8. Suppose v - 23 = -3*y. Suppose 2*j - y*n - 11 = -j, 0 = j - 4*n - 13. Is 0.1 less than or equal to j?
False
Suppose f = g + 9, -3*f + 2*g = -20 - 3. Suppose -2*m = 5*u + 9, 0*m = -m - f*u - 7. Let b be -2 - -1 - m/4. Is -2 less than b?
True
Suppose k - 9 = -5*f, 0 = -5*f - 2*k + 6 + 7. Let j = -1411/36 - -220/9. Let i = j + 15. Is i smaller than f?
True
Let p = 20 - 28. Let h = p - -8.2. Let u = h - 0.1. Is u at least 2?
False
Let r(m) = -m**3 + 17*m**2 + m - 15. Let x be r(17). Let s = x + -1. Is s greater than -1/21?
True
Let i = 3 + 18. Which is smaller: i or 0.1?
0.1
Let o = 51 - 45. Which is greater: o or -1?
o
Let m(a) = a**3 + 5*a**2 - 8*a - 9. Let w be m(-6). Suppose -w*r = r + 8. Let k be (9/(-12) - 0)*r. Which is smaller: k or 3?
k
Let q(j) = j**2 - 7*j + 1. Let u be q(7). Let i be (2/2)/((-7)/1). Which is smaller: u or i?
i
Let n = -11 - -4. Let o = 6.9 + n. Which is smaller: 2/5 or o?
o
Let i = 3 - -21. Let n be i/13 - 2/(-13). Are 9/7 and n nonequal?
True
Let y be -3*55/30*2. Do -21/2 and y have different values?
True
Let i = -0.04 - 0.06. Let v = -6 + 6.8. Let y = v - -0.2. Which is greater: i or y?
y
Let x = -13.6 + 12. Let c = x + -1.4. Is -1 != c?
True
Let a(y) = -y**2 + 6*y + 15. Let t be a(8). Is t at most 2/273?
True
Suppose 0 = m - 2*m + 4. Let w = -7 + m. Let r be (w/((-9)/(-2)))/4. Which is bigger: r or 0?
0
Suppose 2*a - 4 = -0. Is a bigger than 0?
True
Suppose -5 - 20 = -5*c. Let v = c - 4. Let p = -3 - -6. Are v and p equal?
False
Let x be 6 + -6 - (-1 + 4). Let s be 0*x/(-18)*3. Do s and 8/7 have different values?
True
Let b(v) = -2*v - 4. Let w be b(-8). Let n = w + -39. Let l = n - -107/4. Is 0 < l?
False
Let p(w) = -3*w - 28. Let u be p(-9). Which is smaller: u or -4?
-4
Let g = 1 + 0.1. Let m = g - 0.5. Let y = -0.7 + m. Which is smaller: -0.3 or y?
-0.3
Let z be 13/4 - 3/12. Let r be (z - -1)/(6/(-15)). Does r = -9?
False
Let u(y) = -2*y**2 + 2*y. Let t be u(1). Is -4/11 greater than or equal to t?
False
Suppose 6 = -3*w + 18. Is 6 greater than w?
True
Let s = 10 - 7. Suppose 4*c + s = 3*m + 11, -5 = c + m. Let w be 9/(-7) - 4/(-14). Is w equal to c?
True
Let h = 138 - 137. Which is greater: -5/12 or h?
h
Let v(g) = g**3 + g**2 - g - 2. Let u be v(0). Are u and -2 non-equal?
False
Let m = 13 + 2. Let q be ((-6)/15)/(18/m). Let z = 0.2 - 1.2. Which is smaller: q or z?
z
Let s = -1 - -4. Let r = 2.5 - s. Let x = r + 0.3. Which is bigger: 0.1 or x?
0.1
Let z = -0.08 + -3.92. Let u = 1.5 - 6.5. Let q = -4 - u. Which is greater: z or q?
q
Let m = 147 + -148.2. Are 1 and m equal?
False
Let h be 46/(-14) + 2 - (-6)/21. Is -6 < h?
True
Suppose 6*n - 7*n = -4*y + 1, y + 4*n - 13 = 0. Is y > -3/71?
True
Let x = -0.115 - 4.985. Let d = -14 + 9. Let c = d - x. Which is smaller: c or -1?
-1
Let h = 121 + -113. Does h = 2?
False
Suppose 4*j - 4*h - 20 = 0, 2*h + 3 = j - 0*j. Which is smaller: 6 or j?
6
Let q(n) = 8*n**2 + n**3 + 4*n**3 - 8 - 5*n**3 - n**3 + 10*n. Let t be q(9). Are t and 2/13 nonequal?
True
Let c be (1 - 2)/((-4)/152). Is c smaller than 39?
True
Let d = 2.9 - 2.9. Is d <= 5?
True
Let k = -5 + 5. Let q be ((-1)/5)/(k + 1). Is q >= 1?
False
Let n(t) = t**3 - 6*t**2 - t + 5. Let y(z) = z. Let v(i) = -n(i) - y(i). Let d be v(6). Is -0.1 < d?
False
Let m = 4 + -3. Let t = -0.2 - -0.2. Let u = t + m. Is -2/5 smaller than u?
True
Let t(s) = s - 4. Suppose -2*w + 17 = 3*c, -c + 0*w - 4*w = -9. Let v be t(c). Let j be 5*(22/5 - 4). Is j > v?
True
Let n = -0.2 - -0.21. Let k = -0.7 - -0.61. Let y = k - n. Is 0.4 at most as big as y?
False
Let i = 0.034 - 3.034. Does -14 = i?
False
Suppose 2*x - 11 = -5*z - 0*x, 4*z = 3*x + 18. Let n be 6/(-1)*2/(-4). Is n greater than or equal to z?
True
Let c = -1.8 + -3.1. Let a = c - -5. Is -1 != a?
True
Let t = 0.3 + -2.3. Let f = t - -2.2. Let k = -0.2 + f. Is k equal to -0.3?
False
Let o = -0.06 + 0.86. Let y = -57.9 + 58. Which is bigger: y or o?
o
Suppose -3*c - 36 = 3. Is -7 not equal to c?
True
Let q = -0.02 - -0.15. Is 0 greater than q?
False
Let z be -2 + 4 - 28/10. Which is greater: z or -0.1?
-0.1
Suppose 0 = o - 0*o - 2. Let b(i) = -2*i**3 + i**2 + i + 2. Let z be b(o). Which is smaller: -7 or z?
z
Let i(z) = -z + 27. Let h be i(10). Is 16 not equal to h?
True
Suppose -7*c + 3 = -46. Which is smaller: c or 3?
3
Let u be 7/70*0*1/2. Suppose 2 = -g - g. Which is bigger: g or u?
u
Suppose 2*p + 2 = 3*f + 3, 3*f + 4*p - 11 = 0. Which is greater: -2/45 or f?
f
Let p = 6 - 2. Is 4 bigger than p?
False
Let n = -7 + 9. Let l be 0/n*(-1)/(-3). Let v = -6/35 + 88/105. Which is smaller: l or v?
l
Let s = 0.61 + -0.6. Let a = s + -2.01. Are a and 1 equal?
False
Let z = 0.04 - -2.26. Let g = 2 - z. Is g not equal to 0.2?
True
Let c = 9 + 24. Let f be (1 + 2)*(-6)/c. Is -2 != f?
True
Let w(t) = -t. Let a be w(-5). Suppose 5*q - 30 = -a*y, -3*q = -y + 3*y - 16. Suppose -y*k - 6 = -0*k. Is -4 not equal to k?
True
Let o = -7.1 + 7.88. Let g = -0.02 - o. Let f = 1 + g. Which is smaller: f or 1?
f
Let h = -3 - -2. Let p = -3 - h. Let q be p/3*9/12. Is -2 equal to q?
False
Suppose 3*x - 16 = -5*k + 3*k, k + 4*x - 18 = 0. Suppose k*z - m = -2, -3*z + m - 3 = -0*z. Let w = -1/38 - -41/114. Is z equal to w?
False
Suppose m = -4*m - 5. Let j(i) = i**2 - i - 3. Let u be j(0). Which is smaller: m or u?
u
Let d(x) = x + 3. Let n be d(-9). Let f = n - -6. Which is smaller: f or 2?
f
Let z = -0.346 + 0.056. Let r = 0.09 + z. Is r at most as