ater than or equal to -1?
True
Let v = 15 + -12. Suppose -1 + v = -t. Is -4 not equal to t?
True
Let j be 2*(-2)/12*-1. Suppose -u + 4 = 3*u. Which is smaller: j or u?
j
Suppose 2*j = j + 2. Suppose g = -2*i - g - 6, 2*i - 6 = j*g. Suppose -1 = -i*n + n. Which is smaller: 1/7 or n?
n
Suppose 2 = -2*b + 3*b. Which is bigger: 1/2 or b?
b
Let r = 0.14 + -0.14. Let a = 0 + -1. Which is smaller: a or r?
a
Let h be ((-8)/226)/((-10)/1). Let t = 46324/1695 + h. Let g = t - 27. Which is smaller: -1 or g?
-1
Let g be (0 - -5) + (-6)/2. Let t be 5 - 6/(-1 - -4). Which is smaller: t or g?
g
Let n = -7/24 + 167/408. Let l = n + 20/119. Is l at most 1?
True
Let s = -4.08 - -4. Let l = -0.016 + 3.096. Let y = l + s. Which is smaller: y or -0.1?
-0.1
Let r = -15088/11 - -1373. Which is smaller: 1 or r?
1
Suppose 0*a + 5*i = 2*a - 1, i = 3*a - 8. Let s be -2*(-3 - -2)*1. Let p be s/8 - 14/(-8). Is p <= a?
True
Let a = -2 - 1. Let d be 1*((-9)/3)/a. Is d > 7?
False
Let b = 1.44 - -0.26. Which is greater: 1 or b?
b
Let n = -4 + 6. Suppose -n*z - 3 = 9. Let x(y) = y + 5. Let l be x(z). Which is bigger: l or -1/5?
-1/5
Let p be ((-2)/(-14))/(7/14). Which is smaller: 12 or p?
p
Suppose 0*f + 2*f + 5*v = -9, 3*f - 3*v = -3. Do -1 and f have different values?
True
Suppose 3*h - f + 4 = 0, 0*h - 2*f = 2*h. Which is bigger: -4/95 or h?
-4/95
Let x be -12 + 1 + (-1 - 0). Let h = 13 + x. Which is greater: 4/3 or h?
4/3
Let a(k) = k - 12. Let y be a(10). Let g = 45 + -49. Is y at most as big as g?
False
Let i = -5 + 7. Suppose -n = -4*f + 6, -n + i = f + 3. Is 1/4 bigger than f?
False
Let b(p) = -2*p**2 + 10*p + 13. Let l be b(5). Which is smaller: l or 0?
0
Let x = -10 - -16. Suppose -5 = 3*s + 3*f + f, -3*s - 3*f = x. Let m be 2/(-4)*(0 + 8). Which is greater: m or s?
s
Suppose -12 = 5*q - 4*b, -2*b + 6 = -2*q - 2*q. Let d = q + 6. Which is bigger: 7 or d?
7
Let a be 2*(2/17 - (-477)/714). Which is bigger: 2 or a?
2
Let n be (-6)/4*(-544)/72. Is n at most as big as 11?
False
Let t = 4.2 - 4. Let j = -2.1 - t. Let h = j - -0.3. Which is bigger: h or 1?
1
Let q(d) be the third derivative of d**5/60 + d**4/8 + d**3/3 - d**2. Let v be q(-2). Which is smaller: -1/29 or v?
-1/29
Suppose -2*a - r = 4*r + 26, -r = a + 7. Let x = 5 + a. Suppose -x = -v - v. Which is smaller: 0 or v?
0
Suppose -4*v + 0 + 12 = 0. Suppose -3*n - 2*k - 28 = 0, n - v*k + 9 = -3*n. Which is bigger: n or -7?
n
Let a(d) = -d - 1. Let i be a(0). Let z = i + 1. Suppose z*v = v. Is -1/5 >= v?
False
Let y = 2 - 2. Let u = 628/703 - 18/19. Which is smaller: y or u?
u
Suppose -2*z - 29 = 5*w, 3 = z - 5*w - 5. Which is greater: -6 or z?
-6
Suppose 10 = 3*w + 25. Let r = 9 + w. Let b = 1 + 4. Which is smaller: b or r?
r
Let l = 0.5 + -0.1. Let a = -0.3 + l. Is 0.02 at least a?
False
Let y = 0.04 + 0.96. Which is bigger: -6 or y?
y
Let k(x) = x**3 - 5*x**2 - 8*x + 10. Let q be k(6). Suppose 2*n - 10 = 0, 3*v - 4*n + 14 = -3. Which is smaller: v or q?
q
Suppose 4*a + 13 = 3*w, 3 = w + 4*w - 2*a. Is w >= -2/31?
False
Let q(s) = s + 10. Let u be q(-8). Suppose 5*t - 10 = 5*a, 3*t = -2*a - u + 3. Let o = 61 - 245/4. Which is smaller: o or t?
o
Let n(r) = r - 1. Let f be n(1). Let q be (f*(-2)/(-8))/2. Let g = 4 - 4. Are q and g equal?
True
Let g = -4 + 7. Let q be (48/(-32))/(3/4). Is g > q?
True
Suppose 0 = -0*g - 3*g - 18. Which is bigger: 1 or g?
1
Suppose 2*h - 3*d + 8*d = 0, -d = 2*h. Which is greater: h or 4?
4
Let i = -0.6 - 0.4. Let z = 3 + -2.5. Let x = 0.5 - z. Which is smaller: x or i?
i
Let k be 10/25 - 56/(-10). Let g(l) = -l**2 + 7*l - 2. Let y be g(6). Suppose -5*r - y = k. Is r less than or equal to -2?
True
Let x(n) = n**2 - 5*n + 4. Let q be x(4). Let u be (15/2)/(6 + 0). Is q less than u?
True
Suppose r + 17 = -n + 2*r, -2*n + r - 32 = 0. Let m be (n/110)/((-6)/8). Is m >= 1?
False
Let l = 2.1 + -2. Which is smaller: l or 1?
l
Let w be -1 + 13 - (20/(-5) + 5). Is w at least as big as 12?
False
Suppose 3*v + 4*t + 19 = -0*t, -2*v + t + 2 = 0. Let n be (0 + -2)/(-1 + v). Are 2/7 and n equal?
False
Let v be 51/34*8/6. Let a = -1 - -1. Let c = -1 + a. Which is smaller: v or c?
c
Let c = 299/5 - 60. Do 1 and c have the same value?
False
Let j(a) = 2*a**2. Let s be j(1). Let q be (s/3)/((-2)/3). Let v(w) = -5*w**3 + w + 1. Let x be v(q). Which is smaller: x or 4?
4
Let t(i) = 5*i - 3. Let z be t(-9). Let u be -3 - (2 + z/9). Let f = 32/161 + 2/23. Is f > u?
False
Let w be (-16 + 18)*5/2. Suppose 5*k - 28 = -3*v, 4*v - 5*k + 2*k - 18 = 0. Is v > w?
True
Let t = 30 + -92/3. Which is smaller: 7/6 or t?
t
Let y = -11807/4 + 2968. Let k = y - 16. Let x = 1 - 2. Is x > k?
False
Let r be 4 + 358/(-120) - 1. Which is bigger: 0 or r?
r
Let c = 2 - 3. Let h be -1*(-1)/4*-3. Which is smaller: c or h?
c
Let a(s) = -3 - 7*s + s**2 - 2 + 3. Let p be a(8). Suppose k = 3*c + 3*k - 4, 3*k = -3*c + p. Which is bigger: c or 1?
1
Let p = -19 + 27. Let t(r) = r**3 - 9*r**2 + 7*r + 9. Let l be t(p). Is 2/21 greater than l?
False
Let v(g) = g**2 - 6*g + 2. Let k be v(6). Suppose -6*n = -5*m - n - 15, 2*n - 14 = -k*m. Suppose -m*o + 2 = -3*o. Is -2 > o?
False
Suppose -5*s + 5*n + 37 = -8, 3*s - 4*n = 32. Let m = s + -2. Let r = -2 + m. Which is greater: -1/2 or r?
r
Let v(c) = 4*c**2 + 6*c - 12. Let u be v(-8). Let y = -977/5 + u. Is y not equal to -2?
True
Let t be (-1 - -4) + -11 - 1. Which is smaller: -8 or t?
t
Suppose 2*u + 37 = 2*z + 3*z, -5*u = z - 29. Let f = z + -5. Suppose 0*j = -f*j. Which is bigger: j or 2/5?
2/5
Let c = -14 + 12. Which is smaller: c or -1?
c
Let a = 53 - 56. Is 3/2 less than a?
False
Let w be (-1 - (-2 - -1))/(-2). Let l be (-40)/21 - (w + -2). Let o(p) = p + 7. Let c be o(-6). Which is bigger: l or c?
c
Let v = 2 - 1. Which is greater: 2 or v?
2
Suppose -i = 5 + 2. Let z be 4 + i - (-39)/12. Are z and 0 unequal?
True
Let z be 5/(-3 + 4) + -3. Let s be (z/21)/(2/(-6)). Suppose 2*q - 1 = w - 4, 4*w + 3*q - 1 = 0. Are s and w unequal?
True
Let d = 11/6 - 4/3. Let c = -663/5 - -133. Which is smaller: d or c?
c
Let f be (-34)/(-187) - (-3)/44. Is f greater than -9?
True
Let k(s) = -s + 1. Suppose -2*i + 4*i - 8 = 0. Let c be k(i). Which is greater: c or -1?
-1
Let g = 76 + -831/11. Let o = 7/33 + g. Which is greater: o or 1?
1
Let k = -131 - -31. Let i be (-2)/(-7) - 23760/(-238). Let p = k + i. Which is greater: p or 0?
p
Let a = 3 - 8. Let w = 5 + a. Do -4 and w have different values?
True
Let z = 100/1771 - 1/23. Does z = 0?
False
Let a be (-1 - -10)*(-2)/2. Let n be 2/3*a/24. Is n bigger than 0?
False
Let h(t) = 9*t + 80. Let s be h(-9). Suppose 5*g = g - 16. Which is smaller: s or g?
g
Suppose 15 = -5*h, 5 = -c - 5*h - 10. Let q be (-10)/24 + (-2)/8. Is c smaller than q?
False
Suppose -3*v - v = t + 63, 4*v - t = -57. Let p = v - -13. Are -1 and p non-equal?
True
Let n = 13 - 8. Let z(m) = 2*m - 5. Let k be z(n). Let g = 34 - 30. Which is bigger: g or k?
k
Let r = -0.3 - -0.4. Which is greater: r or -0.3?
r
Suppose -36*q - 68 = -32*q. Which is bigger: -16 or q?
-16
Let i = -82 - -248/3. Let a = -283 - -283.13. Which is smaller: a or i?
a
Let r(f) = -f**2 - 2*f - 3. Let g be r(-2). Let n be (-1)/g*-14*3. Let d be (n/(-21))/((-2)/15). Are -4 and d equal?
False
Let p(h) = h - 5. Let o be p(15). Is o not equal to 8?
True
Let a(y) = y - 26. Let j be a(11). Are j and -14 unequal?
True
Let g(n) = 4*n**2 + 7*n + 6. Let a be g(-10). Let h = -8065/24 + a. Is 0 smaller than h?
False
Suppose 5*c + 11 = 136. Suppose -4*s - 4*k = -44, -c = -3*s + s - 3*k. Suppose 4 = -5*z - j, s*j = -4*z + 4*j. Which is smaller: 0 or z?
z
Suppose -z + 3*u = 12, 4*z - 2*u = 2*u - 16. Is -4/5 < z?
True
Let y be 4/10 + (-24)/10. Let x be (0 - -2)*3/y. Are x and -1/6 equal?
False
Let v(o) = 2*o**3 + 3*o**2 + 4*o + 2. Let u be v(-2). Let p = u - -16. Let x be 48/22 - p/33. Is 2 less than x?
False
Suppose -4*n + 0*z + 11 = z, 4*n + 2*z - 10 = 0. Let j = -1 + n. Which is smaller: 1 or j?
1
Suppose 0 = -3*f - 12, 4*f + 3 = k + 1. Let s = k + 41/3. Is s at least as big as -1?
True
Let t = -1192 - -10664/9. Is -6 != t?
True
Suppose 3*h - 112 = -h - 3*f, -f = -3*h + 71. Suppose 5*y + 2*z + 22 = 0, y = -4*y - 5*z - h. Let d = -3 - y. Is d > -3/7?
True
Let j = -37 + 34. Suppose -u - 12 = k + 2*u, 2*k = 4*u + 16. Is k equal to j?
Fals