2. Let m = y + 1213/7. Are m and -1 equal?
False
Let w = 1.7 - 1.8. Let u = -3 + 2. Let m = u - -1.1. Which is bigger: w or m?
m
Let u be (-1)/6*10/42. Let t = u - 1/14. Let q(o) = o**3 - 2*o**2 - 3*o + 1. Let l be q(3). Is t smaller than l?
True
Let p = 1 + -0.9. Let t = 15.88 - -0.12. Let s = t - 14. Is p at least as big as s?
False
Suppose 5*d = d + 56. Let u = d - 18. Which is smaller: -3 or u?
u
Let d be (2/(-4))/(3/2). Is d less than or equal to 0.3?
True
Let x be ((-8)/(-18))/((-10)/(-15)). Let q = -1 - 6. Let l = 6 + q. Do x and l have different values?
True
Let p = 2 + 1. Let s = -8 + p. Let u = 2 + s. Which is smaller: 0 or u?
u
Suppose 0*u + 5*x + 15 = u, -u + x = -7. Suppose -u - 1 = -3*c. Which is greater: c or -1?
c
Let f(q) = -5*q**3 - 17*q**2 + 16*q - 9. Let b(p) = -p**3 - p**2 + p - 1. Let h(u) = -6*b(u) + f(u). Let i be h(10). Is i at least as big as -3/2?
False
Suppose 0*m + p - 1 = 5*m, -5*m = p - 1. Let v be (-20)/(-6)*(-12)/(-10). Is m greater than v?
False
Let p = 1516/7 - 217. Suppose 9 = 3*u + 12. Which is greater: p or u?
p
Let j(p) = p**2 - 3*p. Let x be j(3). Are x and 2/21 unequal?
True
Let r be 2/20*(-25)/10. Let j(y) = -y**3 - 2*y**2 - 2*y - 3. Let w be j(-2). Which is smaller: r or w?
r
Let q(d) = -d + 10. Let g be q(12). Let l be (-19)/6 - (g + -1). Let c(i) = i**2 - 6*i + 1. Let b be c(6). Is b < l?
False
Let v be 5 + -1 - (0 - -4). Which is greater: -2/3 or v?
v
Let u be (2/(-5))/((-130)/100). Which is greater: u or -1/2?
u
Let q = -2/325 - -13589/650. Let u = q + -41/2. Is 0 at most u?
True
Let p(i) = i**3 - 2*i**2 - 3*i - 2. Let s = -2 - -5. Let n be p(s). Which is bigger: -3 or n?
n
Let w be (2 + 6/(-4))*0. Let m = -126 - -382/3. Is m smaller than w?
False
Let q = -79.7 + 72.79. Let v = q + 7. Does v = -0.2?
False
Let s be 1*-3 - (5 + -8). Is 2 <= s?
False
Suppose 3*p - 7*p - 2*c + 40 = 0, 3*p + c - 28 = 0. Let z be 2/(-3) + (-16)/(-6). Let r be p/(-12)*1/z. Which is greater: r or -1?
r
Let u = 3 + -4. Let z = 1.365 - 0.255. Let o = z - 0.11. Is u smaller than o?
True
Suppose -3*k + 8 = k. Let h be 8/(-4)*(k + -1). Which is smaller: -3/4 or h?
h
Suppose 2*t = 6 - 2. Let o = 1 - t. Is o greater than -2/3?
False
Let b(t) = -t**3 - 4*t**2 - t + 5. Let n be b(-4). Let z be (-1)/2*-2 + 7. Is n bigger than z?
True
Let m = 17.7 - 17.5. Is -14 at least as big as m?
False
Let h(z) = z**3 - 4*z**2 - 4*z - 6. Let v be h(5). Let m be 32/(-17) + (3 - 1). Which is smaller: v or m?
v
Let k = -5 - -4. Let j = 3 - 5. Let r = j - k. Does -1 = r?
True
Let g be ((-6)/4)/((-3)/(-68)). Let k be (-6)/(-21) - g/(-70). Which is bigger: 1 or k?
1
Let s = -8 - -7. Let f = s + 1.2. Which is bigger: f or 3?
3
Suppose 0 = -3*b + 2*h - 6 - 5, 2*b + 2*h - 6 = 0. Is b greater than or equal to -2/95?
False
Suppose -2*v = -4*o + 18, -5*o + 9 = -2*v - 12. Let u = v - -3. Let k = -1 - u. Which is smaller: k or -2?
-2
Let r = -0.1 - -0.2. Let t = -0.13 - 0.09. Let c = t + -1.78. Which is smaller: r or c?
c
Let s(r) = -r - 3. Let z be s(-2). Is -4 less than z?
True
Let l = -30 - -27. Is 0 < l?
False
Let i be ((-21)/(-84))/(-1 + 10/8). Which is bigger: i or 8/29?
i
Let u = -29 - -33. Suppose 0 = -4*i - u. Which is greater: 5 or i?
5
Let o be (-8)/16 + 1 + 0. Do 12 and o have the same value?
False
Let z(b) = -b**3 - b**2 + b - 2. Let o be z(0). Let h = -0.06 - 6.94. Let x = -6.7 - h. Is o >= x?
False
Let q(u) = u**2 + 5*u + 4. Let o be q(-3). Is o less than or equal to -1?
True
Suppose 4*u - 3*u = -3. Let d(t) = t - 6. Let y be d(8). Suppose 0*i = i + y. Is u equal to i?
False
Let r(q) = q**2 + 4*q. Let d be r(-4). Suppose -v - 5*g = -25, -5*v - 3*g + 0*g + 15 = d. Let w be (0 - v)/(-3 - -1). Is 0 less than w?
False
Let h(m) = 9*m**2 - 23*m + 29. Let c(b) = -5*b**2 + 12*b - 15. Let u(n) = -7*c(n) - 4*h(n). Let j be u(6). Let y = 34 - 137/4. Does j = y?
False
Let j = 0.29 - 0.3. Let c = -2.01 - j. Let o = 1 + c. Which is smaller: o or -2/9?
o
Let j = 36 + -35.9. Which is greater: 1 or j?
1
Suppose 4*b + 2*m - 16 = 3*m, 0 = -2*m. Suppose -b - 16 = h. Let i be 16/(-10) - (-8)/h. Which is bigger: i or -1?
-1
Let n = 27 + -349/13. Which is smaller: n or 4?
n
Let m = 4 + 4. Let g be (-2)/m + 17/20. Let z(j) = -j**2 - 14*j + 33. Let s be z(-16). Is s greater than g?
True
Suppose 9*s = 51 + 30. Which is smaller: 2 or s?
2
Let q = 1976542/14091 + 32/2013. Let l = -173 + 313. Let s = l - q. Is -2/3 greater than s?
False
Suppose 4*s = 5 + 7. Let y be 1 - (s + 0/2). Let k be 0/2 - (24/8)/3. Is y at least as big as k?
False
Let h = -8.03 + 8. Which is greater: -0.2 or h?
h
Let t = -52.96 - -53. Which is bigger: t or 3/2?
3/2
Suppose -14 = -4*k - 2. Suppose 0*s = -2*s + k*y - 2, 0 = 5*s + 2*y - 33. Is s less than or equal to 6?
True
Suppose 3*l + t - 38 = 0, -2*l + 0*t = -3*t - 7. Which is greater: l or -0.1?
l
Let i = -0.9 - -0.81. Let v = i - -1.09. Let j = 8 + v. Is j >= -0.1?
True
Let d be 170/70 - (-6)/(-14). Which is bigger: d or -4?
d
Let x = 0.3 - 0.31. Let z = -4.01 - x. Let m = 0.077 - 0.077. Is z at most m?
True
Let c = -0.08 + 7.08. Let h = c - 10. Let j = h - -2.9. Which is bigger: 2 or j?
2
Let h = -0.7 - -0.9. Let l = 0.1 - h. Is -2/9 at least as big as l?
False
Suppose a = 4*p - p - 10, -4*a = p - 25. Suppose -p*g - 5 = 25. Let t be g/4*4/33. Is t greater than 1?
False
Let l = 1321/126 - 73/7. Suppose 9*v - 10 = -v. Do v and l have different values?
True
Suppose 2*u - 4*l = 6, 5*l + 18 = -5*u + 3. Which is greater: u or -2/47?
-2/47
Let c(b) = -b - 6. Let v = -13 + 8. Let o be c(v). Which is greater: o or -2/3?
-2/3
Suppose 3*r - 47 = 4*s + 14, 3*s - 3*r = -48. Let p = s - -7. Which is smaller: -7 or p?
-7
Let y be 2 - -3 - -6*(-2)/4. Let w(q) = 2*q**2 + 4*q + 2. Let a be w(-2). Is a >= y?
True
Let p = -1 - 0. Let a be (0 + 3)*1*p. Let n = a - -5/2. Which is greater: n or -2?
n
Let b(w) = -w**3 + 4*w**2 + 5*w + 8. Let s(i) = i**3 - 3*i**2 - 5*i - 8. Let t(r) = 3*b(r) + 2*s(r). Let k be t(7). Which is bigger: k or -4?
-4
Let l be 8/28 + 18/(-14). Let b(n) = n**3 - 2*n**2 - 4*n + 2. Let p be b(3). Are l and p equal?
True
Suppose 3*b - 3*z = -5*z + 17, 0 = 2*z - 2. Suppose 0 = 5*r - 0 + b. Is 4/11 at least r?
True
Let h = -17/10 - -23/10. Let v be -1 + (-2 - -1*7). Let g = v + -3. Which is greater: h or g?
g
Let m = 0.06 - 0.17. Let o = m - -0.01. Is -7 != o?
True
Let b = -243 + 249.98. Let g = b - -0.02. Does g = -0.2?
False
Let l = -0.32 + 0.22. Are l and -0.1 non-equal?
False
Let b = 226 - 3392/15. Which is greater: b or 0?
0
Let z be ((0/(-1))/(-2))/2. Suppose -4*h = -z*h. Which is smaller: -1/4 or h?
-1/4
Let w be ((-7)/(-2))/((-6)/(-12)). Let n = w + 3. Does n = 10?
True
Let m(y) = y - 2. Let s be m(4). Suppose f - 5*c = -9, 2*c = s*f + c. Let o = 243 + -1211/5. Which is greater: f or o?
f
Suppose 0*q = 2*q. Suppose q*z = -3*z. Suppose 7 = t - 2*u, -3*t = 5*u - z*u + 1. Which is smaller: 4 or t?
t
Suppose -3 + 1 = 2*l. Are l and 3/8 nonequal?
True
Suppose 2*s - 43 = -4*x + 3*s, 4*x = 5*s + 55. Let i = 0 - x. Which is greater: i or 1/2?
1/2
Let m = -3 + 6. Let h be 126/(-56)*(-2)/m. Is 1 != h?
True
Let r = -0.06 + 0.12. Let u = -2.06 + 2. Let n = u + r. Is -2 at least as big as n?
False
Let v(m) = m**2 - 7*m + 7. Let i be v(6). Let w = i + -2. Are w and -1 non-equal?
False
Let b(n) = -n**3 - 5*n**2 + 5*n. Let y be b(-6). Which is smaller: y or 4?
4
Let x = -24 - -24.13. Let o = x - 0.03. Which is bigger: 8 or o?
8
Let g = 0.33 - 0.43. Are g and 5/4 equal?
False
Suppose -12*r + 157 + 71 = 0. Which is greater: r or 21?
21
Let b be (-12 - -4) + 5 - 57/(-13). Is b > 2?
False
Let c = 6 - 12. Let r be (c/4)/(3/(-4)). Which is bigger: r or 0.1?
r
Let y(m) = -2*m**3 + m**2 + m. Let j(q) = 2*q + 1. Let k be j(-1). Let f be y(k). Suppose h - 1 = 1. Does f = h?
True
Suppose -g - 2*b + 3*b = -9, 5*g - 15 = -b. Suppose -g*c + 0*c = 0. Suppose -5*v - 15 = -c*v. Which is greater: v or -1?
-1
Let m be (3/(-1) - 70)*-1. Is m less than 73?
False
Let h = 8 - 3. Suppose 0 = -4*x + 19 + h. Suppose 0*w + w = -x. Which is greater: 1 or w?
1
Let a = -12.45 + 12. Let d = a + 0.05. Let k = 0.4 + d. Which is smaller: 1 or k?
k
Suppose 1 = -2*b + n, 0*b + 2*n = -5*b - 7. Are -5 and b nonequal?
True
Let d = -35 + 37. Suppose 3 = g + 2. Is g < d?
True
Let z = 0.07 - 