2355778. Let w = p - 2/216487. Let h = -2/43 + w. Which is smaller: h or 1?
h
Let n be (-5)/60*(-16)/5. Let d be 3 + (-3 - -2 - -3). Suppose -a = -4, -3*z - d = -0*z - 2*a. Which is smaller: z or n?
n
Let j(l) = -3*l - 8. Let k be j(-4). Let h be (4/k)/(-1 + 10). Is -1 > h?
False
Suppose 0*n - 6*n = -36. Let u be n + -1 - (0 - -3). Let b = 0.1 - 0.1. Is b >= u?
False
Let v(i) = -i**3 - 4*i**2. Let a be v(-4). Let g be (2/7)/(464/112 - -2). Is g less than or equal to a?
False
Let r = -83766/7 - -11943. Let h = -23 - r. Is h less than or equal to 1?
True
Let p(y) = -3*y**2 + 1. Let l be 3/4 - (-1)/4. Let n be p(l). Let h = -0.0805 + 0.1805. Is n not equal to h?
True
Let y(w) = 2*w**2 - 4*w - 1. Let o be y(3). Suppose o*m - 2*m - 60 = 0. Let k be (-35)/m*2*2. Are -6 and k unequal?
True
Suppose 0 = 4*u + 7*u + 26917. Does u = -2446?
False
Let n(f) be the second derivative of f**5/20 + 5*f**4/12 + f**3/6 + 5*f**2/2 + 17*f. Let a be n(-5). Which is bigger: -0.1 or a?
a
Let h be ((-2)/10 + (-28)/10)*17. Let f = h + 55. Which is smaller: 5 or f?
f
Let l = -251 + 250. Do -1/196 and l have the same value?
False
Let o = -16 + 2. Let w be 388/(-28) + (-1)/7. Let s = o - w. Which is bigger: 1/6 or s?
1/6
Let x = -12.309 + -0.691. Is 11 at most as big as x?
False
Let s = 503 + -502. Let l = 0.1 + 0.14. Let d = l - -0.06. Which is smaller: d or s?
d
Let n = 2518 + -2518.1. Is 143 at least as big as n?
True
Let b = 451 + -464. Is b at least -0.05?
False
Let v(a) be the second derivative of a**4/12 - 4*a**3/3 + 23*a**2/2 + 2*a. Let z be v(7). Let k be ((-4)/z)/(1/(-4)). Is 2 less than or equal to k?
False
Let m = -0.022 + -0.178. Is m at least -11?
True
Suppose 31 = 4*d - 5. Suppose -14*m + 105 = -d*m. Suppose 0 = -l - 12 + m. Is -1 greater than l?
False
Let c = -14 + 24. Let d be ((-2)/c)/((-8)/(-30)). Let m = -0.8 - -1. Is m at most d?
False
Let n = 9881/903 - 11/129. Which is greater: 0.2 or n?
n
Let m be (-219)/(-146) - (-10)/4. Is -1/37 smaller than m?
True
Suppose 5*a - 10 = 0, -4*a = -5*k + 2*k + 4. Suppose 19 = -k*x + 3*r, 3*x - 4*r = 4*x - 19. Is x > 2/87?
False
Let n = 62 + -61. Let f be 69/112 + (-24)/56. Let z = 27/368 + f. Is z greater than n?
False
Let g = 42.5 - 75.5. Is g less than or equal to 1.1?
True
Suppose -w + 3*h - 6*h + 73 = 0, -2*w + 135 = -5*h. Which is smaller: 71 or w?
w
Let o = -319 + 319. Which is bigger: o or -13/55?
o
Let d(s) = 5*s**2 + 7*s - 10. Let a be d(5). Let u be 10/(-60) - (-13)/a. Is u > -1?
True
Suppose -26 + 2 = 3*w. Let q = -1 - w. Suppose 0 = 5*f - f - 5*k + 5, -4*k = -4*f. Is f != q?
True
Let i = -696 + 1882. Is i != 1186?
False
Let n be 4/(-4)*(-5 + 0). Let u(y) = -4*y + 6. Let h be u(n). Are h and -14 non-equal?
False
Suppose -138*c + 149*c - 671 = 0. Does 67 = c?
False
Let q be (-2)/4*(-2 - 0). Let j = -378/13 + 374/13. Is q at least as big as j?
True
Let y = -443/9 + 13745/279. Which is greater: 0 or y?
y
Let z(c) = -c**3 - 15*c**2 + 15*c - 13. Let l be ((-15)/(-15))/((-2)/32). Let r be z(l). Suppose 0*f + 2*g = -4*f - 22, 24 = -3*f - r*g. Is -4/5 > f?
True
Let n be 12/21 + -1 - (-31)/56. Let s be 72/45 - (-2)/5. Suppose -s*l - 6 = l. Is l >= n?
False
Let u be (4/10)/(1*(-44)/(-40)). Is 1 less than or equal to u?
False
Let p = -0.6 - -0.5. Let g = -229 - -229.13. Is g equal to p?
False
Suppose 2*t = -2*z - 0*z - 28, 0 = t + 5*z + 30. Which is smaller: t or -87/8?
-87/8
Let h(x) = x - 10. Let o be h(14). Suppose 0 = -2*y - o*v - 24, -5*y + 0 = 3*v + 81. Let g(a) = -a**2 - 18*a - 9. Let l be g(y). Which is smaller: -2/9 or l?
l
Let t = -1.18 + 1.18. Is t smaller than 1403?
True
Let q = 961 + -7675/8. Is q > 3?
False
Let b = -301826 + 4531052/15. Let g be ((-64)/(-40) - 2)/(2/1220). Let l = b + g. Which is greater: 0 or l?
l
Let v be -3 + 1145/230 + 0 + -2. Which is greater: v or 0?
0
Let a be ((-44)/10)/(4/(-10)). Let n be 2 - (-13 - -1 - -1). Let p = a - n. Which is greater: p or -8/5?
-8/5
Let p = 269 - 371. Which is smaller: p or -2/7?
p
Let q(k) = k**2 + 8*k + 12. Let g be q(-6). Suppose 0 = i - 5*l + 6, g = -4*i - 0*l + 5*l + 6. Let a be i/(2 + -6) + -2. Is -2/3 bigger than a?
True
Let o be ((-3179)/(-64) + -2)*116/(-5). Let y = 1106 + o. Which is smaller: y or -1?
-1
Suppose -3*b + 11 = k, b - 3*k + 15 = 4*b. Suppose b*x = -9 - 12. Let p be 2 - -3 - (7 + 4). Is x > p?
False
Suppose 3*s = 5*r - 20, -4*s - 3*r = -6*s - 14. Is -8 less than s?
False
Let p be 2982/(-18) + -2 + -1 + 0. Is -170 < p?
True
Suppose -2*c - s + 6 = 0, -c - 2*s + 3 - 6 = 0. Suppose 0 = -c*t + 28 + 42. Are t and 67/5 non-equal?
True
Suppose 3*l - 23 - 31 = 0. Suppose 2*t = 5*t - l. Let j(v) = -5*v - 1. Let c be j(-1). Do c and t have the same value?
False
Suppose r - 3 = 5. Suppose 0 = -w, -2*w - r = -3*c + 19. Which is smaller: 4 or c?
4
Let d(h) = 47*h**2 + 5*h + 1. Let s be d(1). Which is greater: 55 or s?
55
Suppose 7 + 11 = -6*s. Let j be 9/((-12)/3 - s). Let a(d) = d**2 + 7*d + 1. Let c be a(-2). Are c and j unequal?
False
Let z be (-1 + 6/14)/(-2). Let p = 0.02172 - 0.62172. Which is smaller: z or p?
p
Suppose 0 = 4*c - 5*z - 211, -c + z - 2*z + 64 = 0. Suppose 0 = -55*r + c*r - 40. Let o(d) = d**3 + d**2 + d - 2. Let s be o(2). Which is greater: s or r?
s
Let y be (-1190)/114 - (5 - 5). Let l = y + 31/3. Which is smaller: 1/3 or l?
l
Let i = 98 - 1177/12. Suppose 0 = 2*g - 7*g + 10. Suppose -7 = -5*k - g. Which is bigger: k or i?
k
Let f = 9.9 - 0.9. Let j = -5 + f. Let x be (-15)/(-22) + (-12)/66. Is x greater than j?
False
Let n(z) = -z**3 - z**2 - z + 39. Let a be n(0). Let f be 0 + 2 + a/(-27). Let i be ((-2)/(-3))/((-1)/(-3)). Is i >= f?
True
Suppose -2*l = -5*n - 439, 4*n - 74 = 5*n - 5*l. Let g = 57 + n. Is g smaller than -32?
False
Suppose -2*c + 5*h = 4, 2*c + 3 = -4*h - 1. Let b = c + 9. Suppose -3*n + 16 + 5 = 0. Is n greater than or equal to b?
True
Suppose 6*a + 2 = 4*a. Let z = -7.28 + 7. Is a smaller than z?
True
Let l(x) = x**3 + 4*x**2 + 7*x. Let w be l(-4). Is w at least -29?
True
Let t be 9/6 + 2/4. Let y be ((-2)/4)/(t - 1). Which is smaller: y or -2?
-2
Suppose 5*z + 3 - 75 = -2*r, 74 = 3*r - z. Are r and -3 unequal?
True
Let c = -54 - -79. Let s = 30 - c. Which is smaller: s or 4?
4
Let o = 18/17 - -97/85. Let y = o + -141/55. Let p = 1 + -2. Which is bigger: p or y?
y
Let v = -54 + 3.8. Let w = -50 - v. Is w less than or equal to 36?
True
Let y be ((4 - -3) + 0)/1. Suppose -f = 3, 4*s + 22 = -5*f + y. Suppose 10 = 2*p - s*p + 4*u, 4*p - 2*u + 30 = 0. Which is greater: 0.1 or p?
0.1
Let j be (30/(-20))/((-2)/(-4)*-1). Let r be 114/(-56) + j/((-15)/(-10)). Do r and 0 have the same value?
False
Suppose -2*n - 5*q = 3*n - 30, n - 2*q = 0. Suppose n*a + 1 = 3*a. Does a = -2/75?
False
Suppose -3*o - 16 = 71. Let x = o + 14. Let q be 17/15 - (-2)/x. Which is greater: 3/20 or q?
q
Let x = 174/7 + -703/28. Is x less than or equal to -38?
False
Let f be ((-3)/5)/((-9)/135). Let a = 11 - f. Let v(w) = w + 4. Let p be v(-2). Is a at most as big as p?
True
Let y = -697 + 668. Are -22 and y unequal?
True
Let n = -142 + 283/2. Which is smaller: n or 370?
n
Let n(y) = -2*y + 54. Let q be n(20). Suppose 60 = -2*k + 6*k. Which is smaller: q or k?
q
Let q be (-21 - -22)/(3/48*-1). Is -10 smaller than q?
False
Suppose -4*g = w - 7 - 8, -5*w = -2*g + 13. Suppose -g*t = 2*n - 264, n + 4*n = t - 55. Are 64 and t equal?
False
Let y(p) = p - 14. Let d be y(0). Let k be (-12)/d + 12/(-6). Suppose -3*z - 4*v = -z - 14, -5*v = -2*z - 22. Which is smaller: z or k?
k
Let d(b) = -3*b - 16. Let s be d(-8). Suppose -q = q + 5*o - s, -2*q - o = 0. Is -1/2 at least as big as q?
True
Let z be (-60)/(-45)*(-6)/(-4). Suppose 0*u - z*a + 16 = -4*u, 0 = -2*u - 2*a - 8. Let k(x) = x**3 + 4*x**2 - x - 3. Let t be k(u). Which is smaller: t or 4?
t
Suppose 0 = 2*l + 6 - 18. Let k be (4 - l)/(4/(-78)). Let j be k/10 + -2 - 2. Which is bigger: -1/3 or j?
j
Let v = 3 - 16. Let m be (1 + -2)*(8 - v). Let r = m + 11. Is -10 smaller than r?
False
Let x = -157 + 84. Is 1/3 > x?
True
Let n be -2 + 3 - -1 - 2102. Let c = -23076/11 - n. Is 1 smaller than c?
True
Let c(l) = 2*l**2 + 4*l + 5. Let k be c(-5). Suppose q - 40 = 5*b, -4*q - 3 - k = 2*b. Let z be 2/b + 152/36. Is 4 smaller than z?
False
Let c be ((-16)/1340)/(78/(-15)). Is c less than -1?
False