or f?
k
Let j be 48/22 + (-8)/4. Is -1 less than j?
True
Let l(i) = i - 7. Let j be l(12). Is 5 greater than j?
False
Let b = 17 - 17. Does b = 2/41?
False
Let m be 30/20*(-4)/(-3). Suppose m = 2*x + 6. Let n(j) = j**2 + 4*j - 1. Let f be n(-4). Which is bigger: x or f?
f
Suppose 2*z = 7 + 13. Let y be 3 - -14*(-1)/(-2). Is y at most as big as z?
True
Let k = 7 - 50/7. Is 0 less than or equal to k?
False
Let n = 0.8 - 0.3. Let f = 1.5 + n. Let i = -2.1 + f. Are -2 and i unequal?
True
Let z = 1/1204 + 42817/301. Let y = z - 143. Is y smaller than -2?
False
Suppose 10*r = 15*r - 5. Suppose 0 = t - 4*t + 12. Is r != t?
True
Let n be (-8)/32 - 1/(-2). Which is smaller: n or -3/4?
-3/4
Suppose -3 = -4*n + 33. Is n at least as big as 9?
True
Let c be (-4 - -1) + -1 + 4. Suppose -3*h + 3 + 6 = c. Suppose h*n + n - 2*m = 38, 12 = n - m. Is n < 8?
True
Let o(f) = -f**3 + f**2 - f. Let p(h) = h**2 + 8*h + 7. Let u be p(-7). Let q be o(u). Which is greater: -2 or q?
q
Suppose 0 = 7*t - 8*t + 1. Are t and 2/3 nonequal?
True
Let m(v) = v + 16. Let u be m(-11). Is 0.4 != u?
True
Let x = 6.5 - 6. Let a = 0.5 - 1. Let o = x + a. Is 1/4 less than or equal to o?
False
Suppose 0*u = -2*u - 3*s + 9, 2*s = 5*u - 13. Let x = 0 - -3. Suppose 2*r - 13 = -5*y, y + x*y = -u*r + 16. Are y and 1 equal?
True
Let k = 17 + -15. Let f be (-12)/(-112) - k/(-14). Which is bigger: f or 0?
f
Suppose 4 = w + 9. Is w at least -5?
True
Suppose -o = -4*p - p + 13, 6 = 2*p. Is 13/4 smaller than o?
False
Let v = 18 + 2. Let j = v - 15. Is 6 != j?
True
Let p be 7/7*2/70. Is p less than 1?
True
Suppose 3 = -g - 0. Let v = 96 + -100. Is g smaller than v?
False
Let w be 6/(-12) + (-2)/(-8). Does w = 0?
False
Let b = 0.3 + -0.2. Let z = 0.6 - 2.6. Let u = -2 - z. Which is smaller: b or u?
u
Let t(m) = -2*m - 7. Let a be t(-5). Let c = a + 0. Is c greater than or equal to 3?
True
Let w be (-1*1)/((-2)/10). Suppose -17 = -5*y + 2*x, 0*x - 2*x + 8 = 0. Is y less than w?
False
Suppose -v = 4*t + 18, -3*v + 0*v = 2*t + 4. Let q = 0.38 + -0.08. Let f = q + -0.5. Which is smaller: v or f?
f
Let j be ((-7)/(-4))/((-39)/26). Is 1 smaller than j?
False
Let o = 31 - 139/4. Is -3 greater than o?
True
Suppose -4*q + 2*q + 3 = -k, 0 = -3*q. Let v be 3*(k + (-15)/(-9)). Which is smaller: 0 or v?
v
Let r be 2/9*28/(-420). Which is greater: r or 0?
0
Let v = -4 - -7. Let r be (-1)/(-4) + (-2764)/48. Let g = r - -59. Does v = g?
False
Suppose 0 = -3*x - 0*o - o + 32, 3*x + 3*o = 42. Let g be (-6)/8*3/x. Suppose 2*j = -2*j. Which is greater: j or g?
j
Let v = -1489.97 + 1483. Let j = 7 + v. Let m = j + 1.97. Is -0.1 smaller than m?
True
Let z be (-2 + (-10)/(-4))*10. Let t = 6 - z. Suppose d - f + t = -4*d, -f = d + 5. Is d greater than -1?
False
Suppose 0 = -2*f - f + 9. Let d be 1 + 2*f/(-18). Are d and -0.2 non-equal?
True
Let q = -18 - -18.18. Is 0 at least as big as q?
False
Suppose 5*i = -c - 226, 11*c - 192 = 4*i + 9*c. Is i bigger than -134/3?
False
Suppose -w - 7 = -5. Let k be (2/(-2) - 0)/(-1). Is w less than or equal to k?
True
Let r be 4 + 16/36 + -4. Which is smaller: -1 or r?
-1
Let b be 1 + -3 + 1 + 3. Suppose -2*m + 15 = -q + 3*m, -5*q - 6 = -2*m. Which is bigger: q or b?
b
Let i = 23 - 30. Are -7 and i equal?
True
Let p be (6/(-75))/(-2*1/(-20)). Let h(x) be the third derivative of -x**5/30 + x**4/12 + x**3/3 + x**2. Let g be h(2). Which is greater: p or g?
p
Let g(j) = -j**2 + 3. Let h be g(3). Let m(s) = s**3 + 7*s**2 + 6*s - 1. Let q be m(h). Which is smaller: q or -2?
-2
Let j(g) = -g**2 - 6*g + 10. Let k be j(-7). Suppose -3*i + 5*i + p = 5, -k*p + 15 = -4*i. Let z = -0.05 + -2.95. Which is greater: i or z?
i
Let j be (-138)/(2*1/2). Let a = -693/5 - j. Are 0 and a non-equal?
True
Let r(h) be the first derivative of -h**5/120 - 3*h**4/8 - 2*h**3/3 - 1. Let q(a) be the third derivative of r(a). Let m be q(-8). Which is smaller: m or 0?
m
Let m be 6/(3*(-2)/4). Let z be 1*m*(-4)/8. Is z greater than 2?
False
Let w be (1 - 4/8)*0. Is w greater than or equal to -4/3?
True
Let k = -9 + 12. Let j be k/(-4)*(3 - 11). Is j less than or equal to 6?
True
Let c(k) = k**2 + 3*k - 4. Let v be c(-4). Let a = 8 + -4. Suppose -a*u = -d - 4 + 3, 2*u - 3*d + 7 = 0. Is v bigger than u?
False
Let t be (3/(-2))/(-3)*0. Suppose 3*u + 2 = -4*h - t, 0 = -2*u + h + 6. Suppose 0 = -5*w + 7*w. Which is greater: w or u?
u
Let g(t) = -t**3 + 3*t**2 + 2*t + 5. Let x(i) = i. Let z be x(4). Suppose 0 = 4*q + 5*o - o - 12, -q - z*o = 0. Let k be g(q). Are 2/7 and k non-equal?
True
Let b = -8 + 8. Suppose b = 5*a - 3*a - 6. Is a less than or equal to 3?
True
Suppose -5*l = -3*n + 7, -4*n - 2*l = 2*l + 12. Which is greater: n or 1/9?
1/9
Let r = -18/7 + 320/119. Which is bigger: 1 or r?
1
Let h = 7 + -2. Suppose z + h = -0*z. Which is smaller: z or -6?
-6
Suppose 4*t - 4*s + 580 = 0, 0 = 2*t - 4*t + 3*s - 287. Does t = -148?
True
Suppose 0 = -2*a - 8 + 2. Let y be ((-2)/a)/(4/(-6)). Is y less than 1?
True
Let j(z) = -z - 13. Let q be j(-9). Let i(w) = w**2 + 4*w - 4. Let v be i(q). Let s be 5/(-2)*v/5. Which is smaller: 1 or s?
1
Let l(s) = -7*s**2 - 5*s - 5. Let t be l(-2). Which is bigger: -24 or t?
t
Suppose 0*c = -2*c + 48. Let l be (-5)/2*c/45. Let s = l + 2. Which is bigger: 1 or s?
1
Let n be (-8)/(-20) - (-154)/(-10). Let h = -11 - n. Suppose 0 = -3*q + 2*a - h, 0 = -4*q - 2*a + 11 + 7. Is q at most as big as 2?
True
Let i(z) = -z - 11. Let j be i(-7). Let n(w) = -w + 1. Let g be n(0). Let b be j - g - (7 + -8). Is -3 at most b?
False
Let q = -8/41 - -202/615. Which is smaller: 1 or q?
q
Let w = 1/9949 + -437813/567093. Let v be 1/(-2) - 30/(-76). Let c = w - v. Is -1 >= c?
False
Let c be (8/(-96))/((-2)/28). Is 2 greater than or equal to c?
True
Suppose 2 - 27 = 4*h + l, -5*l + 13 = -3*h. Let d be (-1)/5*(-4)/h. Which is smaller: d or 0?
d
Suppose -l + 2 = -1. Suppose y + l - 2 = 0, 5*y + 1 = 2*x. Let f(t) = t**2 - 5*t + 3. Let d be f(4). Which is smaller: x or d?
x
Let l = -0.17 - -0.03. Let v = l - -2.14. Let y = 2 - 3. Is v bigger than y?
True
Let v = -30 - -30. Suppose 4*o - 5*n + 11 = 0, 0 = 3*o + n - 4 - 2. Is v greater than or equal to o?
False
Let y = 2339/246 - 1/123. Let p = -1751 + 10561/6. Let m = y - p. Which is smaller: m or -1?
-1
Let o = 8 - 7. Let c = -4.8 - -4. Let b = o + c. Which is bigger: b or -0.1?
b
Let x = -369/5 + 74. Which is smaller: x or -1?
-1
Suppose 0 = -4*j - 4 - 0. Let h = -183/7 - -26. Which is greater: h or j?
h
Let c = 15.2 - 15. Is 1/3 at most c?
False
Suppose -2*c + 6 + 0 = 0. Let q(h) = -h + 1. Let i be q(c). Is i smaller than -2?
False
Suppose -13 + 1 = 4*i. Let y(l) = l**2 + 6*l - 9. Let h be y(-7). Which is greater: h or i?
h
Let g = -18 - -19.1. Let q = g + -1.1. Is -5/3 > q?
False
Let h = 30 + -47. Is -18 <= h?
True
Let l be ((-1)/(-10))/((-1)/(-2)). Suppose 3*a + 4*q = -2*a - 25, 2*q + 10 = 0. Which is smaller: l or a?
a
Suppose -4*b - i + 2 + 1 = 0, 5*i + 25 = 0. Let a be 6/b + 3/(-2). Which is smaller: 3 or a?
a
Let r be 8/(-14)*-38*(-1)/(-8). Which is greater: r or 1?
r
Let j = -60 + 55. Let y = 4 - 8. Is j bigger than y?
False
Suppose -4*f + 4*g = 0, 0*f = -5*f + g. Which is smaller: f or 1/2?
f
Let a(x) = -x - 3. Let c be a(-3). Suppose 3*t - 4 + 1 = c. Suppose 0 = 8*z - 7*z - 2. Is z at most as big as t?
False
Let b = -1.27 - 8.03. Let q = 3 + -12. Let o = q - b. Which is bigger: 1 or o?
1
Let h = 33 - 19. Let u = h + -15. Is 2/5 less than u?
False
Let y(l) = l + 4. Let v be y(-8). Let a be -6 - 2/(6/(-3)). Which is bigger: v or a?
v
Let q be -1 + 5*2/5. Suppose k - 3 - 2 = 0. Is k less than q?
False
Let c(q) = q**3 - 8*q**2 + q - 8. Let a be c(8). Let k(l) = l**3 + l**2 + 4. Let d be k(0). Suppose -d = 2*v - m - 8, -m - 4 = -4*v. Is a > v?
False
Let t be -20 + (3 - (-12)/(-3)). Is t equal to -2/11?
False
Suppose 8*s = 6*s - 12. Let c be (-3)/s*2/4. Is c greater than -1?
True
Let n = -262/15 - -64/5. Are n and -5 equal?
False
Let l be 7/(-3) - (-1)/(-9)*-3. Let i = 193 + -1163/6. Does l = i?
False
Suppose -4*h - 4 = -4*q, -3*q + 0*q + 27 = 5*h. Is q not equal to 3?
True
Let k = -0.12 - 1.18. Let u = k - 0. Let z = u + 0.3. Which is smaller: z or 2/5?
z
Let v = -147 - -146. Which is greater: 83 or v?
83
Suppose 2*v = -2*v + 48. Let o = v + -15. Which is sm