*k + 45 = 0. Which is greater: b or i?
b
Let m = -37 - -9. Let g = 7 - m. Which is smaller: 36 or g?
g
Let i = -360 - -426. Which is smaller: 131/2 or i?
131/2
Let v be 2*5*10/50. Suppose 0 = -v*t - 0*t. Is 2 bigger than t?
True
Let h(z) = 5*z + 8. Let y be h(-6). Let g be 24/10 - y/(-55). Suppose 4*p - 1 = -5*c, -2*p + c = p + 4. Are g and p equal?
False
Suppose 6*k - 8 = 4*k. Suppose 25 = 2*s + 5*v, 5*s + 0*s = -4*v + 20. Suppose -f - k = -s*f. Is f at least -6?
True
Let a be (-10)/3*15/(-10). Suppose -a*g = -2*c - 15, 8*g - 3*g - 10 = c. Which is smaller: g or 2/111?
2/111
Let y(f) = f**3 + 9*f**2 - 3*f - 11. Let l be y(-9). Suppose 2*k = -j - 4, -l = 5*k + 2*j - 4. Let s(d) = -d + 3. Let i be s(4). Which is bigger: k or i?
i
Let w = -922 - -921. Which is smaller: -11/92 or w?
w
Let m be 10/(-4)*((-154)/(-35))/(-11). Is -1/38 != m?
True
Let a be 2*-1 + 288/(-12). Let k = a - -24. Is -7/8 greater than or equal to k?
True
Let o(i) = 2*i**2 - i - 1. Let k be o(-3). Let p be (-21)/k + 8/32. Suppose -3*t + t = 5*m - 8, 2*t = 4*m - 10. Is p at least as big as t?
True
Suppose 0 = -2*h - 0*s - s - 54, 4*h = -s - 106. Let k = h - -27. Let x be -2 + 2 - (k - 0). Are x and -4/11 unequal?
True
Let b(g) be the second derivative of g**4/12 - 2*g**3/3 - 36*g. Suppose 4*l + 9 = 29. Let t be b(l). Are 6 and t nonequal?
True
Let q be (145/(-50))/(3/(-4)) - 4. Which is smaller: -3 or q?
-3
Let f = 4899/7 + -699. Is 0.14 greater than f?
False
Let k = 10 + -11. Let w(i) = -i**3 - i**2 - 2*i - 1. Let s be w(k). Let c be ((-2)/35)/(s/(-5)). Which is smaller: 1 or c?
c
Let c = 4.06 - 4. Let a = c - 0.06. Let d = 4.8 + 4.2. Is d less than a?
False
Let o = -0.5 - -0.6. Let k be 640405/(-21385) - ((-24)/13 + 2). Let d = k - -211/7. Which is smaller: d or o?
d
Let z = -592 + 588.47. Let o = -0.53 - z. Let y = 0.04 - -2.96. Is y at most as big as o?
True
Let y be 2 - (-27)/(-15) - 39/(-5). Is 2 <= y?
True
Suppose 42*o - 26*o = 1664. Which is greater: o or 109?
109
Let z = -385 - -241. Which is smaller: -724/5 or z?
-724/5
Let d(k) = 237*k - 992. Let t be d(8). Which is smaller: 903 or t?
903
Let r = -153 - -155. Suppose -5*v + 0*l + l = -2, 0 = -3*v - 5*l + 18. Let b be -3 + 1/(v/r). Is 1 less than b?
False
Suppose -2*u - 2*u = -3*k - 43, -u = 3*k + 38. Let f = 158 + -171. Let i = f - k. Which is greater: 6 or i?
6
Let s = -629 - -628. Which is smaller: s or 1/292?
s
Let r = -220 - -222. Let n = -0.7 - -0.2. Let w = -4.5 + n. Which is greater: w or r?
r
Suppose 5*j + 19 = 22*o - 18*o, 5*o = 5. Which is smaller: -84 or j?
-84
Suppose -4*l + 5*w = 457, 0*l + 4*w - 452 = 4*l. Let y be (-2)/(-8) + l/(-16). Is -4/3 smaller than y?
True
Let s be (-6)/27 - 490/63. Which is bigger: s or 13?
13
Let w = -21 + 25. Suppose 0 = 3*y + k - 183, -1 = -y + w*k + 60. Suppose 0 = -4*j - y + 13. Is j at most -12?
True
Suppose 1 = f + 3*m + 13, -2*m + 26 = -5*f. Let b(i) = i + 5. Let x be b(f). Let a(v) = -v**3 - 3*v**2 - 1. Let r be a(-3). Is r bigger than x?
False
Let p be 237 - (14*(-4)/(-8) - 0). Which is smaller: 228 or p?
228
Let q be -7*4/(-252) - (-2265)/27. Is 84 != q?
False
Let w(l) = l + 9. Let j be w(-6). Suppose 0 = -q - 3*q - 3*a + 36, -2*q + 5*a = 8. Which is bigger: j or q?
q
Let q = 825 + -813. Suppose -5*k = -15, i - 2*k - 18 = -4*k. Are i and q unequal?
False
Suppose -2*m = -7*m - 45. Let q = m + 10. Let f be (q + 0)/(4/8). Which is smaller: f or -0.1?
-0.1
Let w be 19/2 + 3/2. Suppose w*m + 520 = 3*m. Does -64 = m?
False
Let y(k) = -6*k**3 - 3*k**2 + 2. Let a be y(-1). Suppose -66 + 281 = -a*v - 5*g, 0 = 2*v - 2*g + 70. Which is greater: 1 or v?
1
Let i(v) = v - 4. Let m be i(-5). Let k be (-2*(-49)/(-28))/(2/4). Which is smaller: k or m?
m
Let w(z) = -z**3 - 13*z**2 + 8. Let c be w(-13). Let q be -4*(20/c - 2). Is -1 at most q?
False
Let c(v) = 0*v + 1 + 3 - 2 - v. Let l be c(-9). Let m be l*((-48)/(-15) + -3). Is m >= 0?
True
Let y(x) = -2*x**2 - 13*x - 49. Let i be y(-12). Is -181 bigger than i?
False
Suppose 0 = -2*r - h, 2*r = 5*r - 4*h. Are r and 8/35 nonequal?
True
Suppose -2*f - 21 = -5*d, -3*f + 7*f + 4*d = 28. Suppose 2*u - 3*u = f. Let h be -3 + -2 + -3 + 3. Is h != u?
True
Suppose -2*l + 12 = 4*u, 4*u = 2*u + 4. Let i = 3 - l. Is i at most 20/11?
True
Let j = -1190 - -1191. Which is greater: -12/65 or j?
j
Let r = 8.6 - 8.55. Let v = r + -2.05. Which is smaller: -0.6 or v?
v
Let m = -557 + 556. Are m and -1/309 equal?
False
Let j be (4/10)/(3/225). Let a be 15*-1*j/75. Is -2 < a?
False
Let m be (879/(-3)*-3)/(-5 + -2). Let w = m + 125. Is -2 less than w?
True
Let t(s) = s**2 - 6*s + 5. Let m be t(6). Suppose 3 = -z + 2*x - m, 0 = -3*z + 3*x - 12. Let c be 21/63*4*(-3)/4. Which is bigger: z or c?
z
Let b(w) = -2*w**2 - 65*w + 29. Let u be b(-33). Suppose 5*r = 2*r - 6. Which is smaller: r or u?
u
Suppose 356 = -5*o + 41. Let s = o + 33. Which is smaller: s or -31?
-31
Let l be 3/(6/4) + 1. Suppose 6*j + l = -9. Let a = -3128/9 - -347. Which is smaller: a or j?
j
Let t(g) = 3*g**2 + 16*g - 18. Let x be t(-10). Is -1 at most x?
True
Let d = -2/7245 + -2896/7245. Which is smaller: 0.66 or d?
d
Let d(t) = -2*t**2 + 28*t - 2. Let o be d(12). Are 45 and o equal?
False
Let d = -18 + 18.55. Let x = d - 0.49. Is x equal to -1/6?
False
Suppose -129 = -4*q + o - 0*o, o + 63 = 2*q. Let f(t) = -t**2 + 13*t - 4. Let a be f(4). Are q and a equal?
False
Suppose 0*v - 2*v = 4*c + 34, c = 5*v + 118. Are -11 and v non-equal?
True
Let g be (24/16)/(((-1)/(-2))/1). Suppose -g*b - 6 + 30 = 0. Do b and 8 have the same value?
True
Let b = -470/21 + 1745/42. Is b not equal to 18?
True
Let c be 25/3 - (-46)/69. Is c smaller than -1?
False
Let f = -788 + 788. Is 16 less than or equal to f?
False
Let r = -0.589 - -0.589. Is r not equal to 9.6?
True
Suppose -5*i - 252 = f, -f - 52 = -4*i + 5*i. Let k be (-15)/111*4/i. Which is smaller: k or 1?
k
Let o = 0.0632 + 62.3368. Is o less than or equal to 0?
False
Let k be 4/(-10) - ((-768922)/455 - -7). Let j = 1681 - k. Are j and -2 non-equal?
True
Let n be (16/(-9))/8*-1. Suppose 0 = -2*v + 3*p - 13, p - 2 = -5*v + 8. Which is smaller: n or v?
n
Let k = 12.89 + -13. Let i = -0.01 - k. Let b be -3 + 36/14 - -1. Is b less than or equal to i?
False
Let g = 488 - 531. Is g >= -51?
True
Suppose 9 = -3*d, -2*p + 93 = 2*d - 19. Let a = p - 54. Which is bigger: 3 or a?
a
Let i be -1 - -1 - (-2 - 133/(-21)). Let w(p) = p**2 - 8*p + 2. Let q be w(8). Let u = q + -5. Is u bigger than i?
True
Suppose 49*u + 1864 = 2*k + 45*u, 4*k - 4*u = 3708. Is k greater than or equal to 922?
True
Let d(t) = -21*t - 1. Let m be d(3). Which is greater: m or -66?
m
Let j(p) = -21*p + 66. Let o(t) = 7*t - 22. Let a(y) = 6*j(y) + 17*o(y). Let l be a(3). Which is smaller: -1/8 or l?
-1/8
Let x = -48.048 - -0.048. Let b = 48 + x. Which is greater: 7 or b?
7
Let u(c) = -c**3 + 5*c**2 + 2*c + 5. Suppose 0*r + 4*r - 16 = 0. Let d be u(r). Let a = d - 18. Do a and 9 have different values?
True
Let l(o) = 127*o + 18. Let d be l(-4). Let i be -1*1 - d/470. Which is greater: i or -1?
i
Let h = 0.323 + 6.777. Is 0.1 greater than h?
False
Let u(b) = -b**3 + 18*b**2 + 37*b + 61. Let j be u(20). Is j at least 1/368?
True
Suppose 0 = -5*m + 2*r - 273137, -273157 = 5*m + r + 2*r. Let w = -6500534/119 - m. Let y = 38/17 - w. Is y <= 1?
True
Let m(w) = w + 55. Let g(k) = -2*k - 166. Let f(s) = -6*g(s) - 17*m(s). Let r be f(12). Which is greater: -2/9 or r?
r
Suppose -d - 13 = 4*g, 3*d + 3*g + 0*g = -12. Is d bigger than -35/18?
True
Suppose 4*l + 2*g - 1 = g, -2*g + 2 = l. Is l less than -5/27?
False
Let b be ((-12)/64)/((-10)/(-8)). Let m be (10 - 13 - -3*1)/1. Is b at most m?
True
Suppose 0 = 76*q - 71*q + 25. Let l be (q/1)/(1 - -3). Which is smaller: -2 or l?
-2
Suppose 1 = 2*p - 17. Suppose 14 = c + 2*k, -3*c - k = -27 + 5. Let u be (15/c - 1)/p. Which is bigger: -1 or u?
u
Let w(y) = -y**3 + y + 14. Let r be w(0). Let c be r/77 + (-42)/(-11). Suppose -5*l + 58 = -5*m - l, -5*m - c*l - 42 = 0. Are m and -10 unequal?
False
Suppose -a = -8*a + 14. Let f be 5/(20/(-8)) - a/(-2). Which is smaller: -1/19 or f?
f
Let l = -1741 + 12225/7. Is 4 at least l?
False
Suppose 6 = 3*b + 33. Let c be b/(-6)*(-2)/12. Suppose 3*t + 4*m + 11 = 0, -5*t + t - 6 = m. Which is greater: t or c?
c
Let h 