t j be z(c). Which is smaller: f or j?
j
Suppose 5*w - 21 = 2*z, -2*z = -w - 2*w + 15. Suppose -17 = -w*v - 4*j, -v - 1 = 2*j - 10. Which is greater: 0.24 or v?
0.24
Let k = -0.0673 + -5.9327. Let p = 0.07 + -4.07. Let s = 5 + p. Which is smaller: s or k?
k
Suppose o + 7 = -c, 31 = -4*o + 3*c - 4*c. Suppose 2*z - 2*n + 19 = -1, 0 = n. Which is bigger: z or o?
o
Let x = 1/136 - 63/3944. Let l = -2563189/1526676 + 16/4387. Let d = x - l. Which is smaller: -1 or d?
-1
Let s = 30 + 62. Suppose -s = -0*f + 4*f. Is f != -24?
True
Let j be 2 - (-1)/(7/(-15)). Let v be 2/(-9 + 11 - (-8)/(-2)). Which is smaller: v or j?
v
Let s be ((-1)/(-1) + -1 + -2)*140. Which is smaller: s or -279?
s
Let f(k) = k**3 + 6*k**2 - 4*k - 44. Let g be f(-5). Is g smaller than -1/7?
False
Suppose 0 = -9*q + 7*q - 3*a, -5*q + 2*a - 38 = 0. Are q and 8 equal?
False
Let v = -2 - -2.1. Which is greater: v or -0.04?
v
Let k = -160 - -295. Is 134 equal to k?
False
Let p = -30.2 + 56.2. Does 0 = p?
False
Let o = -4421 + 48625/11. Let i = -3 + 8. Suppose -i*h - 1 - 4 = 0. Which is smaller: h or o?
h
Suppose -3*r = 4*g + 4 - 2, -2*g + 5*r = -12. Let j be (g - -1) + (2 - 6). Let x be (j/(-3))/((-8)/(-12)). Is -1/42 > x?
False
Let r be (1 - 2)/((-204)/(-3120)). Which is smaller: -14 or r?
r
Let h = -21300 + 9734095/457. Which is smaller: h or -1?
-1
Let c = 8 + -84/11. Is -2/35 less than c?
True
Let c be (4/6*-42)/(-1). Which is smaller: c or 3?
3
Let i = -1.32 + 1.24. Which is smaller: 27 or i?
i
Suppose -3*y = -y + s + 9, 0 = -4*y - 4*s - 24. Let r be (6 + y - 0)/(2/(-22)). Is r greater than -32?
False
Let j be ((-6)/34)/1*18/(-27). Let u be -2*(1 + (-3)/6). Which is smaller: u or j?
u
Let m be (1304 + 2)*2/6. Let z = -431 + m. Is 3 greater than or equal to z?
False
Let o be 164/28 + (-4)/(-28). Let j be ((-22)/16 - -1)*o. Which is smaller: -3 or j?
-3
Let t = -1644 - -1641. Is 11 greater than t?
True
Let n be 7/(2 - 0/7). Which is greater: n or 1?
n
Let y = -87 + 50. Let k = -9 - y. Is k bigger than 28?
False
Suppose -6*h - 21*h = -9*h. Which is bigger: 183 or h?
183
Let g = -26 + 27.1. Let p = g - 1.1. Let q = 8.4 + 0.6. Which is greater: q or p?
q
Let f = -0.38 + 51.38. Let n = -50 + f. Let u be -5*(0 + -1 + 2). Which is smaller: n or u?
u
Let y be 0/((-4)/12*3). Is -3/115 smaller than y?
True
Suppose -2*j - 26*a + 30*a + 6 = 0, 10 = -5*a. Is 1/1271 > j?
True
Let m(o) = -2*o - 6. Let b be m(-2). Let c be 3/(-54)*3*b. Is c smaller than 3?
True
Let l = 690 + -688. Is l not equal to 152?
True
Let w be (11/22)/(1/(-2)). Let u be 4/(1/(-1)) + w + 4. Is 1/4 greater than u?
True
Suppose -10*i = -7*i - 2*h - 1273, -1271 = -3*i + 4*h. Is i equal to 423?
False
Suppose -3*x + 6*x = -2*u - 12, -4*u + 20 = -5*x. Suppose j + 14 = -u*j. Let b be (47/j + 3)*-2. Is b > 0?
True
Let y(p) = p**2 + 30*p + 99. Let b be y(-18). Is -118 bigger than b?
False
Let b(y) = 10*y**2 + 18*y - 19. Let d(o) = -3*o**2 - 6*o + 6. Let u(a) = -2*b(a) - 7*d(a). Let r be u(-5). Is r not equal to -10?
True
Let d = -154/61 + 55681/21838. Is d smaller than 0?
False
Suppose -5*t - 5*j = -5, j = 2*t + 6*j + 1. Suppose 4*l + 42 + 6 = 0. Let i be (3/l)/(2/(-12)). Which is smaller: i or t?
i
Let z(s) = -s**3 + 6*s**2 - s + 2. Let x be z(6). Let i be 4 - (-2 + x)/(-3). Suppose -15 = y - 0*y + 4*r, -y - i*r - 7 = 0. Which is smaller: 3/2 or y?
y
Suppose 2*s = 3*w, -34*w = -30*w + 4*s. Let j = -816 + 53857/66. Is j equal to w?
False
Suppose -3*g = -3*k - 6, -2*g - g = -5*k - 10. Suppose -r - o = 48, 4 = -4*o - g. Which is greater: -46 or r?
-46
Suppose 2*w - 5*s + 212 = -159, w + 5*s = -178. Which is smaller: w or -182?
w
Let a = -110.39 - 3.61. Is -0.4 at most as big as a?
False
Suppose -l - 5 = 5*g, 4*l + 1 - 21 = 0. Suppose 0 = 2*t + 25 - 17. Let h be 1*(t + 2 + 1). Is h at least as big as g?
True
Let o be (-1866*1/(-12))/(2 - 1). Is 155 > o?
False
Let c = -82 + 144. Suppose -2*i + 36 = -2*u, -2*i = -5*i - u + c. Suppose 215*j + 100 = 220*j. Is i less than or equal to j?
True
Suppose -10*k = -5*k - 630. Is 127 at most k?
False
Let m = -23/5 + 143/30. Let p = -2381 - -11903/5. Is p at most m?
True
Let y = -1421 + 1438. Let r = -0.02 - 0.98. Which is smaller: y or r?
r
Let f be (-2 + 63/35)*5/18. Let j = -11/36 - f. Which is greater: j or -7?
j
Let z = 226 - 225. Which is smaller: z or -97?
-97
Let m(x) = 2*x**2 - 30*x - 27. Let h be m(15). Let s = -1/6 - -19/42. Which is bigger: s or h?
s
Suppose k = -w - 3, -3*w + 5*k = -11 - 20. Suppose 2*d - 3*x = 0, 0*d - 4*x = -d - 5. Let r be (-2)/8*(-5 + d). Which is smaller: r or w?
r
Let g = -208 + 60. Which is smaller: g or -147?
g
Let y = -2 - -11. Suppose -3*m + 7 = -t - 5, 0 = -5*m - 2*t + y. Which is bigger: -1 or m?
m
Let q(b) = -b**3 - 6*b**2 - 4*b - 7. Let f be q(-7). Suppose -8*m + 13*m - f = 0. Suppose -a - m = -20. Are 9/2 and a non-equal?
True
Let u = -0.0938 + 0.0538. Is u > 3/5?
False
Let w = -25.6 + 0.9. Let r = w + 25. Are -0.01 and r nonequal?
True
Suppose 10 = 5*n - 0. Let k be (2/(-8)*-8)/(1*n). Is k smaller than 3/23?
False
Let b be 4/22 - ((-282)/(-66))/(-1). Which is smaller: 5 or b?
b
Let u(s) = 6*s + 2. Let r be u(3). Let p be 21/322*(r - 0). Let v = 764/621 - p. Which is smaller: v or 1?
v
Let x be 1*0/(-6 + 3). Suppose x = 12*a - 7*a. Which is bigger: a or -2?
a
Suppose 47 - 95 = 48*m. Which is bigger: -7/334 or m?
-7/334
Let i = -265 - -393. Is 129 <= i?
False
Let x = -94.35 - 2.75. Let u = -80 - x. Let w = u + -17. Is w < 2/43?
False
Let y = 46.1 + -43. Let u = -2.2 + -0.8. Let n = u + y. Is 0 != n?
True
Let p be (-3 + -956*4/(-32))/(-1). Is -116 less than p?
False
Let x be 0 + (-5)/(-25)*0. Let f(j) = 3*j - 2 + x + 2*j + 3. Let r be f(-1). Are 1 and r unequal?
True
Let q = 142.9 + -189. Let b = q + 44. Let r = -2 - b. Which is smaller: -1/11 or r?
-1/11
Let h = 97 + -85. Suppose 21*b - 25*b = h. Which is bigger: -2 or b?
-2
Let a = -589/4 - -147. Let w = 0.68 - 0.6. Is a at most w?
True
Let q(g) = -g + 18. Let r be q(15). Suppose -3*t - 3*v = -4*v + 9, -t - r = 5*v. Are -3 and t nonequal?
False
Let y = -0.08 + -0.12. Which is greater: 7 or y?
7
Suppose 20*l - 19*l + 39 = 0. Which is smaller: l or -40?
-40
Suppose -34*t + 30*t = -24. Let s be ((-27)/t)/((-2)/(-8)). Which is greater: s or 0?
0
Let a be ((-85800)/56)/(-13) + 5. Which is smaller: a or 122?
122
Let x(c) be the third derivative of -c**4/24 + c**3/3 - 32*c**2. Let u(a) = -6*a + 1. Let g be u(1). Let d be x(g). Which is smaller: 11/2 or d?
11/2
Let o = -0.2574 + 0.0874. Which is smaller: o or 2?
o
Suppose -5*l = -0*l - 35. Let j be 2/l - 861/1470. Are j and 0 equal?
False
Let s = 0.015 + -0.965. Let v = s - 0.05. Let k = 5 + -10. Which is smaller: v or k?
k
Let r be 2*22*(4 - 3). Suppose -1 - r = -3*c. Suppose x - c = -4*y, 2*y - 4 - 4 = 0. Which is greater: x or 3/17?
3/17
Let q(c) = -c**3 + 4*c**2 + 3*c + 6. Let f be q(5). Let a be f - ((-16)/9 + -2). Let t = 1 + 0. Which is smaller: t or a?
a
Let v = 54 - 48. Suppose -3*i = 5 - 26. Suppose 2*f = i*f. Which is bigger: f or v?
v
Suppose -30*k + 8*k + 5214 = 0. Let w be (-4 - (-46)/11) + k/(-33). Do w and -6 have the same value?
False
Suppose 4*u - 9*u = -10. Let t be (u - 9/3)*2. Which is smaller: -1 or t?
t
Suppose -3*i - 3*k + 21 = 0, -5*i + 65 = -22*k + 17*k. Which is smaller: i or 138/13?
i
Suppose 0 = -9*l + 6*l - 63. Let j = 7 - l. Is 27 at least as big as j?
False
Let z = -216 + 247. Which is greater: z or 0?
z
Let o be ((-1)/3)/(10/60). Let h be (-2)/2*3228/21. Let b = -154 - h. Which is smaller: b or o?
o
Let s(a) = 5*a**2 - 10*a - 9. Let t be s(-1). Do 69/10 and t have different values?
True
Let k = -12 - -46. Let l = k - 20. Let i be (-44)/l + 12/4. Which is smaller: -1 or i?
-1
Let n(w) = -w**2 + 37*w + 18. Let c be n(0). Which is greater: 228/13 or c?
c
Let h = 15 + -9. Let m = h - 5. Is m != -5/14?
True
Suppose -2*x + 5*i = 6*i - 6, -2*i + 6 = -2*x. Let l(p) = p**2 - 9*p + 7. Let k(o) = o**2 + 15*o + 58. Let s be k(-10). Let z be l(s). Which is bigger: z or x?
x
Let c be -4*(35/(-4) + 0). Let x be (-144)/32*(1 - 87/9). Let u = x - c. Is u bigger than 5?
False
Let l(d) = -d**2 + 11*d + 9. Let y be l(8). Let r = y + -41. Let z be (r/(-20))/((-16)/20). Are z and 0.01 equal?
False
Let y(b) = -56*b**3 + 111*b**3 + 14*b**2 - 11 - 53