4?
False
Let a(v) = -v**3 + v + 2. Suppose 0 = -2*o + 4*o + 4*i - 20, -4*o - 4*i + 24 = 0. Let q be a(o). Let w be (-2)/(-2) + 1 + q. Is -1 bigger than w?
True
Let j be (6/1)/(24/(-16)). Which is smaller: -35/8 or j?
-35/8
Let v = 8/51 + -158/357. Let m = -6.89 - -7. Let t = 5.11 - m. Which is greater: v or t?
t
Let j be (-4)/(224/118) - (-2)/(-14). Are j and -3 equal?
False
Let q(t) = 3*t - 7. Let d be q(3). Let m be (-8)/(-4)*d/4. Which is greater: m or 14/9?
14/9
Let t(x) = x**3 - 7*x**2 - 20*x + 1. Let a be t(9). Is -19 > a?
False
Let m(n) = -10*n - 50. Let b be m(-5). Is -4/17 greater than b?
False
Let c = -256 - -242.9. Is c smaller than 1?
True
Let y = 1.6 - 0.4. Let b = y + -3.2. Is b at most 0.5?
True
Let p = 3.0214 - -227.9086. Let u = 230 - p. Let j = u + -0.07. Which is smaller: 2 or j?
j
Suppose -4*d = -2*g - 16, 11 - 2 = 3*d - 3*g. Suppose -5*h + 4*h + 5*v = 18, -21 = 2*h - d*v. Is -3 <= h?
True
Let l = -7 - -10. Let d = -16.9 + 0.9. Let q = d - -14. Which is greater: q or l?
l
Suppose -4*n + 13 = -3, 0 = 2*h - 3*n + 10. Is 11/5 < h?
False
Let h be 1*(72/39 - 2). Let o be 0*((-12)/(-16) - 1). Which is smaller: o or h?
h
Suppose 1 = 7*d + 43. Which is greater: -4 or d?
-4
Suppose -4*u + 28 = -0*u. Is 7 greater than or equal to u?
True
Let o = 6 + 0. Let x(t) = -5 + 13*t + 3 - t**2 - o*t. Let m be x(7). Is -1 > m?
True
Let n = -1 + 0. Let o = -4 - n. Do -3 and o have the same value?
True
Let n be 1/(-5) + 59/45. Let o = -227 + 227. Do n and o have the same value?
False
Let x = -1 + 0. Suppose -3*c - 6 = f + 5, -f - 17 = 5*c. Which is greater: f or x?
x
Let n = 0.7 - -7.3. Which is smaller: n or -1?
-1
Let w = 0 + 1. Let d be (-2 + w)/(-3 - 2). Let i(b) = b**3 + b**2 - b + 2. Let r be i(-2). Is d greater than r?
True
Let s be (5/((-1545)/6))/(-6). Let v = -922/1545 - s. Do v and -1/3 have the same value?
False
Let v be 4/22 - (-84)/22. Let l be (492/(-128))/((-7)/v). Let k = l - 13/8. Are 0 and k nonequal?
True
Let k = 262/3 - 88. Let j = 6 + -6. Is k at least as big as j?
False
Let a(l) = -4*l**2 - 2*l - 1. Let z be a(-1). Let p = z - -5. Which is bigger: 4/3 or p?
p
Let d be (-2)/(-8)*(35/(-15) + 3). Is d != -1?
True
Let s = -263/651 + 14/31. Let l = -2 - -1. Which is smaller: s or l?
l
Let x be (-160)/24*18/(-15)*-1. Which is bigger: -5 or x?
-5
Let a = 8 - 6. Suppose -a*c - 16 = 2*o, -o - 12 - 2 = 3*c. Suppose -8 - 1 = 3*y. Is c at most as big as y?
True
Let w = 4.947 + 0.053. Let v = 0.9 - 1. Is v > w?
False
Let l = 1226 + -7397/6. Let u = -15/2 - l. Let n = -0.3 - -0.1. Which is greater: u or n?
n
Suppose -3*v - 2*r = 4 - 10, 5*v - 3*r - 10 = 0. Suppose -2*t = -t + v. Is t at most -1?
True
Suppose 35 = -2*z - 7*t + 4*t, 2*z + 4*t = -36. Which is bigger: z or -3?
-3
Suppose 5 + 0 = -5*c. Let s be (-18)/(-3) + (-1)/1. Suppose 0*f = s*f. Is f <= c?
False
Suppose 24 = 2*u + 2*c, -3*u + 2*c + 26 = -25. Are 15 and u unequal?
False
Let l(d) = d**2 + 6*d + 6. Let z be 32/(-6) - 2/(-6). Let x be l(z). Let y be (1/8)/((-2)/(-12)). Which is bigger: y or x?
x
Let b = 9 - 2. Let u = b + -8. Are -1 and u non-equal?
False
Let j(v) = -v**2 + 11*v - 10. Let l be j(10). Is l smaller than -4/9?
False
Suppose 10 = 5*r, 5*g + 4*r - 18 = 10. Suppose 4*n - 2*n - 2 = 0, g*j + 2*n = 22. Suppose j*x - 10 = -0*x. Which is bigger: 0 or x?
x
Let f = 3.64 + 0.36. Which is greater: -0.07 or f?
f
Let i be (1 + 20/(-28))/(6/21). Let o(b) = -b + 2. Let d be o(0). Which is smaller: i or d?
i
Let d = 231499/714917 + 4/17437. Let f = d + -9/82. Which is greater: f or 1?
1
Suppose 5*v = -3*y + 4*y - 27, 3*y - 1 = -v. Let o be -1 + (1 - (y + -1)). Let b = -29/18 + 10/9. Is b greater than or equal to o?
True
Let n = 1449/10 + -145. Which is bigger: 0 or n?
0
Let l be (-1)/2 - (-1)/(-2). Let c be 35*-2*6/4. Let r be 5/(c/(-36)) + -2. Which is smaller: r or l?
l
Let h = 29 - 30. Which is smaller: -3 or h?
-3
Let d = -3 + 2.7. Let v = d + 0.3. Let p = 5/91 - -3/13. Which is bigger: v or p?
p
Let c be 1/((-1)/(4/(-4))). Which is greater: c or 5/9?
c
Let d = 0.13 - 0.23. Are -2/7 and d non-equal?
True
Suppose -3*s = -4*s + 5*p + 10, -s + 2*p + 4 = 0. Let n be (-2)/5 - (-134)/60. Let m = n - 5/2. Is s greater than m?
True
Suppose s - 4*s + 3 = 0. Let i = 10 - 7. Suppose -7 = 4*d + i*w, d + 0*d - 5*w = 27. Which is smaller: d or s?
s
Suppose 6*f - 4*f = 10. Let h be f/(-20) + 35/(-4). Which is bigger: -10 or h?
h
Let u(c) = c**2 + 6*c + 1. Suppose 5 = 3*j + 23. Let v be u(j). Suppose 2*l + 1 = 3*p, 2 = 3*l - v. Is p at most 1/2?
False
Suppose 737 = 6*i + 5*i. Is 67 != i?
False
Let u(z) = z**3 + 4*z**2 - 5*z + 1. Let k be u(-5). Let q = -123/2 - -62. Is k bigger than q?
True
Suppose 9 = 2*m - 9. Suppose 0 = m*w - 4*w. Is 3/17 != w?
True
Let h = 9.8 - 12. Is 0.1 less than h?
False
Suppose -o = 9 - 0. Let m be -1 - 24/o - 1. Let b = 3 + -2. Which is smaller: m or b?
m
Let z be (2/4)/(1/(-4)). Let g be (4 + 3 - -2) + 2. Let r be g/(-15) + z/(-5). Which is bigger: -1 or r?
r
Let j(x) = 5*x**2 - 2*x + 1. Let q be j(1). Suppose 4*i = 6 - 2. Suppose -27 = q*r + i. Which is bigger: r or -8?
r
Let p(g) = g**2 + 9*g + 1. Suppose 0 = -4*x + 4*r - 52, -3*r - 24 = 3*x - 9. Let a be p(x). Does a = 1?
True
Let n be 112/42*(-198)/(-8). Let l be n/(-14) - 10/35. Is -5 bigger than l?
False
Let v(r) be the first derivative of r**4/4 + 2*r**3/3 - 3*r**2/2 + r + 3. Let y be v(-3). Let x = -1 + y. Is x less than -1?
False
Suppose r + 2*n - 4*n = 1, 2*r - 3*n - 2 = 0. Which is bigger: r or -2/5?
r
Let d(g) = g**2 + 5*g - 3. Let i be (-9)/(-3)*-1 - 2. Let n be d(i). Is -2 smaller than n?
False
Let d be (-1 - 0)/(9/45). Let s be 1 - 3 - (6 + -2). Is s > d?
False
Let h = 56 + -55. Is -2 > h?
False
Let k be 9/36 + (-450)/8. Let v = k - -26. Let c be (-16)/v - 12/18. Are 1 and c nonequal?
True
Suppose -4*p - 16 = 2*l, 0*l + p + 3 = -l. Suppose -q - 3 = d, 0*q + 8 = l*d - 5*q. Is 0 at most as big as d?
False
Let p(d) be the second derivative of -3/2*d**2 + 0 - 1/2*d**3 - 1/12*d**4 + d. Let q be p(-2). Is q at most -2/7?
True
Let h be 9*1/(-1)*(-6)/9. Are h and 14 equal?
False
Let h = -95/6 + 605/42. Let d(v) = v**2 - 29*v - 1. Let z be d(29). Which is smaller: h or z?
h
Let u = -0.039 - 0.061. Let x = -0.1 + 0.1. Is x equal to u?
False
Suppose i = 3*i + 2. Is -4/15 at most as big as i?
False
Let p(a) = -a**3 + 5*a**2 + 3. Let d be p(5). Let z(q) = -5*q**2 + 2*q - 1. Let v be z(d). Let r be (-4)/v - 3/6. Which is greater: -1 or r?
r
Let l = 3 + 0. Let y = 3 - l. Suppose 2*z + 4*n + 8 + 10 = y, z - 4*n = 21. Is z greater than or equal to -1/3?
True
Let q = -0.124 - -0.091. Which is greater: -1 or q?
q
Let b be 35/(-44) + 7/28. Is 0 equal to b?
False
Let k = 5644 + -1484374/263. Let d = -183311782/854134317 - 2/3247659. Let r = d + k. Which is greater: -1 or r?
r
Let v be (-2 - -2)/(4 - (-1)/(-1)). Let f(t) = t**3 + 3*t**2 - t - 3. Let z be f(-3). Is z at least v?
True
Let s = 175 - 180. Is s at most 15?
True
Let a = 189.76 + -190. Which is smaller: a or -0.3?
-0.3
Let k be -2*4/8*1 - 7. Let m(w) = w**2 + 7*w - 1. Let n be m(-6). Do k and n have the same value?
False
Let n(b) = -b**3 + 8*b**2 + 8*b + 8. Let a be ((-3)/(-1))/((-6)/(-18)). Let j be n(a). Which is smaller: j or 0?
j
Let c = -0.044 - -2.044. Which is greater: c or 0.5?
c
Let l = -1/1104023 + -776127795/412904602. Let a = -21/11 - l. Is 0 >= a?
True
Let g = 24 - 14. Let q = g + -24. Is q < -2/7?
True
Let s be 19/1*1 - (11 + -11). Is s greater than 12?
True
Suppose -a + 5 + 7 = 0. Which is bigger: a or 14?
14
Let u be (-172)/(-36) - 2/(-9). Let y be (20/8)/u*0. Is -3 > y?
False
Let h(t) = t**3 - 6*t - 7*t + 1 + 10*t**2 + t. Let j be h(-11). Suppose -v - 2*k + j = v, 5*v - 3 = 4*k. Is v bigger than 3?
False
Let r = -0.36 + -0.04. Let a = r - -2.4. Let p = a + -1. Is -1 equal to p?
False
Suppose -8 = -5*p + 7. Let x(o) be the first derivative of -o**3/3 + 5*o**2/2 - o - 2. Let y be x(4). Is y equal to p?
True
Let i be 3 - 11/((-165)/(-42)). Let k = 2 + -2. Suppose 4*q = y + 11, k*q - 5 = -2*y - q. Which is greater: i or y?
y
Let k = 0.07 + -0.07. Which is smaller: k or -0.3?
-0.3
Let x = 0.02 - -0.28. Let d = -0.36 - -0.06. Let u = 0.3 + d. Is x greater than u?
True
Let x = 0 - 1. Let u = -7.04 + 7. Which is smaller: x or u?
x
Let x(v) = -v*