?
13
Suppose 0 = -3*z - 71 + 8. Let u = -21 - z. Is -7/5 greater than u?
False
Let i = -319 - -284. Which is greater: i or -45?
i
Let d = 71.9 - 75. Let i = 33.1 + -33. Let x = d + i. Which is smaller: 1 or x?
x
Suppose 0*n - 2*n = -2. Let q be 0 + 2 + (-3)/n. Which is smaller: q or 25?
q
Suppose 0*j - 20 = j. Let w = -18 - j. Suppose w*h = h. Is h at least -4?
True
Let j = 1 - -4. Suppose 3*c + 3*w = 6, -4*w + 13 = j*c - 0. Let u be (c + -7)*2/10. Is -4 < u?
True
Let z = -7.88 - 0.12. Let f = 19 - 17.6. Let g = -0.4 + f. Which is bigger: g or z?
g
Let j be 4/7 - (1 + 0). Suppose -r - 5 = 2*o, 16*r - 15*r + 3*o + 7 = 0. Which is smaller: j or r?
r
Let p = 4 + 4. Let v = p + -6.4. Which is greater: v or 0.2?
v
Suppose -7*w = -2*w - 45. Suppose 5*h + 4 - w = 0. Let o be 0 + h + -2 + 2. Is 3 > o?
True
Suppose -3*b = c - 7, 0 = -6*b + b - c + 13. Which is smaller: -3 or b?
-3
Let p = -46.568 + 77.64. Let t = p + -0.072. Is 1 less than or equal to t?
True
Let m be 49/(-2)*(-7 - (-1526)/210). Is -7 at most m?
True
Let s = 1 + 11. Let z be (0 - (2 + 6))/(-1). Suppose -z = 4*i - s. Is -1/5 bigger than i?
False
Suppose -3*p - 5474 = -5843. Which is smaller: 125 or p?
p
Let l = 5 - 5. Let o be l*((-13)/18 + (-4)/(-18)). Are o and -2/77 equal?
False
Let j(z) = 3*z**2 - 32*z - 8. Let s be j(15). Which is smaller: s or 186?
186
Let t = 27 - 47. Let z be 1*6/t*(-4)/6. Let f = 1 + 1. Is f <= z?
False
Let w(z) = z**2 - z + 1. Let k be w(0). Let q = -12 + 19. Let s = k - q. Is -6 not equal to s?
False
Suppose g = -g + 2. Let o be 2/(((-16)/(-6))/g). Do o and 1 have different values?
True
Suppose -103 - 37 = 14*m. Let o(d) = -d**3 - 9*d**2 + 8*d - 23. Let y be o(m). Which is smaller: 0 or y?
y
Let h(p) = 17*p**2 + 2*p + 2. Let o be h(-2). Are 66 and o unequal?
False
Suppose f = 4*f + 66. Let c be -8*4/f - 2. Let m = 1688/3 + -563. Which is bigger: c or m?
m
Suppose -20 = 14*c - 6. Is -1/282 < c?
False
Let q = -685 + 47951/70. Do -1 and q have the same value?
False
Let f be (-36)/54 + (-29)/(-3). Let l be (-44)/f - 18/(-81). Which is smaller: -6 or l?
-6
Suppose -8*t + 4*t = 0. Suppose 4*l - l + 22 = o, -3*o + 2*l + 38 = t. Which is greater: o or 7?
o
Let r(v) = v**2 + 9*v + 4. Let w be r(-7). Let o = -3 - w. Let i be ((-1)/(-3))/(o/(-14)). Which is smaller: i or -2?
-2
Suppose -i - 2*z + 37 = -0*z, -4*i + 3*z = -192. Let y be (-29)/9 - (-10)/i. Let k be -4 - (1 + y/(-3)). Is -5 bigger than k?
True
Let i be 2*-1 - (19 + 2). Suppose -n = -5*a - 113, a - 2*a + n - 21 = 0. Is i > a?
False
Let z(w) = w**2 - 6*w - 39. Let p be z(-4). Which is greater: p or 100?
100
Let m = -1127 - -2253/2. Let d = 2.3 - 2. Let i = d + -0.1. Which is smaller: m or i?
m
Let t be -8 - (-2 - (-2 - -6)). Let z = -5 - -31. Which is greater: z or t?
z
Let u = -0.3 + -1.2. Let t = u - -0.7. Let d = t + 0.7. Does d = -8?
False
Let u be (24/(-22) - -1)*2. Let c = u + 1/66. Which is bigger: c or 26?
26
Let g(t) = -3*t + 45. Let j be 2/(-6)*(5 + -44). Let x be g(j). Is 8 != x?
True
Let c = -33/190 + -1/38. Suppose -5*g = -6 + 6. Which is bigger: c or g?
g
Let n = -91 + 65.5. Let d = n - -26. Is 4/5 equal to d?
False
Suppose -14*k = -74*k + 44940. Which is smaller: 750 or k?
k
Let n = -0.1 + 0.6. Let k = 67.4 - 68. Let w = n + k. Is w smaller than -1?
False
Let o = -25.3 - 4.7. Let t = -280 + 841/3. Is o <= t?
True
Let s = -1/315 + 13/2070. Which is greater: -1 or s?
s
Let r = -7.61 + 7.41. Which is bigger: -2/57 or r?
-2/57
Suppose 3*t = 10 - 19. Let g be (0 + t/(-18))/(1/4). Is 3.2 bigger than g?
True
Suppose 20 = -4*u, 20 = -2*x - 5*u - 13. Let h be 3/4 + x/32*158. Is h bigger than -20?
True
Let i = -0.064 + -0.136. Which is smaller: i or 28?
i
Suppose -h = 2*h - 6. Let c(p) = -p**3 - 2*p**2 + 7*p - 4. Let z be c(-4). Suppose z = d + d + h. Is d at least as big as 0.1?
False
Suppose 0 = n + 11*n. Is -4/121 at most as big as n?
True
Let d = 229.9 - 230. Is -13/3 bigger than d?
False
Let i(m) = -m. Let a(u) = 4 + 3 - 9 - 8*u. Let c(p) = -2*a(p) + 14*i(p). Let j be c(-6). Is j at most -9?
False
Let w = -20 + 11. Suppose 0 = 5*b - 10 - 0. Suppose -5*v + 3*d - 30 = 0, 1 - 4 = b*v - 3*d. Does v = w?
True
Let l be 6/(-21) + 38/(-14). Let x(h) = -h**3 - 4*h**2 - 5*h - 3. Let p be x(l). Suppose -3*q + 15 = p. Which is smaller: q or 5/2?
5/2
Let r = 77 + -49. Which is greater: r or 2/9?
r
Suppose -9*y + 5256 = -18*y. Let j be -3*(2 - y/(-291)). Is -1 > j?
False
Suppose -12 = -0*q + 2*q. Let l be (-45)/(-5 + -1 - -7). Let j = 38 + l. Is j at most q?
True
Let d be (-3)/(-9)*0*1. Suppose d*g + 7 = 4*n - g, -g - 10 = -5*n. Suppose 5 = n*m + 2*m. Are m and 2/43 equal?
False
Let w = -103 + 85. Let l(t) = -t**3 + 8*t**2 + 3*t - 4. Let r be l(8). Let x = r + w. Is x > 0?
True
Suppose 12*y = 8*y + 4. Suppose -6*d = -d - 3*j + 1064, 4*d + 5*j + 866 = 0. Let k = -3211/15 - d. Is y at most k?
False
Suppose 0 = 2*k - 2*p - 4, 0*p = 4*k + 5*p - 8. Suppose 19 = -3*m - k. Is 2 greater than or equal to m?
True
Let i = -208 + 183.57. Let c = i + 0.43. Let u = -24.2 - c. Is 7 greater than or equal to u?
True
Let l be (-352)/1584*(-123)/8. Which is smaller: l or 4?
l
Let d = -48 + 132. Let k = d - 87. Suppose 2*x + 2 = -0. Which is smaller: x or k?
k
Let w = 45726 + -6493137/142. Let f = -8025/1562 + w. Is -6 not equal to f?
True
Let r be (-6)/4*45/(-108). Suppose -4*x = -3*q - 8 + 19, -7 = -q + 3*x. Which is smaller: q or r?
r
Let j = -834 + 871. Which is bigger: 0.02 or j?
j
Let k = 802 - 801.9. Let v = -0.7 - -1.3. Let d = v - k. Which is bigger: 0 or d?
d
Let w = -2 + 3. Let a(t) = -2*t**3 - 41*t**2 + 22*t + 21. Let q be a(-21). Suppose w + q = v. Is 1 < v?
False
Let b = -829 - -827. Which is smaller: b or -34/19?
b
Let x(f) = 13*f - 625. Let v be x(48). Is v > -1/345?
False
Let c(y) = y**3 + 9*y**2 - 13*y - 29. Let m be c(-10). Let o be (-18)/(-8) + m*2/(-8). Which is smaller: o or 9/4?
o
Let z = 40 + -41. Let s be 1/4 - (z + (-27)/(-12)). Which is smaller: 4/53 or s?
s
Let z = -359/5 - -72. Which is smaller: z or -27?
-27
Let m = 8 - 4. Let g be (-1 - 3/m) + 4. Suppose -2 = -2*w + w. Which is greater: g or w?
g
Let y = 100 + -87. Let w = -11.55 + 24.48. Let d = w - y. Are d and 0 non-equal?
True
Suppose -5*c + 212 = -c. Suppose -4*p - c = -3*o, -5*p + 4*p + 2*o = 17. Which is bigger: -0.02 or p?
-0.02
Suppose -5*t - 5 = 2*g - 37, t + g = 4. Which is smaller: -3 or t?
-3
Let r(n) = -3*n + 6. Let u be r(-3). Let l be -3*(-2)/u*-5. Which is greater: l or -7/13?
-7/13
Suppose 2*q = -10*q + 10*q. Which is bigger: q or 22?
22
Let z = 16 - 17. Let b be z/3 - (4/(-3) - -2). Suppose -5*y - 3*r + 15 = 0, 0*y = 3*y - 2*r + 10. Which is bigger: y or b?
y
Suppose l - 6*u = -2*u - 12, 3*l = -5*u + 15. Suppose -z = 5*m - 26, -5*m + l*z + 24 = -z. Suppose 2*f - m*f = -9. Is -3 not equal to f?
True
Let s(l) = -13*l + 1. Let g be s(1). Let d(t) = t**2 + 37*t - 321. Let r be d(7). Which is bigger: g or r?
g
Let z be (-2)/(-9) - 903/(-189). Let d be (6/9)/(z/165). Let f be (4 + d/(-5))*5. Is -5/6 equal to f?
False
Let z = 1879 - 1236. Which is smaller: -1 or z?
-1
Suppose 40*k - 414 = 17*k. Is 53/3 at least k?
False
Let k(b) = -2*b. Let y be k(-2). Suppose 35 = y*i - 9. Which is greater: i or 12?
12
Let d(q) = -30*q + 449. Let m be d(12). Is m smaller than 89?
False
Let a be (-36)/(-16)*(-192)/308. Let f = -6/7 - a. Is f greater than or equal to 0?
True
Suppose 5*k = -22*k - 621. Is k < -21?
True
Suppose -8*r = 20*r - 28. Is r <= -4/157?
False
Let v = -222 - -96. Let h = 1132/9 + v. Is 1 greater than h?
True
Let d = -30 + 44. Let i = d - 9. Which is smaller: -2 or i?
-2
Let v be 42/63*(-1)/170. Which is smaller: v or 0?
v
Let k be 782/(-51) + 17 - (-33)/(-9). Suppose 0 = 3*s + 7 + 5. Which is bigger: k or s?
k
Let i(j) = 11*j - 1. Let s be i(5). Are s and 54 equal?
True
Let h = -188 - -186. Is 0 less than h?
False
Let t = -13 + 22. Let y = t - 11. Let h be (-9)/7 - (-22)/77. Which is smaller: h or y?
y
Let g be 4/70*49/(-21). Is 18 less than or equal to g?
False
Let h(y) = -4*y**3 - 4*y**2 - y + 1. Let n(k) = 3*k**3 + 3*k**2 + k - 1. Let l(b) = 4*h(b) + 5*n(b). Let r be l(0). Which is smaller: -2/95 or r?
r
Let k = 6951 - 76401/11. Let p = k - 87/22. Let w = 2 + 1. Is w less than p?
False
Suppose 0 = 2*t - 28 + 26. Suppose -8*c + 7