*x**2 + 87. Let i(y) = -2*y + 4. Let f be i(2). Let m be h(f). Which is smaller: 88 or m?
m
Let z = 390 - 405. Suppose 2*w - 2*f + 38 = 0, -3*w + 59 = -8*w - 4*f. Is w > z?
False
Suppose 34*a + 351 = 11. Let b(j) = -j**2 - 2. Let r be b(3). Is a at most r?
False
Let y be (-1)/(-3)*9/6. Let w(m) = m**2 + 9*m - 7. Let h be w(-10). Let i be 2/8 - h/(-12). Is y > i?
False
Let r = 513890/71 - 7238. Do 0 and r have the same value?
False
Let c = 80 + -56. Suppose 0 = -h + 4*f + c, 5*h = -f - 20 + 77. Which is smaller: h or 6?
6
Let k(r) be the third derivative of r**6/120 - r**5/12 + r**4/24 + r**3/2 + 13*r**2. Let n be k(5). Do n and 10 have the same value?
False
Let m = 22382/355 + 30873519/9940. Let f = 9508/3 - m. Let n = f + -1/21. Is 1 < n?
False
Let g = 61 - 39. Suppose -7*x - g = -29. Let c be (-22)/52 + 1/2. Which is bigger: c or x?
x
Let y be (-24)/(-93)*2/4*-1. Is y greater than 1?
False
Let a(q) = 11*q - 18. Let y be a(3). Let r be 5*(7/y + 1). Does 7 = r?
False
Suppose 2*a = 4*q, -5*a + 14*q = 11*q + 14. Which is smaller: a or -3?
a
Suppose 0 = s + 3*f - 43, 14*f - 13*f = -5*s + 159. Let w(r) = -r**3 + 13*r**2 + 2*r + 7. Let i be w(13). Which is bigger: s or i?
i
Let i be 1 + -2 - (-3 - -4)*-4. Is i smaller than 3?
False
Let i = -2663 - -2865. Is 204 greater than i?
True
Suppose -30 = -12*h + 22*h. Is h at most as big as -18/11?
True
Let x(j) = -j**3 + 23*j**2 - 23*j + 2. Let i be x(22). Is -24 less than i?
True
Let w(i) = -i**3 - 2*i**2 + 4*i + 3. Suppose 0*g = -g - 3. Let h be w(g). Which is greater: 2 or h?
2
Let a = -2/1489 + -632813/8934. Suppose -c + 50 = -21. Let o = c + a. Which is bigger: -1 or o?
o
Suppose 0 = 12*b - 0*b - 36. Suppose -2*z + z - 5*f = -10, -5*z - b*f - 60 = 0. Do z and -15 have different values?
False
Let y = 20 + -18. Let o be y/1 - 22/8. Which is greater: o or 0?
0
Let w be (-3)/(-18)*-4 - 0. Let j = 6/61 + 141/427. Is j >= w?
True
Let l be ((-6)/(-3 - -5))/(-1)*-7. Let j be 3/11*(4 - (-112)/l). Is j less than or equal to -1?
False
Let v = -5.6 + 5.558. Let f = v + 0.742. Is f <= -0.2?
False
Let u be -29 + 6 - (-4 + 9). Is -111/4 smaller than u?
False
Suppose -5*d - 3 = 3*w, -4*w = -60*d + 56*d - 28. Which is smaller: 131 or d?
d
Suppose -13*h = -5*h + 96. Let d be 236/(-6) - (28/h + 2). Which is bigger: d or -40?
d
Let i(y) = -51*y. Let q be i(1). Let l = 33 + q. Let o = l - -17. Are -0.09 and o non-equal?
True
Suppose -5*k - 3*s = 30, 8*k - 5*s - 30 = 13*k. Is -33/5 smaller than k?
True
Suppose 3*c + 3*u - 282 = 177, -5*c - 3*u + 775 = 0. Is 156 greater than c?
False
Suppose 0*l - 7 = -4*h + l, 0 = 2*l + 6. Let i be ((-3084)/(-9))/(-4) + h/(-3). Is i <= -86?
True
Let c be (-1 + 5)/(-4) + -2. Let m be ((-16)/(-20))/(c/(-180)). Let i be 2*m/(-39) - -2. Which is smaller: i or 1?
i
Suppose -4*n + 20 = z, 0 = -2*z - 0*z + n + 4. Which is bigger: 8 or z?
8
Let b = 183 + -182. Which is smaller: -0.1 or b?
-0.1
Suppose -v + 15*g - 16*g + 1 = 0, 0 = -5*v - 3*g + 5. Let n = 417 - 19593/47. Is v greater than or equal to n?
True
Let n = -0.27 + -2.03. Let q = 2.7 + n. Is -1 less than q?
True
Suppose -2*o = o. Let v be 3 - (-3 - -1 - (-192)/39). Are o and v equal?
False
Suppose -2 = 5*b - f, 3*b + 5*f - 10 = -b. Suppose -26 = -2*l - b*l. Suppose 2*t = 2*p + 26, 4*t = -5 + l. Is p at most as big as -11?
True
Let g(m) = 2*m - 15. Let d be 7 - (3 + -2 + -1). Let r be g(d). Let s(a) = 13*a**2 + a + 1. Let t be s(r). Does 14 = t?
False
Let x = 1983 - 978. Are -2/5 and x equal?
False
Suppose 0 = 5*v + 17 - 2, 0 = 4*k - v - 595. Let s = 148 - k. Let d = 69/190 + -5/19. Which is smaller: s or d?
s
Let y be ((-9)/((-81)/(-48)))/(2/(-19)). Let m = y - 148/3. Which is greater: m or 2?
2
Let b = -16 + 9. Let q = -4 - -43. Let i be q/70 + b/14. Is i > 0?
True
Let l = -67 - -46. Let b = l + 15. Let v = b - -4. Which is smaller: -7 or v?
-7
Suppose -3*r - 10 = -3*a + 26, a - 5*r - 24 = 0. Let l = 49 - 59. Let b = l + a. Is b not equal to 1/5?
True
Let d be (((-60)/(-2))/(-3))/(3 + -2). Let z be 38/d + 2 + 8/4. Let r be (2 - 1)/(1*-1). Which is bigger: z or r?
z
Let p be (-2 + 11/5)*0. Suppose -12*q - 71 + 11 = p. Are -2 and q nonequal?
True
Let m = 21 + -17. Suppose -m*i - 10 = -14. Which is bigger: -6/19 or i?
i
Let u = 22 - 22. Let m be (u - -2)/(14 + -16). Is 2 at most m?
False
Suppose 146*v - 344 = 154*v. Does v = 4?
False
Suppose -7*k = -3*k + 4. Let h be 19/38*((-9)/21 + 0). Which is smaller: k or h?
k
Let l be 1 + 316/28 + -6 - 6. Suppose 0*j - 2 = 2*j. Let r be (j + 0)/(-1 - -2). Is l bigger than r?
True
Let w = -10/133 - 176/1197. Does 4/87 = w?
False
Suppose 4*u = -4*h + 52, -2*u = 5*h - 14 - 15. Suppose 0 = -p - 7 + u. Do -2/5 and p have different values?
True
Let h(v) = 2*v - 10. Let r be h(-11). Let a = 18 + r. Let s be 8/(-28) - (-38)/a. Which is smaller: -1 or s?
s
Suppose -8*i + 10 = 18. Which is smaller: i or -2/455?
i
Let l(d) = d**3 - 24*d**2 - 25*d + 29. Let s be (-1)/1*(-40 + 15). Let f be l(s). Which is bigger: f or 27?
f
Let n(y) = 5*y - 157. Let d be n(32). Let v be -15*(-1 - 2/(-10)). Is d less than v?
True
Suppose v + 115 = -4*k, -2*k - 2*k - 3*v - 113 = 0. Let j = k + 25. Is j equal to 2?
False
Let r be (-6)/(-27) + 1385/45. Suppose -29*j - 2 = -r*j. Which is greater: j or 1/2?
j
Let g be (-13)/((-60)/84 + 4/(-14)). Which is bigger: g or 0.3?
g
Let x = 160 + -159. Which is smaller: -32 or x?
-32
Let o = -84664/11 + 7691. Is o at least -6?
True
Let n be ((-10)/(-80)*-4)/(2/8). Is n at least as big as -45/41?
False
Let v(d) = -d**3 - 9*d**2 - 8*d + 2. Let k be v(-8). Let g be (-4*(2 + -3))/k. Let a be 12/(-18) + g/(-6). Is a less than 5?
True
Let g = 848/3 + -2251/6. Which is greater: -92 or g?
-92
Suppose 3*m - 10*n - 1 = -9*n, -5*n - 15 = -5*m. Is 21 greater than m?
True
Let u(t) = 2*t**3 - 4*t**2 + t. Let h be u(3). Let g be h/2*(-14)/21. Let n be (-3)/(-6)*4/g. Is n <= 2?
True
Let a = 258 + -264. Which is smaller: a or -12?
-12
Let o = 12 + -20. Let z = o - -21. Let v = 17 - z. Which is smaller: v or 2?
2
Let n = -1549/7 - -223. Let h(w) be the first derivative of w**3/3 - 5*w**2/2 + 5*w - 1. Let i be h(4). Is n not equal to i?
True
Let f = -769/1530 + 2/765. Let y = -4 - -4.04. Are f and y non-equal?
True
Let j = -9/5578 - -2049951/22312. Do 91 and j have the same value?
False
Let r = 0.102 + -3.167. Let s = -0.065 - r. Let a = 0.2 - 0.3. Does s = a?
False
Suppose -r + 2 + 1 = 0. Let u = r + 4. Suppose -2*l = -9 + u. Is l > 1/10?
True
Let v be (133/57)/((-2)/(-66)). Which is bigger: v or 78?
78
Let u be ((-6)/(-11))/(7/(28/12)). Is -24 bigger than u?
False
Let w = 4.8 - 0.7. Let m = w + -4.2. Is m < -0.1?
False
Suppose 270 = 4*l + 14*l. Which is smaller: l or 6?
6
Suppose 12*a - 8*a = b - 207, 2*b - 2*a - 444 = 0. Is 227 < b?
False
Suppose o + 3 - 7 = 0. Let a be 0/((o*1)/(-2)). Let y be (8/24)/((-77)/252). Which is smaller: y or a?
y
Let q be 12/(-3)*(-2)/8. Let w be q/(-3 + (-4335)/(-1443)). Let l = -236 + w. Is 4 less than l?
True
Let b = -1/24 - -13/24. Let w be -4 + 1 - (10 - 9). Let o(c) = -c**3 - 3*c**2 + 5*c + 4. Let h be o(w). Are b and h equal?
False
Let i = -77 + 95. Is i > 20?
False
Let x be -2 - ((1 - 4) + 0). Let t be 129*(-1)/(-9)*x. Let s = 44/3 - t. Is s bigger than -0.07?
True
Let p be (-4)/6 - 16/(-42). Suppose -6*d + 351 = 87. Suppose 43*w - 1 = d*w. Which is bigger: w or p?
p
Let a = -7.655 + 12.655. Suppose 0 = 8*x - 3*x - 55. Does x = a?
False
Suppose 0*n = -2*n + 12. Let w = -609 + 614. Are n and w equal?
False
Suppose 0 = 102*p + 11*p + 113. Is p != -263?
True
Let r be (-1)/2*(7 - -25). Let k be 0 - 1 - 22/r. Let w = 373 + -372.8. Which is smaller: w or k?
w
Suppose -7 = -j - 3. Suppose 2*o + 18 = j*o. Suppose 4*q - 44 = -f + 5*f, o = 3*q. Is -13/2 smaller than f?
False
Let j = -0.2 - -0.1. Let k = 1/973 - -8747/9730. Does j = k?
False
Suppose 11*x - 130 = 6*x. Suppose 0 = -5*z - b - 1 - x, -3*b + 39 = -5*z. Which is smaller: z or -5?
z
Let k be ((-120)/64)/(1*4). Is 0 less than or equal to k?
False
Let n(g) = g**3 - 8*g**2 + 9*g - 6. Let i be n(6). Let y be (-7)/((-14)/i) + 2. Let b be 2 - ((-68)/y)/2. Which is smaller: -1 or b?
b
Let z = -23 - -33. Let t be (15/z)/((-9)/(-12)). Let q be 3/1 + t + -3. Is 0 at most as big as q?
True
Suppose 4*i + 7*t - 80 = 3*t, 5*t = 4*i - 7