or z?
z
Let f = 0.3 + 0.3. Let c = 1.2 - f. Which is greater: -2/3 or c?
c
Suppose 0 = -2*u - u - 24. Let l = u + 4. Let b be (-56)/(-147) - l/14. Are 1/2 and b unequal?
True
Suppose 0*h = h. Suppose -3*y + 2*n + 6 = 3, -2*y + 4*n = -2. Let z be 2 - 4*y/1. Which is bigger: h or z?
h
Suppose 13 = -5*t + 2*p, 5*t - 2*t = -2*p + 5. Which is smaller: t or -1/3?
t
Let r = 3 + 0. Let l = 5 - r. Let c = 1 - 0.9. Which is bigger: c or l?
l
Suppose 8*l + 3 = -5. Which is smaller: l or 2/21?
l
Let u(f) = f**3 + f**2 + f + 3. Let a be u(0). Let p be (-2)/a + 2/3. Let h = p + 1. Are h and -2/9 equal?
False
Suppose 0 = 4*v - 2*v. Let y be v/(0 + (-1 - -3)). Is 0 equal to y?
True
Let f = 3 - 3. Let k = -1225/6 - -701/3. Let w = 30 - k. Is f > w?
False
Let h = 1/11 - 25/33. Is h bigger than 0?
False
Let i be 0*(-4)/(-36) - -1*1. Is i less than -1/134?
False
Let n(u) = u**2 + u - 2. Let r be n(2). Suppose m + 24 + 16 = -r*a, -3*a + 4*m - 11 = 0. Let j be 2*-1 - 21/a. Is j > 0.1?
True
Let m = 0.81 - -0.29. Let j = 0.9 - m. Let q = -0.3 + 0.2. Is j < q?
True
Let b = -34 - -33.7. Which is greater: b or 1?
1
Suppose -11*z = -8*z + 102. Let r = z + 101/3. Is 0 less than or equal to r?
False
Let p = 1.44 + -1.52. Which is smaller: 0.9 or p?
p
Let t = 3410/91 + -450/13. Which is smaller: t or 2?
2
Let b be (0 - -163154)*(-3)/6. Let o = -4486571/55 - b. Let p = -14/5 + o. Which is greater: p or 1?
1
Let q be (-2)/(3 - (1 + 3)). Which is smaller: 5/6 or q?
5/6
Let c(s) be the second derivative of -s**6/720 + 11*s**5/120 + s**4/4 - 3*s. Let d(l) be the third derivative of c(l). Let u be d(9). Which is smaller: 1 or u?
1
Let n be (-1)/((-37)/73) + -2 + 0. Is -2 at least as big as n?
False
Suppose -18*u = -15*u + 6. Let v = u + 13. Is v greater than or equal to 10?
True
Let u = -17.1 + 17. Which is smaller: u or -2/3?
-2/3
Suppose -3 - 21 = -6*z. Which is smaller: 0 or z?
0
Suppose 0 = -u + 6*u - 15. Suppose u*v - 4*v = 13. Let w = v + 94/7. Which is smaller: w or 0.1?
0.1
Suppose 2*p + 3*p = 2*d + 15, -5*p = 5*d - 15. Let o = p - 10/3. Which is greater: 1 or o?
1
Let p = 0.18 + -1.48. Let b = 0.3 + p. Let i = 0.2 - 0.3. Which is smaller: i or b?
b
Let a(j) = 1. Let d(g) = -g - 4. Let w(b) = 2*a(b) - d(b). Let q be w(-7). Is q less than 1?
True
Let f = -1.4 + -4.6. Let i = f + 7. Is i smaller than -2/15?
False
Let f be ((-3)/(-6))/((-9)/(-2)). Suppose 0 = 2*m - 3*w - 12, 5*m - 4*w = w + 20. Is m at least as big as f?
False
Let d = 44 - 30. Which is smaller: 1 or d?
1
Suppose 3*i = 7*i - 48. Suppose i*p + 12 = 16*p. Which is bigger: 2/3 or p?
p
Let f be (-9)/(-105) - (-8)/40. Which is greater: f or -7?
f
Let h be 2/(-4)*3*2. Let f = h - -13/4. Which is smaller: -0.1 or f?
-0.1
Suppose -2*y = -5*y + 15. Let p(u) = u**3 - 6*u**2 + 6*u - 6. Let n be p(y). Is -0.2 >= n?
True
Let y = -12 + 16. Suppose y*c + 0*c = 8. Is c != 5?
True
Suppose b = -0*b - 1. Let k(v) = v**3 - 2*v - 1. Let n be k(b). Is n less than -1/4?
False
Let a be (-6)/14*(-4)/12. Which is greater: 1/9 or a?
a
Let y = -1.39 - 0.01. Let z = y - -0.4. Which is smaller: -2/5 or z?
z
Let k = -0.5 - -0.2. Let c be 21/63 - (1 + 0). Is k less than c?
False
Let g(s) = -3*s + 10. Let p be g(4). Does -4/5 = p?
False
Let r = -0.9 - 0.1. Let y = 1.1 + r. Let s = -0.14 + 0.04. Which is smaller: s or y?
s
Suppose -x = x. Which is bigger: x or -1/15?
x
Let l = -8 - -1. Let i be (0/(-1))/(l - -6). Do 2 and i have the same value?
False
Let t(c) = -2*c**2 + 2*c - 1. Let q be t(2). Let a be ((-3)/(-30))/((-2)/q). Which is smaller: a or 1?
a
Let z = 96 + -97. Let j be ((-2)/8)/((-10)/8). Is z <= j?
True
Let g(b) = -4*b**3 + 3*b**3 - 2*b**2 + 3*b**2 - 2 + 3*b. Suppose 2 = 4*w - 6. Let s be g(w). Is 2 >= s?
True
Let t(u) = 4*u + 5. Let f(c) = c + 1. Let y(m) = 6*f(m) - t(m). Let a be y(-1). Are a and -1 equal?
True
Let p be -6 - -1 - (-14 - -20). Which is bigger: -7 or p?
-7
Let x = 977 - 31269/32. Which is bigger: 1 or x?
1
Suppose -q + 9 = o, -4*o = 5*q - 0*q - 38. Is 8 < o?
False
Let f = -4.6 + 4.1. Which is greater: 4 or f?
4
Let a(h) = -h**3 + 3*h**2 + 2*h - 3. Let u be a(3). Let w(i) = -2*i + 6. Let x be w(u). Let n = -7/6 + 2/3. Which is smaller: n or x?
n
Suppose 0*v + v + 5 = 0. Let d(j) be the second derivative of -j**5/20 - 2*j**4/3 - 5*j**3/6 + 9*j**2/2 + 6*j. Let y be d(-7). Is v greater than or equal to y?
True
Let c = -0.041 - -0.261. Is -1 bigger than c?
False
Let y(a) = a**3 + 13*a**2 - 4*a - 29. Let u be y(-13). Which is bigger: 22 or u?
u
Suppose 3*y + 28 = -b, -4*b - 2 = 14. Let m be 2/y - 818/(-1512). Let j = m + -1/189. Which is bigger: -1 or j?
j
Let g(c) = 3*c + 11. Let i be g(-7). Let j = i + 31/3. Suppose 4*w - 20 = -w - 5*d, -4 = -d. Do j and w have different values?
True
Let k be (-292)/138*8/(-75). Let m = -2/575 + k. Let p = -310 - -309. Which is smaller: m or p?
p
Let m = 0.06 + -2.06. Let d = 42 - 31. Is m greater than d?
False
Let s(c) = c**2 + 6. Let g be s(0). Let a be (3 - 1)*14/4. Is a at least as big as g?
True
Let n be 8 + -5 - 0/(-1). Let f = -5 - -7. Which is smaller: n or f?
f
Let s = -4231 + 88835/21. Which is greater: -2 or s?
s
Let b = 8.2 - 8. Let j = b - 0.1. Is j at least -9?
True
Let m be 9/(-7) + 4/14. Let v be (-48)/32*-2*(-2)/(-3). Does m = v?
False
Let b(n) = -3*n - 3. Let u be b(-2). Is 3 less than or equal to u?
True
Let j = -1 + 6. Suppose j*f - 19 + 4 = 0. Let s be 0 + 0 + (f - 6). Which is bigger: s or -2?
-2
Suppose -4*b = -i + 8, -4*b = -3*i - 6 + 22. Let g(r) = -r**2 + 4*r - 2. Let x be g(i). Let f = -1 + x. Which is smaller: f or -2?
f
Let x = 13 - 18. Let w be (-15)/18*(-1)/x. Which is greater: -1 or w?
w
Let f be 3 - 5 - 3/(-15). Are -2 and f nonequal?
True
Let t = -13 - -12. Which is smaller: t or -1/4?
t
Let o = 47 - 35. Are o and 15 non-equal?
True
Let t(o) = o**3 - 4*o**2 + 4*o + 1. Let l be t(2). Let y = 15.1 - 16. Which is smaller: l or y?
y
Suppose 0 = 4*k + 4*z + 28, -5*k + 2*z - 4*z - 44 = 0. Let h be 189/35 - (-4)/k. Is h greater than 5?
False
Let c = -0.06 - -0.06. Does c = -2?
False
Let h = 22 - 27. Let j = -3 + 4. Is j bigger than h?
True
Suppose 3*a - 2*o = -16 - 12, 3*a + 30 = 3*o. Is a at least as big as -10?
True
Let l = 1/79 + -88/711. Which is bigger: -1 or l?
l
Let k be ((-3)/(-9))/((-7)/18). Which is smaller: 1/2 or k?
k
Let v(g) = g**3 - 10*g**2 + 7*g - 10. Let u be v(9). Is u at least as big as -28?
True
Let r(w) = w + 2. Let n be r(0). Suppose -7*c = -n*c. Suppose c = -5*m - 0*b - 2*b - 35, 20 = -4*b. Are m and -4 equal?
False
Let r be (0/(-29))/((-1 - 1)/(-2)). Is 1/150 > r?
True
Let v = -11 - -8. Let b be 2/(-6) - 1/v. Which is greater: 1/3 or b?
1/3
Let d be (2/(-1))/(2/1). Let g = 3201/7 + -458. Is g smaller than d?
False
Let d = -63 + 45. Let t = -33 - d. Which is smaller: t or -14?
t
Let i = -7 - -9. Let z = 8 + -11. Let s = i + z. Are 1 and s unequal?
True
Suppose 0*u - 8 = -2*u. Suppose 5 = 5*f + 20. Let k be 40/16*(-1 - f). Which is smaller: u or k?
u
Let r(y) = y - 5. Let s be r(-2). Is -20/3 at most s?
False
Let f(q) = -2*q - 6. Let a be f(-5). Suppose 20 = 5*u, -a*h = -3*u + 2*u - 20. Suppose 4*m = m - h. Is m greater than -2?
False
Suppose 108 = -8*m + 268. Is m less than 18?
False
Let m = -79 - -155/2. Is -3 greater than m?
False
Let h be 234/204 - (3 + -2). Which is bigger: h or 1?
1
Let v(y) = y**2 + 8*y + 10. Let d be v(-7). Let j = 5 - 0. Suppose 6 = j*s - 4. Is s >= d?
False
Let s be ((-2)/(-3))/((-3)/351). Let j = -159/2 - s. Which is smaller: -2 or j?
-2
Let m = -20 - -21. Let f(t) = -t + 4. Let b be f(3). Is b smaller than m?
False
Let l be (1 - 0) + (-3 - -2). Let v = 4 - -5. Suppose 1 + v = 5*s. Which is bigger: s or l?
s
Let f be -8 + 4 - 0 - -7. Let j = 0 + 1. Let d = 5 - j. Which is greater: f or d?
d
Suppose s + 139 = 3*v, -4*v + 188 = s - 5*s. Is v at most 47?
True
Suppose 3*s + 4*g = 2 - 10, 10 = s - 5*g. Suppose 4*t = 2*i - 6, 4*i = -s*t + 2*t + 12. Is t bigger than 2/9?
False
Suppose 16*w = 20*w. Let l = 1/3 + -13/33. Which is smaller: w or l?
l
Let a be ((-4)/(-18) + 40/225)*-15. Let f(i) = -i - 6. Let d be f(0). Is d <= a?
True
Let k = -17.92 + 18. Which is bigger: 2/7 or k?
2/7
Let r be ((-1)/(-4))/(8/24). Which is greater: 1 or r?
1
Suppose 0 = t + 3*t + 40. Let f be t/(-6) + (-6)/9. Is f bigger than -3/8?