(-21)*(-14)/4. Let j = -15/28 + 2/7. Which is bigger: j or d?
d
Let i = -0.1 - 0.1. Let s = -25 + 24.8. Is i <= s?
True
Let l(f) = -3*f + 6. Let n be l(2). Let m be ((-2)/(-7))/((-15)/7). Which is smaller: m or n?
m
Suppose 5*h - 48 - 12 = 0. Suppose -3*v + 0 + h = 0. Suppose 0 = -4*m - 0*m + 2*l + 6, -6 = m - 3*l. Is v less than m?
False
Let c = 2/285 + -1999/570. Is -4 at least c?
False
Let a be 2/(-8) - 15/(-12). Let s = -21/2 + 11. Let f = 0 - s. Do f and a have different values?
True
Suppose 6*d - 3*k - 12 = 2*d, -12 = 3*k. Is 1/7 >= d?
True
Let d = 0.5 - 0.3. Let o = -3 + 2.6. Let j = o + d. Which is bigger: j or -1?
j
Let g = -34 - -34.1. Let w(i) = i**2 - 6*i + 1. Let u be w(6). Which is smaller: g or u?
g
Let o be (3/12)/((-2)/4). Let d = -8 - -14. Let s(c) = c**3 - 5*c**2 - 6*c - 2. Let t be s(d). Which is greater: t or o?
o
Let l = 0.18 + 1.82. Which is greater: 4 or l?
4
Suppose 3*l - 2*l - 4*c = 2, 0 = -l - 4*c - 14. Let z(y) = y - 5. Let s be z(0). Which is bigger: s or l?
s
Let p be ((-4)/(-184))/(1/4). Let i(x) = -7*x - 64. Let a be i(-9). Is a at least p?
False
Suppose -3*z - 26 = 10*z. Let x = 2.1 + -2. Let i = x - -0.1. Do i and z have the same value?
False
Let n be (1/(-4))/((-2)/8). Let q be n - -1 - (-12)/(-8). Let z = -1 - -1. Which is smaller: q or z?
z
Suppose 0 = 4*m - 0*m + 16. Suppose 2*d + 5*u = 10 + 14, -5*u - 10 = 0. Suppose 0 = -d*x + 12*x. Is m greater than or equal to x?
False
Let n = -8 - -4. Let y be (-1)/n*(1 + 0). Suppose t + 4*l - 5 = 0, 0 = -5*l + 11 - 1. Is t smaller than y?
True
Let w be (-324)/8 - 1/2. Let p be w/(-5) - 5/25. Which is bigger: p or 7?
p
Let f(u) = u**3 + 5*u**2 - 6*u. Let i be f(-6). Is i at most 1/331?
True
Let s = -34 + 12. Which is greater: s or -21?
-21
Let y be (-196)/16 + 1 + (-6)/2. Which is smaller: y or -15?
-15
Suppose 0 = 2*z - 4*z - 2*v - 20, -16 = 4*z - 2*v. Let t be 4/18 - 47/9. Is z less than t?
True
Let t(m) = -m**2 + 2*m + 5. Let p be t(4). Let i be (-12)/p + (-1)/1. Which is greater: i or 2?
i
Let v(i) = -i**2 + 6*i + 1. Let f be v(6). Which is greater: 1/2 or f?
f
Let d = -31485236/229341 + -1/32763. Let k = 137 + d. Suppose -2*u = -3*u. Is k at least as big as u?
False
Let u be 1/(-1)*1*-13. Suppose -15 = -2*t + 3*l, l - 1 = 3*t - u. Suppose -2 = p - 4. Is p at most as big as t?
True
Let x be 1/3*(-288)/88. Is 0 greater than x?
True
Let u be (-11)/(-9) - 4/18. Let z be u + 0 + 0 + 1. Is z >= 2?
True
Let a be (3 - 62/(-6)) + 1. Let m = a + -212/15. Is -1 smaller than m?
True
Let d(y) = 1 + 0*y - y + 2*y + 1. Let r be d(-2). Is 1 > r?
True
Let f = -1 - 0. Let v = -12 + 10. Which is smaller: f or v?
v
Let p = -5 - -5.1. Is p bigger than -0.1?
True
Suppose 9 = 3*x - 6. Suppose 0 = -x*i + 2*i. Is 1/3 < i?
False
Let p be (-9)/(-21) + (-267)/231. Which is smaller: -2 or p?
-2
Suppose 0 = 2*j + 4*k + 22 + 2, 2*j = -2*k - 18. Let p be ((-1)/j)/((-6)/4). Which is bigger: p or 1?
1
Let m = -24 + 19. Let k = m - 2. Is k not equal to -8?
True
Let q(f) = -f**3 - 3*f**2 - f + 2. Let j = 16 - 18. Let m be q(j). Is m > -1/2?
True
Let z = 0.014 - -12.886. Let u = 16 - z. Let h = 3 - u. Does 1 = h?
False
Let i = -38/39 + 3373/780. Let b = 18/5 - i. Which is smaller: 1 or b?
b
Let u be 0 - -68 - (3 + 0). Is u >= 65?
True
Let q = 36.1 + -36. Which is smaller: 1 or q?
q
Suppose 4*z = 2*g, 5*g - 2*g = 4*z + 6. Let b be 2/2 - (g + -11). Do b and 6 have different values?
False
Let u be (5/(-30))/((-3)/(-24)*4). Is u at most -7?
False
Let o(i) = 2*i**3 + i. Let l be o(-1). Is l at most as big as -3?
True
Suppose 3 = -5*s - 2. Let p be -1 - 2 - 22/(-14). Which is greater: p or s?
s
Let a be 8/6*63/6. Let r be 4/7 + a/(-49). Which is greater: 0 or r?
r
Let b = -30 + 31. Are 4/5 and b equal?
False
Let d = 92 + -458/5. Let r = 2 - 1.8. Let q = r + -0.3. Is d > q?
True
Let c(v) = -v**2 + 7*v + 3. Let q be c(4). Suppose 1 = -5*k - 2*j, q + 4 = 4*k - 5*j. Is -1/3 smaller than k?
True
Let z(x) = x**3 - x**2 - x - 4. Let g be z(0). Let o be 1/g + 15/20. Suppose -m - 5 = -n, n - m = 6*n - 1. Which is smaller: o or n?
o
Let o(y) = -9*y + 9. Let t be o(4). Let h = t - -28. Is 1 bigger than h?
False
Let s = -3 - 5. Let a(f) be the second derivative of -f**4/12 - 5*f**3/3 - 6*f**2 + f. Let v be a(s). Which is bigger: v or 2/5?
v
Suppose 5*x - 2*c - 13 = 0, -2*x - 3*x + 12 = -3*c. Suppose 18 = 3*q + x*u, u + 8 = 4*q - 11. Which is smaller: 0 or q?
0
Let c be ((-1)/(-5))/(((-6)/15)/(-1)). Which is bigger: c or 3?
3
Suppose 0 = -3*g - 0*i + 2*i, 0 = 4*g - i + 5. Let k be 6/26 + 0/g. Let w = k - -11/65. Which is greater: w or 0?
w
Let t = 0.8 - 0.77. Which is greater: 1/4 or t?
1/4
Let p(c) = c - 8. Let a be p(10). Which is bigger: a or 15/7?
15/7
Suppose k + 3*u = 3*k - 14, -2*k - u - 2 = 0. Which is smaller: k or -22?
-22
Let h = 1.36 - 3.36. Let w = -0.3 - -0.4. Let x = w - 2.1. Is x != h?
False
Let z(r) = -r**3 - 15*r**2 - 14*r + 2. Let x be z(-14). Suppose -2*j = -0*j. Which is bigger: x or j?
x
Let o(z) = 2*z**2 - 4*z + 2. Let v be o(3). Let t be ((-2)/6)/(v/(-6)). Let y be 2/6 + 1/(-3). Do t and y have the same value?
False
Let c = 7 - 14.8. Let d = c - -8. Is 4 bigger than d?
True
Suppose 5*m + 1 = 1. Is -3 <= m?
True
Suppose -25 = -4*v - 5*o, -2*o = 2*v - 4*v - 10. Does v = 1/11?
False
Suppose 2*a + 21 = -5. Let j be 1480/a*16/(-10). Let t = -182 + j. Does t = -1?
False
Suppose 3*p + 16 = j, -2*p + 7*p + 2*j + 45 = 0. Let t(m) = -m - 7. Let a be t(p). Which is smaller: -1 or a?
-1
Suppose -3*g - p = 2*p - 27, 0 = 3*g - 4*p + 8. Suppose 2*b + g*k - 1 - 15 = 0, -16 = -3*b - 4*k. Suppose b = -3*u - u - 16. Is -3 less than u?
False
Let h be (2 + 24/(-20))*4. Which is smaller: h or 2?
2
Let y = -2.2 + 2.68. Let a = -0.02 - y. Which is greater: a or 0.1?
0.1
Let o = 7 + -7.25. Let k = o + 1.25. Which is bigger: k or -1?
k
Let k = -138.9 + 139. Let x = 0.35 - 0.3. Which is smaller: x or k?
x
Suppose -16 = -4*g, -2*r = r - 2*g + 14. Let u = -508/415 + 2/83. Is r smaller than u?
True
Let a(l) = l**2 - 7*l - 6. Let w be a(8). Let n = w - 1. Let t = 36 - 326/9. Which is smaller: n or t?
t
Let a = -6 - -41. Are a and 35 equal?
True
Let w = -16.2 + 15. Let s = -0.2 - w. Let i = 4 - s. Which is greater: i or 0?
i
Suppose 14 - 86 = 8*n. Which is bigger: n or -2/11?
-2/11
Suppose b + 3*z + 13 = 0, -3*z = -2*b + 2*z + 18. Do b and -2/149 have different values?
True
Let r be -1 + -2 + (-3 - -1). Let q(o) = o**2 - 7*o + 9. Let i be q(6). Suppose -i*g + 8 = -5*g. Is r greater than or equal to g?
False
Let v(k) = k**2 + 4*k - 1. Let n be v(-4). Suppose -m + 7 = 8. Is m at least n?
True
Suppose 4*v - 14 = 2*y, -y = 2*v + 2*y - 3. Let r be (-3 - -4) + (2 - v). Which is greater: 2/7 or r?
2/7
Let h(g) be the first derivative of -g**3/3 - 9*g**2/2 + 1. Let r be h(-9). Let v = -22/5 + 24/5. Is r smaller than v?
True
Suppose 3 = 2*k - 7. Suppose -10 + 0 = -k*v. Let m be (-3)/((-6)/4) - 0. Is m >= v?
True
Let c = -0.7 - -15.9. Let k = c + -15. Is 1 less than k?
False
Let o(g) = g - 1. Let k(x) = -3*x + 9. Let l(b) = k(b) + 4*o(b). Let y be l(-7). Let h = y - -2. Which is smaller: h or 1?
h
Let k(f) = -f**2 + 3*f - 6. Suppose -b = a - 2, -4*a - b = b - 12. Let p be k(a). Let u be 4/20 + (-4)/p. Which is smaller: u or 1?
u
Suppose -4*y + 32 = -0*y. Let v = y + -9. Let x be (1/(-7))/((-2)/(-6)). Do x and v have different values?
True
Suppose 3*s + 5*c - 14 = s, -2 = c. Let l be 2*3/s*0. Let z = -3 - -4. Are l and z non-equal?
True
Let g = -1.7 - -3. Let t = g - 6.3. Let j = t + 5. Is j > -1/4?
True
Let l be (4 - 21/6)/(1/(-3)). Is -3 greater than l?
False
Let k = 0.27 + -0.3. Which is smaller: k or 4?
k
Suppose 22*h = -2569 + 391. Do -99 and h have the same value?
True
Let s = -2 + 6. Let i be (-4)/(-5) - s/6. Is i > 1?
False
Let l = -1 - -4. Suppose l*g = g. Suppose 26 = 3*c + 5*b, -b - 3*b + 22 = 3*c. Which is smaller: g or c?
g
Let f = -1.1 + 9.1. Which is smaller: f or -3?
-3
Let s be (5/(-2))/(1/10). Let o = -13 - s. Let n be 3/o - 7/12. Is n smaller than -1?
False
Suppose -5*a + 2 - 11 = -r, 4*r - 4*a - 4 = 0. Which is smaller: -1/12 or r?
r
Let n = -18145/8 + 2264. Let g be (1833/60)/(38/(-5)). Let a = n - g. Which is smaller: 0 or a?
a
Let g = 305/14 - 212/7. Suppose 3*k - 3*r + 27 = 0, 2*k - 3*r + 18 = r. Which is gr