alse
Let c = 2 - 1. Suppose -4 = 2*v - 0. Let w be v/(-8) + 4/(-16). Which is smaller: w or c?
w
Let u = 0.03 - -0.05. Let s = u + 0.02. Let h = -2 - 0. Is s != h?
True
Let k = -266/45 + 52/9. Which is smaller: k or 1?
k
Let a = 12 - 11. Let x = -3 + a. Which is smaller: x or 1/2?
x
Let f = 0.8 - 8.8. Let m = -7.9 - f. Which is greater: m or -1/3?
m
Let l = -4 + 3. Let d = -913/2392 + 2/299. Which is bigger: l or d?
d
Let m = 8 - 0. Let u = m - 8. Suppose -8 = 5*w - 3. Which is greater: u or w?
u
Let r be (-1)/(-4) + (-118)/(-8). Suppose -4*b - r = -9*b. Let p be b/(-1) - (-1 + -1). Is -1 equal to p?
True
Let x = 0 + 9. Let n = -13 + x. Let z = -3 - n. Is 1 equal to z?
True
Suppose -3*c + 3 + 3 = 0. Let r be 5/(-50) - c/5. Which is smaller: 1 or r?
r
Suppose 0*f - 4*f = 2*x - 18, 3*f = 5*x + 7. Suppose 25 = 4*h + x. Suppose h*v = v. Which is smaller: v or -4/5?
-4/5
Let y be (-84)/21 + (-24)/(-5). Let i = 2 - 1. Which is smaller: y or i?
y
Let p(c) = c**2 + 2*c - 5. Let s be p(-4). Suppose s*m - 7 = -2*w + 1, -3*m - 8 = -2*w. Suppose -4 + 10 = 2*k. Is w less than or equal to k?
False
Let a(l) = -l**2 - l + 2. Let m be a(4). Let w be (-40)/m + (-2 - 0). Let z = 2.9 + -3. Do w and z have the same value?
False
Let q(y) = y**3 - 5*y**2 + 5*y - 6. Let c be q(4). Let p = -2445/4 + 605. Let d = p + 6. Which is smaller: c or d?
c
Let v(i) = i - 2. Let z be v(7). Suppose -4*l + 0 + 16 = 0. Suppose -l*n = 4*j, 3*n + n = 3*j - 28. Which is greater: j or z?
z
Let c = -23 - -19. Is c bigger than 2?
False
Suppose k + 4*k - 20 = 0. Suppose 35 = -k*n - n. Is -7 less than n?
False
Let y = 228 - 2505/11. Which is smaller: 1 or y?
y
Let x = -0.167 - -0.267. Which is greater: 93 or x?
93
Let j(h) = -h**3 - 3*h**2 - h + 1. Let p be j(-3). Let c be (5 + -3)/(-2)*3. Let k be p/c - (-2)/6. Is 1 at least k?
True
Let r be (0 - 11) + (-2)/(-1). Let q = 28 - 37. Does q = r?
True
Let z = -0.136 + 0.336. Is -30 at most z?
True
Let f = 4.2 - 2.2. Suppose -v - 5*c + 16 = -7, 15 = -5*v + c. Is f equal to v?
False
Let z(g) = -g**2 - 5*g + 2. Let p be z(-5). Let x(n) = -n**2 + 0*n**2 - 1 + 5*n**2 - 3*n**2 - n. Let j be x(p). Which is bigger: 2/29 or j?
j
Suppose 0*i = 3*q + 5*i + 26, 0 = 2*q + 4*i + 20. Suppose 2*r - 2*b = 7*r + 6, 4*b = 8. Let m be -1*(-4 - r)/(-2). Which is bigger: m or q?
m
Let s be 2/1 + 12/(-7). Let p be ((-11)/(-2) - -2)*2. Let q be 1/(-3) - (-5)/p. Which is greater: q or s?
s
Let s(v) = -v**2 + 8*v - 12. Let m be s(6). Which is bigger: -1 or m?
m
Let b be (-4 - -6) + 18/(-1). Let d = -78/5 - b. Which is greater: 1 or d?
1
Let m = -25 + 25. Which is smaller: -29 or m?
-29
Let k be (177/(-4))/(9/6). Let o = k - -28. Which is smaller: o or -3?
-3
Let u = -31/12 + 11/4. Let s = 61/2 + -30. Is u at most s?
True
Let p(t) = -t + 7. Let a be p(6). Let n = 1685/17 - 99. Is n smaller than a?
True
Let p(u) = -u - 2. Let d be p(-6). Suppose 0 = 2*o - 3*t - 11, 2*o - 3*o = -t - 3. Let j be (-6)/(-12) + (-7)/o. Is j bigger than d?
False
Let z be 1/(-4) + 5/4. Let g be (-21)/9 - (-2)/1. Do g and z have different values?
True
Let f = -575 + 16677/29. Do 0 and f have the same value?
False
Let u(i) be the third derivative of -i**4/24 - 7*i**3/6 + 5*i**2. Let d be u(-8). Let n be (2/(-5))/((-8)/25). Is d greater than or equal to n?
False
Let b be 12*(-1)/(3/(-10)). Let v be (-3)/(54/b) + 2. Which is greater: v or 4?
4
Let k = 16 + -8. Let u = -2 + k. Let l = u - 6.5. Which is smaller: 1 or l?
l
Suppose 1 = -2*k - 9, 4*d - 2*k = -2630. Let c = d - -15183/23. Let q = c - -14/69. Does q = 1?
False
Suppose 2*j = 5*j. Let x be 3 - (0 - j - -2). Is -1 <= x?
True
Suppose -2*m - 1 - 1 = 4*x, m + 8 = 5*x. Let d be 11/(-33)*(-2 - -1). Which is smaller: x or d?
d
Let u = -9 + 14. Let x(l) = -u*l + l + 5*l - 2. Let s be x(2). Is 0 less than s?
False
Let t = -3 + 8. Suppose -b - b = -12. Suppose 1 = t*j + b. Is -1 at least as big as j?
True
Suppose 5*z + 10 = -5. Let g(d) = -d - 3. Let w be g(z). Which is smaller: 1/15 or w?
w
Let y = 0.046 - -1.554. Which is smaller: y or 0?
0
Suppose 3*u = -0*u + 12. Is 2 != u?
True
Let l = 31 - 19. Let x be (1/(-2))/(15/l). Let o = 0 + 0.03. Do x and o have different values?
True
Let y = 11 - 15. Let m = 6 + y. Is 1 less than m?
True
Let i = -4 + 8. Suppose 2 = -i*h + 18. Do 4 and h have the same value?
True
Suppose 0 = g + 4*g - 30. Let w be (-2)/12 - 50/(-12). Which is greater: g or w?
g
Let g = 3/125 - 417/1750. Let f(c) = -c**2 + c. Let k be f(0). Which is bigger: g or k?
k
Let h be 34/(-4) - (-3)/(-6). Let w = h + 10. Suppose 5*k - 3*u + 2 = 5, 5*k + u + w = 0. Is -3/8 at least as big as k?
False
Let n = 0.2 + 2.6. Let p = n + -3. Which is smaller: -2/7 or p?
-2/7
Let g = 4 + 4. Suppose -10 = -3*h + g*h. Which is smaller: -3 or h?
-3
Let t = 6 + -6.1. Let h = -1.1 - t. Is h less than -1?
False
Let p = -1.14 + 0.13. Let g = p + 0.01. Which is smaller: 0 or g?
g
Let d(t) = t - 7. Let h be d(8). Let r be h - (-2 - -1*4). Let g = 0 - r. Which is greater: 0 or g?
g
Suppose -2*x + 5*x = 0. Let u = 0 + x. Let k be (u + -1)*-1*0. Which is smaller: -1/4 or k?
-1/4
Let g be (-2)/4 - (-1)/10. Let l = 2 + -2. Let y = -0.1 + l. Is g at least as big as y?
False
Let x = 6 + -9. Let l = -2.9 - x. Is -1 bigger than l?
False
Let l = -28/5 + 127/20. Which is smaller: 2 or l?
l
Let l = -24 + 21. Let v = 3/25 + 41/75. Which is bigger: l or v?
v
Suppose 5*t = 4*h + 67, 2*t = h + 20 + 5. Let q(z) = z**2 - 10*z - 9. Let i be q(t). Let x be 1/((-1)/1) + 1. Are i and x non-equal?
True
Let h = -108 - -108.06. Are h and -2 non-equal?
True
Let o be 9/(-4) - 3/4. Let q = -8 - o. Let n be (-1)/q - (-9)/(-15). Which is smaller: n or 0?
n
Let o be 408/304 - (-9)/(-6). Is o less than -1?
False
Let a be 16/40 + 74/(-10). Which is greater: -5 or a?
-5
Let s(x) = -x**3 + 2*x**2 + x. Let q be s(2). Let u be (-7)/((-14)/4) - q. Is 3 < u?
False
Let t(h) = h**2 + 8*h - 12. Let i be t(4). Is i not equal to 35?
True
Let b = 36.43 + -37. Let q = b - -0.5. Let g = q + -0.03. Is 2/3 > g?
True
Let c(a) = a**2 + 54. Let z be c(0). Let q be (-2)/(-9) - (-6)/z. Is 1 less than q?
False
Suppose 0 = -2*z - z + 12. Let x = 0 + z. Let p be (9/(-3) - -2)*0. Which is bigger: p or x?
x
Let i = -0.1 + -5.9. Let a = 0.14 - -5.86. Let k = a + i. Is -0.3 != k?
True
Suppose a = -2*y - 4 - 1, -3*a = 3. Which is smaller: -3/2 or y?
y
Let a = 1.09 - 0.09. Which is bigger: a or -0.148?
a
Let c be 1/6*4*24. Let z = 11 - c. Is 2 at most as big as z?
False
Suppose -2*c = 4*f - c - 16, -5*c = -2*f + 8. Let m = -4 + f. Suppose -2*u = -3*u + 3, 0 = -x - 3*u + 10. Are m and x non-equal?
True
Suppose -3*r = 2*s + 35, -6*r = -3*s - 3*r - 60. Is s >= -19?
True
Let p = 25 - -11. Which is smaller: -2/9 or p?
-2/9
Let u be ((-2)/4)/((-3)/12). Let r be u - 3 - 275/(-204). Let l = r - 1/68. Which is smaller: l or -0.2?
-0.2
Let o = 251390419/516 + -487191. Let u = -2/129 - o. Let m = -2 + 2. Which is bigger: m or u?
u
Suppose 0 = 3*t + 3*j - 60, -2*t - 2 = -3*j - 17. Suppose 0 = 5*x - t. Let d be x/(-5) - (-4)/(-10). Which is smaller: -1/2 or d?
d
Let m = -3 - -2. Let z be (-21)/18*-3 - m. Suppose -6*q + 7*q - 5 = 0. Which is smaller: q or z?
z
Suppose 2*a + 3*a - 10 = 0. Suppose -3*v + 5*b = -2*v - 18, 0 = 5*v - 3*b - 24. Let f be -2 - ((-14)/v - -2). Which is smaller: f or a?
f
Let w be ((-2)/4)/((-45)/(-10) + -5). Is 2/23 at least w?
False
Let x = 1 + -4. Let d = -5 - x. Let b(a) = a**2 + 12*a - 25. Let n be b(-14). Which is greater: d or n?
n
Let z = 1.412 + 0.088. Which is greater: 0.06 or z?
z
Suppose -19 = -8*s - 35. Suppose -2*u - u + 4*o - 29 = 0, 3*o = -3*u + 6. Which is smaller: u or s?
u
Suppose 2*j = -2*j - 4. Let h = 4 + j. Is h at least as big as 4?
False
Let u(s) = s**2 + 5*s + 6. Let a be u(-4). Suppose -2*t - a = -4*t + b, -2*b = -4. Which is smaller: t or 9/4?
t
Let o(f) = -2*f**3. Suppose -2*l + 5*l + 17 = -2*i, -3*l = 3*i + 18. Let y be o(i). Suppose -3*c + 5*c = 4. Is c > y?
False
Let n = 61 - 40. Let k be n/1 + 1/(-1). Let f be (1/2)/((-2)/k). Do f and -4 have the same value?
False
Let k = 0.3 + -0.4. Let t = k - -0.14. Let o = -1.04 + t. Are o and 1/4 equal?
False
Let m be 2/4 - (-63)/(-182). Let f(o) = -o**2 - 3*o - 1. Let n be f(-2). Do m and n have the same value?
False
Suppose -4*w = -d - 1, 