s big as j?
False
Suppose 5*w - 2 = 8. Which is bigger: w or 4?
4
Let n be 136/36 - 6/(-27). Suppose -i - 2 = n*u, -5*u - 4*i - 8 = -2*u. Is 1 less than or equal to u?
False
Let g = 0 + 10. Which is smaller: g or 1/3?
1/3
Let r = -8 + 7. Is 0 at most as big as r?
False
Suppose l = 1 - 7. Let a = -1 - l. Suppose 0 = 4*v - 9*v + a. Is v at least as big as 2/7?
True
Suppose 0 = 5*b - 8 - 12. Let g(i) = i**3 - 5*i**2 + 5*i - 4. Let v be g(b). Suppose -16 + v = -4*q. Are 5 and q equal?
False
Let y(x) = -x**2 + 6*x. Let m be y(6). Let q be 2 + (38/11)/(-2). Is m greater than or equal to q?
False
Let y be (-4)/64 - 0/(3 - -1). Let l = 0.11 + -0.21. Is l > y?
False
Suppose 14*p - 9*p + 25 = 0. Which is greater: -4 or p?
-4
Let c be (-2)/(-3) - (-72)/(-106). Which is greater: -1 or c?
c
Suppose -14*k = -17*k - 9. Let t = -340164697/345 - -985983. Let l = 2/69 + t. Is l != k?
True
Let j = -2.3 + -6.7. Which is bigger: j or 2?
2
Let v = 313/9 - 35. Let z = 11.04 + -0.04. Let k = -10.8 + z. Which is greater: k or v?
k
Let v be ((-6)/4)/(3/2). Is v greater than or equal to 1.3?
False
Let f = -18 - -18.05. Let u = f - -0.95. Which is smaller: u or 2/3?
2/3
Suppose l - 2*l = 0. Suppose -9*n + 8*n = -8. Let m = n + -6. Which is smaller: m or l?
l
Let s(u) be the third derivative of u**6/120 - u**5/20 - u**4/24 - 5*u**3/6 - u**2. Let g be s(4). Let k be (-1)/6*(g + -3). Which is bigger: k or 0?
0
Let o be (-620)/(-24) + 2/12. Let k be (o/6)/((-1)/(-3)). Suppose s - 2 = 4*m - s, -4*m + k = 3*s. Which is smaller: 0 or m?
0
Let m be -1*(3 + -2)*-6. Let r be ((-4)/m)/((-6)/45). Let f = r + -4. Is 1/3 less than f?
True
Suppose 2*g = 4*s + 330 - 18, 5*g = 5*s + 785. Let y = g + -2845/18. Is y <= 0?
True
Let m = -9 + 13. Let h = -4 + m. Is h smaller than 0.01?
True
Let x(c) = 2*c**2 - c + 1. Let j be x(1). Suppose h + 3*h - 4 = 0. Let f = h - j. Which is bigger: f or 2/7?
2/7
Suppose -2*y + 5 = -3*c - 0*c, c = -5*y + 21. Suppose -3*d - 5*q - 13 = 6, y*d - 3*q = -6. Let l = d + 4. Is 1/4 > l?
False
Let d be (-1 + 2/4)*-10. Let s = d + -7. Let b be (s/(-6))/((-20)/(-8)). Is b at most 1?
True
Let p(i) = -i**2 + 3*i + 2. Let o(w) = -w. Let r(u) = 4*o(u) + p(u). Let v be r(0). Suppose v*n - n + 1 = h, 5 = -n - 3*h. Does -1 = n?
False
Suppose 3*b - 1 = -4*n, -3*n - 2*n - 5*b = -5. Suppose 4*c - 3*m + 27 = -0*m, 0 = -2*c - 4*m + 14. Which is greater: n or c?
n
Let a = -101 + 101. Let n = 0.1 + -0.2. Which is bigger: a or n?
a
Suppose 2*g = d + 6, -5*d - 3 = 4*g - 15. Suppose 0 = b + b + 2. Which is smaller: b or d?
b
Suppose -2*w = 2*y - 4*y + 8, -2*y + 4*w + 14 = 0. Let h be ((-2)/3)/((-92)/(-4)). Let b = 73/138 + h. Which is greater: b or y?
y
Let u(r) = 79*r**2 - 2. Let k be u(-1). Which is smaller: k or 76?
76
Let w(m) = m**2 + 7*m - 8. Let v(z) be the first derivative of -z**3/3 + z + 3. Let o be v(-3). Let b be w(o). Which is smaller: b or -2/5?
-2/5
Let f = 3.4 + -3.5. Let y be (2/3)/((-6)/(-9)). Which is smaller: f or y?
f
Let b = -1.33 + 1.2. Let o = 0.19 + b. Is o at most 0?
False
Let n = 6.2 - 7. Let r = -0.2 + n. Which is greater: -3 or r?
r
Let z = 9 + -5. Suppose -3*r - r = -20. Which is smaller: r or z?
z
Let s(i) = 2*i**2 - 7*i + 6. Let q be s(4). Is 10 less than q?
False
Let q = -11 - -10. Which is smaller: 0.05 or q?
q
Suppose 3*t = -4*i + 17, 4*t - 6*t - 2 = -4*i. Suppose 0*n = -t*n - 3. Let q = -20 + 20.2. Which is greater: q or n?
q
Suppose 3*v - 5*m - 26 = 0, -v + 2 = -6*m + m. Suppose -v = -i - 3*i. Suppose 6 = r - 2*n - 2, 0 = -i*r + 3*n + 12. Are r and -1/5 equal?
False
Let i = 16 - 4. Is 1/4 at least as big as i?
False
Let r(g) = -g**2 - 6*g + 3. Let l be r(-6). Let a = l - 17. Let d be 1 - a/20*-2. Is d at least as big as 0?
False
Suppose -k = k + 140. Let l be (-4)/k*3*-5. Which is smaller: -0.1 or l?
l
Let g be 30 - (-1)/(2/4). Let d be g/63 + (-4)/18. Let q = 23 + -23.1. Is d bigger than q?
True
Let p be (-919)/(-10) + 2/(-4). Let q = -91 + p. Let r be 3/((-3)/(-2))*1. Which is bigger: r or q?
r
Let x be (-28)/140 + 334/70. Is 4 less than or equal to x?
True
Let z(l) = 7*l + 90. Let j be z(-10). Is j at least as big as 17?
True
Let d = -5717/19 - -301. Suppose -5*c + 10 = t - 3, 0 = c - 2*t - 7. Suppose 2*y - c*y = 1. Is y < d?
True
Let k = -0.4 + 0. Let r = k - -0.4. Let x = -0.19 + -0.01. Is r smaller than x?
False
Let u be -1*3*(-4)/6. Let n(g) = -g. Let w be n(0). Let q be u/(-4)*(w - 4). Is 2 greater than q?
False
Let v = -1 - 3. Let o(n) = -2 - 2 + 4 - 5*n. Let x be o(1). Is x greater than v?
False
Let a = -6 - -12. Let y = -7 + a. Which is bigger: y or 0?
0
Let c = 69.1 + -68. Which is smaller: 0.2 or c?
0.2
Suppose -n - 6 = -0*n + 2*w, 2*n = -3*w - 8. Let b be n - 3 - 11/(-6). Which is bigger: b or 0?
b
Let v be 375/(-855) - 1/(-3). Which is bigger: v or 1?
1
Let s = -18 - -21. Let k(t) = 3*t**2. Let r be k(1). Suppose -d + 8 = r*p, -s*p = -2*d + 8 - 1. Are p and 1 non-equal?
False
Let c = 0.23 + -0.26. Which is bigger: c or -0.02?
-0.02
Let x = 0.3 + -0.2. Let w = -1.9 - x. Let r = -3 - w. Do r and -1 have the same value?
True
Let q = 3 - 9. Let x = 6 + q. Which is smaller: x or 1?
x
Let w = -0.8 - -1. Let o = 3.7 + -0.7. Which is greater: w or o?
o
Let j = 0.3 + 1.9. Let t = j - 1.3. Let p = 0.1 + t. Is 1 < p?
False
Let u = -87/2 + 43. Is -5 at least u?
False
Let h(g) = -g**2 - 7*g - 6. Let r be h(-5). Let w be 6*(6/r)/3. Let i(n) = -n - 2. Let a be i(-6). Is a greater than w?
True
Let d = 2/11 - 17/33. Which is greater: 1 or d?
1
Let r = 11 - 17. Let c be 2*3/r - 0. Let q be 4/10*(-2)/(-4). Which is bigger: q or c?
q
Let m be (-4)/2 + 22 - -1. Let p be (-4)/10 + m/(-35). Let q be p/((110/(-4))/(-5)). Is q at least -1?
True
Let z be 86 - (4 - 3)/(2/(-4)). Which is bigger: z or 89?
89
Suppose -4*t = -0*t. Which is bigger: t or -3/4?
t
Suppose -2*u + 5*v + 8 = 0, -2*u - 2*v - 6 = -0*v. Suppose 0*k = -3*k + 2*b - 11, 10 = -3*k + b. Let a be 3/(-27)*-3*k. Is u smaller than a?
False
Let k = -8 + 11. Let w be 6 + (-3 - k/(-3)). Suppose -2*l + 4*i + 8 = 0, l + i = -w*i - 10. Are l and -3/5 equal?
False
Let u(b) = 4*b**3 - b**2 + 2*b - 1. Let l be u(1). Suppose 4*o + l*r = -20, 4*o - r = -0*o. Let n be (-1 - (-9)/6)*-1. Which is bigger: n or o?
n
Let g(h) = h**3 - 7*h**2 - h + 3. Let i be g(7). Let r be i/(-18) + 47/(-9). Which is greater: r or 0?
0
Suppose 5*j - 33 = -4*g, -5*g + 4*j = 2*j. Is g at most as big as 2?
True
Let t = 1/397 - -33733/4764. Let o = t + -27/4. Does -1 = o?
False
Suppose 4*c - 44 = -0*c. Is c equal to 11?
True
Let h = -29/124 - 1/62. Suppose -3*b - 5 = -2*o, -4*b + 3*b - 2*o = -9. Is h at most as big as b?
True
Let o(c) = 5*c + 83. Let q be o(-15). Suppose 3*j - 15 = -2*j. Suppose 0 = 5*n - j - 32. Is n at most as big as q?
True
Let j = 3.8 - 6. Let s = -2 - j. Let d be -1 + 8 - (6 + -3). Which is bigger: s or d?
d
Let k = 2 - 2. Which is smaller: -3/5 or k?
-3/5
Suppose -12 = 4*y - 40. Let c = -1 - -6. Let s = y - c. Do s and 3 have the same value?
False
Let i = 631 + -617. Suppose -45 = y - 4*y. Does y = i?
False
Let t be 2/(-5) + (-16)/(-90). Suppose -5*x + 2 = 22. Let u be ((-16)/(-4))/x + 0. Which is greater: t or u?
t
Let s = 37 - 33. Is 6 < s?
False
Let m be -64*(-1)/(-17) - -4. Which is smaller: 0 or m?
0
Suppose -4*f + 20 = f. Let b = 2.9 - 3. Is f >= b?
True
Let l(a) = a + 7. Let m be l(-10). Let w(j) = -j**2. Let q be w(-1). Is m <= q?
True
Let w(t) = t**2 - 1. Let a be w(-1). Suppose a = i + 3 - 4. Let s be 34/20 + i/(-5). Is 3 not equal to s?
True
Let j = 12 - 22. Let d = 6 + j. Let u be 2/8 - d/48. Is u != 0?
True
Let n be ((-8)/(-3))/(6/9). Let j = 4 - n. Suppose j = -0*c - 3*c. Which is bigger: -2/7 or c?
c
Suppose 0 = -5*z + 2*z. Let h = 1 - z. Which is greater: h or -1?
h
Let l be 2/(-17631)*(-1324)/(-2). Let o = 2/1959 + l. Suppose 0*p = -2*p. Which is smaller: p or o?
o
Let p = -956289/110 - -8694. Let l = -2/55 - p. Is -4 < l?
True
Suppose -2*h - 5*t = 2*h + 61, 5*h - 2*t + 68 = 0. Is -14 bigger than h?
False
Suppose -2*i - 2*y = 4, 5*y = 3*i + 4 - 6. Is i smaller than -6?
False
Let y = 0.6 - 1.3. Which is smaller: y or -0.1?
y
Let j(y) = -y**2 + 2*y + 2. Let s be j(3). Let c = 75 - 374/5. Which is greater: s or c?
c
Let g(p) = -p**2 - 8*p + 4. Let t be g(-8). Suppose 3*j - 1 = w, -3*w = t - 