 Is 25 at least l?
True
Let s = 52.32 - 52.3. Which is smaller: s or 10?
s
Let t be ((-60)/(-675))/(1/(-5)). Do -1 and t have different values?
True
Let o = 38/17 - 148/51. Let b = 9 - 6. Let q be (-3)/36*8/b. Is o smaller than q?
True
Let b be -1 + 2 + 4539/12. Let i = b - 45491/120. Let z = i - -1/24. Is -0.1 less than z?
True
Let v be (-2 + (6 - 3))/(-4). Let w = 0 + -0.08. Let o = -2.08 - w. Is v at least o?
True
Let i = 16.6 - 16.3. Is 143 at least as big as i?
True
Let k be 1104436/14 + (-3 - -5). Let m = k + -78734. Let i = m - 156. Which is smaller: i or 0?
0
Let y be (-574)/(-4) - (-15)/(-3). Which is smaller: 139 or y?
y
Suppose -16*i + 88 = -14*i. Let x be (-271)/i - (-2)/(-22). Which is smaller: -6 or x?
x
Let m = 50 - 46. Suppose 0 = -k + 4*p - 0*p + 1, -4*k + m = 2*p. Are k and -2/393 equal?
False
Suppose -149*m + 146*m = -645. Is 214 at most as big as m?
True
Let k = 47.9 + -2.9. Let g = -556.7 + 556.9. Which is smaller: k or g?
g
Let p = -3097.96 - -3098. Let r = 333/8 + -42. Is p bigger than r?
True
Let q(t) = -2*t**2 - 9*t - 2. Let y be q(-4). Suppose 5 = y*m + 3. Which is smaller: m or -3/16?
-3/16
Let g = -1137 - -1150. Is g > 11?
True
Suppose c - 8*c = 28. Let r = -3 - 4. Which is greater: c or r?
c
Let u be (93/(-62))/((-9)/3156). Is u at most 526?
True
Let m be 183/5 - -18*3/(-90). Which is greater: 35 or m?
m
Let d(v) = 8 + 2*v + 0*v + 6. Let g be d(-10). Let r be g/12 - 2/(-6). Is 1 bigger than r?
True
Let g be ((-2)/(-40))/(4/10). Suppose -4*j = -11*j - 7. Is j greater than or equal to g?
False
Let h(v) = v**3 - 34*v**2 + 64*v - 1. Let m be h(32). Let z = 4882/33 - 148. Do z and m have different values?
True
Let w = -247 - -993/4. Let k be (6310/22)/(3 + -4). Let h = k - -287. Is h at most as big as w?
True
Let l = -4721 - -6878. Let r = l - 45307/21. Are r and 0 nonequal?
True
Let g = 84 - 499/6. Suppose -4*u + 55 = 19. Let t = u + -9. Which is smaller: g or t?
t
Let u be (-3750)/(-10)*(4/(-6))/1. Which is greater: -251 or u?
u
Suppose d = 4*d - 54. Let i = -5141/10242 + 10/5121. Are i and d nonequal?
True
Let w = 5 + -3. Let c = -27 - -28. Suppose 0*b = b + c. Is w != b?
True
Suppose 5*u = 4*y - 0*y, 5*u + 5*y - 45 = 0. Suppose 2 = u*f - 2. Is f at most as big as -3/10?
False
Let w(o) = o**2 + 10*o - 7. Let g be w(-11). Let f = -3 + g. Let h be f*(-2)/(-4)*-4. Is h > -7/6?
False
Let v be -1 + 5 + 0 - 1. Suppose -v*k + 110 = 2*k. Which is bigger: k or 23?
23
Suppose -u - 63 = 5*j - 38, -2*j + 152 = -5*u. Suppose 4*a - 3*a + 3 = 0. Which is bigger: a or u?
a
Let w(m) = -6 + 2*m - m - 4*m. Let o be w(-3). Which is smaller: o or 0.1?
0.1
Suppose -5*f - 627 = -3*c, -c - f = 4*c - 1073. Suppose -217*b = -c*b + 42. Which is smaller: b or -18?
-18
Let w = -0.06336 + -83.93664. Let z = 0.1 + 0. Does z = w?
False
Suppose 14*d - 30*d = 3680. Is -230 < d?
False
Let i be (-1600)/12*-1*3. Suppose -n = 2*m - 15 - 38, -n = 4*m - 105. Let d be i/572 - 4/m. Is 0.1 != d?
True
Suppose -b + 3*t = 45, 4*t + 132 = -25*b + 21*b. Which is bigger: 0 or b?
0
Let m(h) = -5*h - 5. Let d(g) = -6*g - 6. Let w(f) = 2*d(f) - 3*m(f). Let n be w(-2). Let q be (n - 0) + 26/6. Which is greater: 1 or q?
q
Let b = 159 - 65. Let v = -93 + b. Which is greater: 2/139 or v?
v
Let h(v) = v**3 + 2*v**2 + v + 5. Suppose 0 = 5*t + 5*f - f + 10, -3*t + 3*f = 6. Let q be h(t). Which is smaller: 4 or q?
q
Let o(b) = -b**3 + 4*b**2 + 10*b + 5. Let p be o(6). Let z = 0.002 - -0.098. Which is greater: z or p?
z
Suppose 86 = 2*k + 10. Let r = 38 - k. Is r greater than or equal to -2/41?
True
Suppose -2*o = 4*w - 20, 2*w + 8 = -o + 6*w. Let x(y) = 2 - 6 + 6*y - 1 - 5*y. Let u be x(o). Which is bigger: u or 3?
3
Suppose 0 = 4*x + 8 + 12. Let c(h) = 6 - 7*h - 10*h - h**2 + 14*h. Let j be c(x). Is j at least as big as -6?
True
Let k = 16 - 35. Let r = k - -21. Let d be r/(-6) - (-28)/21. Which is smaller: 2/37 or d?
2/37
Let x be -1 + (7 - (-1 + 2)). Suppose 4*r + 3*c = 7*r - 21, -2*c = 10. Suppose -5*t = -j + 18, r*t = x*j + t + 6. Is j >= 1?
False
Let f(x) = 22*x**3 + x**2 + x + 1. Let c be f(-1). Let b(s) = -s**3 - 8*s**2 - 6*s - 15. Let z be b(-7). Which is greater: c or z?
c
Let q be (-4)/(-6) - 30/99. Are 2/9 and q equal?
False
Let h(k) = 6*k - 15. Let b be h(3). Suppose 41*r = 38*r - b. Which is bigger: -3/4 or r?
-3/4
Let h be 6/16 + -3 + 33297/(-24). Let b = h - -20876/15. Is b less than or equal to 1?
False
Suppose 0 = -s + 2*s - 6. Suppose -s*y - 19 = -7. Is y smaller than 2?
True
Let h(k) = 5*k + 4. Let a be h(2). Suppose -104 = 3*j - a. Let t be (-3)/5 + 132/j. Is -4 bigger than t?
True
Let g = 1 - 1.11. Let y = -0.42 + 0.83. Let h = y + g. Is h at least as big as 0.2?
True
Let k = -101 - -105. Let q(l) = -l - 5. Let m be q(k). Which is smaller: -8 or m?
m
Suppose -5*s = 1 - 26. Suppose 0 = c + 2*w - 7, s*w - 22 + 2 = 0. Is 2/97 > c?
True
Let g = 43957/66 + -666. Is 0 greater than g?
False
Let b be (8 - -4)/2*1/6. Which is bigger: b or 2/757?
b
Suppose -3*r - 72 = p, -36 + 136 = -p + 4*r. Let y be (p/525)/((-14)/(-5)). Is 0.1 greater than y?
True
Suppose -3*m + 3*l - 2*l = 109, 34 = -m - 2*l. Does -177/5 = m?
False
Let d be (-8)/(-18)*(-1)/88. Which is bigger: 1 or d?
1
Let z be (4 - 1265/297)*(-8)/14. Are z and -1 unequal?
True
Let q = 81 - 85.1. Let b = 5.1 + q. Is b equal to -1.2?
False
Suppose 6 = 2*t - 20. Which is bigger: t or 116/9?
t
Suppose -2*w = -44 + 38. Suppose -w*v - 20 = v. Which is smaller: -6 or v?
-6
Let r = -70 + 71. Let g be (2/(-4))/(1/16). Let q be ((-20)/g)/(r/(-2)). Which is bigger: 2 or q?
2
Suppose -4241 = -5*w + 1369. Let k = 120053/107 - w. Which is smaller: k or 1?
k
Suppose -18 = -5*y + 2*y. Suppose -4*j + u = -13, -j + u = 4*u. Is j smaller than y?
True
Suppose -72 = 4*n + 4. Is n less than or equal to -20?
False
Let w = -801 + 802. Let r be 120/63 + 1*-2. Does r = w?
False
Let m be -7 - -13 - (-4264)/(-710). Is m <= 0?
True
Let c = -52 + 51.41. Let z = 0.39 + c. Is z at least as big as -3?
True
Let f = 0.15 + -3.75. Let b = -8.4 + f. Which is smaller: 1/2 or b?
b
Let c = -4.6 + 16.6. Are 0 and c equal?
False
Let s(c) = -7*c**2 + 17. Let n(w) = -10*w**2 + 26. Let u(q) = 5*n(q) - 7*s(q). Let d be u(-6). Are d and -25 unequal?
False
Let v(c) = -c - 13. Let p be v(-13). Is p < 0?
False
Let r = -80 + 90. Suppose -18*h - 24 = -r*h. Is -2 > h?
True
Let n be ((-2793)/70)/(-21) + 6/(-4). Which is smaller: n or 6?
n
Let o be 13/3 - 6/(-9). Suppose 4*a + o = k, -5*a + 4*k = -3 + 23. Let i = -31/17658 - 5/218. Which is bigger: a or i?
a
Let p = -32090382219/1743010 - 59/174301. Let l = -18451 - p. Let f = -40 - l. Are -1 and f nonequal?
True
Suppose -2*q = -n - 0*n - 1279, q + n - 641 = 0. Let l be 5/(q/36)*-4. Let b = l + 47/56. Which is bigger: b or 0?
0
Suppose 0 = -4*v - 20, -4*t - v - 17 = -0*v. Which is smaller: -82 or t?
-82
Let p(o) = -2*o**3 + 9*o**2 + 34*o - 30. Let a be p(9). Which is greater: -452 or a?
-452
Suppose -3*t - 4*r = 184, 5*t - 4*r + 200 = 2*t. Is t equal to -318/5?
False
Suppose 0 = 5*s + 8 - 23. Let k be (4 + 21575)*s/153. Let r = k + -423. Is -1 at least r?
False
Let x(u) = u**2 + 6. Let l be x(0). Let g(y) = y + 2. Let w be g(l). Which is greater: w or 9?
9
Suppose 2*h - 4 = 0, 2*g - 6*g + 28 = 4*h. Let d(y) be the second derivative of y**4/12 - 7*y**3/6 + 9*y**2/2 - y. Let i be d(g). Which is smaller: 3/8 or i?
i
Let h = -27 + 54. Suppose -g - 10 = -2*n, -3*g = n - 6*n + h. Let x be n/(-15) + (-38)/(-290). Which is bigger: x or -1?
x
Let y = 296 - 284.84. Let n = 0.16 - y. Let h = -1877.1 - -1878.1. Which is bigger: h or n?
h
Suppose 50 = 3*m - 13. Are m and 22 equal?
False
Let s = -2824 + 1646395/583. Are -1 and s equal?
False
Let p(s) = 2*s. Let v be p(1). Suppose -3*w - 3*m + 24 = 0, -4*w - 3*m + 15 + 14 = 0. Suppose 0 = -w*b + 5 + 5. Are b and v equal?
True
Let z(w) = w**2 - 3*w - 4. Let x = -26 - -30. Let b be z(x). Which is smaller: b or -4/11?
-4/11
Let l be (-16 - -16) + 2/2. Which is smaller: 1/759 or l?
1/759
Let t(d) = -d**2 - 2*d + 5. Let k be t(-2). Suppose -4*y - 5*c + 31 = 0, k*y - 36 = -4*c + 14. Let o(g) = -3*g - 5. Let i be o(-6). Which is greater: y or i?
y
Let s = 18 - -27. Suppose -g - f + 27 = 0, -g = -4*f + 8 - s. Which is smaller: 31 or g?
g
Let v be 2/(-1)*(-1)/(-2). Let a be 152*(-