 -4/15. Is a at least as big as 0?
True
Suppose 0 = -4*i - 15 - 21. Let z be i/6 - 2/(-4). Which is bigger: 1 or z?
1
Let r be (-2560)/(-28) + 3/(-7). Is 92 at most r?
False
Let j = -30 - -19. Is -11 < j?
False
Let q = -3 - -3. Suppose 2*r - 2 - 2 = q. Let y be -1 + r/(0 - 2). Which is smaller: -4/3 or y?
y
Let h = 0.48 + -0.28. Which is greater: h or -25?
h
Let b = 21 - 18. Let f(w) = 2*w - 3. Let a be f(2). Is b not equal to a?
True
Let b be 6/(3*(-1)/(-6)). Which is smaller: b or 13?
b
Suppose 0 = -2*g - 2*g - 4*c - 4, c + 3 = -3*g. Which is smaller: g or 2/7?
g
Let x = -17 - -1. Which is smaller: -15 or x?
x
Suppose -5*p - 31 = -z, -2 = -3*z + z. Is -7 greater than p?
False
Suppose 0 = -5*i - n + 19, 3*n = -i + 6*n - 9. Which is greater: i or 17/5?
17/5
Let y(k) = -k**2 + 7*k - 7. Let h be y(6). Let r = 1 - 1. Let z = h + r. Is 2/5 bigger than z?
True
Let k be 4/(-14) + 144/14. Suppose -3*i = -2*z - 2*z - 27, 5*z + k = -i. Let v be 0/(z/((-9)/6)). Which is bigger: v or -1?
v
Let q = -21 + 20.6. Which is smaller: -1.1 or q?
-1.1
Suppose 0 = -9*c - 141 - 57. Are c and -22 non-equal?
False
Let s = 9 + -18. Let f be (6/s)/((-6)/9). Is 1/6 greater than or equal to f?
False
Suppose y - 5*b - 19 = 0, -4*b + 0*b - 14 = -2*y. Suppose 6*j = j - 5*l - 2670, -3*j = -4*l + 1609. Let o = j - -11233/21. Is y less than o?
True
Let i(o) = -o**3 - 6*o**2 + 2*o - 4. Let q be i(-6). Let n = -78/5 - q. Is 1/4 < n?
True
Suppose 0*k = 4*k - 4. Let c be ((-2)/4)/(2/(-4)). Let w = 0 - c. Which is greater: w or k?
k
Suppose -3*n - 10 + 2 = h, -h = -5*n. Are n and -3/23 equal?
False
Suppose -2 = 3*q - 2*d, -q - 4 = -4*d + 10. Is q less than -0.3?
False
Suppose 0 = 4*o + r - 20, -4*o - r - 3*r + 8 = 0. Suppose 4*n - 10 = -f, 3*n + 3*f - 8 = 2*f. Suppose 1 - 13 = -n*c. Is o > c?
False
Suppose -5*w - q + 2 = 0, -2*w - q - 3*q = -8. Suppose w = -6*o + 2*o - 12. Let t be (-14)/12 - 2/4. Which is smaller: o or t?
o
Let p be 6/15 + (-28)/(-5). Let x(k) = -k + 4. Let o be x(p). Let m = -263/4 + 65. Is o > m?
False
Let l = -40/63 - 2/63. Let u be ((-2)/13)/(-1 - 0). Which is smaller: l or u?
l
Let m = -3.811 - 0.089. Is m less than -1?
True
Let d be -3 - ((-99)/21 + 2). Is d at most -1?
False
Let u = 14 + -12. Let l = 1.1 - 1. Is l >= u?
False
Suppose -a = a - 14. Suppose -3*s = -a*s. Which is bigger: s or 1/6?
1/6
Let u = 5 - 3.8. Let b = 21 + -20.4. Let o = b - u. Is o < 0?
True
Let f = 123 - 489/4. Which is bigger: 0 or f?
f
Let j = 0.156 + 37.844. Is -0.1 != j?
True
Suppose 5*d = 4*w + 13 - 72, -w = 2*d - 31. Is w != 19?
True
Suppose -2*a = -a + 1. Let k = 0 + a. Let j = -1 + 2. Which is bigger: j or k?
j
Let k(q) = q + 9. Let x be k(-5). Suppose 27 = m - x*m. Which is bigger: m or -7?
-7
Suppose 0 = -2*z + z + 3. Let g be (-23)/(-11) - 6/z. Suppose 4*s + 2 = i, -6*i + 3*i = -3*s + 3. Are g and s nonequal?
True
Let p(i) = -4*i - 7. Let k be p(-2). Let t = 9.9 + -1.9. Which is greater: t or k?
t
Suppose 4*r + 12 = -0*r. Let q = -3 - r. Is 3/7 at least as big as q?
True
Suppose 3*r - 3*h = 0, h + 3 = 4*r - 0*h. Suppose 0 = 5*t - f + 19, 3*t + 5*f = 4*t - r. Let y be t/2 + 1 + 0. Is -2 <= y?
True
Suppose -2*p + 4*p + 6 = 0. Let c = p - -4. Is c at most as big as -2/5?
False
Let g = -1.963 - 0.037. Which is bigger: 1/59 or g?
1/59
Let t = -59 + 51. Which is smaller: -9 or t?
-9
Let z = -2 - -3. Let s be (-4)/(-3) - (1 + z). Suppose 16 = -4*d, 5*t = -0*t - 4*d - 16. Which is greater: t or s?
t
Let q = -43 - -41. Which is greater: -3/7 or q?
-3/7
Let w = 2 - 2. Let b be -4*(0 - w - 1). Suppose 0 = -b*j - 3*n + 9, 4*n - 12 = -0*j + j. Is j bigger than -4?
True
Let r be (-4)/(-190)*(6 + -1). Suppose s = -5*p - 4*s, -p + 3*s - 4 = 0. Which is smaller: p or r?
p
Suppose 6 = 3*l - 6. Let p(i) = i. Let c be p(3). Do l and c have the same value?
False
Let b be 12/(-15) + (-8)/(-12). Is b less than 1?
True
Let f(w) = -2*w**3 + w**2 + 2*w. Let v be f(2). Let n be 2/v - 34/(-8). Let j = 3 - n. Is j < -1/2?
True
Suppose 3*h = -5*g - 25, 3*h + 4*g = -18 - 2. Let m be -5 - -2 - h - 11. Let v = m + 20. Do 6 and v have different values?
False
Let q = -14 - -20. Suppose -i - q = -6*i + 2*j, -4*j - 12 = -4*i. Let l be (-4)/(-32)*(-1 + i). Is -1 > l?
False
Let k = -5/2 - -49/18. Do k and -11 have different values?
True
Let a = -0.06 - 0.74. Let k = a + 1. Let m = 0.1 + -1.1. Does m = k?
False
Let t = 12 + -1. Let g be ((-2)/t)/((-11)/(-22)). Is -1 at least as big as g?
False
Let m = 0.3 + 0.4. Let d = 2.3 + m. Suppose -6*v = -3*v. Is d less than or equal to v?
False
Suppose -1 = -3*u + 2. Let y be (u - (-2 - -4)) + 1. Let c = -2/25 + 64/175. Which is smaller: c or y?
y
Let r be (-1)/(-4) - (-126)/8. Let u = r - 10. Suppose 0 = u*m - m - 5. Is m > 0?
True
Suppose 3*l = -3*q, -3*q + 0 = -9. Suppose 2 - 6 = s. Is s at least as big as l?
False
Suppose 2*l - w - 2*w - 36 = 0, 0 = 2*l - 2*w - 34. Which is greater: l or 16?
16
Let f = -3 + 2. Let m = -2.9 - 0.1. Let h = 4 + m. Is f <= h?
True
Let j be 60850/(-280) - (-1)/(-4). Let d = -218 - j. Which is smaller: 0 or d?
d
Let x = -4.5 - -0.5. Let i = 9 + x. Let z = -0.9 + 1.9. Is i bigger than z?
True
Let n = 5851/8211 + 2/1173. Is n less than or equal to 0?
False
Suppose 4*d + 60 = d. Let h = 24 + d. Is h < 3?
False
Let w(i) = -i**3 + 3*i**2 + 4*i. Let g be w(4). Which is smaller: g or 6?
g
Let r = 3 + -3. Let t = -3 + 4. Which is bigger: r or t?
t
Let q(l) = -l - 1. Let b(r) = 2*r + 2. Let d(m) = 2*b(m) + 5*q(m). Let f be d(4). Let c = 4 + f. Is 0.1 less than or equal to c?
False
Let v = 129 - 139.9. Let d = -1.9 - v. Which is smaller: -1/3 or d?
-1/3
Suppose -4*w - 4 = -0. Let q = 6 + w. Do 4 and q have the same value?
False
Suppose 3*y = -4*z, -y - 2*y = -2*z. Suppose -o - a + 0 = -4, -2*o + 5*a - 27 = z. Which is smaller: o or -1/6?
o
Suppose 0*n + 2*n = 0. Suppose -5*h - 32 = 4*u, n*u = -4*h + u - 13. Suppose -4*z - 27 = 5*l, -5*z + 0*z - 24 = 3*l. Which is smaller: z or h?
h
Suppose 4*b - 10 = -z, -5*b + 39 = -4*z + 16. Suppose b*s = -7 - 5. Let q be (2/(-28))/(1/s). Which is bigger: 1 or q?
1
Suppose -2*a = -2*j - 2, 5*a - j + 2 - 3 = 0. Suppose -o + 1 + 1 = a. Let l = 82/105 - 4/35. Which is smaller: o or l?
l
Let y be (-1630)/11 - (-3 + 4). Let q = -149 - y. Let k be (1*(0 + 0))/2. Which is smaller: q or k?
k
Let n = -0.7 + -0.3. Let l = 1.2 + n. Let a = 0 - 1. Is a at least as big as l?
False
Let g be (2/(-4))/(5/(-685)). Let t = g + -285/4. Is -2 less than t?
False
Let i(z) = z**2 - 4*z - 6. Suppose 3*t = -4*p + 10, 0 = t + 4*p + p - 7. Let h = 7 - t. Let d be i(h). Are d and 0 nonequal?
True
Suppose d + 6 = 2*d. Suppose 5*s = -2*q + 16, s + 2*s - d = 0. Suppose -q*j - 9 = -6*j. Is j >= 2?
True
Let a be (-2)/(-8) - (-34)/(-8). Let v be (a*2/(-4))/(-3). Which is smaller: v or -1?
-1
Let d be -2*(-1)/(-2)*-5. Suppose -d*u + 26 = -2*r, -3*u - 2 = -5*u - 2*r. Which is bigger: 5 or u?
5
Suppose 16 - 36 = -5*u. Suppose -5*m = -14 - 6. Is m at least u?
True
Let m = 0.5 - 0.6. Let p = m + 0.16. Let a = p - -0.14. Which is smaller: -1 or a?
-1
Let h = 114 + -1940/17. Is 1 > h?
True
Let g(j) = -14*j + 1. Let u be g(-1). Let f be (6/u)/((-1)/(-5)). Let z be f/3 - (-11)/(-21). Which is greater: 0 or z?
z
Let o(c) = -c**2 - 2*c - 1. Suppose b + 0*b + 1 = 0. Let w be o(b). Let k be w + -4 + 2 - -5. Which is greater: k or 4?
4
Let l = -8 + 16. Suppose 2*w - l = -2*w. Is w at most as big as 6/5?
False
Let s(f) = -f**3 - 2*f**2 - f - 7. Let b be s(0). Is -1 greater than b?
True
Let w be 28/56*(20 + 1 + 1). Let l = -7 - -11. Suppose 4*m + w = -a, -l*a - m - 36 = a. Do a and -7 have different values?
False
Suppose -5*v + 0 = 5. Let q = v + 0. Is q equal to -1?
True
Suppose 0 = -18*q + 22*q + 4. Which is smaller: q or -0.1?
q
Let v be 3/2*2/3. Let r be v + (0/2)/(-1). Let l = -5/56 + 157/504. Is l <= r?
True
Let s = 50 + -50. Let j(q) = q**2 + 6*q + 1. Let k be j(-6). Suppose -k = 5*v - 6. Is s less than v?
True
Let m = 598/5 + -120. Let o = 2 - 3. Let d be o*2*1/(-2). Is d > m?
True
Let z be 28/6 - 4/(-12). Let b be (-2)/(-4)*(-3 - z). Is b less than or equal to -4?
True
Let m = 0.05 - 0.07. Let r = m + -0.98. Which is bigger: -2/3 or r?
-2/3
Let k be 2/(-1) + (-2)/(-1). Which is smaller: k or 6/11?
k
Suppose 7*t + 5 + 2 = 0. Is -1/5 != t?
True
Suppose 