6961/7?
False
Suppose -864 = -3*a - 3*a. Let i = 1806 - 1661. Is i at least a?
True
Suppose -36*c + 43*c - 14 = 0. Let z = -27 - -15. Let i be -2 + 0*3/z. Which is smaller: i or c?
i
Let f = 215 + -138. Let b = -79 + f. Let r = 0.81 - 1.21. Which is bigger: b or r?
r
Let p = -267061 - -1339826/5. Let j = -910 + p. Which is smaller: j or -2?
j
Let l be ((-1)/(-3))/(((-6)/(-27))/(32/(-156))). Let x = -11 + 8. Let y be 1 - 1 - (3 + x). Is l greater than or equal to y?
False
Let f = -2536 - -2028. Which is greater: 1/3 or f?
1/3
Let v be 835*(11 - (-84)/(-8)). Which is smaller: 417 or v?
417
Suppose -5*c = 2*n + 578, -3*n + 4*n + 291 = -2*c. Let l = n - -299. Is -6/193 at least l?
False
Let o be -5 - (-1 + 2 - (-350)/2). Let w = o - -180. Is w not equal to -27?
True
Suppose -52*y + 27 = 79. Which is smaller: y or -1/540?
y
Let w(g) = -g**3 + 5*g - 3. Let f be 2/(-6) + -3 + 44/6. Let o be w(f). Let k = o + 68. Which is smaller: k or 22?
k
Let x = 22/35 - -3638/35. Let q = 105 - x. Which is smaller: q or -0.4?
-0.4
Let p(b) = 287*b - 11. Let z be p(1). Let r be 58/10 + (-3)/(-15). Suppose 0*j - z = -r*j. Is j less than 45?
False
Let v = 12625 - 12462. Which is greater: v or 125?
v
Let q = 16528 - 16510. Suppose -2*b = -2*p + 296 + 106, 5*b = -p + 219. Let d be ((-94)/p - (-9)/q)*-3. Do d and 0 have the same value?
False
Let b = 409384 + -7205158403/17600. Is -1 < b?
True
Suppose 5 = 4*i - 15. Suppose i*h - 10 = -3*p, 5*h = 6 - 11. Is p > -2?
True
Let m = -4337 - -3292. Is m >= -1046?
True
Let a = -44/3 + 842/57. Suppose -6 + 41 = 7*b. Suppose 3*v + 11*w = 8*w + 6, 4*v - b*w = -10. Does v = a?
False
Let i = -618 - -623. Suppose i*o - 815 = -3*t, 594 + 751 = 5*t - 5*o. Is 270 bigger than t?
False
Let o(m) = 14*m + 704. Let d be o(-50). Which is smaller: d or 14/5?
14/5
Suppose 37 = -10*m - 103. Let x be 4/m - 174/(-21). Suppose d = x*d. Is 0 greater than d?
False
Let x be (-1 - 3)*((-296)/3885)/2. Is 1 >= x?
True
Let s(r) = -r**2 - r - 1. Let u(x) = -4*x**2 - 14*x + 5. Let n(t) = -5*s(t) + u(t). Let o = -175 - -181. Let i be n(o). Is i at least as big as -8?
True
Let s = -794.55 - -822. Let j = -512 + 539. Let q = j - s. Is -1/2 less than q?
True
Let s be -1*(1 + (-11)/7)*(15 - 8). Is s >= 16?
False
Let p = -127 + 137. Let l(y) = 5*y - 41. Let k be l(p). Suppose -5*j + 44 = 2*v, -4*j - 7*v + 2*v = -25. Which is bigger: k or j?
j
Let t(k) = -2*k**3 + 13*k**2 + 23*k + 8. Let x be t(8). Let p be (-5)/(-7)*(-4)/(-65). Which is smaller: p or x?
x
Let u = 23938 - 4237027/177. Let t be 43/9 + 20/90. Suppose -3*b = 2*b + t. Which is smaller: b or u?
b
Suppose 0 = 12*n - 56*n + 28*n - 32496. Which is smaller: -2035 or n?
-2035
Let f(j) = -23*j**2 + 56*j + 1304. Let q be f(-26). Is q equal to -15700?
True
Let h(d) = -3*d**3 - 2*d**2 + d + 3. Let t be h(0). Suppose -4*p - t = 9, 3*o - 4*p + 6 = 0. Which is smaller: -41 or o?
-41
Let d(w) = w - 3*w - 21 + w + 5*w. Let j be d(5). Suppose 2*m + 107 - 41 = 0. Is j smaller than m?
False
Suppose 421*d - 555*d + 402 = 0. Suppose 2*j + 30 = 3*j. Suppose j = -4*q - q. Which is bigger: d or q?
d
Suppose 964 = 67*v + 763. Are 65/42 and v non-equal?
True
Let v(q) = -2*q - 4. Let p be v(-3). Suppose 0 = -10*s + 52 - 32. Suppose 0 = 4*h - 5*l, -6*l = -s*h - 11*l. Which is bigger: p or h?
p
Suppose 0 = -25*y - 375 + 100. Which is greater: y or -116?
y
Let p = 21372542/31647 - 22288/33. Which is bigger: p or -1?
p
Let f = -8795304/1405 - -6260. Does -1 = f?
False
Suppose c = -9*t + 4 - 16, -2*t + 4*c = -10. Do 14/705 and t have the same value?
False
Suppose 2763 = 16*d - 5578 - 2971. Is 10 not equal to d?
True
Suppose 0 = 3*z - 1277 - 904. Is z not equal to 726?
True
Let s = 15404/5 + -2298277/746. Is s at least 1?
False
Let s = 185 - -419. Let f = -22350/37 + s. Which is smaller: -0.1 or f?
-0.1
Let a = -1.5089 - -0.5089. Which is smaller: 284 or a?
a
Let q = 10.41 - -48.59. Which is smaller: 5 or q?
5
Let r be 7/84*5/(-4). Suppose -36*l = -31*l + 5. Which is smaller: r or l?
l
Let x = 5641 - 5640.9. Which is smaller: 0.085 or x?
0.085
Suppose -151 = 3*d + 158. Let o(g) = -35*g - 54. Let y be o(-3). Let x = y + d. Is x > -52?
False
Let w = -25858 + 25869. Suppose 3*y + 16 = -k, -k - 12 = 4*k - 2*y. Is w at least k?
True
Suppose 4*r = -4*m - 64, -2*r = -3*m + 7*m + 32. Let w be ((-8)/(-32) - (-6)/8) + -21. Let a be -14 - ((-4)/5)/(8/w). Do a and r have different values?
False
Let v = 651.1 - 513. Let d = -138 + v. Which is smaller: 3 or d?
d
Let f = -1208.85866 - 0.14134. Is f bigger than 1?
False
Let w be (-147)/14*(-5040)/49. Which is smaller: w or 1081?
w
Let s(t) = -62*t - 13. Let r(f) = -2*f**2 - 25*f + 72. Let h be r(-15). Let l be s(h). Which is greater: 2/5 or l?
l
Let o = -10992114/275 - -436902/11. Let y = 253 + o. Which is greater: y or 0?
y
Let l = -306 - -310. Suppose -l*n - 18 = -t - 23, -n - 4*t = 20. Let m = -5/462 - 5449/8778. Is m at most as big as n?
True
Let h = -81299542 - -63657489448/783. Let l = -1/783 + h. Let d = 66 + l. Which is smaller: 5 or d?
d
Let x = 922 - 922. Let m = -207 + 207.87. Is m != x?
True
Let o be (2/6)/((-2)/54). Let r be 9412/(-1001) + (3/(3/(-2)))/14. Is r > o?
False
Let g be (-89 + 2)/((-4)/((-96)/(-9))). Suppose 0 = -235*y + g*y - 108. Which is greater: y or -43?
y
Let b = -7 - -6.945. Let d = -0.0162 + 0.0612. Let n = d - b. Which is smaller: -3/10 or n?
-3/10
Let s be (2 - -1 - 2)*(1 + 2). Let i(k) = -1 - 25 + 23*k**2 + 1 - 21*k - k**3 + 0*k**s. Let b be i(22). Which is bigger: b or -28/13?
-28/13
Let k = -134.32 + 121.32. Suppose 0 = -2*g - 5*z + 18, 5*g - 45 = 7*z - 2*z. Suppose -4*j - 8 = -2*j + 3*a, -4*a = j + g. Are k and j non-equal?
True
Let g = -6 + 10. Let i = -286 - -267.4. Let z = i - -19.6. Is z at most as big as g?
True
Suppose 0 = 31*p - 58*p + 702. Is p not equal to -62?
True
Let t = -46.03 + 49.65. Is 6 at most as big as t?
False
Let m(t) = 4*t**3 + 10*t**2 - 39*t + 1. Let q be m(-14). Which is smaller: q or -8467?
q
Let m = -149.15 + 149. Let h = 881 - 880. Is m less than h?
True
Let m = -222 - -3. Let g be m/30 + 1/2. Suppose 56 = 7*q + 98. Is q less than g?
False
Let h be 13*-1 + 7319 + -670. Which is smaller: h or 6637?
h
Suppose 0 = -5*d - 5*g - 5920, 0 = -10*d + 2*g - 5*g - 11896. Are -1195 and d unequal?
True
Suppose 39246 - 100806 = 36*m. Are m and -1711 unequal?
True
Suppose 15*k + 182 = 28*k. Let p be 4/k*343/(-147). Is 133 > p?
True
Suppose 0 = 22*u - 139 + 315. Let p = 194 - 1742/9. Is u greater than or equal to p?
False
Let b(n) = n**2 - 4*n + 2. Suppose -9*q - 5 + 14 = 0. Let r be b(q). Let i be (-4 + 1)*1/(-7). Is i less than r?
False
Let f = 13 - 16. Let p be f/1 + (-1057)/56. Let h = p + 22. Is 1 less than or equal to h?
False
Let h be (309/15 - -3)/((-16)/(-20)). Suppose 2*m - 60 = -0*m. Is m less than or equal to h?
False
Let g = 0.0966 - 5.0966. Which is smaller: g or 83?
g
Let q = 0.10636 - 1125.10636. Is q < 0.1?
True
Let n(u) = u**2 - 2*u + 2. Let f be n(2). Let d = -1 + f. Let h = -2/3039 + -3013/39507. Are h and d unequal?
True
Suppose -17*j + 16*j + 70 = 0. Let s be j/(-105) + (-5)/(-3). Which is greater: 34 or s?
34
Let k(j) = -18*j - 216. Let t be k(-11). Is t equal to -21?
False
Suppose 317 + 1223 = 44*u. Is u at most as big as 3/10?
False
Let a = -13 + 12. Let q = -2/755 + 1776/100415. Is q > a?
True
Let a be ((-4523)/12)/(290/(-870)). Is 1131 equal to a?
False
Let g(x) = -94*x - 6614. Let z be g(-60). Is z <= -1?
True
Let j = 1461197/37 + -39496. Is j at least as big as -3?
False
Let x = -34164 - -649176/19. Is -1 > x?
False
Let t(r) be the third derivative of 15*r**2 + 0*r - 1/12*r**4 - 17/6*r**3 + 0. Let f be t(-9). Is -1/17 at most f?
True
Let h(a) = -12*a + 13. Let z be h(1). Let j(k) = -26*k + 4. Let s be j(0). Is s bigger than z?
True
Let w = 403.21 + -74.21. Which is smaller: -3 or w?
-3
Let f = -20.47 + 20.7. Let h = 0.22 - f. Which is greater: h or 0.08?
0.08
Suppose 5*a + i = 18, 4*i = -3*a + 5 - 1. Suppose 4*l + 2*m - 3 = -11, a*l + m = -4. Are 9/7 and l equal?
False
Let c(b) = -b**2 + 4. Let f(d) = d**2 + 15*d - 14. Let o be f(-16). Let r be c(o). Which is bigger: r or -10/9?
r
Let w = 475 + -1125. Let p = 624 + w. Is -26 at most as big as p?
True
Let f be (-1)/(1*1/(-9)). Suppose -104*z + 107*z - 22 = -5*w, 3*z - w