a or n?
a
Let g be 2 + 15/(-4) + 2. Is g at most as big as 4?
True
Let f be 2/10 + (-1)/5. Let a = -4147 + 136864/33. Let g = a + -2/33. Is g equal to f?
False
Let f = -15 - -15. Suppose 5*c - 10 = -f*c. Let o = 0 - -3. Which is smaller: o or c?
c
Let w = -661 + 4635/7. Is w <= 0?
False
Let c(j) = 2*j**2 + j. Let l be c(-1). Suppose -l = -f - 3. Let p be 1*(2 + -2) + -1. Are p and f unequal?
True
Let t be -2 + 12/3 + -2. Let c be -3*6/(-63) - t. Is 1 at least as big as c?
True
Let q be (-1 + 1)/(2 - 1). Suppose 6 = 2*j, 8 = 3*v + 3*j + 23. Let x be (1 - q) + 11/v. Which is smaller: x or -1?
-1
Suppose -2*n + 0*n = 20. Let o = 0 + n. Let t be 2 + o/(3 + -1). Do -2 and t have different values?
True
Let s be -41*(2 - -1 - 4). Suppose -3*y - s = -17. Which is bigger: -9 or y?
y
Let g(b) = b**3 + 7*b**2 + 4*b - 9. Let z be g(-6). Which is smaller: -1 or z?
-1
Suppose 0 = -5*f + 4*f + 3*a - 8, -4*f = 4*a + 32. Let m = -23/3 - f. Suppose -8*t - 4 = -4*t. Is m <= t?
False
Let v = -0.19 - -0.08. Let r = -0.03 - v. Let l = r - -0.12. Which is smaller: l or -1?
-1
Let h(a) be the first derivative of -a**3/3 + a**2 + a - 6. Let f be h(3). Which is bigger: 0 or f?
0
Let o be (60/33)/(10/5). Which is greater: 1 or o?
1
Let f = -0.08 + 0.28. Let x = 2 - 1.7. Let o = f - x. Which is smaller: o or 1/6?
o
Let k be 0 - -1*2/2. Suppose -5*j + v + k = -9, j - 5*v - 26 = 0. Let r = 154 - 154. Is r at most as big as j?
True
Suppose 9*t = 8*t - 4. Which is smaller: -2 or t?
t
Let s(z) = 3*z**2. Let l be s(-1). Let b = -29 - -32. Does l = b?
True
Let v be (7/3 - 3)*-3. Let b = 13 - 5. Let p be -1*b/2 + v. Which is smaller: -3/4 or p?
p
Let x(v) be the first derivative of v**2 - 6*v - 1. Let c be x(6). Which is smaller: c or 5?
5
Let m be (8/2)/(54/9). Which is smaller: m or 0?
0
Suppose 4*v - 16 + 4 = 0. Suppose 20 = v*x + x. Which is greater: 4 or x?
x
Suppose -b - 3*b + 24 = 0. Let a(n) = 5*n - 6. Let h(r) = 9*r - 12. Let q(y) = 7*a(y) - 4*h(y). Let x be q(b). Is x less than or equal to -1?
False
Let u be -2 + 3 + 88/(-6). Let h = u + 14. Is 2 >= h?
True
Let s = -2195984 + 953058145/434. Let y = -2/217 + s. Let l = 3 - y. Are l and 0 non-equal?
True
Let g = -140 - -198. Is 59 smaller than g?
False
Suppose 0*z = z - 6. Which is smaller: 34/5 or z?
z
Let p be -2*5*12/(-10). Suppose -2*v + 3 = -v, g + p = 4*v. Let q = -77 - -695/9. Is q at least g?
True
Let d be 14/(-4)*2/1. Let w be (18/15)/(9/60). Let y = d + w. Is y > -3/7?
True
Let h be (0 + 0/(-3))*1. Let y = h + 2. Suppose n = 3*a + 5, 0 = -y*a - 6*n + 2*n - 8. Which is bigger: a or -3/5?
-3/5
Suppose 2*o + 108 - 10 = 0. Let g be o/(-28) + -1 + -1. Does 2 = g?
False
Let h(r) = 2*r**2. Let p be h(1). Let k(f) = -f**3 + 8*f**2 - 8*f + 3. Let x be k(7). Let a(n) = -n - 2. Let t be a(x). Is p less than t?
False
Let u = -2.93 - 0.07. Which is smaller: u or -0.3?
u
Suppose 15 = -3*j - 24. Let a = -3 - j. Let g be (-14)/a + (-12)/(-30). Is g greater than or equal to -1/3?
False
Let u be 0/2 - (-1)/(-1). Suppose 7*x - 2*x = 10. Let r be -1 + (-4)/5 + x. Which is bigger: u or r?
r
Let h = -1192 + 65563/55. Which is smaller: 0 or h?
0
Suppose 0 = 2*d + 2. Suppose 0 = -2*f + 3*f + 3*s - 4, 0 = -5*f - 5*s + 10. Do f and d have different values?
True
Suppose -7*k = -2*k - 735. Let c = k - 591/4. Suppose -8*z + 6*z = 4. Which is smaller: z or c?
z
Suppose f - 29 = 2*h, -5*f + 21 = -3*h - 19. Is h >= -14?
False
Let v = 4 + -6. Let a = 13 - 15.1. Let l = a - v. Which is greater: l or -1?
l
Let s(h) = h**2 - 2*h. Let v be s(5). Is v bigger than 17?
False
Let g be (-49)/(-3) - 9/(-6). Let d = 17 - g. Is 1 >= d?
True
Let a(o) = o**2 - 4*o + 1. Let p be a(4). Let i be 2/(-8) + 235/(-510). Let j = -2/51 + i. Is p bigger than j?
True
Let x = -145/216 + 8/27. Is x equal to 1?
False
Let m be 76/28 + -2 - 6/(-21). Let i = 145/9 + -16. Which is greater: m or i?
m
Let d = -3 + 12. Suppose -y - d = 3*y + r, 2*r + 9 = y. Do y and -2/11 have different values?
True
Let y = 4.7 - -0.3. Which is greater: 0.3 or y?
y
Suppose 4*t = 4*g, 4*t = -2*g - 5 - 7. Is t != 6?
True
Let r = -0.17 - -11.17. Let x = -11 + r. Which is smaller: x or -5?
-5
Let r(j) be the third derivative of j**2 - 1/2*j**3 - 1/60*j**5 - 1/4*j**4 + 0*j + 0. Let q be r(-6). Which is greater: q or -2?
-2
Let w = 10.2 - 10. Is w less than -1?
False
Let d = -99 - -51. Which is greater: d or 0.1?
0.1
Let h be (2/(-4))/(3 + (-372)/128). Do h and -4 have the same value?
False
Suppose 0 = 2*f - 5*t - 0*t + 7, -5*f + 3*t - 8 = 0. Let a = 5 - 2. Let y = a - 3. Is y smaller than f?
False
Let x be (1*-2)/(-1 - 0). Is 2 < x?
False
Let l = -2/293 + 13775/586. Is 23 less than l?
True
Let g = -0.34 + 22.34. Which is bigger: -2 or g?
g
Let j(x) = -x**2 - 19*x - 8. Let c be j(-18). Do c and 10 have the same value?
True
Let r be 12/(-21) - (-910)/49. Is r equal to 19?
False
Suppose -4*a = 5*j, -7*a - 3*j + 3 = -4*a. Suppose m - 24 = -m. Suppose -8*y + 5*y + m = 0. Is y bigger than a?
False
Let o = 18 + -12. Let c be (-2)/o - (-39)/171. Is 0 at least as big as c?
True
Let i(s) = s**3 - 16*s**2 - 18*s + 17. Let n be i(17). Which is smaller: n or -0.8?
-0.8
Let h be 6/(-8)*(-2)/(-2). Let d = 3 + -8. Let y(r) = r**2 + 5*r - 1. Let v be y(d). Which is greater: h or v?
h
Suppose h + 4*h - 5*p - 40 = 0, -4*p - 20 = 0. Suppose f + 2*g = 6*g - 3, h = -f + 3*g. Let u be (-10)/(-65) + (-162)/39. Which is bigger: f or u?
f
Let t = 1.4 - -0.6. Let u = 0.55 - 0.15. Which is smaller: u or t?
u
Let w = -31 - -133. Let o be (1/3)/(w/36). Do o and -1 have the same value?
False
Let m be (-9)/6 + 2 + 7/(-14). Is -2/79 >= m?
False
Let g be (-1 - 1/(-2))*-8. Suppose -2*n + 8 + 18 = -4*f, -4*f = -g*n + 28. Is -8 not equal to f?
True
Suppose -3*f + 2 + 7 = 0. Suppose 5*w + q + q + 11 = 0, f*w + q = -7. Are -2 and w unequal?
True
Let k be 148/(-4) - 3/3. Let w = k - -301/8. Is w at least as big as 0?
False
Let y = 10 - 17. Is -8 smaller than y?
True
Let m(w) = w**3 + 7*w**2 + 3. Let o be m(-7). Suppose -3*z + 6 + o = 0. Suppose -d = -z*d - 10. Is -0.2 greater than d?
True
Let i be (6/(-42) - 0) + (-27)/(-42). Let b be 1/(-1) - 14/(-10). Are b and i nonequal?
True
Suppose 63*m + 296 = 55*m. Is m less than or equal to -37?
True
Let k(y) = y**3 - y**2 + y - 1. Let o(f) = 4*f**3 + 2*f**2 + 4*f. Let n(w) = 3*k(w) - o(w). Let h be n(-5). Let j be ((0 - 3) + 3)/h. Is 2 at most as big as j?
False
Let p(x) = -x**2 + 6*x. Let l be p(5). Suppose 4*c - 3*r - 4 = -4*r, -2*r = 5*c - l. Which is smaller: -1/4 or c?
-1/4
Let u be 2/96*158 - 1. Let c = 21/8 - u. Is c smaller than 3?
True
Let k(m) = m**3 - 2*m**2 - 5*m + 4. Let p be k(3). Let y be ((-2)/5)/(12/(-480)). Suppose -8 + y = -4*a. Does a = p?
True
Suppose -140 = 3*t - 122. Which is bigger: -4 or t?
-4
Let a be 8/(-16) + (-2175)/4. Let g = 547 + a. Is 4 greater than g?
True
Let p(j) = -j**2 - 8*j + 7. Let g be 2/(-5) + 344/(-40). Let a be p(g). Which is smaller: -4 or a?
-4
Let p = 2 + -3. Let b = -4/45 + -97/90. Is p less than b?
False
Let a(v) = -v**2 + 2*v + 3. Let p be a(-3). Is p bigger than -12?
False
Let z = 1 + 0. Let s = 2 - 7. Let b = 6 + s. Are z and b nonequal?
False
Let w = 97 + -97. Which is smaller: 6/13 or w?
w
Let f be 3/(-2)*-4*1. Let p = 240 + -238. Is f > p?
True
Let x(v) = -2*v**3 - 2*v**2 + 2*v + 1. Suppose 2 = 3*a + 8. Let b be x(a). Is b equal to 5?
True
Suppose -3*t + 10 + 5 = 0. Suppose 4*p = -0*x + x - 1, t*p = 0. Let o = -20/11 + 73/22. Is o at least x?
True
Let a = 8.3 + 0.2. Let w = 9 - a. Let o = 0.6 - w. Do 7 and o have the same value?
False
Suppose 9*d - 2*w - 19 = 4*d, 26 = 4*d + 2*w. Suppose 5*m + 2*b - 8 = d, b - 9 = -5*m. Is m greater than -1?
True
Let c = -1 + 0. Let k be -1 + c - 36/(-15). Suppose -w = -6*w - 5. Which is smaller: k or w?
w
Let i be (-1 + 2)/(3/123). Let v be (-6)/(4 - 2)*i. Let z = v - -365/3. Is z <= -2?
False
Suppose -5*s = 24 - 9, -5*s = -u + 27. Which is greater: 10 or u?
u
Let i = -162/11 - -1502/99. Suppose -3*c + 15 = 2*c. Suppose x - 5 = 0, 0 = -c*t + 3*x - 7*x + 17. Which is smaller: i or t?
t
Let c be (-7)/(-6) - 18/12. Let b(t) = t - 6. Let z be b(6). Which is greater: c or z?
z
Let x = -2 - -6. Let l be 9/15 - x/(-10). Is 1/13 at most as big as l?
True
Let l(q) = -2*q - 3. Let s be l(-4). Let m(x) = -x - 4. 