*h + 1. Let g be n(-7). Suppose 4*q + i - 2 = 10, 0 = 4*i. Let o be 8/q*6/408. Do o and g have the same value?
False
Let y be 1/(-1*((-24)/124)/6). Which is bigger: 37 or y?
37
Let j = 496 + -495. Which is bigger: j or 2.8?
2.8
Let s(p) = -p**3 - 4*p**2 - 3*p. Let a be s(-2). Let r be (-6)/(-15) - (a - -2). Let v = 1233.2 + -1233. Which is smaller: v or r?
v
Let o = 6 + 0. Suppose -p + o = -2*n + 4, -5*p - n = 1. Let y(w) = 2*w**2 - w. Let j be y(p). Is 8 at most j?
False
Let l be 4/(-1) - 9/(-3). Which is smaller: -8.8 or l?
-8.8
Let p be -586 - (18/(-10) + (-1 - -3)). Let f = 591 + p. Is 5 != f?
True
Let j be 8/(-6)*(-9)/(-6). Let c be ((-8)/(-12))/(j/(-12)). Suppose c*q = -q - 5. Which is smaller: 2/21 or q?
q
Let j be (1/(-7))/(18/(-3339)). Which is greater: j or 28?
28
Let s = 6931/6 + -1150. Which is greater: s or 6?
6
Suppose 7 + 8 = 5*p. Let r be 2/(-6)*(-21 - -22). Which is smaller: p or r?
r
Let r be -2 + -1 - (-27 - 1). Let h = -35 + r. Let t be h/(-12) + 4/(-12). Is t >= 1?
False
Suppose -16*b = 2*b + 18. Are b and 1/7 unequal?
True
Let f(r) = -30 - 8 + 19*r + 9 - 2*r**2 + 3*r**2. Let s be f(-20). Is -7 not equal to s?
True
Suppose o + 0 = -13. Let z = o - -16. Is 3 at most z?
True
Let m be (-390)/27*6*7/105. Which is smaller: m or -6?
-6
Let h(u) = -2*u**2 + 10*u. Let t be h(10). Let r be -1 - 0 - 25205/t. Let m = r + -251. Which is smaller: -1 or m?
-1
Let v(i) = 4*i**2 - 18*i + 2. Let n be v(4). Do n and 0 have the same value?
False
Let d be -15*(4 + (-88)/20). Suppose -374 = d*i + 5*i. Is i not equal to -34?
False
Let y = 18 - 20.2. Let t = y + 2.14. Which is smaller: t or 2/5?
t
Let j be (0 - 2)*1/(-2). Let t = -22257/1324 + 20/331. Let z = -1001/60 - t. Is z greater than or equal to j?
False
Let j = -1084 + 1083. Is 1/221 at least as big as j?
True
Let g = -26356/15 + 1758. Let q = 4/3 - g. Let x be (2/(-3))/((-10)/(-15)). Is x less than q?
True
Let k = -0.045 + 0.025. Is 58 < k?
False
Let d = 1347 + -1348. Which is smaller: 237 or d?
d
Suppose 0 = -h - 7 + 1. Let s be (-2)/h + (-207)/54. Are s and -1 non-equal?
True
Suppose 0*w - 3*t + 27 = 5*w, w - 11 = 5*t. Suppose 0 = w*i - 10 - 8. Let o = -7 - -7. Which is greater: i or o?
i
Suppose 44*b = -11421 - 15947. Which is greater: -623 or b?
b
Let q = 2483/7 + -354. Is -2 at most q?
True
Let k be (4 + -3)*-1*2. Let c be (-61)/k + (-6)/12. Let a be c/(-25)*(-10)/(-39). Which is smaller: 0 or a?
a
Let z be (-2 - 336) + (16 - 32) + 16. Is -335 != z?
True
Let i(k) = -k + 23. Let r be i(23). Suppose t = -r*t + 1. Which is bigger: -3/53 or t?
t
Let y(f) = -f**2 - 8*f + 11. Suppose 4*p - 3*r + 15 = -33, 4*p = 5*r - 56. Let q be y(p). Let k = -10 - -11. Which is smaller: k or q?
k
Suppose -12 = -3*i - u, 4*i - 4*u + 7*u - 11 = 0. Suppose -4*z + 0*z + 4*p = -272, i*p - 227 = -4*z. Let w be (27/z)/(3/(-2)). Which is greater: w or -1/2?
w
Let i = 11/13 - 7/39. Are i and 0.6 equal?
False
Let c = 33 - 31. Suppose 3*b + 14 = c*q, 2*b + 13 = 6*q - q. Which is smaller: q or 4/23?
4/23
Suppose 2*k = -4*f + 8, 2*k = 6*k + 5*f - 10. Let m be -6 + k*1/5. Which is smaller: -7 or m?
-7
Suppose -a + 4*v + v - 5 = 0, 0 = -2*v. Which is bigger: a or -15?
a
Let a = 431/12 - 36. Are -19 and a equal?
False
Let v(y) = -y**3 + 14*y**2 - 4*y + 21. Let w be v(14). Let m be 5/7 - (-1 + (-25)/w). Which is bigger: m or 0.14?
m
Let m = 6 - 2. Let c(y) be the second derivative of -2*y**3/3 - 13*y**2/2 + 12*y. Let s be c(-5). Is s greater than m?
True
Let c = -7.7 - -14.6. Let y = -7 + c. Let s = y - 0.2. Are s and 1 nonequal?
True
Suppose 5*o - 170 = 5*s, 0 = -5*o + 3*s - 41 + 217. Is o <= 41?
True
Let n be ((-10)/825*3)/(2/5670). Let x = n + 103. Is 0 bigger than x?
True
Suppose 4*q - 15 = -4*h - 7, 2*q + 6 = 3*h. Which is smaller: h or 0?
0
Let h = -1313/3 - -438. Are -84 and h non-equal?
True
Let c = 564 - 1194. Which is smaller: c or 1/2?
c
Let z(x) = -x**2 + 5*x + 4. Let b be z(7). Let d be 2*5*5/b. Is d <= -5?
True
Suppose -8*r = -3*r + 2*v - 50, -v - 65 = -5*r. Suppose -4*q + i + r = 0, 0*q = 3*q + 4*i - 9. Let u = q + -7. Which is smaller: -5/2 or u?
u
Suppose 5*w + 372 = 11*w. Is 67 <= w?
False
Let r(i) = i**2 - 3*i - 4. Let y be r(-6). Suppose 0*w + y = 2*w. Let u = w + -22. Is 7/4 > u?
False
Let p be 112/(-32)*(1 + -11). Let a = p + -104/3. Which is bigger: 5 or a?
5
Let m = 1 - 4. Suppose 4*g - 70 = -42. Which is smaller: g or m?
m
Let n(p) = -p**3 + 9*p**2 - 14*p - 1. Suppose 4*i + 5 = 33. Let r be n(i). Is r equal to -2/159?
False
Let g(t) = -19*t + 2. Let b be g(1). Let k = b - -7. Let v be (20/50)/(1/k). Are -2 and v unequal?
True
Let x = -1/175 + 878/525. Which is smaller: -38 or x?
-38
Let u = -199 - -201.8. Which is bigger: u or -3?
u
Let o(r) = -r**3 - r**2 + 15. Let i be o(0). Let b = -533 + 547. Is i < b?
False
Let w = -110 + 95. Let y = -36 + 22. Which is greater: y or w?
y
Suppose -3*q + 10 = 2*q. Suppose 7*n + 55 = 2*n. Let w be ((-4)/(-20))/((-1)/n). Which is smaller: q or w?
q
Let d = 0.01 - 12.01. Let g = d - -8. Let k = 0.2 - 0. Is k less than g?
False
Let c = 215 + -3221/15. Let b be (2/(-6))/((-5)/105). Let y = b + -7. Which is smaller: y or c?
y
Let p = -244.6 + 246. Is -1/8 less than p?
True
Let m = 8.34 - -2.66. Let f = 0 + -0.5. Let j = -0.5 - f. Is j less than m?
True
Let q = -1877 + 11225/6. Let o = -331/54 - q. Let k = 6947 - 6947. Which is bigger: o or k?
o
Let p = -542 + 545. Is p at most as big as 4.3?
True
Suppose -2 = 5*n + 3. Let p be -2*(-10 + (-61932)/(-6192)). Which is bigger: p or n?
p
Let h(v) = -v**3 + 9*v**2 - 7*v - 8. Let g be h(8). Let u = 34 - 169/5. Which is smaller: g or u?
g
Let j = -396 + 596. Let a = j + -1597/8. Let t be 7/(-6) + (-8)/(-12). Is t bigger than a?
False
Suppose -10*a + 95 = 5. Suppose -3*h + 0*h = a, 2*m = 4*h + 6. Is m < -5?
False
Let g(r) = -r**3 + 5*r**2 + 2*r - 7. Let c be g(5). Suppose i - c*u + 0*u = -10, -3*i - 58 = -2*u. Which is smaller: 1 or i?
i
Let w be ((-202)/(-15))/(5 + -1). Let q = 25/6 - w. Is q > 0?
True
Suppose 30*g - 268 + 58 = 0. Suppose 0 = -3*d + 8 - 23, 3*t + 16 = -2*d. Which is smaller: g or t?
t
Let m = -2/67 + -57/335. Let j = 0.7 + 5.3. Let w = j + -4. Which is greater: m or w?
w
Let g = 4 - 2. Let h = -3 + g. Let f = 876 - 13138/15. Does f = h?
False
Let l(c) = -13*c + 375. Let m be l(8). Which is bigger: m or 270?
m
Let a be 27/(-45)*1 + (-694)/(-1165). Is a equal to -1?
False
Let y = -506.13 + 504. Let q = -0.03 - y. Let g = 2 - q. Is g less than -0.06?
True
Suppose 0 = -0*z - 20*z + 40. Is 24/17 at most as big as z?
True
Let f(l) = 61*l + 56. Let t be f(-1). Are t and -37/9 equal?
False
Suppose 3024 = 40*z - 12136. Which is smaller: z or 377?
377
Suppose -j - 5 = 4*x, -x - 13 = j - 11. Are -2/301 and x unequal?
True
Let u(o) be the second derivative of -o**5/20 + o**4/2 - 7*o**3/6 + 3*o**2/2 + 7*o. Let q be u(4). Is q > 10?
False
Let n be ((17052/9)/(-4))/(-380). Let f = n + 1/285. Which is smaller: f or -1/5?
-1/5
Suppose 3*v - 106 = -4*x, x = -x - v + 52. Suppose 5*k = 4*i - 47, 3*k = 5*i - i - x. Let w = k - -4. Which is smaller: w or -5?
w
Let p = -43/2 - -21. Let s(t) = -3*t - 2. Let k be s(-2). Suppose -o = -k*x - 13, x - 3*x + 3*o - 19 = 0. Is p at most x?
False
Let w = 24 + -33. Let l be 6/w + 6/9. Is 2/55 <= l?
False
Let d be (376/(-17))/(-4) - (-5 - -10). Which is smaller: d or 1/3?
1/3
Suppose 8*c + 2*a = 10*c - 108, 4*a = 3*c - 164. Is 49 greater than c?
False
Let v(w) = w**3 - 6*w**2 - 8*w - 8. Let s be v(7). Let d = -4 - s. Let h = -16 - -26. Which is bigger: d or h?
d
Let v be -183 + 15/(-7 - -2). Let o = -81 - v. Let m be o/342 - 5/15. Which is bigger: -1 or m?
m
Let f = 12 + -12. Let v = f + -0.5. Which is bigger: 0.3 or v?
0.3
Let a = 48.2 + -48.3. Let o be (1/3)/((-2)/(-6)). Is a greater than o?
False
Let j = 8 + -8. Let z = 3/4 + -11/12. Which is smaller: j or z?
z
Suppose -2*g - g = -36. Let a be 292/g + (-1)/3. Suppose -3*y - r + a = 55, -2*y + 3*r - 39 = 0. Which is bigger: -13 or y?
y
Let w be (-8)/(-96) + 2/(-12). Suppose 0 = -r + 20 - 2. Suppose 4*a + r - 14 = 0. Is a at most w?
True
Let h = 40.9601 + 0.0399. Is h at least -0.04?
True
Let i = 153.6 + -153.779. Is i not equal to 1?
True
Let f = 149 - 97. Let p = -52.07 + f. Is p at most as big as -1/5?
False
Let k(s) = -s**2 + 4*s 