 or a?
a
Let r(o) = o**2 + 12*o + 13. Let v be r(-11). Are v and 12/13 equal?
False
Suppose -2*m = -197 + 785. Let v = 3812/13 + m. Is v greater than or equal to -1?
True
Let r be 6/(-16)*-2 - 12/(-80). Which is smaller: 0 or r?
0
Let w = -51/2 + 91/4. Which is greater: 2/9 or w?
2/9
Suppose 4*a - 10 = 34. Suppose a = 4*k - 29. Which is greater: 9 or k?
k
Let w be (-3)/(-2*(-9)/(-12)). Is 1 > w?
False
Let u = 0 + -10. Which is smaller: -4 or u?
u
Let z = -2 + 5. Suppose z*f + f - 12 = 0. Let y = -1 + f. Is y equal to 0.2?
False
Let j = -217/4 + 55. Let d(o) = -2*o + 5. Let l be d(7). Let c = 11 + l. Is c <= j?
False
Suppose 0 = f - 7 - 6. Let d(p) be the third derivative of p**4/24 - 2*p**3 - 2*p**2. Let o be d(f). Is o equal to -2/5?
False
Suppose g + 2 - 1 = 0. Suppose -8 = -2*a + 6*a - 4*o, -10 = 3*a + o. Let r be (-1 - 0)*(a - -2). Which is bigger: r or g?
r
Suppose -1 = 5*y - 6. Let i = -2 + y. Let a be ((-3)/(-4))/(54/16). Is a equal to i?
False
Let j(t) = -t**3 + 5*t**2 - 5*t + 2. Let d = -6 - -10. Let c be j(d). Let l be c/6 - 2/3. Which is greater: -3/4 or l?
-3/4
Let z(x) = 6*x - 9. Let f be z(2). Let b = 2.8 - 3. Which is bigger: b or f?
f
Let w = -84 + 87.9. Let i = w - 4. Let v = 0.3 + i. Which is smaller: v or 0.1?
0.1
Suppose 0 = 3*o + 2*v - 5, -v - 3 = 2. Which is bigger: 23/6 or o?
o
Let u = 1 + -0.9. Let p be -1*-1*(-3)/6. Is p greater than or equal to u?
False
Let a(j) = j**3 - 2*j**2 - j + 3. Let v be a(-5). Let k = 1171/7 + v. Which is bigger: 1/16 or k?
k
Let n(f) = f**3 - 3*f**2 + 2*f. Let r be n(2). Let h = 2869202 - 2309707969/805. Let u = h + 2/115. Is u < r?
True
Let t = 21 + -26. Is t less than 0?
True
Let x = -2 - -2. Let d = -2 - -4. Let q = 3 - d. Which is greater: q or x?
q
Let i be 8/(-24) + (-5)/9. Let c = -5 + 4. Which is smaller: c or i?
c
Let d(b) = 4*b - 10. Let k be d(6). Suppose 4*s + 0 - 33 = 5*l, 4*l + k = -3*s. Which is smaller: s or 1?
1
Let w be (-2)/(-3)*(-5 - -2). Let g = w + 0. Suppose 6*v - 4*m = 3*v + 20, -4*v - 20 = 4*m. Does g = v?
False
Let j = 1 - 0. Let r be (0 + j)/(2 + 1). Let i be (-36)/60*4/6. Which is smaller: i or r?
i
Let d be (1/(-2))/((-10)/(-6)). Which is smaller: d or 0?
d
Suppose 0 = -3*x + 2*x + 4. Let y = 10 - 6. Is y < x?
False
Let o = 17 + -18. Which is smaller: o or -3?
-3
Suppose -3*g + 22 = 4*v, 2*g + 31 = 4*v - 1. Let b be -2 - (-5 + (v - 4)). Are -3/8 and b equal?
False
Let a(j) = -j**3 - 8*j**2 + 2*j - 2. Let b be a(-8). Let u be (9/84)/(b/(-16)). Is u >= 1?
False
Let w be 1 - (0 + 0 - 2). Let z be w/(-9) + 2/(-6). Which is smaller: z or -3/2?
-3/2
Let h be (-2)/(24/(-25)) + -2. Suppose -2*u = -0*u - 2*p - 2, 4*p = -u + 1. Which is bigger: u or h?
u
Let o(c) = -c**3 + 8*c**2 + 8*c + 12. Let k be o(9). Suppose 0 = -3*i - 0*i + 3*p - k, i + p = 5. Is i >= 3?
False
Let s(u) = -3*u**2 - u - 1. Let g be s(-1). Let f(j) = -j - 4. Let w be f(g). Which is smaller: 1 or w?
w
Let w = -53 + 161/3. Is 2 bigger than w?
True
Suppose -5 = -2*v - 3*i, -v + 4*i = 4*v - 1. Suppose 2*g + 31 = 2*m - 3*g, 0 = 4*m - 3*g - 27. Which is smaller: m or v?
v
Let x be -2 - ((-38)/7)/2. Suppose -8*r + 13*r = 4*w + 11, w + 5*r = 16. Which is bigger: w or x?
w
Let m be (7 - 0) + (-1 - 2). Let v = m + -7. Which is greater: v or -4?
v
Let d = 1 + -5. Suppose -2 = -2*i + 2. Let z(f) = -3*f + 3. Let n be z(i). Is d >= n?
False
Suppose -2 = -3*x + 1. Which is greater: 1.3 or x?
1.3
Suppose -k + 0*k = -9. Let w be (-30)/k + 3 + 0. Let d = 0 + -1. Are d and w equal?
False
Let v be 6/10*(-5)/(-7). Let f = -5 + 6. Suppose -7 = -5*m - 4*g, -4*m + f = g + 2. Are v and m equal?
False
Let b = 2 - 1. Let f be 16/6*4/48. Is f smaller than b?
True
Let b = -28652/73 + 785/2. Let f = 299/1022 - b. Let l(y) = -y**3 + 12*y**2 + 11*y + 25. Let s be l(13). Is f greater than or equal to s?
True
Let d be (1 - (-2 + 3))/2. Is 0 bigger than d?
False
Let z be (-72)/50*(6/4)/3. Is z less than or equal to 0?
True
Let f be 5116/(-35) + 4/(-10). Let h = 147 + f. Let d = 1 + -1. Are h and d unequal?
True
Let a be (20/(-5))/4*(0 + 1). Which is smaller: a or 2?
a
Let l(b) = -b + 1. Let q be l(0). Let c be 8/((2/q)/(-2)). Which is smaller: c or -9?
-9
Let w = 8 + -6. Suppose w = j - 2*z + 4, 0 = 5*j - 2*z + 18. Are -4 and j equal?
True
Suppose 3*g - 5*a - 2 = 0, 2*g + 3*a = 4*g - 1. Let y be (-10)/(-4)*g/5. Let i = 1/6 + y. Which is greater: i or 1?
1
Let h = -1456 - -13118/9. Which is smaller: h or 3?
h
Suppose 0*o = 5*o + 10. Let d = -12 - o. Let t be d/(-4) - 1/(-2). Which is smaller: 4 or t?
t
Let w be ((-4)/(-12))/(2/(-162)). Which is greater: w or 3?
3
Let q(v) = v**2 - 17*v - 11. Let h be q(17). Which is greater: 0 or h?
0
Let a = 0 + 0.08. Let o = -0.02 - a. Which is smaller: o or 0.07?
o
Suppose -10 = w - 6*w. Suppose 2*u = -5 + 11. Suppose -b + 4*r + 9 = 0, -b - 2*r = -u*r - 3. Which is greater: w or b?
w
Let m be 0 - (2 + -17 + -1). Which is bigger: m or 15?
m
Let m be 1 + -1 + -10 + 4. Let n(q) be the second derivative of q**5/20 + 7*q**4/12 + q**3 - 3*q**2/2 + q. Let c be n(m). Which is greater: -4 or c?
c
Suppose i + 6 + 11 = m, -3*m + 4*i + 47 = 0. Suppose 4*p + 3*d = -0*p - 39, 3*d = -2*p - m. Is -10 greater than p?
False
Let u = -4/57 + 1490/22857. Are -1 and u equal?
False
Let q be 1/1 - -5 - 3. Suppose -11 = -l + 5*x, 3*l + 2*x + 7 = -q*x. Let i be (3/9)/((-3)/2). Is i greater than l?
False
Let p be 1 + -3 + 51/18. Is 0.2 less than or equal to p?
True
Let l = 917057/10936 - -25/1367. Let u = l + -84. Which is smaller: 0 or u?
u
Let i(o) = -4*o**3 + o**2 - 5*o + 3. Let x be i(3). Let v be (0 - x/(-39)) + 3. Are 0 and v non-equal?
True
Let z = -0.55 + 0.6. Let r = z + -0.15. Let c = 0.11 - 4.11. Is r at least c?
True
Let o(s) = 0 - 1 + 3 - 2*s + 0. Let k be o(1). Which is smaller: k or 1?
k
Suppose 2*p = -5*b + 14, 7*p = 2*p + 2*b - 23. Let n = -26 - -45/2. Is p less than or equal to n?
False
Let i = 66/5 - 13. Suppose 3*n - 6 + 1 = 2*g, 3*g + 13 = -n. Which is greater: i or n?
i
Let q be (0 - 2) + -1 + 5. Let m(c) = c**3 - 8*c**2 + 8*c + 25. Let x be m(6). Is x at least as big as q?
False
Let f be 2/(-8) + 9/(-12). Let p be (-209)/6 - 1/2. Let i = 35 + p. Which is bigger: i or f?
i
Let g be 6/(-8)*16/(-10). Let j = 121 - 119. Is j greater than or equal to g?
True
Let c = -5 - -5. Let f = 1/49 - 72/1127. Which is bigger: c or f?
c
Let s(c) = c**3 + c + 2. Let a be s(0). Let l be 3/a*6/72. Is 0 equal to l?
False
Let i = -55 - -75. Which is bigger: i or -1?
i
Let w = 7 + -4. Let k = w - 1. Let y = k - 2. Is 0.1 at most as big as y?
False
Let s be -1 + (-1 - (-9)/4). Let g = 84.7 + -104. Let r = -19 - g. Which is bigger: r or s?
r
Let j be -10*(-2)/16*-1. Which is smaller: j or -2?
-2
Let j be 32 + 0 + (2 - (4 - 3)). Is 33 at least j?
True
Let r = 29 - 28. Which is bigger: r or 5/4?
5/4
Let m = 31 - 16. Are 15 and m unequal?
False
Let w(b) = -b**3 - 3*b**2 - 2*b - 7. Let o be w(-3). Let z be (-1 - -21)/(1/2). Let v = z + -201/5. Which is smaller: o or v?
o
Let h(i) = -i**2 - 11*i + 14. Let v be h(-12). Is 3 != v?
True
Let s(g) = -2*g**2 - 10*g - 18. Let n be s(-5). Is -20 > n?
False
Let y = 11/30 + 7/90. Which is smaller: y or 0?
0
Let o(a) = -a**2 + a + 1. Let p be o(2). Suppose -4*x = z + 19, 0 = z - 6*z + x + 10. Let q be (4/(-10))/(1/z). Which is greater: q or p?
q
Let g be (-1)/(4/1 + -3). Is g at most as big as 2?
True
Let s = -43.9 - -47. Let a = 11 - 14. Let r = a + s. Which is greater: 0 or r?
r
Let q = 0.1 - 2.1. Let x = -88 - -353/4. Which is smaller: q or x?
q
Let h = -17 - -16.9. Is h at least -4?
True
Let v be 4/2*(-2)/(-4). Which is greater: v or 2/61?
v
Suppose -280 - 230 = -o. Let v = o + -6624/13. Let b = -28/117 + v. Are b and -1 unequal?
True
Let p = -4 + 5. Is 24/11 < p?
False
Let t = 5.7 + -6. Let f = 3 + -0.5. Let q = f + -0.5. Do q and t have the same value?
False
Let t = 8 + -11. Let m = -7.6 + 7.5. Are t and m non-equal?
True
Let g(l) = l**2 + 5*l + 1. Let o be g(-6). Let d = -2 + o. Suppose -2*i + 3*s + 14 = 0, 2*i + 10 = 2*s - d*s. Are 1 and i equal?
True
Let i(s) = 4*s - 16. Let q be i(8). Are q and 16 unequal?
False
Suppose 3*i - 5*x = -3*x, 2*i + 7 = -x. Let y(a) = -a**3 + 14*a**2 + 14*a + 12. Let l be y(15). Is i at most l?
False
Let r(v) = v. Let d(z) be the second derivative of -z