r 0?
0
Let v = -5533 + 38863/7. Is 18 less than v?
True
Let t = 45.6 - 42. Let h = -3.5 + t. Which is bigger: h or -1.6?
h
Suppose 40 = -0*s + 5*s. Let o(h) = -h**3 + 7*h**2 + 8*h - 5. Let j be o(s). Let f = -5 - j. Which is smaller: -4/5 or f?
-4/5
Let i = 18 - 17. Let a be (i + (-50)/5)/(-1). Let n be 15/(-6) + a/6. Is n less than -2/43?
True
Suppose h - 9 = -3*o, -h - 2*h = 5*o - 15. Let b(v) = -13*v**2 + 12*v**2 - o + 2*v + 4. Let j be b(-2). Is j > -7?
False
Let t = 123 - 123.071. Let u = t + 0.061. Which is greater: u or -0.2?
u
Suppose -2*q + 5*q - 259 = -x, 3*q + 3*x - 267 = 0. Do 3 and q have the same value?
False
Suppose -642 = 14*q - 8*q. Let l = -103 - q. Are 4 and l non-equal?
False
Let t be 44/3 - (-6)/(-9). Suppose -4*o = -l + 10, -4*o - t = 4*l - 2*o. Let x be (2/4*0)/l. Which is greater: -2/29 or x?
x
Let i(k) = k**3 - 4*k**2 - 2*k + 4. Let m be i(2). Let u = m - -12. Are 4 and u nonequal?
False
Let s = 47 + -44. Suppose 3*g - 2*i - 25 = 0, -g + 15 = -i - s*i. Which is smaller: 8 or g?
g
Let d be (-6)/((-42)/791) - -3*1. Let a = -124 + d. Is -8 at least as big as a?
True
Let g = 6 - 1. Suppose -l + g*v - 2 = -0, 0 = 2*l - v - 5. Suppose 0*d + 25 = -2*y + d, -l*d + 45 = -3*y. Which is bigger: -29/3 or y?
-29/3
Suppose 14*g + 1 - 183 = 0. Let a = -6 + 13. Suppose -g = 5*y + a. Which is smaller: -5 or y?
-5
Let v be (46/(-4))/(916/(-8)). Let f = 9047/3435 - v. Let q = f - 37/15. Does 1 = q?
False
Let p be 15 + -17 + -1 + 2. Let v be 0/(2 + -1) + p + 2. Which is bigger: -14/29 or v?
v
Let t = -43 - -43.47. Let x = 3.53 + t. Let l be ((-3)/(-8))/(18/(-8)). Does l = x?
False
Suppose -3*g - 3*f - 2*f + 26 = 0, -g = -2*f + 6. Let s = g + 2. Are s and 13 nonequal?
True
Let x(c) = -c**3 + 10*c**2 - 2*c - 13. Let o be x(10). Let l = o + 35. Which is smaller: 7/4 or l?
7/4
Suppose 5*u = 5*q - 95, -q - 17 = u - 0*q. Let z be u/(1/(6/(-3))). Let o be ((-2)/4)/((-9)/z). Is o greater than 3?
False
Let x = 447 - 450. Which is greater: 65 or x?
65
Let r be (-36)/9*(-2 + -1)/(-44682). Is r less than 1?
True
Suppose -5*v - 14 = -3*v. Let w be (-48)/(-70) + 2/v. Is 0.2 less than w?
True
Let d(i) = -3*i + 26. Let s be d(6). Let z = 8 - s. Which is bigger: z or -6/7?
z
Let v = -12247/14 - -875. Which is smaller: v or 0.07?
0.07
Let n(m) = -6*m**2 - 5*m**2 + 10*m**2 + 9*m + 10 + 2*m**2. Let l be n(-8). Let b be (3/6 + -1)/l. Which is greater: b or -5?
b
Let o = -0.262 + 22.662. Let b = 20.35 + 1.65. Let r = o - b. Does 2 = r?
False
Suppose 9 = j + 3*m - 4, 5*m = 5*j + 35. Suppose -4*r + 3 - 11 = 0. Let u be 3 - (r - (-3 - 2)). Which is bigger: j or u?
u
Let y = 3/21478 - 46889/28157658. Do 0 and y have different values?
True
Suppose 0*t = -6*t - 30. Which is smaller: -3 or t?
t
Suppose 7*d = -2*k + 2*d - 13, d - 15 = 4*k. Is k bigger than -6?
True
Let m be 2/3 - (-10)/30. Let v be ((-2)/(-295))/m*(-10)/6. Does v = -1?
False
Let b = -4446197/69 + 64436. Let v be 2 + (-6)/(-3) - 99/23. Let m = b - v. Is 0 greater than m?
True
Let t = 75 - 45. Suppose -f + 0*f - 3*l + t = 0, 0 = -4*f + 5*l + 52. Is f greater than or equal to 18?
True
Let g be (-5489)/220 - (-2)/(-8). Which is smaller: g or -25?
g
Let u be ((-224)/96)/((-17)/(-99)). Is -15 smaller than u?
True
Let i(f) = f**3 - 7*f**2 - 2*f - 12. Let g be i(7). Is -6 less than or equal to g?
False
Suppose 0 = -3*n + z - 6, 3*n - 2*z - 3*z + 18 = 0. Let s be 27/(-18)*(-8)/(-6). Let m be s - (2 - 24/5). Is n >= m?
False
Suppose 19*d = -8*d + 216. Let l = 16 - 8. Are l and d non-equal?
False
Let f be (-1)/(6/(-6) - (-6 - -4)). Is f <= -18/241?
True
Let n = -1 + 2. Suppose 0 = j - 0*j + n. Is 10/21 != j?
True
Let c = 430 - 471. Which is smaller: c or -83/2?
-83/2
Let o(i) = -i**2 + 16*i - 27. Let w be o(14). Which is bigger: -26 or w?
w
Let z = 50 - 30. Let w = -28 + z. Which is bigger: -2 or w?
-2
Let p = 13/58 - 50/29. Let j = 0 + 5. Let g = 2 - j. Is g at most as big as p?
True
Let a = 44/5 + -553/60. Suppose z + 3*i = -13 + 3, -2*i - 7 = z. Do z and a have the same value?
False
Let i = -837 - -1175. Which is smaller: 337 or i?
337
Let o = -0.012 + 0.232. Let f(u) = -u**3 - 5*u**2 + 5*u - 7. Let y be (12/15)/((-2)/15). Let m be f(y). Which is bigger: o or m?
o
Let f be (213 - (-4 + 1 - 2))/1. Which is bigger: f or 216?
f
Suppose 6*q - 5 = -17. Suppose 0 = -4*i + 4 + 32. Suppose 13*b = i*b. Which is smaller: q or b?
q
Let x be 20/90 - 266/(-18). Let g(w) = 10*w - 26. Let h be g(4). Which is smaller: h or x?
h
Suppose -9*j = 68 + 13. Let z be (1*6/j)/(6/(-72)). Which is smaller: 7 or z?
7
Let w(s) = s - 3. Let y be w(-1). Let d be (3 + y)/1 - 75/(-57). Is 0 <= d?
True
Let v = -37 + 39. Suppose 5*j - i = -5*i + 25, -j + 11 = v*i. Which is bigger: j or 2/3?
j
Let i = 12142 + -19186. Let t = i - -232586/33. Let k = 13/3 - t. Is k equal to 0?
False
Let v be ((-6)/(-7))/(8/(-28)). Suppose 0 = -0*m + 3*m - 3. Which is bigger: m or v?
m
Let r = 6.48 + -5.48. Which is greater: r or 3.32?
3.32
Suppose 71*a - 19 = 194. Let y be (-47)/(-9) + -1*1. Which is smaller: y or a?
a
Let c(l) = -l**2 - 70*l - 696. Let p be c(-12). Which is bigger: 8/51 or p?
8/51
Suppose -q - 2*g = 0, -6*g + 9 = -2*q - g. Let f = -87 + 68. Let i = f - -16. Which is smaller: q or i?
i
Let m be 6/(-15) - 2/120. Let b = m + 119/228. Are 0 and b unequal?
True
Let j = -138 + 149.8. Let r = -11 + j. Does r = 2?
False
Let m = -2 - -2.07. Let q = 0.04 + 1.86. Let j = q + -0.9. Is m at least as big as j?
False
Let r be (-6)/5*(-75)/10. Suppose 2*g - 4*y + r*y = 19, 20 = 4*y. Let z = 7 - 7. Is g >= z?
False
Let q = -69.3 - -73. Let f = 0.49 - 3.19. Let a = q + f. Is 3/2 > a?
True
Let c = 0 - 4. Let f = -4 + 9. Suppose 5*x - f*v + 25 = 3*x, 2*x - 25 = -5*v. Which is smaller: c or x?
c
Suppose -404 = 25*x - 21*x. Is -102 != x?
True
Let r be ((-3)/6)/(3/42). Let m(w) = w. Let q(n) = -4*n + 9. Let p(v) = 5*m(v) + q(v). Let y be p(r). Which is greater: 3 or y?
3
Let i = 10 + 2. Suppose -5*h = 4*b - 13, 5*b - 3*h + 5*h = i. Do b and 6/11 have the same value?
False
Let c be -7 + -14 + 19 - 12/(-5). Is -747 >= c?
False
Let t = -0.85 + 0.6. Is 0 > t?
True
Let m be -21*((-28)/12 + 2). Suppose m*d + 126 = 4*d. Which is smaller: d or -41?
d
Let f = -212 + 235. Is f smaller than 22?
False
Let i = 1.4 - 1.23. Let v = i + -0.1. Let l = v + -0.07. Are l and 6 non-equal?
True
Let r = 43 + -42.9. Let b = -7.6 - -8. Let f = b + -0.1. Is f < r?
False
Let n = 14.03 + -14. Let u = n + 0.11. Let v = u - 0.24. Are -0.01 and v non-equal?
True
Let s = -193520239/244 + 793117. Let k = 1/61 - s. Which is smaller: 4 or k?
k
Let g be 8/(-6) + (-35)/(-15). Suppose 0 = 6*i + g + 5. Let y = -43/35 + 10/7. Which is bigger: i or y?
y
Let p = 1/274 + -1219/33702. Is -1 < p?
True
Let i = 2 - 3. Let k = -341 - -1703/5. Do i and k have the same value?
False
Let g(k) = 3*k - 1. Suppose 3*t = 6*t - 3. Let c be g(t). Is 3 at most as big as c?
False
Suppose -16*a + 11*a - 4*c - 702 = 0, -5*c = -10. Is a != 2?
True
Let s = -23 - -34. Let r be (2 + (4 + -9 - -4))*(-11)/(-1). Is r smaller than s?
False
Let h(s) = s + 7. Let z = 27 - 37. Let c be h(z). Does 0 = c?
False
Suppose 0 = -17*d - d. Is d < 3/140?
True
Suppose -4*u - 65 = 4*b - b, -4*b = -4. Suppose 17 = -4*a - 47. Which is bigger: u or a?
a
Let f = -907 - -2761. Let t = f - 35218/19. Is 0 bigger than t?
False
Let i be ((-42)/27 - -1)*1. Suppose 0 = -m + 3*q + 4, -5*m = -7*q + 2*q. Which is greater: m or i?
i
Suppose -2*g - 5 = -5*v + 4, 0 = 2*g - 6. Do v and 4 have the same value?
False
Let b = -8 + 7. Let x be (-1 - 1)/(-2 - 14). Let n = x + -1/40. Which is smaller: n or b?
b
Let y be ((-10)/3)/(6/(-9)). Is y <= 9?
True
Suppose -33 + 137 = -13*b. Which is smaller: 4 or b?
b
Suppose -18*t + 32*t = 0. Which is bigger: 4/27 or t?
4/27
Suppose -3*y + 6 = 3. Let z be y/(-1 - (-377)/(-2)). Let a = -4933/1137 - z. Which is smaller: a or -4?
a
Suppose -259*x + 1232 = -263*x. Are x and -308 equal?
True
Let h = -29779.131 - -29839. Let f = h + 0.131. Is f equal to 1?
False
Let z = 1 - -373. Which is bigger: z or -1?
z
Let t = -650/2071 + 23257496/26923. Let c(p) = -864*p**3 - p + 1. Let m be c(1). Let o = t + m. Which is bigger: o or 1?
1
Let c be 1 + (-2)/(-1 - 1). Suppose 4*v + 5*k = -0*k - 11, 11 = c*v - 3*k. Suppose u = -3*n + v, 3*u - 17 