 27/18. Is -2 at least as big as l?
False
Let t = -4.4 - -4.4. Let c = 12.6 + 3.4. Is c less than t?
False
Let b = 1599 + -1607. Suppose 1 + 45 = -3*t - 5*c, -3*t + 4 = -5*c. Which is smaller: b or t?
b
Let k = 4 - 5. Let f be (-5)/(-2)*4/5. Suppose 0*z + 3*z = -n - 8, 6 = -f*z. Which is bigger: k or n?
n
Let q(r) be the second derivative of r**3/3 + 15*r**2/2 - 2*r. Let f be q(-9). Is -3 equal to f?
True
Suppose -x + 63 = -10*x. Which is smaller: x or -12?
-12
Let y be 12/(-4) + 0 - (2 + 1). Let j be (-9)/4*16/6. Is j greater than or equal to y?
True
Suppose 6*k = k - 3*g + 42, -5*k = 2*g - 38. Suppose 12 = -k*s + 30. Let j be (12/10)/((-2)/(-10)). Are j and s equal?
False
Let x be (5 - 84/18)*6. Which is smaller: -730 or x?
-730
Let c = 150.4 + -158.21. Let l = c - -7.5. Let n = 0.11 + l. Which is smaller: n or 0.4?
n
Let o be (-1)/(-1)*(6 - (2 - -1)). Suppose -o*i - 7 = -1. Is i <= 11?
True
Suppose -2*t - 30 = -46. Suppose -9*a - t = -a. Suppose -3*o + 5*o = 0. Which is smaller: o or a?
a
Suppose -5*c - 312 = -272. Suppose l + 2*b = -15, l = -3*l + 3*b - 16. Which is bigger: l or c?
l
Let l = -856 + 860. Are l and -2/115 non-equal?
True
Suppose u = 2*u + 1. Let n = 26176/23 - 1138. Which is smaller: n or u?
u
Let t be 8 + 140 + 8 + -7. Do t and 149 have the same value?
True
Let w = 51.3 + -53. Let y = 1.28 - -0.42. Let m = y + w. Is m smaller than 3?
True
Let c = -2024 + 2023. Do -7/150 and c have the same value?
False
Suppose 4*b + 8*y = 7*y - 24, -b - y - 9 = 0. Suppose -4*c = -3*c - 14. Let d = b + c. Which is bigger: 10 or d?
10
Let d = -13 - -18. Let a(r) = 24*r + 6. Let n be a(d). Let s be ((-4)/(-10))/(n/(-10)). Which is bigger: s or -1?
s
Suppose 3*c + 5 = -u, -3*c + 6*u - 7 = 8*u. Are 6/55 and c nonequal?
True
Let g = 203 - 203.1. Is g at least -91?
True
Suppose -192 = -3*t + 3*d, 7*t - 3*t = 5*d + 260. Let j be (-5)/(-37)*24/t. Is -1 at most as big as j?
True
Suppose 5*d = -25, 7*d = 5*y + 4*d - 15. Let z be 0 + y/((-8)/4). Let f be -2*(z - (-1)/(-13)). Is f smaller than -1?
False
Suppose 33*n + 47*n + 392 = -18*n. Let d(s) = s - 5. Let p be d(0). Is n > p?
True
Suppose -s + 47 = 4*v, -5*s + 3*v + 77 = -112. Let x be s/52 - (-9)/(-44). Are x and -2/11 non-equal?
True
Let n = 162 + -219. Are n and -56 non-equal?
True
Let a = -9 + 29/3. Let d = -818 - -797.46. Let c = 0.54 + d. Which is bigger: c or a?
a
Let t be (-1 + (-51)/(-21))/(8/56). Suppose -3*h + 3*l = -75, -h = t*l - 6*l - 35. Are 29 and h unequal?
True
Let p(c) = c**2 + 11*c + 13. Suppose 0 = l + 3 + 6. Let a be p(l). Is -19/4 smaller than a?
False
Let q(k) = 7*k + 15. Let m(d) = 3*d + 7. Let v(c) = -5*m(c) + 2*q(c). Let h be v(-8). Suppose 5*r - 2*w + 4 = 18, -5*w = h*r - 27. Which is smaller: r or 7?
r
Let m = 5.5 + -2. Let w = m - 19.5. Let l = w + 16. Which is smaller: l or 4/11?
l
Let r = 8593/7 + -317970/259. Let l = -20/37 - r. Is l < 1?
True
Suppose -5*x + 427 = 3*i - 2396, 0 = -3*i + 2*x + 2823. Let u = i + -42343/45. Which is smaller: u or -1?
-1
Let v(d) = -d**3 - 6*d**2 + 7. Let i be v(-5). Let k be (-1 + -11)/((-15)/(-20)). Which is greater: k or i?
k
Suppose 27 = 3*c - 18. Let p = 3 - c. Let w be ((-9)/(-2))/((-6)/p). Is 6 > w?
False
Suppose -15*c - 4*m + 17 = -14*c, 0 = 3*c - 3*m - 6. Is 1/4 >= c?
False
Let c be ((-2)/11)/(-2)*2. Suppose h + 5*h = 162. Let t = h + -28. Is c at least as big as t?
True
Let z = -0.01 - -0.11. Let v(s) = 8*s - 36. Let h(y) = -3*y + 12. Let l(u) = -14*h(u) - 5*v(u). Let i be l(0). Which is smaller: z or i?
z
Suppose -3*p - 2*t + 226 = 0, -3*t + t - 154 = -2*p. Let u = -41 + p. Is u equal to 35?
True
Let z(l) = 2*l + 21. Let j be z(-9). Suppose 3*y - 4*y = j*y. Which is greater: -16/11 or y?
y
Suppose 4*c + 2*h - 5 - 1 = 0, 0 = -2*h + 2. Is c at least as big as 22?
False
Let i be 1 - (0 - 0) - -2. Let x be 26/13*22/4. Suppose -6*r + 7 = -x. Is i != r?
False
Let a be 722/(-418)*(-19)/(-3) + 12/(-198). Let d = -5 + 21/4. Is d smaller than a?
False
Let v = -636/25 + 12262/425. Which is greater: 4 or v?
4
Suppose 31 = -5*y - t - 6, -2*t = 4. Is -7 equal to y?
True
Let x = -1596/25 - -14909/100. Let g = -85 + x. Let j be (-1)/(1/1) + 9. Which is greater: g or j?
j
Let l = -419 - -420.24. Which is greater: l or -2?
l
Let g(b) be the third derivative of -b**4/24 + b**3/3 - 5*b**2. Let u be g(0). Let a = -93 + 191/2. Is u not equal to a?
True
Suppose -29 = 7*l - 92. Let j(c) = -c**3 + 9*c**2. Let b be j(l). Which is greater: -2 or b?
b
Suppose 4*c + 3*x - 92 = 0, -6*x + 3*x = -2*c + 64. Let f = c - 23. Which is greater: 0.02 or f?
f
Let v = 10 + 0. Let f be (v/9)/(-5) - 17/(-117). Which is bigger: 1 or f?
1
Let a = -1582 - -11076/7. Let f be (1/3)/(1/3). Which is greater: f or a?
f
Let j be (-1803)/495 + 24/(-40). Which is greater: j or -5?
j
Suppose -11*o = -12*o + 100. Let d be (2/5)/((-340)/o). Which is smaller: d or -1?
-1
Let w be (-570)/50 + -1 + (-5)/1. Which is smaller: -17 or w?
w
Let d = 0.53 - -1.47. Let z = 6.3 + -2.3. Does d = z?
False
Let p = -9 - -12. Let q = p + -2. Let o = 0.9 + -1.5. Is q less than or equal to o?
False
Let v(f) = f**3 - 18*f**2 - 4. Let o be v(18). Let y = 1 - o. Let h be y/5 + 3 + -4. Is 11 less than h?
False
Let n be 4/22 + 70/(-22). Let h = 12816 - 525424/41. Let l = -391/287 - h. Which is smaller: l or n?
n
Suppose -5*w = -4 + 34. Let a be -4 - w*(-2)/(-3). Which is bigger: a or 1?
1
Suppose 2*d + a = -1, 2*a + 2 = -3*d + 1. Let y = 59/145 - 1/5. Is y at least as big as d?
True
Let c = 10 - 10. Let b be c - 2 - (-2 - (1 - -3)). Let k = -6 - -12. Do b and k have the same value?
False
Let k(s) = s + 4. Let m = -23 + 36. Let n be k(m). Which is smaller: n or 19?
n
Let t = 1.9 - 4.2. Let g = -2.4 - t. Is g at least as big as 12?
False
Let s = 3613/4 + -661187/732. Are s and -2/7 equal?
False
Let c = 7/9 - 1/9. Let b be -1 + 6 + -3 + 0 - 2. Suppose 0 = -2*z - b*z + 3*z. Which is smaller: c or z?
z
Suppose -3*b + 202 = -101. Suppose 29 = 5*l - b. Let p = l + -20. Is p greater than 0?
True
Let h = -20 - -26. Let y = 19 - h. Which is bigger: y or 2?
y
Let q = -19 - -11. Let c be 1/6*280/(-7). Do c and q have the same value?
False
Suppose -q + 25 = 4*q. Suppose -2*f + 4 = 4*o, q*f - 10 = 2*o - 4*o. Let t(c) = c**3 + 3*c**2 + c + 1. Let d be t(-2). Which is bigger: d or o?
d
Let j = 20762 - 643566/31. Is 1 smaller than j?
True
Suppose -4*r + 616 = -5*l, 4*l + 2*r + 431 = -41. Is l > -1078/9?
False
Let x = -24 + 22. Let r be 252/(-8) + 4/x. Let m = -34 - r. Are 0 and m equal?
False
Suppose -2*l = -4 - 0. Let k be 4 + ((-16)/10 - l). Is -10 <= k?
True
Suppose -w + 5 = -4*t + 15, 12 = t - 5*w. Suppose 0 = 4*i - k + 23, t*i + 6 = -i - 3*k. Let m = 3.55 - 4.55. Is m less than i?
False
Suppose 5*s - 208 = 4*s. Suppose -b - 4*v + 92 = b, 4*b - 4*v = s. Is b less than or equal to 51?
True
Let f = 1192/60605 + 12/1955. Is f equal to 0?
False
Let l be -3 - (-7 + 6/3). Suppose -f - 12 = l*f, 3*k - 3*f = 0. Let h be 8/k + 2 - 2. Is h at most -5/8?
True
Suppose -3*g = -2*f + 42, -2*g + f - 15 = -g. Let b be 46/(-4)*(1 - -1). Let k = g - b. Which is smaller: 10 or k?
10
Let a(r) = 22*r**2 + 4*r - 3. Let t be a(1). Is 14 greater than t?
False
Suppose 3*b - 31 = -25. Suppose -b*v - 18 = -4*o, 3*o + o - v = 19. Is o not equal to 34/7?
True
Let m = -736 - -829. Which is smaller: -2 or m?
-2
Suppose -c + 2*c = 2. Let w be (-4 - (-35)/10)*-8. Suppose w*k + 4 = 6*k. Do k and c have the same value?
True
Suppose -23*k = 37*k + 9960. Which is bigger: -502/3 or k?
k
Suppose p - 25 = -17. Suppose 6*o = -2*o + p. Which is smaller: o or -1/24?
-1/24
Let u = 11381/10 - 1138. Which is smaller: u or 2.1?
u
Suppose -55*f + 42*f = -481. Which is smaller: 7 or f?
7
Let u = 587 - 243. Let h = u - 3788/11. Are 1 and h equal?
False
Let u = -266 - -265. Is u not equal to 1/13?
True
Let v = -4.7 - -4.7. Let p = -322.02 + 325. Let b = p - -0.02. Is b equal to v?
False
Let k = -63 - -62. Suppose 43 = -5*g - 2*v, 3*g - 3*v + 5*v = -29. Which is bigger: k or g?
k
Suppose -12*v + 2*v = -240. Let r be (-18)/8 + (-18)/v. Which is greater: r or -12?
r
Let z = 3/4 - 1/4. Let a = -108 + 107.41. Let g = 0.41 - a. Which is greater: g or z?
g
Let y = -231 + 68. Let f = -148 - y. Which is smaller: f or 11?
11
Let v = 26812987/913 - 29368. Are 0 and v equal?