
a
Let a = -10 + 24. Which is smaller: a or -1?
-1
Let r = 2921166/11 - 266142. Let g = -25468/55 - r. Let q = g - 118. Does q = 0?
False
Suppose 0 = 4*f - 11*f - 84. Is f greater than or equal to 0?
False
Let g = -3 - -4. Let f = -61 - -25. Let w = -255/7 - f. Which is smaller: w or g?
w
Suppose -3*m - 2 = -26. Suppose 5 = -3*z + m*z. Suppose z = 4*k - 3. Which is smaller: 0.1 or k?
0.1
Let c = -34 - -38. Let k = 3 - -4. Let a = c - k. Is a at most 1?
True
Suppose -4*z = 1 - 13. Let h = z - 3. Suppose h = b - 2*b + 1. Which is smaller: b or 0?
0
Let w = -8/9 + 5/9. Are 27 and w equal?
False
Suppose j = -j + 2. Let q be -2 + -1 - -1 - -2. Let w be 0 + q - 2/(-3). Do j and w have the same value?
False
Suppose 0*j - 22 = -d - 4*j, 0 = -2*d + j - 1. Suppose 0*f = -2*f - d. Do f and -1 have different values?
False
Suppose -3 + 15 = -h. Is h at least as big as -10?
False
Let d = 707/12 - 227/4. Let c = -654 + 656. Which is greater: d or c?
d
Let o be 2/(-5) - (-5446)/(-35). Let h be 4/(-14) - o/7. Let x be (-21)/308 - 4/h. Which is smaller: 1 or x?
x
Suppose -8*v = -7*v + 3. Let w = 15 + v. Is 0 greater than or equal to w?
False
Suppose -5*s = 5*k + 20, 2*k + 12 = -3*s + 6*k. Let w(f) = -f**3 - 5*f - 8*f + 8*f - 5*f**2 - 5. Let i be w(s). Which is smaller: i or -3/2?
-3/2
Let l = -1/97 - -174/7469. Which is greater: l or -1?
l
Suppose -2*w + 16 = 6*w. Is 26 <= w?
False
Let z be 158/5 + 2/5. Let j be (-4)/(-6)*(-12)/z. Let c be -1 + 1 - 2/6. Which is greater: c or j?
j
Let a be ((-6)/(-8))/(135/40). Suppose -5*k - 70 = -5*d - 0*k, 3*k + 22 = d. Suppose -3*y - 3 = -2*h + d, 0 = 2*y - 4*h + 22. Is y greater than a?
False
Suppose -3 = j - 10. Is 7 equal to j?
True
Let c = -32 - -32. Let f(u) = 14*u**2 - u + 1. Let z be f(1). Let j be (0 - z)*(-5)/50. Which is greater: j or c?
j
Let j = -98/5 + 337/20. Which is greater: -3 or j?
j
Let r(y) = -y**3 - 11*y**2 - 8*y + 18. Let j be r(-10). Is j != -2?
False
Let u = 0.9 + -1.2. Let a = -28.7 + 30. Let k = u + a. Is -1 smaller than k?
True
Suppose b + 8 - 5 = 0. Which is bigger: 0.1 or b?
0.1
Let g be 2/(-12)*3/22. Let p = 261 + -2874/11. Let j = g - p. Is 1 >= j?
True
Let c be (3/2)/(6/(-8)). Let x be 6*(2/6 - 0). Let r = x - 4. Is r greater than c?
False
Let q = 35 + -19. Let s be 2/(-3) + q/6. Suppose 2*o - 4*o + 2 = 0. Which is bigger: s or o?
s
Let q be 5 + 12/(2*-2). Is 3 smaller than q?
False
Let a be (2/5)/(6/180). Let f = 7 + -4. Suppose 0 = -f*n + 3 - a. Is n != -1?
True
Suppose -2*y + 5*f = 28, 2*f - 2 = -4*y - 10. Let r(m) = -m**3 - 4*m**2 - 2*m - 1. Let z be r(-3). Is z <= y?
True
Let q = 40002/19 + -1159669/475. Let m = 336 + q. Let x = m + -21/100. Is 0.1 > x?
True
Let v = -21 - -229/11. Which is bigger: v or 8?
8
Suppose 0 = -3*f + f + 5*k + 15, -4*f = -4*k. Which is bigger: f or -7?
f
Let b = -179 - -1610/9. Is b greater than or equal to -2?
True
Let d = 23/2 - 11. Is -3 <= d?
True
Suppose 0*f + 2*f - 6 = 0. Let a be ((-96)/(-10))/f - 3. Let b = -2 - -2. Is a < b?
False
Suppose 0 = -j - 4*h - 1, -2*h + 6 = 4*j + 24. Let a = j + 9. Let p be (-3)/(-12) - (-3)/a. Which is smaller: -2/5 or p?
-2/5
Suppose 31 + 49 = -2*r. Let w be ((-3)/2)/((-2)/r). Let h be 6/w + 18/40. Which is bigger: 0 or h?
h
Let b = 519 + -5705/11. Which is bigger: 0 or b?
b
Suppose 2*v - 3*i = v - 8, 5*v - 4*i = -29. Which is smaller: v or -19/5?
v
Let l = -0.1 - -1.2. Let m = l - -1.9. Which is smaller: 0 or m?
0
Let t = 0.16 + 0.84. Let n = -5 + -12. Let p = n - -16.1. Is p less than t?
True
Let s = -0.09 - 0.01. Is 2/13 at least as big as s?
True
Let h = -124 + 106. Which is greater: h or -19?
h
Let b = -5/19 + 110/57. Suppose 2*o = 7 - 3. Which is greater: b or o?
o
Let v be 19776/(-84) - 2/(-2). Let a = v - -234. Is a less than 0?
True
Let x(n) = n**3 - n**2 - 3*n + 2. Let o be x(2). Which is smaller: 1/25 or o?
o
Let z(n) be the second derivative of -n**5/20 - n**4/12 - n**2/2 + 8*n. Let t be z(-2). Is 4 < t?
False
Let m = 1 - -7. Let i(o) = -m - 2*o - o + 2*o. Let d be i(-7). Is -3/2 at most as big as d?
True
Suppose 0 = -w + 14 - 2. Suppose 3*f + f = w. Suppose 5*j = i + 5, -f*j = -5*i + 3*i - 10. Is 0 bigger than j?
False
Let r be 2/(-6) + 384/18. Let h be (r/12)/((-3)/(-60)). Let x be 34/h + (-4)/10. Which is bigger: x or 2?
2
Suppose 5*s = 3*s + 8. Suppose -4 = 4*i - a, -4*i - s = -5*i - a. Which is greater: i or 1/4?
1/4
Let k = -2.8 + 0.8. Let w = 4 + k. Is 0.3 less than w?
True
Let t(p) be the second derivative of p**4/12 + 7*p**3/6 + p**2 + p. Suppose h + h + 14 = 0. Let a be t(h). Is 2 at most a?
True
Let i(u) = -3*u**2 - u**2 + 3*u**2 + 2 + 8*u - 4*u. Let v be i(4). Let c be (-1 - v/(-2))/(-2). Is c less than 1/4?
True
Let o = 3 - 0. Let x = -2 + o. Suppose -2*q - 2*a = -3*a - 2, -q + a = -x. Does -2/9 = q?
False
Let z(i) = 27*i**3 - 2*i**2 - i + 2. Let v be z(1). Is 2/3 smaller than v?
True
Let g = -19 - -19. Let s = g + 0. Which is smaller: -9 or s?
-9
Let k = -3425773/105 + 32627. Let u = -147/2 + 3079/42. Let v = u + k. Which is bigger: 0.1 or v?
v
Suppose 0 = 4*c - 9*c. Which is bigger: -3/31 or c?
c
Let o = 1.6 + -2. Let c be ((-3)/(-2))/(3/8). Suppose -1 = -n - 3*r + c*r, -2*n = -r. Which is smaller: o or n?
n
Suppose -4*l + 10 = v - 0*v, -3*v + 10 = 2*l. Suppose -8*t + 3*t - 10 = 0. Let j be t/(-3)*18/4. Which is smaller: v or j?
v
Let h be 0 - 2 - 10/(-5). Suppose 0 = 5*w - h*w. Which is greater: w or 2/3?
2/3
Suppose -u - 65 = -4*y, 45 = 4*y - 2*u + 5*u. Suppose 5*o + 25 = -y. Is o equal to -8?
True
Let u = 8 + -7.1. Suppose -c + 4*c = 0. Is u < c?
False
Suppose 141 = 3*l - 3*v, -3*l - 11 = 3*v - 140. Suppose 3*z = 5*x + l, -3*x - 4*z = -2*x + 32. Which is bigger: -1/4 or x?
-1/4
Let h = -1483/30330 + 3/674. Which is bigger: h or 0?
0
Let r(f) = 3*f**2 - 5*f + 3. Let g be r(3). Suppose 4*b + b - g = 0. Suppose t + 5*y = -3*t + 9, -3*y + 27 = -b*t. Is -4 at least as big as t?
True
Suppose 4*q = 61 + 11. Let v be q/15*(-1 + -4). Let x be 6/8*(-4)/v. Is x > 1?
False
Let o = 965/2 + -472. Which is smaller: 11 or o?
o
Let t = -6.5 + 6.59. Is 3/4 less than t?
False
Let a = 6.5 - -1.5. Let y = a + -6. Is 1/4 equal to y?
False
Let b be (0*(-2)/(-4))/2. Let j = -9 + 6. Let p be (j/(-18))/(4/16). Is p not equal to b?
True
Let w = 123 + -124. Which is smaller: -4/33 or w?
w
Suppose 0*c + 3*c = 9. Suppose 32 = -c*h - 4. Is h != -12?
False
Let h = 5 - 14/3. Let z = h - 1/21. Which is bigger: 1 or z?
1
Let h be 3*1*(-3)/(-6). Is h less than 0.1?
False
Let d = -164.3 + 21.3. Do 0.1 and d have different values?
True
Suppose 2*b = -0*b - 2. Let z = b + 5. Suppose -z*k + 20 = 4*g, k + g = -2*k + 9. Is 2 at most k?
True
Let r be (17 + -9)/((-2)/(-1)). Let v = 3 - 0. Which is smaller: v or r?
v
Suppose -4*q + 149 = -3*h, 235 = -3*h - 2*h + 4*q. Is h at most as big as -43?
True
Let b = -6 + 11. Suppose -5 = -b*t + 5*q, -7*t - 5*q = -2*t + 5. Is t less than -2/7?
False
Let q = 7 - 13. Let f = 9 + q. Which is smaller: 2 or f?
2
Let x = -7 + 10. Suppose 3*o - 6 + x = 0. Let c be 1*(-1 - 30/(-26)). Which is smaller: c or o?
c
Let f = 1 + -1. Suppose f = i + 2*i. Is i equal to 1/5?
False
Let p(c) = -3*c + 1. Let a be p(-1). Suppose 0*g = 5*g - 10, -4*g = -w - a. Let f be (1 - w) + (2 - 2). Is -2 != f?
True
Let f(o) = o**3 - 3*o**2 - 3*o - 4. Let h be f(4). Suppose h = -2*v + 2*u, -5*v + 2*u + 0*u = 6. Let y = 3 + -3.1. Do y and v have the same value?
False
Let g = 15/44 - 1/11. Let u = 50407/106668 + -1/2963. Let n = u - g. Do 0 and n have the same value?
False
Suppose -5*q - 34 = -3*w, -15 = -4*w + q + 2. Suppose 0 = -w*h + 2*i + 5, -4*h - 2*i = -3*i. Which is smaller: -2 or h?
-2
Suppose 0 = -w + 2*r - 12, 0 = -3*r + 18 - 3. Is w less than -2?
False
Suppose 3*k + 41 = 4*u, -5*u - 3*k + 22 = -9. Suppose -4*s - u = -0. Is s less than 0?
True
Let o = -40 + -18. Is -57 != o?
True
Let z = -10 - -11. Let i be (3 - 5)/(-2) - z. Is 6/23 less than or equal to i?
False
Suppose -70 - 80 = -2*i. Let t be 4*(-2 - i/(-38)). Let r = t + -70/57. Do r and -1 have the same value?
False
Let a be ((-1401)/63)/(3/(-4)). Let j = -206/7 + a. Is j greater than 2/9?
False
Let n = -23 + 112/5. Let t be ((-6)/(-5))/((-6)/(-45)). Suppose o - t = 4*o - 2*h, -2*o + 3*h = 11. Is o bigger than n?
False
Let v(n) = 2 - n**2 + 10*n - 5*n + 2*n**2. Le