?
True
Let l = -10.93 + -0.07. Let t = 8 + l. Which is greater: 0 or t?
0
Let j be (5 - 4) + (-9)/5. Which is smaller: j or 0?
j
Let c = 0 + 2. Let s = -45 + 47. Let i be c - s*(2 - 1). Do 1/6 and i have the same value?
False
Let r = 14 + -10. Let z be (r/18)/(3/(-1374)). Let w = -102 - z. Is w less than or equal to -2?
False
Suppose 5*q - 7 = -3*b, -q + 3 = -3*b - 2. Is 4/15 >= b?
True
Let p be -1 - (-1682)/(-16) - 0. Let q = -106 - p. Suppose 3*a - 2*a = 4*m + 21, -5 = 5*a + 2*m. Which is smaller: a or q?
q
Let c(p) = p - 1. Let l(b) = b + 1. Let u be l(0). Let z be c(u). Let y be (5/10)/(1/(-2)). Which is smaller: z or y?
y
Suppose 3*i - i - 2*n = -40, 0 = 4*i + 2*n + 98. Is i greater than -21?
False
Let o = -2 + 2.2. Suppose 0 = 2*i + 3*i + 5. Which is smaller: i or o?
i
Suppose -280 = -2*n - 3*j - j, -n + 148 = -2*j. Let y be 1*-2 - n/(-60). Is -1 at least as big as y?
False
Let n(g) = g**2 + 6*g + 6. Let h be n(-3). Which is bigger: -6 or h?
h
Suppose 5*k + 0*y - 2*y = -5, -4*k - 4 = -y. Suppose -3*w + 5 = -6*w + 2*p, 2*w + p + 15 = 0. Which is bigger: w or k?
k
Let a = 3.1 + -3. Let r = a - 0.1. Let g = 145/117 + -19/13. Are r and g non-equal?
True
Let z = 7 - 6.9. Let g be -3 - (3 + 96/(-20)). Is g bigger than z?
False
Suppose o + 38 = 4*k, 5*o - 2*k + 5*k = -282. Let a be (2/3)/((-12)/o). Suppose -r = a - 4. Is 0.2 at least r?
False
Suppose -3*n - 15 = -0*n + p, 3*n = 4*p - 30. Do n and -6 have different values?
False
Suppose -4*x = 2*x - 18. Which is smaller: x or 2?
2
Let o = -0.284 - -0.054. Let n = o - -3.23. Which is greater: -0.5 or n?
n
Let s be (6/8)/((-6)/(-24)). Which is bigger: s or 2?
s
Let l = -4 - -2. Suppose 3*z - 7*z = 8. Let t be (0 + 0 + l)/z. Which is smaller: t or -1?
-1
Let g = -3 + 4. Suppose -3*k + g = -4*k. Let h be k/(-15) - 2/5. Are -1 and h unequal?
True
Let z = 216 - 109. Let o = -6101 + 43455/7. Let d = z - o. Is d greater than 0?
True
Let a be (-10)/(-6) - (-14)/(-21). Let n = a + 0. Is n at least -1/6?
True
Suppose -2*s = -8*s. Is s less than 5/4?
True
Suppose l = -4*l + 10. Suppose -l*d = 2*d - 8. Let g be 3/(2 - 1) - d. Is 1 at most g?
True
Let q = -25 + 26. Which is smaller: -1/2 or q?
-1/2
Suppose 3*j = -3*p - 15, -4*p = -2*j - 3*j - 34. Let o = -5 - j. Which is bigger: o or 1/3?
o
Let v be (3/(-15))/(-1 + 12). Which is smaller: v or -2/3?
-2/3
Let f = -3.2 - -3. Let q be 2 - (0 - 0 - 1). Let l be 1/q*(2 - 0). Which is smaller: l or f?
f
Suppose 2*v = -4*k + 6, v - 2 = -k + 1. Which is bigger: 2 or k?
2
Let t = 3 - 0. Let a be 2/6*(t - 6). Which is smaller: 0 or a?
a
Let m be (1 - 2)*7/1. Let r(k) = -k**3 - 8*k**2 - 7*k. Let h be r(m). Which is smaller: h or -1?
-1
Let s = -12827/27 + 475. Which is smaller: -1/2 or s?
-1/2
Let z(o) = -o - 8. Let n be (-36)/42*(1 - -6). Let s be z(n). Are -2 and s equal?
True
Let k be 6/(-15) + 9/(-10). Let z = k + 4/5. Does z = -5?
False
Let f = 2.43 + -0.03. Let i = f + -2.8. Is i at least as big as 0.2?
False
Let c = -0.011 + 0.011. Let s = 3 + -3.2. Let a = s + 0.2. Is c < a?
False
Suppose -8*p + 3*p - 5*k = 50, -4*k = 3*p + 32. Suppose 3*v - 5*m + 14 = 0, 19 = -4*v + 4*m - 5. Is p bigger than v?
False
Let b = -18 + 32. Is b at least 12?
True
Let x = -3 - 19. Let h be 11/22 + x/4. Is -4 < h?
False
Let t be 5/1 + -3 + -1. Which is greater: 12/5 or t?
12/5
Let u = -4.9 + -4.1. Are 0 and u unequal?
True
Let q be (5 - 3) + -2*2. Let s be (4/10)/(q/20). Let t = -2 + -1. Is s at least as big as t?
False
Let x = -0.01 - 0.49. Let b = x + 0.6. Let g = -0.06 - -1.06. Is b smaller than g?
True
Let a(t) = -t**2. Let f be a(0). Let b(s) = s**2 - 7*s + 2. Let x be b(10). Let h be (-2)/(-4)*x/(-72). Do f and h have different values?
True
Let r = 24 - 25. Is -1 greater than or equal to r?
True
Let m = 0.45 + -4.45. Is -2/3 greater than or equal to m?
True
Let v = 562 + -26977/48. Let j = 107/528 + v. Is j != -1?
True
Suppose 0 = 7*x - 3*x - 12. Let c be 4 + 0*(-1)/(-1). Is x at most c?
True
Let u(s) = -s**2 - 9*s + 10. Suppose -4*t - 45 = -5. Let f be u(t). Is 0 at most f?
True
Suppose -j - 2*j - 65 = 4*m, -3*m - 4*j - 47 = 0. Which is bigger: m or -16?
-16
Let s = -1 - -2. Suppose -3*u - 2*c + s = -10, 5*c = 3*u - 4. Suppose -3 = u*w - 5*q, -w + 0*q = 4*q + 1. Is w < 0?
True
Let w = 0.093 + -0.093. Which is smaller: w or -5?
-5
Suppose 5*l - 120 = 2*t, -4*l - 3*t + 31 + 42 = 0. Let q be (1 - 62/l) + 2. Let w = 1 + 0. Which is bigger: q or w?
w
Let u = 32 + -32. Are u and -2/53 equal?
False
Let o = 559/6 - 93. Which is smaller: o or -1?
-1
Let a be 4/(-10) + 154/110. Is a < 1/38?
False
Suppose -7 = -2*a - 11. Which is greater: -0.15 or a?
-0.15
Let k be (-15)/17 + 5 + -4. Let t be 3/(2 + 1) - -2. Suppose -9*q = -6*q + t. Which is smaller: q or k?
q
Suppose 0*i - 5*i + 5 = 0. Let c be (0 - i) + 3/(-9). Which is bigger: c or -1?
-1
Let k = 5 + 44. Which is greater: 51 or k?
51
Let w be 0 - -1 - 0/2. Let m be (-22)/(-18) - w/1. Suppose 0 = 2*f + 3*f + 5. Are m and f unequal?
True
Let n = 0.14 - -0.36. Let b = -1.5 + n. Which is greater: b or -6/11?
-6/11
Let l = -36 - -31.6. Let f = 1.6 - l. Is -0.1 bigger than f?
False
Let c = -710 - -2095/3. Let n = c + 239/21. Let x = -13/8 - -15/8. Is n >= x?
False
Let l = -101 - -102. Does l = -5/28?
False
Let b = 24 - -15. Let p = 4 + b. Let f = -130/3 + p. Which is smaller: f or 0?
f
Let j be (-2)/(-31)*(0 + 1). Is 1 at most j?
False
Let c be 5/(40/12) - (-237)/(-159). Which is greater: 0 or c?
c
Let k be 10/55*1069/2. Let v = 97 - k. Which is greater: v or -1?
v
Let t = 66 - 62.9. Let u = -3 + t. Let a = -0.2 - 0. Which is smaller: a or u?
a
Let n = -12.47 - -1.37. Let p = 11 + n. Is 2/15 < p?
False
Let r = 24615/4 - 6187. Let s = r - -33. Is 0.3 bigger than s?
True
Suppose q = 4*c + 24, -1 = c + 2*q - 4. Let t = 5 + c. Is t > 4/7?
False
Let l be (-1)/1 - 14*-1. Suppose 0 = -x - 4*w + l, 2*w - 1 - 1 = 4*x. Is 2/13 less than x?
True
Suppose -q + 15 = 2*l - 2*q, 4*l - q = 27. Which is bigger: l or 5?
l
Let q(h) = h**2 + h. Let j be (-1)/(-4) - 63/28. Let d be q(j). Let k be ((15/d)/5)/3. Are k and -1 nonequal?
True
Let p be -4 + 3 + (7 - 0). Let c = p - 4. Let b = 2 - c. Which is bigger: b or -1/4?
b
Let d(x) = x**3 - 7*x**2 + 5*x + 12. Let q be d(6). Is 28/5 bigger than q?
False
Let t = 5 + -3. Let z(g) = g**3 - 5*g**2 - 9*g + 2. Let v be z(6). Let f be 60/v*4/(-10). Is t equal to f?
False
Let c = 30 - 30.96. Let h = c + -0.04. Is h at most -0.1?
True
Let s be (-20)/110 - 10/(-176). Let i(m) = -m**2 + 2*m - 1. Let t be i(2). Let n be (1/t)/((-4)/4). Which is bigger: s or n?
n
Suppose 0*x = 2*x - 6. Let d(z) = -z**3 - z**3 - 6 - 7*z + 5*z**2 + 3*z**x. Let l be d(-6). Is 1/2 > l?
True
Suppose 0 = -3*x - 5*t - 45, 5*t + 25 = -x - 0*x. Let b be (3/(-30))/(4/x). Is 1 greater than b?
True
Let v be 9/6*(3 + -1). Suppose v*u + 2 = l - 3, 5*l - 1 = 3*u. Let g be -4 + 2 - (1 - 1). Is g greater than u?
False
Let a = -500/6507 + 2/723. Let n(h) = -h**2 + 8*h - 9. Let v be n(6). Suppose 0*z + 3 = v*z. Which is smaller: z or a?
a
Let w(i) = i**2 + 7*i - 10. Let b be w(-7). Let p = -14 - b. Suppose -4*m - 10 = 2*z, 0*z + 4*z + 2*m = -14. Which is bigger: z or p?
z
Suppose 3*s = -5*l - 10, s - 20 = 3*l - 0*l. Is s less than 0?
False
Let h = -103 - -106. Let i = -1.9 + 2. Is i > h?
False
Let x be ((-1)/45)/((-1)/2). Is x bigger than 0.6?
False
Suppose 2*x + 3*k + 13 = 0, 0 = -0*x + 3*x - 2*k - 13. Which is smaller: x or -2/41?
-2/41
Suppose 6*u - 2*u + 2*x = 14, -u = -4*x + 10. Which is smaller: u or 3?
u
Let x be 2*(-1)/(-6)*51. Suppose 0 = 4*i + x + 3. Let n be (1/i)/(18/(-15)). Are n and 0 nonequal?
True
Suppose 3*z + 4*n - 50 = 0, -4*z + 3*n = 4*n - 84. Let x = -151/7 + z. Does 0 = x?
False
Let x(h) = 2*h**2 - 5 + 2*h - 3*h**2 - h - 8*h. Let o be x(-5). Let k = 7 - o. Do k and 1 have different values?
True
Suppose 0 = -4*v, a + v = 5*v - 17. Is a smaller than -16?
True
Let t = -16127/19 - -849. Let o be -3 + -3 + 3 + 3. Is t != o?
True
Let u(s) = 2*s + 5. Let x be u(-4). Suppose 4*q = 0, -2*l - 3*l = -2*q - 20. Suppose 0*d + l*d + 16 = 0. Is d > x?
False
Let t(o) = o**3 - 11*o**2 + 20*o - 15. Let q be t(9). Which is greater: q or 11/3?
11/3
Suppose 5*w - o = o - 163, o = -1. Is w less than -34?
False
Let t = -0.12 - -0.22. Let h = 0 + t. Does h = -1