 y = 0.4 + -1.4. Let c = y - -1. Let p = -20 - -19.8. Do p and c have different values?
True
Suppose j = 5*a + 69, 2*j + 4*a = -j + 112. Let w be 2 - j/21 - 0. Do 1 and w have the same value?
False
Let v = 2 + -6. Let i = -3 - v. Let o(z) = z**2. Let l be o(0). Which is bigger: l or i?
i
Let m be (-2)/(-3) - (-50)/6. Suppose 3*p = 4*x - 2*p - 35, 9 = 3*x + 2*p. Suppose -x*w + 6 = -m. Is 2/5 > w?
False
Let r be 6/(-18)*3*5. Let p(h) = h + 9. Let d be p(r). Is 6 > d?
True
Let u(p) be the first derivative of p**4/4 + p**3 + 2*p**2 + 3*p - 12. Suppose 1 = -o - 1. Let k be u(o). Is k not equal to 1/4?
True
Let o = -31/6 + 97/18. Let a be (-7)/(-30) - (-6)/(-15). Let b = 11/30 + a. Is b not equal to o?
True
Let j = 12 - 8. Suppose -g = g - 6, 6 = -j*d + 2*g. Let i = 0.4 + -0.5. Is i bigger than d?
False
Let q be 2*6/(-8)*2. Suppose i - 6*i = -35. Suppose i*v = 5*v - 4. Is v equal to q?
False
Let c(g) = 9*g**3 + 2*g**2 - 1. Suppose -f + 6*f - 5 = 0. Let r be c(f). Suppose -l = 4*l - r. Is l greater than or equal to 2?
True
Let p = 0.19 - -2.61. Let m = p + -3. Which is bigger: m or -1?
m
Suppose 14 = 3*s - u + 4, 0 = 5*u + 20. Let y be (0/(-1 + 0))/s. Let z = -105 + 100. Is y not equal to z?
True
Let f(c) = -2*c**2 + 14*c - 2. Let a be f(7). Which is greater: 7 or a?
7
Suppose 17 = -5*p + 4*n, -11*p + 15*p - 5*n = -19. Let m be (-4)/(-10)*(0 - 5). Let c = m + p. Is -1 > c?
True
Let v be (6 - (5 - -4))/(2/(-6)). Which is greater: v or 6?
v
Let z be (-2)/(-9) - 21/(-27). Is z at least as big as 6/11?
True
Let p = -7 - -4. Suppose -2*q = -3 - 1. Let n be 0 - (2 - 2) - q. Which is smaller: p or n?
p
Suppose -4*o + 20 = -0*o. Is 33/7 greater than o?
False
Suppose 9*r = 5*r + 56. Is 15 at least as big as r?
True
Suppose 2*z = -z + 6. Suppose 5 = z*a + 17. Is -6 smaller than a?
False
Let y = 0.1 + -6.1. Let i = -6.1 - y. Let n be 36/(-27)*(-3)/(-22). Which is bigger: n or i?
i
Let t(z) = -2*z**2 - z - 1. Let v be t(2). Let f = v + 17. Let m(j) = -j**3 + 7*j**2 - 6*j. Let k be m(f). Which is bigger: k or 2/13?
2/13
Let i = -0.175 + 0.065. Do i and 0.1 have the same value?
False
Let y(i) = i**2 - 12*i + 2. Let s be y(12). Which is greater: 6/11 or s?
s
Let a be 0*(0 + -2 - -3). Which is bigger: a or -3?
a
Suppose x + 2*z = z, 0 = -2*x + 2*z. Let y = 4 + -3. Suppose -c - y = 1, -5*d - 4*c - 8 = x. Is d at least 1/5?
False
Suppose -2*r + 24 = 2. Let k be 0 - (15/(-5) - 0). Let h be (r/(-44))/(k/8). Which is greater: h or -1?
h
Let s = 3.07 - 0.07. Let u = 3.2 - s. Is 0 not equal to u?
True
Let j(h) = h**3 - 3*h**2 + 2*h. Let n be j(2). Let f = n - -1. Let v = -2 + f. Is -1 less than or equal to v?
True
Let j be (-13)/2*((-20)/6)/(-5). Is j bigger than -4?
False
Let j = 197 + -199. Which is bigger: 1 or j?
1
Suppose -2*n - 213 = -3*n - 4*t, 2*n = 2*t + 406. Let h be n/15 - 2/(-6). Let o be 4/h - -1 - 1. Which is bigger: o or -0.1?
o
Let u(o) = -o**2 - 9*o + 10. Let h be u(-10). Which is bigger: h or -1?
h
Let z = 3.8 - 0.8. Let t = z + -3.1. Let f = t + 1.1. Is f bigger than 1/2?
True
Let j = -10 + 27. Which is smaller: -2/3 or j?
-2/3
Let u be (-6)/(-630)*10*12/14. Which is smaller: 1 or u?
u
Suppose -4*l - 93 = 5*b - 20, 4*l = -b - 21. Is -13 bigger than b?
False
Suppose 0 = -4*m - 5*l + 17, 0*l + 4 = 2*m - 2*l. Suppose -m*t - 3 = 4*q + 14, 3 = -3*q + t. Which is smaller: q or -3?
-3
Let o be ((-4)/(-12) + (-10)/12)*-8. Does 4 = o?
True
Let n(u) = -u + 9. Let d be n(13). Let a be d/(-40) + (-1)/(-2). Let s(b) = -3*b - 1. Let z be s(-1). Are z and a nonequal?
True
Let b be (-12)/20*(0 + -1). Let h = -11/35 + b. Let u = -1 + 2. Which is bigger: u or h?
u
Let t(y) = y**3 - 5*y**2 + 5*y - 6. Let a be t(4). Let k be 0/(a + 3 - 0). Is 1/9 > k?
True
Suppose -2*n + 4*z + 2 = 0, -5*n + 2*z = 5*z + 8. Is -15/8 less than or equal to n?
True
Suppose 3*w = -5 - 4, 3*w = -4*y - 17. Which is smaller: y or -4?
-4
Suppose -5*o - 3355 = -820. Let i = -2548/5 - o. Let k = i - -14/5. Which is greater: 1 or k?
1
Let g(o) = 2 - 4*o + 13*o - 8*o - 5. Let n be (3 - 0) + -1 + -2. Let p be g(n). Which is smaller: p or 2/9?
p
Let d(x) = -5*x - 8. Let m be d(-7). Which is smaller: m or 29?
m
Let s = 0.5 - 0.18. Let n = 0.02 - s. Let i = n - -2.3. Do -1 and i have the same value?
False
Let s(k) = -k**2 - 11*k - 6. Let x be s(-10). Suppose x*f = -f + 40. Suppose -4*z + 2*z + 16 = 0. Is z at most as big as f?
True
Let x = 1 - 1. Suppose 2*c + 4 = -x*c. Is -1/2 less than c?
False
Let p = 64 - 131/2. Let j be (-8)/(-1)*(2 - 0). Let r be 8/(-12)*6/j. Is p greater than r?
False
Suppose -k + 1 = -2*k. Let a = k - -2. Let v be 2 + -5 - -1 - -4. Is a > v?
False
Let x be (-2 + 2/(-2))*-1. Let s(h) = -2*h - 5. Let y be s(-4). Suppose -3*u + 2*u = -4*l + 17, -2*u + y*l - 9 = 0. Is x bigger than u?
False
Let f(p) = p + 3. Let s be f(-4). Let i be -2*(9/(-6) - -2). Let c be (-16)/(-30) - i/(-3). Is s < c?
True
Suppose 3*b + 7 - 3 = -2*t, -8 = 2*b - 4*t. Suppose 0 = 4*u - 84. Suppose -u*k + 20*k - 3 = 0. Which is smaller: k or b?
k
Let s = 0.29 + 0.71. Which is greater: s or -25?
s
Suppose -3*f + 5*f = -2. Let t be (f + 2 + -2)*18. Let n be ((-3)/4)/(t/4). Which is smaller: -1 or n?
-1
Let r(z) = 3 - 3*z - 2*z - 9 - 1 - z**2. Let v be r(-4). Which is bigger: v or -4?
v
Let m(r) = -2*r - 9. Let v be m(-4). Does v = 0?
False
Let m(j) = 20*j - 44. Let q(f) = 7*f - 15. Let n(i) = -6*m(i) + 17*q(i). Let t be n(8). Let l = -1 + 3. Which is greater: l or t?
l
Let d = -1 - -3. Let f(c) = -c**2 - c. Let i be f(-1). Let h be (6 - 2)/(6 + i). Which is smaller: d or h?
h
Let z = -0.16 + 4.16. Let o = 0.49 + 3.21. Let w = z - o. Are -1 and w unequal?
True
Let n = 25.7 + -25. Is -0.2 < n?
True
Let t = 103/15 - 36/5. Suppose 0 = -3*i + 4*a - 2*a - 1, -a = -5*i + 3. Is t at least as big as i?
False
Let x = 6 - -14. Let l = x + -13. Is 1/2 > l?
False
Let j = 26 + -11. Are j and 15 nonequal?
False
Suppose 4 = o, -4 + 40 = -4*p + 4*o. Suppose 0 = 3*x + 8 + 1. Let i = x - p. Which is bigger: i or 0?
i
Let j = -55 - -56. Let b be (6 - -1) + -2 - 1. Suppose b = -3*y - y. Is j < y?
False
Suppose 6*m - 60 = 2*m. Is m > 15?
False
Let x = -10 - -6. Let t be (x - -5)*(-3 + 2). Is 1/15 >= t?
True
Let i be 1 + (149/(-84) - -1). Let j = -1/42 - i. Let c(w) = w - 2. Let a be c(2). Is a at least j?
True
Let d be (-1)/(-3) + (-7)/12. Let s(f) = -2*f**2 + 1. Let k = -7 - -8. Let o be s(k). Is d less than o?
False
Let i(w) = w**3 - 6*w**2 - 1. Let k = -14 - -26. Suppose g + 3*y = -3, 15 = 5*g + y - k. Let q be i(g). Is -3 smaller than q?
True
Let s = -1 - 2. Let j = 75 + -74. Which is smaller: s or j?
s
Suppose -3*i + 4 = 43. Is i at least as big as -13?
True
Let d = 101/10 + -10. Let a(o) = o**2 + 7*o - 1. Let x be a(-7). Which is smaller: d or x?
x
Let n = 0.21 + -0.2. Let v = n - 0.11. Does -1/3 = v?
False
Let b be 8/(-6)*(-30)/4. Let x(o) = -3*o**2 + 2*o + 1. Let u be x(-1). Let m be (u/b)/(9/5). Which is greater: 0 or m?
0
Let a = -25/2 - -13. Which is greater: 0 or a?
a
Let q be 42/(-18) + (-4)/(-12). Which is smaller: q or -3/8?
q
Let f(z) = -2*z - 7. Let s be f(-5). Suppose 3 = s*b - 6. Suppose 0 = b*d - 10 + 1. Which is greater: 0 or d?
d
Suppose -g + 0*l = -l - 1, 5*g = 3*l + 3. Suppose -2*b = 2 - 0. Let v = 5 + b. Is v at least g?
True
Suppose -3*c + 12 = -0*c. Suppose -4*x + 4 = 2*f, -c*x + 0*x = -f - 10. Let j be (-2)/(-5) - x/5. Which is bigger: j or -2?
j
Let w = -114 + 133. Which is smaller: w or -0.1?
-0.1
Let h = -3 + 12. Let p = h + -9.1. Is p at most -2?
False
Suppose -2*s + 40 = n, -5*n + 66 + 74 = -2*s. Let h be (36/n)/(2/(-5)). Let r be (-2 - 1)/h - 2. Is -7/4 <= r?
True
Suppose 3*p - 12 = x, -3*x + 0*p - 10 = 4*p. Let c = x + 1. Which is bigger: c or -6?
c
Let h be 1 + 1 - 15615/84. Let k = h + 184. Which is bigger: k or 1?
1
Let y be 9/15*3/(18/(-4)). Which is bigger: -19 or y?
y
Let r(i) = i**2 - 4*i - 3. Let z be r(6). Suppose 0 = -3*o - 3*v - z, 0*o - v = -2*o. Is o at most as big as -1?
True
Let r(t) = -t**3 + 6*t**2 - 2*t + 7. Let o be r(6). Which is smaller: o or -3?
o
Let i(d) = 6*d - 72. Let s be i(12). Which is bigger: s or 1/4?
1/4
Let y be (1 + -2)/((-14)/(-4)). Is -3 equal to y?
False
Suppose -3*k - 2 = -2*a, 3*a - 2*k - 4 = 2*k. Let h(p) = 3*p**3 + 2*p**3 - 2 - 5*p**2 + 4*p - 4*p**3. Let j be h(