y
Let a be (-2)/7 - 2/(-7). Let b be 2 + -2 + -1 + 3. Suppose a = b*t - 3*t. Is 0 > t?
False
Suppose 5*i = 2*f + 21, 5*f + 3*i + 1 = -5. Let r = -11 + f. Let j be (3 - -1)*1/r. Which is bigger: -1 or j?
j
Let z = -0.09 - -8.09. Let w = z + -7.7. Let s = -0.7 - w. Which is bigger: 0 or s?
0
Let n = 84 - 248/3. Let k(o) = o + 11. Let j(t) = -1. Let l(h) = 2*j(h) + k(h). Let c be l(-9). Which is greater: c or n?
n
Let p(i) be the first derivative of -i**6/360 + i**5/20 + 7*i**4/24 - 2*i**3/3 - 4. Let z(j) be the third derivative of p(j). Let f be z(7). Is f < -3/5?
False
Let n(u) = u**3 + 6*u**2 - 8*u - 2. Let t be n(-7). Let q be (-8)/t - 6/15. Do -1 and q have different values?
True
Let p = -18 + 23.5. Let y = p - 5. Which is greater: y or 2?
2
Let f = 31 - 35. Suppose 5*m = -0*m + 5. Are f and m equal?
False
Let n be 21 - 21 - (-5)/8. Is n > 1?
False
Suppose 2*o - 12 = 6*o. Suppose 0 = -g + 4*t + 11, 5*g - 3 = -t + 10. Let a be (13/(-3) - -3)*g. Is a != o?
True
Let w be 6/9 - (1/(-3) + 0). Let d = 3/2 - 3/4. Is d greater than w?
False
Let u(x) = -x - 10. Let d(p) = -p**2 + 3*p + 3. Let b be d(5). Let c be u(b). Let w be c/6 - 75/(-18). Which is smaller: w or 4?
w
Let n = -8/9 - -2/3. Which is bigger: n or -3.2?
n
Suppose -4*i + i = -3. Let r = i + -3. Is -2 at most as big as r?
True
Let g = 280 + -176. Let q be g/12 - (4 - 0). Is q at least as big as 6?
False
Suppose 3*j + 27 = -4*o, 4*o = 4*j - 0*j + 8. Let w(b) = -b - b + 7 + 0*b. Let y be w(6). Is y smaller than j?
False
Let x be -3 - 51/(-21) - -1. Is x greater than or equal to 0?
True
Let w be 4/8*(1 + 1). Let t be ((-4)/(-6))/((-86)/(-6)). Which is greater: t or w?
w
Let b = -10 + 9.76. Let u = 0.17 + b. Let j = u + -0.03. Which is bigger: 0.2 or j?
0.2
Let j(f) = f**2 + 2*f + 1. Let b be j(-1). Which is bigger: 5/9 or b?
5/9
Let f(j) = -j**3 - 3*j**2 + j - 4. Let k be f(-4). Which is smaller: k or 7?
7
Let v = 7 - 13/2. Are v and 0.05 non-equal?
True
Let s be (-1)/4*-2 + 1. Is 2 equal to s?
False
Let q = 0 - 1. Let g = q - -3. Let o = -0.4 - -0.5. Is g bigger than o?
True
Suppose s + 0 = -6. Let n = s + 6. Is n at most 0?
True
Suppose -7*v - 12 = -10*v. Is v less than 36/11?
False
Suppose -2*v = 3*v + 20, 1 = -5*l - 4*v. Let o(w) be the second derivative of 2*w**3/3 - w**2/2 - w. Let r be o(1). Is l not equal to r?
False
Suppose -7*u + 2*u + 10 = 0. Suppose u*x + 54 = 6*x - 3*p, -x + 22 = -5*p. Suppose -2*w = -5*w - x. Is w > -4?
False
Let r be (4 - -2)/6 - 17*2. Which is bigger: r or -32?
-32
Suppose -13 - 7 = 5*s. Are -4 and s nonequal?
False
Let t be (-3)/((3/18)/1). Is t > -18?
False
Let s = 14 - 12. Let j = s + -3. Are 0 and j equal?
False
Let s(d) = d**2 + 8*d + 12. Let k be s(-8). Which is greater: 14 or k?
14
Let w(g) = 2*g - 4. Suppose 0 = -6*j + 5*j - 4. Let t be (j + 2)/((-4)/6). Let q be w(t). Is 2 not equal to q?
False
Suppose 2*r = 3*a + 35, r = -7*a + 3*a + 23. Is 18 bigger than r?
False
Let c = 0 - -2. Suppose 0*d = 5*q - 3*d - 17, 2 = q - c*d. Suppose -w = -q*w - 3. Is w at least 0?
False
Let w = 93 - 90. Which is smaller: 0.07 or w?
0.07
Let h = 11 - 6. Suppose 1 = 2*q + h. Let g = -8 - -6. Is g greater than q?
False
Let c = 2.59 - 2.7. Let l = 3.89 - c. Let i = -4 + l. Do -4 and i have the same value?
False
Suppose 2*c - 4 = -0. Let q be (c/4)/((-8)/16). Is -3/2 <= q?
True
Suppose x = 2*s - 13 - 9, -2*x - 48 = -3*s. Let a be ((-10)/x)/(1/(-3)). Are a and 2/21 nonequal?
True
Let h be 23 + (-5)/(-15)*-3. Which is smaller: 21 or h?
21
Suppose 5*w = 55 - 475. Let u be (-52)/w - 2/6. Which is bigger: -2/3 or u?
u
Suppose 2*z + 3*z = 15. Let m(v) = -2*v**2 + 2. Let b be m(1). Suppose -g = g + z*c + 1, -2*c + 2 = b. Which is smaller: 0 or g?
g
Let h(f) = f**3 - 8*f**2. Let r be h(8). Suppose 4*p + 1 = 5. Is p not equal to r?
True
Suppose -22*q + 19*q + 51 = 0. Which is greater: 15 or q?
q
Let y = 1757/11 - 159. Do y and 0 have the same value?
False
Let x be (3 + -5)*2*1. Let k be (2 - 2) + x/1. Let d be 5/(-9)*k/10. Is d less than or equal to 0?
False
Let w(r) = -r**3 + 3*r**2 + r + 5. Let h be w(4). Let y = 8 + h. Is y smaller than 0?
False
Let r be ((-8)/45)/(8/12). Which is bigger: -1/3 or r?
r
Let m = -1.1 - -1. Let c = 0.03 + 1.07. Let t = c + m. Which is smaller: 0 or t?
0
Let o = -0.06 + 0.04. Let g be 698/70 + 9/(-3). Let r = g - 46/7. Is o bigger than r?
False
Let c = -12 - -14. Which is smaller: 1/5 or c?
1/5
Suppose -p - 4*p = 0. Suppose -2*t - b + 20 = p, t = -t + 5*b - 4. Suppose -t = -5*s - 3. Which is smaller: 2 or s?
s
Let i = 11 + -10. Is 1/13 equal to i?
False
Suppose 3*p + 0 = 18. Let q = 5 - p. Suppose j + 7 = -5*k, -3*k - 3*j = -6*j + 15. Is k bigger than q?
False
Let x be (-3)/(-2)*112/12. Does 17 = x?
False
Let s = 2/219 + 211/876. Which is smaller: s or 7?
s
Let p = 4.59 + -4.4. Let z = p + 0.11. Is 1/3 less than z?
False
Let q(o) = -o**3 + 5*o**2 + 4*o. Let g be q(6). Let b = g + 8. Is -4 smaller than b?
False
Suppose 0 = -2*a - 3*x - x - 14, 5*x = a - 14. Which is smaller: a or 2/93?
a
Let o = -5 - -6. Let f be ((-1)/(-5))/(-3 - -2). Which is bigger: f or o?
o
Suppose 2*m = m. Is 6/5 less than or equal to m?
False
Let c = 0 + -1. Is -4/17 <= c?
False
Let s(o) = -2*o**3 - o**2 + 2*o - 1. Let i(l) = -l - 3. Let k be i(-4). Let x be s(k). Let d = 4 - 5. Which is greater: d or x?
d
Let o = -0.02 - -0.12. Let a = 0.36 + -0.06. Is o less than a?
True
Let x be 2/60 + (-5)/15. Which is smaller: x or 0?
x
Let u(x) = x**2 - 10*x - 9. Let j be u(11). Suppose q = 4*b - 6*b + 1, 2 = b - q. Is b at least j?
False
Let z(t) = t**2 + 2*t + 2. Let m(d) = d**2 + 3*d + 3. Let y(x) = 4*m(x) - 3*z(x). Let r be y(-4). Which is smaller: r or -1?
r
Let n(i) = -2*i - 4. Let z be n(-3). Let p be 4/z*(-3)/16. Which is smaller: p or -1?
-1
Let u = -0.9 + 1.9. Let y = -0.1 - -0.3. Let g = u - y. Is -1 at least g?
False
Let q be (1/2)/((-2)/4). Suppose -3*z - z - 152 = 0. Let n be (-4)/18 - z/90. Are n and q equal?
False
Let k = -31 + 43. Suppose -3*j + k = -j. Is j not equal to 6?
False
Let q = -34 - -34. Let h = 901/9 + -100. Is h greater than q?
True
Let j(x) = -x**3 - 2*x**2 + 9*x + 5. Let a be j(-4). Is 1/4 <= a?
True
Let j = 6 + -6.8. Let w = j - -1. Let c = 3 + -2.9. Is w greater than or equal to c?
True
Let s be (-4)/18 + (-32)/(-63). Let b be 0/(-2 - (-2 + 2)). Let n be b/(-1)*2/(-2). Are s and n non-equal?
True
Let v be (0 + 4)/((-9)/18). Let g be 4/v + 1/(-2). Is g less than 0?
True
Let i be -1*2/(-33)*1. Let p = -1 + 0. Is i greater than p?
True
Let o = 19 - 23. Which is bigger: o or 1/3?
1/3
Let n = -0.12 - -0.32. Let y = 8 + -8.1. Let w = n + y. Which is smaller: w or -0.3?
-0.3
Let v = -53 - -59. Which is bigger: 3/4 or v?
v
Suppose g - 1 = -0*g. Let l = 0 - -2. Suppose -l*u + g = -3*u. Which is greater: -2 or u?
u
Let o = -215/3 + 1487/21. Let c = o + 5/14. Let f = 4.8 + -5. Is c at most as big as f?
True
Let n = 0.1 + 1.3. Let a = n + 0.6. Does -2/11 = a?
False
Let s = -6 + 11. Suppose -4*g + 9*g + s = 0. Which is bigger: 2 or g?
2
Let f be (13/26)/((-1)/2). Which is greater: f or 5/29?
5/29
Let i be (-16)/7 - (-2)/7. Suppose -1 = -4*a - 0*a - 5*y, 3*y - 2 = -a. Let c be (a - 1)*i/(-4). Is -1 > c?
False
Let g be 4/6 - (-12)/9. Let k = 5 - g. Let m be (-1)/k*(-36)/16. Is 1 equal to m?
False
Let h = 659/33 - 58/3. Let t = -61/44 + h. Which is smaller: -2 or t?
-2
Let d(j) = j**2 - 8. Let p be d(3). Which is bigger: 0 or p?
p
Let c = -8.3 + 1.3. Which is smaller: -1/4 or c?
c
Suppose -77 = -2*d + 27. Are d and 52 non-equal?
False
Let q be ((-2)/(-6))/((-2)/(-12)). Let o = 5 - q. Let g(j) = -j**2 - 12*j - 7. Let a be g(-11). Which is bigger: a or o?
a
Let h = 53/70 - 5/14. Which is greater: 0.19 or h?
h
Let f = -199/165 + 14/11. Let d = -158 - -158.1. Is d at least f?
True
Let s = -473336/15 - -31569. Let r be (-3)/(-6) - 170/12. Let u = r + s. Does 2 = u?
False
Let i = 2 + -5. Let f = i + 3. Let a = 2/287 - -267/2870. Is f < a?
True
Let r = 69/68 - -14957/204. Let d = 75 - r. Which is greater: d or 1/2?
d
Let c be 1/1*(-49)/(-7). Let i be 41/c - (-9)/63. Is 7 less than or equal to i?
False
Let b be (-8)/(-36) + 240/(-594). Is 4 at most b?
False
Let c(q) = -q + 19. Let m be c(9). Let s = 4 - m. Is -5 >= s?
True
Suppose -24 = -4*v + 2*r, -2*v = 4*r + 3 + 5. Let t