Let j = 290 - 211. Which is bigger: 2 or j?
j
Let b be (3320/11 + 0/(-5))/2. Let i = -151 + b. Is 6 less than or equal to i?
False
Let h be (14/(-3))/((-14)/21). Suppose -b + h*b - 174 = 0. Which is greater: -1/2 or b?
b
Suppose 1 - 55 = -54*q. Suppose 10 = 4*g + 2*w, -5*w - 13 = -g - 2*w. Which is greater: q or g?
g
Suppose -2*u + 1034 = 2*k - 0*u, -2*k - 4*u + 1024 = 0. Which is smaller: k or 523?
k
Suppose -4*c - 2 = -3*s - 10, 5*c = -3*s - 17. Which is smaller: c or 23?
c
Let z be (-2)/(8/6*(-6)/18). Let y = 4 - -1. Is y < z?
False
Suppose -20*i + 17*i = -162. Suppose 1 - 7 = a + 2*f, 4*a + 2*f = -i. Is -16 less than or equal to a?
True
Let x(s) = s**2 - 10. Let u be x(11). Let g = 100 - u. Which is smaller: g or -61/5?
-61/5
Let h be 3 + -8 + (-1 - -2). Let s be h - 1*(-6 + 2). Do 0 and s have the same value?
True
Let b be (-544)/(-780) - (-2)/(-3). Let f = -1476 - -1474. Which is greater: b or f?
b
Let s(t) = -2*t**2 + 6*t. Let h be s(6). Let i = 35 + h. Which is smaller: -3/13 or i?
i
Suppose 3*q = 10*f - 8*f + 90, 0 = -4*q + 8. Suppose -4*m = 2*v - 68, 5*v - 170 = -2*m - 3*m. Let i be v/f + 17/119. Which is bigger: -1.9 or i?
i
Let t be 2 + (2 - 3) + 24. Let g = -25 + t. Is g < -1/21?
False
Let a = 6 - 19. Let c(h) = h**3 - 24*h**2 + h - 21. Let g be c(24). Let r = -9 - g. Which is smaller: a or r?
a
Let c = -295 - -1393. Is c < 1099?
True
Let j be 1/5 + 24/20*14. Let d(k) = 3*k - 51. Let t be d(j). Is t <= -4/17?
False
Suppose 0 = 3*y - 9*y. Suppose 90 = -5*m - y. Which is smaller: m or -19?
-19
Suppose 138*k - 168*k = 0. Are -3/79 and k equal?
False
Suppose 5*w = 2*y - 0 + 23, -14 = 2*w + 5*y. Suppose 2*t = -w*t - 5. Let u = -23 - -20. Which is smaller: u or t?
u
Let v = 0.1 + 7.9. Let z = v + -13. Let q = z - -2. Is q at most -2?
True
Let r = -11.7 + 11.822. Let w = r + -0.109. Is -2/7 > w?
False
Let f be -1 - 0 - -1 - (-31 + 108). Is f less than -77?
False
Let z(s) = s - 5. Let l be z(3). Let y be ((-87)/(-33) - 1)*416/(-312). Which is bigger: y or l?
l
Suppose 4*k - 4*n - 129 = -3*n, 2*n = 6. Let m(g) = -g + 36. Let v be m(5). Is v at most k?
True
Let c = 15 + -21. Let o(v) = -269 + 100 + 4*v + 97 + 94. Let f be o(c). Are -2 and f equal?
True
Let o(t) = -t**2 + 6*t. Let i be o(8). Let v = i + 22. Suppose v = -x + 4*x. Which is greater: 0 or x?
x
Suppose 31 = 6*p + 7. Suppose 4*i + 3*f = -40, -5*i + 4*i - 23 = p*f. Which is greater: -6 or i?
-6
Suppose 1 = -j, -4*j = v - 8 - 1. Suppose -3*a = -4*y - 16, 6*a + 3*y = 2*a + 63. Which is greater: a or v?
v
Let l = 5513411/1221 - 130664/33. Let y = l + -556. Which is greater: -1 or y?
y
Let r = -0.028 - 38.972. Let k = r + 34. Which is greater: k or -1/3?
-1/3
Suppose -2*z - 1 = 5*d, 5*z + 3*d - 17 = 6*z. Let x = z - -9. Let f be (2 - x) + 5 - 3. Is 3 smaller than f?
False
Let v = -1.07 - -1.2. Let u = -1.26 - -0.06. Let s = u + 1.1. Is v != s?
True
Suppose 20*w - 19*w = 0, -4*b - 1472 = -5*w. Which is smaller: -366 or b?
b
Let i = 4/27 - 521/54. Let h(a) = a**3 + 6*a**2 - 5*a + 3. Let w be h(-7). Which is bigger: w or i?
i
Let u(w) = -w + 18. Let q be u(15). Suppose -3*d + q + 3 = 0. Do 5/2 and d have the same value?
False
Let u = -22 + 67. Suppose 0 = -0*l + 3*l + 3*p - u, -4*p - 42 = -2*l. Which is bigger: l or 19?
19
Let g = -7.396 - -0.396. Is 1/88 equal to g?
False
Suppose 4*s - 7 = -s + l, -s = 5*l + 9. Let u be (8/2 + -4)*s. Which is bigger: u or -2/21?
u
Let s(w) = -w**2 + 8*w + 13. Let q be s(0). Is q smaller than 10?
False
Let h = -14 + -8. Let q = h + 15. Are q and -1/3 equal?
False
Let g = -4 + 6. Suppose g*v + 4 + 0 = 0. Let r(n) = n**3 + 2*n**2 - 6*n - 14. Let a be r(-2). Is a bigger than v?
False
Let m(w) = -w**3 - w**2 - w + 1. Let x be m(1). Let d(y) = y**3 - 13*y**2 + 11*y + 14. Let c be d(12). Suppose 0*f + 0*f = -c*f. Is x < f?
True
Let u = 30 - 29. Suppose t + u = -3. Let x be (3 + -1)/(4/(-10)). Which is smaller: x or t?
x
Let z(u) = 2*u**2 - u + 3. Let t be z(3). Let q be t/(-15)*(6 - 1). Let g(j) = j**2 + 18*j + 24. Let i be g(-16). Is i at most as big as q?
True
Let r = 33 + -34. Let h = -7 - 4. Are h and r non-equal?
True
Suppose 5*a + 29 = -y, 3*y + 39 = -a + 8. Let g(v) = -135*v - 819. Let r be g(-6). Is y > r?
False
Let j = 0.2166 + 58.7834. Which is smaller: j or -1.4?
-1.4
Suppose -40 = -5*b - 5*s, 2*s = b - 3*s + 22. Let u be (-1)/(-2) + (-9)/(-2). Suppose -y + 2*f = f - 1, -u*y + 2*f + 8 = 0. Is y <= b?
True
Let y = -90 + 90. Let k = 14.76 + 0.24. Let z = -15 + k. Is y greater than z?
False
Let v = 9.4 + -0.4. Let j = -8.97 + v. Let b = -3 + 3.2. Is j at least as big as b?
False
Suppose -5*o = 5*w, 0*w - 5*w = o. Let c be (-5)/4 + w + 1. Let b(y) = y - 4. Let z be b(5). Is z at least c?
True
Let q = -70.136 - -70. Let x = q - 0.064. Which is bigger: x or -0.18?
-0.18
Let o be (3/9)/(130/(-12) - -3). Let h = o - 971/376. Which is smaller: -2 or h?
h
Let a = 401 - 86214/215. Is a <= 1?
True
Let k = -349 - -306. Which is smaller: k or -39?
k
Let n be 1/(2*(-3)/(-60)). Let a be (16/n)/((-13)/65). Are a and -9 equal?
False
Let b be (-1)/(-21)*6/4. Let l(c) = c**2 - 8*c - 47. Let y be l(-4). Which is bigger: b or y?
y
Let n = -151/2 + 11019/146. Let t(v) = -v**3 + v**2 + v + 1. Let f(w) = 5*w**3 - 3*w**2 - 4*w - 3. Let p(r) = -f(r) - 4*t(r). Let k be p(-1). Is k at most n?
True
Let l be 1*1/(1 - 5). Suppose 44*i - 42*i + 21 = -3*c, 0 = 5*i. Which is bigger: l or c?
l
Let x be ((-152)/12 - 6)/((-1)/(-3)). Are -1 and x nonequal?
True
Let v = -670 - -659. Is -5/4 > v?
True
Suppose 5*s + m = 5*m - 15, 7 = -3*s + 2*m. Let p = -8 + s. Let k = -20 + 19.9. Which is smaller: k or p?
p
Suppose 21 = -5*j + 46. Suppose 0 = j*b + 3*w - 2*w - 67, -b = -2*w - 20. Let k = b + -2. Is 11 < k?
True
Suppose 59*o + 8 = 55*o. Let z be (o - 0)*65/10. Is -15 less than or equal to z?
True
Let q = 44/63 + -2/63. Suppose 20 = -3*b - z, 2*b - z = 2*z - 17. Which is smaller: q or b?
b
Let g be 3 - ((-2228)/(-1116) + 6 - 5). Is g less than or equal to 0?
False
Let c = 16.9 + -16.818. Which is smaller: 0.1 or c?
c
Suppose -29*h + 3261 = 593. Is 91 > h?
False
Let n = -0.08 - 0.02. Are -26 and n equal?
False
Let z be 119/14 + 5 + (-26)/4. Let v = 959/3 + -313. Which is smaller: v or z?
v
Let q = 15377/56515 - -27/635. Let b = q + 170/1157. Is b greater than 3?
False
Let q be (-1 + 5 - (-270)/3) + 0. Which is smaller: 93 or q?
93
Let l = 21 + 132. Which is smaller: 1 or l?
1
Let k(l) = l**3 + 15*l**2 + 1. Let u be k(-15). Let r be (-44)/(-33) - (u + (-10)/6). Which is bigger: -10 or r?
r
Let n = 33 + -33. Let p be n/(1 - (0 + (3 - 1))). Are -1/70 and p equal?
False
Let j be (-17)/(-4) - (-1)/(-4). Suppose j*m - 54 = -2*l - 0*l, 0 = 2*m + 5*l - 47. Let i(h) = -h + 14. Let b be i(m). Which is greater: 1 or b?
b
Suppose 0 = -4*t + 2*r - 2, 3*t = -48*r + 42*r - 9. Let k = -25/8437 - -1/59. Is k smaller than t?
False
Let p = 456 + -450. Which is bigger: p or -0.06?
p
Suppose 214*l = 205*l - 2196. Which is greater: -245 or l?
l
Let n = 147 + -144. Suppose n*a - 13 = -10. Is a >= 4/13?
True
Let v be 16/(-20) - 4*(-18)/15. Let b be (-16)/(-4) - (1 + 0). Which is smaller: b or v?
b
Let p = -679 + 679.033. Is p equal to 1/5?
False
Let z(j) = -20*j - 69. Let x be z(-1). Is x at most -44?
True
Let z be (-16)/(176/99) + 10. Let b be ((-2)/(-2))/((-3)/(-6)). Which is smaller: z or b?
z
Let g = -87/89 - -22325/623. Which is bigger: 34 or g?
g
Let n(s) be the third derivative of -s**5/60 + s**4/4 - 2*s**3/3 - 2*s**2. Let k be n(5). Let v = -21/2 + 52/5. Are v and k equal?
False
Let i = -5281/30 + 176. Which is bigger: 0 or i?
0
Let q(r) = 64*r + 38. Let u be q(0). Are u and 41 unequal?
True
Let j = -222.3 - -242. Let x = j - 7.7. Let u = -0.1 - -1.1. Which is bigger: u or x?
x
Suppose 0 = 4*h + 6*h + 20. Let y be (-1524)/(-5628) + h/7. Which is smaller: 1 or y?
y
Let r = 24.95 + -16. Let l = -0.05 - r. Let f = l - -9.7. Which is smaller: f or 2/7?
2/7
Let u = -446 + 492. Which is smaller: u or 50?
u
Suppose j = -4*j + 185. Suppose 5*g + j = 2*l - 5*l, -2*g = 2*l + 18. Let b be (0 + l/(-14))/(-1). Does b = -1?
False
Suppose -28*y + 33*y = 3*g - 7, -3*y = 5*g + 11. Which is bigger: -9/34 or g?
-9/34
Let d = 1763 + -1763. Are d and -38/55 non-equal?
True
Let f(y) = y**2 - 3*y - 7. Let b(z) = z - 14. Let j 