-25). Which is greater: 18 or s?
18
Suppose 5*q - 16 + 0 = -3*p, 2*q - 4 = 0. Suppose p*s - 8 = 0, 2*s - 44 = -3*d - 12. Suppose -4*f = -4*a, f - 6*f + a = -d. Which is bigger: 0.1 or f?
f
Let s = 1.4 + -1. Let u = s + 2.6. Which is greater: 1 or u?
u
Let s be (-2)/(-7) + (-1938)/21. Let f = s - -830/9. Which is smaller: f or 0?
0
Let q be (-7)/(-4)*24/2. Suppose -5*s - 4 = q. Let d be 3/s + (-2)/(-10). Which is smaller: d or -1?
-1
Let r(o) = 11*o - 14. Let g be r(14). Let d be g/(-63) + 1 + 1. Let j = 14 + -72/5. Is d > j?
True
Let v = 0 + 0. Suppose -d = 5*j, 4*d = -4*j + 2*d + 6. Are j and v nonequal?
True
Let v be (1 - 0)*-1*2. Let u(g) = -g**3 + 2*g**2 + 3*g - 3. Let c be u(2). Let j be ((-4)/(-2) - 1)/c. Which is smaller: j or v?
v
Suppose -8 = -i + 2*x, -i - 4*i + 18 = x. Suppose 12 = -i*b, b - 18 = -4*g + 3*b. Suppose -3 = -g*a - 2*o - 0*o, -4*a = -5*o + 19. Is 0 at most a?
False
Let h be (-8)/(-12)*(-9)/(-3). Which is greater: 30/19 or h?
h
Suppose -3*p + 4*s = 9, -2 = -s + 1. Which is bigger: -33 or p?
p
Let p = 2 - 2. Suppose -g - 4*q = p, -2*g = q + 3*q. Is -1/9 at least g?
False
Suppose 44 = 20*a - 24*a. Which is smaller: a or -12?
-12
Let w = -51 - -54. Is -5 bigger than w?
False
Let h(o) = -o + 1. Let w be h(-4). Let i be w - 1 - (0 + 0). Suppose 4 = j, i*j - 3*j = -4*r. Which is bigger: r or 2/5?
2/5
Let m = -11278/141 - -80. Do m and 1 have the same value?
False
Suppose 3 - 14 = 3*o + 5*n, -2*o - 3*n - 7 = 0. Which is bigger: o or -0.1?
-0.1
Let c(v) = v**2 + 9*v. Let j be c(-9). Let t = 2/3 - 20/21. Which is smaller: t or j?
t
Let m be (-784)/(-1113) + 2/(-3). Do 1/2 and m have different values?
True
Let s = -17.03 + 17. Let q = -0.4 - -0.47. Let j = s - q. Is j greater than -1/2?
True
Suppose 4*b - 2*b = -8. Let o be (-10)/b - 9/18. Let i = 8 - o. Which is smaller: 7 or i?
i
Let f = -1 + 1.4. Let y = -0.3 + f. Let g = -2.1 + y. Which is bigger: g or 1/4?
1/4
Suppose 0 = 4*o - 2 - 2. Let l = 2 + 10. Suppose 24 = 4*r + 4*u - 0*u, 3*u - l = 3*r. Is r less than o?
False
Let b = 31/77 + -6/11. Let l = -5 + 2. Let r be (-4)/l + (-4)/12. Which is greater: r or b?
r
Suppose 1 = 5*p - 74. Let g be -2 - (76/3)/2. Let k = g + p. Which is smaller: 1 or k?
k
Let u = 2/87 - -71/696. Which is smaller: -1 or u?
-1
Let v = 15.6 - -4.8. Let r = v + -18. Let c = r - -0.6. Is -2/5 > c?
False
Suppose -11 = 10*j - 21. Is -2/371 smaller than j?
True
Suppose 4*r + 146 = -82. Which is greater: r or -58?
r
Let i = -3 - -2.8. Let x = -0.1 - i. Let u = -0.2 + x. Is -0.1 equal to u?
True
Let i = -666071008/263131057 + -2/5935287. Let c = -14/57 - i. Is 2 <= c?
True
Let s(k) = 4*k**2. Let l be s(1). Suppose -5*p - y = 2*y + 39, 24 = -2*p - l*y. Let o be p/18 - (-28)/(-6). Is -4 > o?
True
Let b = 23 + -23.09. Let l = 3 + -3.01. Let k = b + l. Is 1 less than k?
False
Let r = 1 + 3. Let h = -9 + r. Is 0.1 less than or equal to h?
False
Let f be 14/(2*(-2)/(-4)). Let a be f/6 - 0 - 2. Let j be 2/3 - (-15)/(-9). Which is smaller: a or j?
j
Let z = 1.067 + -0.067. Which is smaller: -64 or z?
-64
Let l(k) = -2*k**2 - k - 4. Let o(b) = -b**2 - 1. Let t(p) = -l(p) + 3*o(p). Let w be t(1). Is 1 < w?
False
Let c be 23/(-75) - (-9)/27. Which is smaller: 0 or c?
0
Let j be 2/2 - (-76)/(-100). Let o = j + 4/25. Which is smaller: -1 or o?
-1
Suppose 5*j + 0 = 40. Suppose 0 = k - j + 2. Suppose 116*y = 111*y + 35. Is k at least as big as y?
False
Let k = -49 - -47. Which is bigger: 2 or k?
2
Let w = -2 + 2.5. Let t = 272/5 - 54. Which is smaller: t or w?
t
Let t(q) be the second derivative of -q**3/6 - 3*q**2/2 + 2*q. Let c = -5 + 0. Let p be t(c). Which is bigger: 4 or p?
4
Suppose -4*t = -4*c + t + 3, 2*c + 5*t - 9 = 0. Suppose -c*o + 1 - 3 = 0. Let w be (-12)/(-8)*(-8)/10. Which is smaller: o or w?
w
Let g = 2/903 - -11735/1806. Which is bigger: 8 or g?
8
Suppose -3*z + 57 = -3*y, z + 49 = 4*z + 5*y. Is 17 smaller than z?
True
Suppose 0 = -3*n + 2 - 5. Suppose 3 - 1 = 2*s. Is s <= n?
False
Let m be (-9)/50*115/(-6). Let l = m + -16/5. Is -1 <= l?
True
Let d = 4 - 7. Let a be 8/(-12) + 1/d. Is -2 at most as big as a?
True
Let r(d) = -d**2 + 3*d + 2. Let t = 11 + -15. Let l be r(t). Let c be -2*(2 - l/(-12)). Which is smaller: -1 or c?
-1
Let p = 1.1 - 1.1. Is -2 at most as big as p?
True
Let f(d) = -d**3 + 8*d**2 + 13*d - 2. Let k be f(9). Suppose 0 = -4*m + 6 - k. Which is bigger: m or -8?
m
Suppose 3*l - 2*u + 8 = -l, -2*l = -4*u + 10. Suppose 0 = -4*a + a. Which is smaller: l or a?
l
Let i be -3 - (2 + -3)*-1. Which is smaller: -3 or i?
i
Let y = -4 + 2. Let h be (1 + (-10)/4)*y. Which is smaller: 1 or h?
1
Let u(p) be the first derivative of p**2/2 - 1. Let a be u(4). Suppose 3 + 18 = 4*m + 5*f, 2*f - 18 = -a*m. Is m greater than or equal to 4?
True
Let x = 3.14 - 3. Let d = 0.14 - x. Are d and 7 equal?
False
Let u = 0 + -21. Is -21 < u?
False
Let b = 6 - 5. Which is greater: -1/18 or b?
b
Suppose 5*n = 3*w + 3 - 20, -5*w = 4*n - 16. Let c = 40/13 + -306/91. Which is smaller: c or n?
n
Suppose -2*g - 3 + 9 = 0. Let r be g/15*-1*4. Do r and -1 have the same value?
False
Let o(t) = -t + 1. Let w be o(1). Let k be 1 + 1/10*-7. Let g = k + -1/2. Is g bigger than w?
False
Suppose 3*s + 2*d + 12 = 0, -2*s - 5*d = -d + 16. Suppose 2*y - 9 = -y. Suppose 5*o - 2*q = 25, y*o - 4*q = 18 + 11. Is s bigger than o?
False
Let f = 23 - 19. Let s = f + -4.6. Which is smaller: s or 3?
s
Suppose 0 = -g + 5*z + 4, 2*g - 3*z = z + 8. Is g less than 5?
True
Let f be ((-70)/15)/((-2)/(-24)). Let r be (f/16)/((-2)/(-4)). Is r > -7?
False
Suppose -2*b = -4*b + 4. Let n be (4/(-72))/(b/(-16)). Let t be (-2)/2*(1 - 0). Is n <= t?
False
Let c = -2 - -5. Let w be (-2)/(-4) + c/(-2). Which is smaller: w or -6?
-6
Suppose -2*v = v. Let z be 1/(-2)*v/(-2). Suppose -4*r = -m, r = 2*m - z*m. Which is smaller: 3/7 or m?
m
Let s = 68.9 - 65. Let m = 1.3 - s. Let u = 0.6 + m. Is 1 greater than u?
True
Let d(k) = 7*k - 9 + 2 + 6*k**2 - k**3 + 3. Let o be d(7). Is -3 smaller than o?
False
Suppose -52 = 4*m - a - 0*a, m + 10 = a. Is -13 bigger than m?
True
Suppose -2*p = -10*p - 728. Is p bigger than -92?
True
Let i = -21/10 + 247/70. Is 2 >= i?
True
Let i = 0.9 + -1. Let k = -27 - -33. Which is smaller: k or i?
i
Let r be 19/(-7) - 6/21. Let v = r + 3. Which is smaller: 0.2 or v?
v
Let y(j) = j**2 - 6*j + 6. Let p be y(4). Let k be (-23)/3 - p/3. Is -7 bigger than k?
False
Let f = 6 - 5. Let u = -7 + f. Are u and -1 non-equal?
True
Suppose -5*u = u. Which is smaller: u or 1/9?
u
Let j = 958/63 - 108/7. Suppose y = 4*y - 3. Are y and j nonequal?
True
Suppose -9*h = -5*h + 72. Let j be ((-8)/12)/(2/h). Is j greater than 7?
False
Let w be (-43)/(-7) - 2/14. Suppose -3*s - 3*f + 12 = -6*s, -2*f + w = 0. Is 3/7 bigger than s?
True
Let w be ((75/7)/(-3))/((-54)/63). Which is greater: w or 5?
5
Let y = -1 - -2. Let s = 2 - y. Let l be 0 - 0 - s/(-3). Is l at least 3?
False
Let p be ((-8)/10)/((-135)/25 - -5). Let b = 1.7 + 0.3. Is b smaller than p?
False
Let v be (4 + 0)*(-1)/22. Let w = 19/44 + v. Suppose 0*s + 5*s = 0. Which is bigger: s or w?
w
Let w = 111/175 - -2/25. Which is smaller: w or 1?
w
Suppose 0*w - 70 = 5*w. Let m be ((-8)/w)/((-6)/(-21)). Suppose 0 = -2*q + 4*p - 6, 9 = -m*q + q + 5*p. Which is smaller: 2/21 or q?
2/21
Let g = 84 - 88. Let n be 2/4*16/(-2). Do g and n have the same value?
True
Let t(u) = -10*u - 2. Let v be t(-3). Suppose -5*f - z = v, 0*f + 2*f = -4*z - 22. Let d be (-8)/20 - 2/f. Is d not equal to -2/5?
True
Let w = -41 - -25. Let v = w - -16. Do -3 and v have the same value?
False
Suppose -k + 3*f = -10, -f = -2*k + 5*k. Is -6/13 less than or equal to k?
True
Let i(w) = -w**3 - 9*w**2 - 2*w - 13. Let f be i(-9). Do 4 and f have different values?
True
Let k be (-27)/(-33) - (-2)/11. Is 1 greater than k?
False
Let d = 15.55 - 11.5. Let p = d + -0.05. Let t = 4 - p. Which is smaller: 3/4 or t?
t
Let c = 28 - 28.48. Let s = c - -0.08. Are -1 and s non-equal?
True
Let g be 6/9 + (-5)/9. Is g <= 0?
False
Let j be -20*(0 + 3 + -2). Let r be 2/(-3) + j/(-12). Let x = -7/6 + 5/6. Are x and r non-equal?
True
Suppose -7*m = -6*m - 41. Which is smaller: 1 or m?
1
Let r = 45 - 313/7. Let c = 0 + 1. Do r and c have the same value?
False
Let n be (3 + 0 - -3) + -2. Suppose 2*p = -0 