-1). Is c less than or equal to t?
False
Let a = -26 + 16. Which is bigger: -11 or a?
a
Let y = -67 + 66. Is y bigger than 3?
False
Let g = -0.17 + 0.17. Is 0.3 less than or equal to g?
False
Let z = 2 - 4. Suppose 0 = 5*f, 3*f - 2*f = -3*g. Which is smaller: g or z?
z
Let l be -38*(-2)/24 + -3. Which is bigger: 3 or l?
3
Let v = 0.9 - 0.86. Let c = 0.06 + v. Which is greater: 0.3 or c?
0.3
Let f = -0.4 - -0.3. Do -4 and f have different values?
True
Let s be (-66)/(-65) + (0 - 1). Let f = -30026 + 11710199/390. Let j = f + s. Which is greater: -1 or j?
j
Let v = 5/6 + -1/6. Let i = 11 + -10. Which is greater: v or i?
i
Let f = 0 + -5. Which is greater: f or -2?
-2
Suppose -2*m - r = r - 2, 0 = -3*m - 4*r + 4. Let q be (m - 2)/(5/1). Which is bigger: 6 or q?
6
Let d = 1 - 1.2. Let l = d + 0.21. Let v = 0.99 + l. Is v equal to -0.2?
False
Suppose -3*f = -4*f. Let v = -684 - -10256/15. Is f > v?
True
Let u be 1719/6 + (-12)/(-4). Let b = u - 283. Which is bigger: 8 or b?
8
Suppose -98 = 3*z + 2*f, -4*z + 3*z + 3*f - 51 = 0. Is z <= -36?
True
Suppose -256 = -19*m + 3*m. Which is smaller: 17 or m?
m
Let s be 1*(-1)/(-2)*-2. Let c be ((-2)/(s - -3))/(-1). Which is greater: 1/8 or c?
c
Let w be 4/(-4) + (12 - 1). Let z = w + -9. Which is smaller: 2/11 or z?
2/11
Suppose 1 = 3*y - 2. Let g be y*(0 + 1 + 0). Are 2 and g unequal?
True
Let z be (1 + 0)/2*2. Let c be (1/8)/(z/2). Which is greater: -1/3 or c?
c
Let u = 2 + -12. Let t = 1 + u. Let b = -9 - t. Which is bigger: b or 2?
2
Let s = -14 - -6. Let t = s + 10. Let x = 5 - 2. Is x not equal to t?
True
Let z = 0 - -6. Suppose -d + 3*d + 2*x = 22, 2*d - 2*x - 2 = 0. Is d > z?
False
Suppose 4*i + 171 = 39. Is i bigger than -34?
True
Suppose -3*y = -0*y + 6. Let k be -5 + (-1 - -2) + 1. Which is smaller: y or k?
k
Let s be 2*((-3)/6 - -2). Let n be (1/(-3))/(s/(-9)). Is n at least -1?
True
Let b = 4 + -3. Let q be 5*2/(-6)*-3. Suppose -22 = -3*h - 4*z, 2*h + q*z = -0*h + 24. Is h at most as big as b?
False
Let u be ((-4)/(-6))/(-2 - -8). Suppose -2*p + 3 = p. Let g = 0 + p. Does u = g?
False
Suppose -3*g + 8 = -u, -3*u + 9 = -3. Suppose q = -g*q. Does -1/4 = q?
False
Let c = -5/22 - -30/11. Let a = c + -19/6. Do a and -0.06 have the same value?
False
Let i = -0.2 + 0.1. Let f = 0 + 0.1. Let g = i - f. Which is bigger: g or 1?
1
Let q(s) = -2*s**3 - 3*s**2 - s. Suppose -t + 2 = -4*f, 0 = -4*t + 4*f - 8*f - 12. Let o be q(t). Is 5 equal to o?
False
Let c(i) = -i**2 + 9*i - 1. Suppose -5*f - x = -48, -3 + 45 = 4*f + 2*x. Let k be c(f). Is k > 0?
False
Let w = 6821/20 - 1389/5. Let y = 63 - w. Let h be 3/(-2) + (3 - 2). Is y at most as big as h?
False
Let l = 2/5 + -11/15. Let p be (234/88)/3 - -1. Let a = p + -18/11. Which is smaller: a or l?
l
Suppose z - 5 = 3. Let b = 2 - z. Which is smaller: b or -4?
b
Let o = 6130/2691 - 52/23. Which is smaller: -1 or o?
-1
Let b = -56555/106 - -1067/2. Which is smaller: -1 or b?
-1
Let a(p) = p**2 + 2*p. Let x be a(-1). Which is bigger: x or -1.4?
x
Suppose -3*o + 2 = -y - 2, -4*y = -3*o + 7. Is y < 0?
True
Let d = -937/5 + 179. Does d = -9?
False
Let a = 11 - 8. Let q = 21 - 13. Suppose 4*f - 4 = q. Is f smaller than a?
False
Let u = -3.6 - 0.4. Let a = u + 2. Suppose -g - f = -4, 0 = -2*g - 0*g - 5*f + 20. Which is bigger: g or a?
g
Let f = 9 + -7. Let u be 36/(-32)*2 + f. Is u >= 8?
False
Let f(p) = -p**2 - 5*p + 12. Let t be f(-5). Which is smaller: 14 or t?
t
Let j(q) = -3*q**2. Let h be j(-1). Let l be h + 3/15*16. Which is greater: 1 or l?
1
Suppose -5*k = 6 + 34. Let t = 9 - k. Let c = 125/7 - t. Is c less than or equal to 1?
True
Suppose c - 8 = -3*c. Suppose -2*i = c*s + s - 10, 5*i - 2*s = 6. Suppose -i*k = k + 6. Is -3/4 at least as big as k?
True
Let d be 4/(-2) - 148/(-80). Which is smaller: d or 1?
d
Suppose -y + 6 - 2 = 0. Is y bigger than 4?
False
Suppose -2*a + 5*a - 12 = 0. Let l(o) = -o + a - 5*o - 8*o**2 - o - o**3. Let x be l(-7). Is x < 4?
False
Let s = 1655/63 + -221/9. Is s >= 3?
False
Let g = 0.5 - 20.5. Let q = -18.95 - g. Let s = -0.05 + q. Which is smaller: s or -0.1?
-0.1
Let v = -1073.22 - -1064. Let j = v + 0.22. Let l = -7 - j. Is l <= 4?
True
Let c(p) = p - 2. Let t be c(3). Let z be (-4*t/(-2))/(-2). Which is greater: -2/7 or z?
-2/7
Let q(g) = g - 4. Let r be q(6). Let p = 4 - r. Suppose -3*o + l = -l + 8, -p*l = o. Which is smaller: o or -1?
o
Suppose -h + h = 4*h. Let x = -298 + 3872/13. Is x at most h?
True
Let v = -1/65 + -5/13. Is v < -7?
False
Let t(h) be the second derivative of -h**3/6 + 2*h. Let k be t(5). Let s be 2 + -4 - (0 + k). Are 3 and s equal?
True
Let r = 6 - 5. Let v be -2 + -2 + r + 2. Which is bigger: 1/2 or v?
1/2
Suppose 5*t = 2*l - 3*l - 7, 0 = -3*l + t - 21. Let f = l - -10. Let k = -3 - -5. Which is bigger: f or k?
f
Let d be 2/(-2) - (-5 - 6). Which is bigger: 9 or d?
d
Let x = 0.32 + -14.32. Let o = 13.98 + x. Which is smaller: -1 or o?
-1
Let k = 15 - 10. Suppose -4 = -2*q + 4. Which is bigger: k or q?
k
Let y be (7*-1)/(1/33). Let j be (13164/18)/(19/(-6)). Let s = j - y. Which is bigger: 1 or s?
1
Suppose -3*l - l = 16. Let y = 9 + l. Suppose 12 = -y*r - 3*x - 13, 5*r - 3*x = 5. Is r less than -4/7?
True
Let k = -0.83 - 0.57. Which is bigger: 0.1 or k?
0.1
Let t be (-2)/13*-1 - 1115/65. Is t < -17?
False
Suppose y - 6 = -2. Suppose -y*t + t = -6. Suppose -t*o - w = -2*w - 14, 0 = 5*o + w - 28. Does 6 = o?
True
Let p(c) = c**2 + 7 + c**3 + 1 + c - c**2 + 6*c**2. Let z be p(-6). Which is bigger: -1 or z?
z
Let a = -21/55 + 2/11. Is a at least -3/5?
True
Let o = 6 - 6. Suppose o = 2*g + 3*d + 1, g - 3*d - 17 = -g. Which is greater: g or 5?
5
Suppose 3*f = -6 - 3. Let v be (-4 - f)/(3/18). Which is smaller: v or -7?
-7
Let v be (1 - 1 - -3) + 0. Let y = 72 - 65. Which is smaller: y or v?
v
Let s = 29 + -22. Which is smaller: 9 or s?
s
Let k(a) = a**2 - 6*a + 7. Let d = 1 + 4. Let m be k(d). Is m <= 4?
True
Let z = 5 - 2. Let r = -9 - z. Is -13 equal to r?
False
Let c = 42 - 42.2. Let a = -10 + 14. Which is smaller: c or a?
c
Let l be 1*(-2 + 3/(-1)). Let j(u) = -u**2 - 4*u - 3. Let v be j(l). Let z = -5 - v. Is 3 greater than or equal to z?
True
Let q = -7 + 4. Let b = q + 2. Suppose 0 = -3*j - 2*j + 10. Which is greater: j or b?
j
Let x be (-3)/(-12) - (-17)/(-4). Let s(k) = k**3 + 3*k**2 - 3*k - 1. Let c be s(x). Is -4 != c?
True
Let i be 2/10 + 18/10. Suppose -2*a - 18 = -a + 4*l, -a - 3*l = 16. Let m be 1/i - (-1)/a. Is -1 greater than m?
False
Let u be (2/4)/(3/(-6)). Let c = u - 1. Let l be (-2)/((-2)/c - 2). Is l != -2?
True
Let d = 22 - 20. Is d <= 2?
True
Let z = 0.099 - -0.001. Is z > 7/3?
False
Let d(a) = -2*a + 11. Let r be d(6). Is r less than -3?
False
Let r be (2/6 - (-10)/(-12))*2. Is -2/63 <= r?
False
Let c = 4 - 11/3. Let k = 5 - 11. Let y = k + 6. Which is bigger: c or y?
c
Let w be -4*2/(-4) - (-77)/(-28). Which is smaller: 7 or w?
w
Let v be (3 + 0)*(1 - -1). Let n = v + -5. Suppose 0 = -b + 2*b + n. Do b and -2/5 have the same value?
False
Let w be 6 - 6 - (-2)/(-3). Is -2 <= w?
True
Let t = 1 + 11. Suppose 0 = r - 6*r, t = 3*g - 5*r. Which is smaller: 1 or g?
1
Let c = 0.07 - 0.07. Let w = c - -3. Does -1/2 = w?
False
Let h be 9/(-12)*(-184)/(-24). Is -7 > h?
False
Let u(b) be the third derivative of -b**4/24 - 4*b**3/3 + 2*b**2. Let j be u(-7). Let g = 0 - j. Is g < 1?
False
Let g = -29 - -59/2. Suppose 4*i = -3*r + 9 + 11, 5*i - 10 = 0. Suppose j + 1 = 4*j - y, -5*j + r*y = 10. Which is greater: g or j?
j
Let b = -52 + 25. Let g be (b/18)/(10/8). Which is smaller: -1 or g?
g
Let m = -228 + 204. Which is bigger: m or 3?
3
Let c = 5899/50 - 118. Is 0 at least c?
True
Suppose 3*c + 2*z = -80, 5*c - z - 4 = -120. Does c = -1/3?
False
Suppose 5*y + 3*u - 5 = -2, -u + 1 = y. Is 2 not equal to y?
True
Let p = 1427/545 + -2/109. Suppose 2 - 8 = -3*l. Is l != p?
True
Let n be 2 - (-3)/((-9)/(-3)). Let j = n - 3. Is j less than or equal to -0.2?
False
Let v = -207330/4423 + 3495420877/645758. Let s = 5366 - v. Let q = -265/1314 + s. Which is greater: q or 0?
0
Let p = -0.47 - -0.07. Let d = -0.2 - p. Is d < -0.1?
False
Let r = -17.4 - -17. Are 3 and r equal?
False
Suppose 0 = 2*r + 5*w + 46, 0 = -r - 5*w - 0*w - 33. Are r and -12 nonequal?
True
Let v be 0*(2 - (0 - -1)). Suppose 4*q +