 = -5975/16 + 373. Which is smaller: s or n?
n
Suppose 3*u - 60 = -2*u. Let w be (-621)/36 + (-9)/u. Are w and -19 unequal?
True
Let t be ((-16)/(-648))/((-6)/(-9)). Is t at most -3?
False
Suppose 3*g - 4*k - 29 = 0, -4*g - 8*k = -3*k + 13. Let z = -2 + 0. Let r be (1/z)/((-9)/(-18)). Which is greater: r or g?
g
Suppose y + 17 - 22 = 0. Suppose -7*l = y - 33. Is 7 greater than or equal to l?
True
Let u = -0.1341 + -0.0239. Is 0 smaller than u?
False
Let p(f) = -4*f**2 + 2*f - 7. Let m be p(4). Let v be (-12)/(-16) - m/(-132). Which is smaller: -1 or v?
-1
Suppose -28*z + 31*z - 3 = 0. Let d = -2.3 + 0.3. Which is smaller: d or z?
d
Let m = -41112/7 + 5902. Does 28 = m?
False
Let k = -3/418 + -809/3762. Which is smaller: k or -0.072?
k
Suppose 0 = -4*q - 3*l - 9 + 41, 0 = q - 2*l - 8. Let w(g) = -g**2 - 4*g + 9. Let y be w(-7). Let v be (-1 + (-2)/(-6))*y. Is v at most as big as q?
True
Suppose m = 4*m + 15. Let x be (-2)/m + 3412/20. Let s = x - 6329/37. Which is greater: s or 1?
1
Let b = 7768 - 1949771/251. Are b and -1 equal?
False
Let p = 10 - 19. Let f = p + 14. Suppose f*q + 2*g = 5, 4*g - 3*g = 0. Are q and 1/26 nonequal?
True
Let c = 156/11 - 350543/24717. Is 0 at most as big as c?
False
Let t = -2/359 - 347/2154. Let o(v) = 2*v**3 + 1. Let c be o(-1). Which is smaller: c or t?
c
Let q = -4 - -3.5. Let d = 103 + -97. Suppose 4*o = 3*k + 3, 7*k - 4*k - 5*o = -d. Which is smaller: k or q?
q
Suppose -72 - 40 = 2*f. Which is smaller: f or 1?
f
Suppose -4*h - 1 + 5 = 0, -2*x + 4*h = -280. Let f be ((-2808)/(-20) - -1) + 1. Let j = x - f. Is j != 6?
True
Suppose -72 = -5*c - c. Let f be 9/c - (-5)/100. Let z be (-2 + 2)*(-2)/(-4). Is z < f?
True
Let n be ((-4)/(-8) + -3)*2 + 9. Is n at least -10?
True
Let c be -6 + 1 + 3 + 44/24. Which is bigger: c or -1.8?
c
Let u be ((-23)/22 - 37/(-74))*3. Suppose 0*y - 4*y - 2*c = 14, -20 = 5*y + 5*c. Which is smaller: u or y?
y
Let u(j) = j**2 + 12*j - 22. Let m be u(-10). Let z be m/(-7)*(2/(-2) + -1). Is z at most as big as -13?
False
Suppose -5*j = -5*z - 10, z = 4*j - 2*z - 8. Let w be j + ((-33)/35 - 1). Let r be 5/4 + ((-9)/(-12))/(-3). Is r at least w?
True
Let t = 0 + 2. Let q(i) = 12*i - 517. Let z be q(43). Which is bigger: z or t?
t
Let v(w) = -w**3 + 15. Let g be v(0). Is g > -4?
True
Let u = 282 + -391. Which is bigger: -110 or u?
u
Let w = 766606/6165 + 66/685. Let h = w + -124. Suppose 2*c = 2*l - 306 + 296, 5*c + 3*l - 23 = 0. Which is smaller: h or c?
h
Let b = 25 + -17. Let q(o) = -o**3 + 14*o**2 + 16*o + 2. Let l be q(15). Which is smaller: b or l?
b
Let j be (-107)/(-216) + (-1)/2. Let n = j - 425/1512. Which is smaller: 18 or n?
n
Let r = 1.66 - 1.6. Let o = r - -0.54. Let v = 3.2 + -3. Is o greater than or equal to v?
True
Let g be 20/100*(-115)/2. Are g and -11 equal?
False
Let n = 14 - 15. Let f(r) = -r**2 + 1. Let i(c) = 2*c**2 + 5*c - 8. Let q(w) = n*f(w) - i(w). Let l be q(-7). Which is smaller: -6 or l?
l
Let p = -236.854 + 237. Is p < 2?
True
Let x = -100.961 + -0.039. Let j = x + 102.88. Let y = j - -0.12. Which is smaller: y or -2/7?
-2/7
Let g(p) = -p**2 + 26*p + 56. Let c be g(28). Suppose -3*s - 2*s + 10 = c, -3*l = -s + 20. Let j = -5 - 0. Do l and j have different values?
True
Let l = -1.2 + 3.2. Suppose 2*j + 32 = 6*j. Is j at most l?
False
Let q be 1*(-6)/(-9)*(-33552)/(-64). Is q >= -0.1?
True
Let k = -22.413 - -0.513. Let p = 61 + -39. Let d = p + k. Are d and 1 nonequal?
True
Let t(m) = -m**2 - m. Let j be t(-1). Let o be (-1)/((-4)/12*-1). Let d be 72/(-37) + -1 - o. Which is bigger: d or j?
d
Let q = 28.84 + -10.84. Which is smaller: -3 or q?
-3
Suppose -4*z = -9*z. Let l = z + 1. Let k = -4/53 - -187/371. Is k smaller than l?
True
Let j = 26 - 29. Let x be j - ((-4)/8 - (-6)/(-4)). Let y be ((-1)/30)/((-1)/2). Which is smaller: x or y?
x
Suppose -4 = 2*w + 8. Suppose 4 = -2*f + 6. Suppose 2*t - 5*o = -0*o + f, 2*o + 20 = -2*t. Is t at least w?
False
Suppose -m + 8 - 3 = 0. Suppose m*l - 10 = -4*t, 0*t + 3*t + 10 = 5*l. Let d be (-18)/(-8)*(-5)/10. Which is smaller: d or t?
d
Let i = 667 + -670.51. Let a = 0.21 + i. Is a < -1?
True
Suppose 0 = n + 2*n. Let h = -5.516 - -5.5. Let s = h - -0.066. Is n < s?
True
Let p be (-105)/(-25) - (-4)/5. Suppose -5*b + 3 = s - 2*s, 2*b = p*s - 54. Let l be (-20)/(-18)*s/20. Is 0 less than l?
True
Suppose -42*a + 44*a = 162. Let o be (-1)/(a/(-42) + 2). Is o at most as big as -12?
True
Let m be (-122)/(-40)*1 + -3. Let q = -17/60 - m. Let h = -1.92 - 0.08. Which is smaller: h or q?
h
Suppose -20 = -5*n - 3*y, -n + 0*y - 19 = -4*y. Is n bigger than 4/211?
True
Let r = -0.16 + 0.86. Let t = -12.7 + r. Let o = t - -12. Which is bigger: -2/9 or o?
o
Suppose -2 = 3*c - 20. Let j be (c/12)/(1/6). Suppose -j*h + h = 0. Does 1/5 = h?
False
Suppose -201*n - 5 = -202*n. Suppose -g + 2*g - 5 = 0. Is n != g?
False
Suppose 6*d - d - 2*a - 1 = 0, 3*d - 3*a = -3. Suppose -3*l - 10 = -d. Which is bigger: -4 or l?
l
Let o = 471 - 472. Is o less than or equal to 2/1777?
True
Let f = -212.8 - -219. Suppose -3*g + 4*g - 4*g = 0. Which is bigger: g or f?
f
Let c = -2.596 + 2.5. Is c greater than or equal to 0?
False
Suppose z + 0*d - 3*d = -8, 0 = -4*z - 5*d + 36. Let o = -280 - -850/3. Which is greater: o or z?
z
Suppose 132 = 5*n - n + 2*x, 3*n - 99 = 3*x. Let v be n/22*(-30)/9. Let l(u) = -8*u**2 + 1. Let z be l(1). Is z less than or equal to v?
True
Suppose -59*m = -80*m - 23373. Is m < -1113?
False
Suppose -2*d = -16*d - 14. Which is greater: d or 96?
96
Let b be ((-7)/126)/((-6)/(-18)). Which is greater: b or 0.1?
0.1
Let q(k) = 2*k**2 - 10*k - 53. Let a be q(7). Which is bigger: a or -27?
a
Let r = 1387/9300 + -13/75. Is r greater than or equal to 1?
False
Let m be (-9 - -7) + -2 - 22. Which is greater: -14 or m?
-14
Let b = 54 + -39. Let d = 4 - b. Is d at least -0.1?
False
Let v = -1111 + 1111. Is 7/503 less than v?
False
Suppose 3*r - 6 - 15 = 0. Let i(l) be the second derivative of l**3/6 + 8*l + 1. Let y be i(7). Is r not equal to y?
False
Suppose 4*m = 5*l - 5, 4*m - 4 = -2*l - 2. Let s = -884/1449 - -22/63. Which is greater: s or m?
m
Let z = 3.15 - 3.25. Is 77 at least as big as z?
True
Let n(j) = j**3 - j**2 + 2*j + 6. Let a be n(0). Let i be 2/a - (-2)/3. Which is smaller: 2/45 or i?
2/45
Let f(p) = 3*p - 9. Let k be f(4). Suppose -k*v = -7*v - 20. Suppose -2*i = -5*g - 21, 4*i + 0 = 2*g + 2. Is v equal to g?
True
Let a(w) = -w**3 + 11*w**2 - 31*w - 17. Let j(m) = 4*m**3 - 32*m**2 + 93*m + 52. Let k(n) = -7*a(n) - 2*j(n). Let t be k(-15). Are -2 and t nonequal?
True
Let c = -41/2 + 127/6. Let t be (-2)/(-5) - 56/(-120). Let y = c - t. Which is bigger: y or -1?
y
Let q be ((-4)/(-63))/(16/(-24)). Let z = -20/63 - q. Let i = z + 5/9. Which is smaller: i or -12?
-12
Let v be (-3 + 21/6)/(15/(-12)). Is v less than or equal to -2/5?
True
Suppose -v + 12*v = 3*v. Let r be (-10)/(-9)*(-6)/15. Which is greater: v or r?
v
Suppose -4 + 104 = -5*f. Let y be -8*(4 + 85/f). Suppose y*x + 30 = 8*x. Is 7 at least x?
True
Let k(z) = 4*z**2 - 4*z - 2. Let w be k(2). Suppose -4*l = -5*p - 139, 5*p - 3*l + 132 = -w*l. Let r = 245/9 + p. Which is greater: -1 or r?
r
Suppose 23 = 2*w - 23. Suppose -3*y = -w + 8. Suppose -l - 4*l = 2*c - 37, 2*c = 4*l - 8. Is y at least as big as c?
False
Suppose -4 = -6*k + 2*k. Suppose 3*y - 19 = -k. Is 4 at least as big as y?
False
Let y be (16/(-6))/((-92)/30 + 3). Let g = y - 39. Let m = -3642/35 - -104. Which is bigger: m or g?
g
Let p(b) = -b**3 - 7*b**2 + 9*b + 7. Let i be p(-8). Let o be -4*6/(-68)*-1. Which is smaller: i or o?
i
Let u be (-10)/(-24) - (-8)/(-12). Let n = -19 + 22. Suppose 3*r - 4*o = 17, -o + 3 = n*r + 11. Which is greater: u or r?
u
Suppose -2*k = -3*i + 570, -k - 2*k = 0. Let q be (i/2337)/((-2)/21) - -1. Which is smaller: q or 1?
q
Let u = -7.95 - -6. Let m = u - 0.05. Let d = 1.2 + -0.2. Which is smaller: d or m?
m
Let p = 5.84 - -0.16. Let c = -6.24 + p. Let h = c - -0.14. Is -14 >= h?
False
Suppose -p = 2*p + o + 2, 12 = -3*p - 3*o. Let y = -0.22 - 14.78. Do p and y have the same value?
False
Suppose 3*a + 2*p = 19, -4*p + 2 - 9 = -3*a. Suppose 6*n - a = -17. Is n != -5/8?
True
Suppose 27*l - 143 = 208. Is l at most as big as 12?
False
Let a be -8 + 4/(-4)*1. Let h(z) = z**2 + 8*z