 or equal to -1?
True
Let w = 3/3787 - 4603/1030064. Let j(s) = s - 7. Let h be j(13). Suppose -i + h*i = 0. Which is greater: i or w?
i
Suppose 3*f + 18 = -3*s, -6*s - 25 = -2*s + 5*f. Let b(p) = p**3 - 7*p**2 - 9*p + 2. Let h = -10 + 18. Let o be b(h). Are s and o equal?
False
Let c = 5962 + -3797. Which is greater: c or 2166?
2166
Let h = -871.9837 - -872. Does 0.4 = h?
False
Let g = -37.632 - -37. Let v = 58.632 + g. Is -2 less than or equal to v?
True
Suppose 23*l + x - 1 = 21*l, x + 17 = 4*l. Let k(g) = g + 5 - g**2 + 2*g - 2*g. Let u be k(l). Is 3/100 greater than u?
True
Let x(y) = -3*y**2 + 21*y + 10. Let k be x(9). Let s = k + 53. Which is smaller: 6 or s?
6
Let j(q) = -q - 2. Let d be j(4). Let m be (-2)/(-18) + (4/(-16))/((-45)/(-1172)). Which is greater: m or d?
d
Suppose b = 3*y + 140, 3*b - 5*y + 178 = 614. Let g = b - 214. Let h = g - -64. Which is greater: 10/13 or h?
h
Let t = -338560 - -109354748/323. Which is bigger: -1 or t?
t
Let n be 176*-6*(-15)/(-3690). Which is smaller: -5 or n?
-5
Let s = 54857 - 1261476/23. Are s and 9 non-equal?
True
Let c = -2.4 - 21. Let u = c + 23.7. Is u > -15?
True
Let v be (-5)/(-15) - 518/(-21). Let t = -26 + v. Is -3/5 > t?
True
Let f be (0 - -8)*((-17)/(-612))/1. Is 76/117 at least as big as f?
True
Let r(b) = 31*b**2 - 73*b - 9. Let f be r(-8). Is 2557 at most f?
True
Let y = 5815 - 5814. Is y less than or equal to -0.0223?
False
Let o be ((-74)/(-14) - 6/21) + -2. Let a(p) = p + 21. Let r be a(-15). Suppose 5*h + o*g + 40 = r*g, 3*h = -4*g - 24. Do -7 and h have the same value?
False
Suppose 106 = 6*u - 170. Let z = u + -37. Let w = 11 - z. Is 1 at most w?
True
Let q be (-28)/16*(1 - 5). Suppose -q*i - 709 = 166. Let r = 243/2 + i. Which is greater: -4 or r?
r
Let y = -0.518424 - 0.481576. Let n be (-226)/(-96) + (-4)/6. Is n at least as big as y?
True
Let f = -33 + 40. Let b be 4*(-1)/14 - (-2)/f. Suppose b*r + 37 = -3*r + 4*k, -25 = r + 5*k. Which is smaller: r or -13?
r
Let o(x) = 2*x**3 + 46*x**2 - 38*x + 240. Let v be o(-24). Which is greater: v or 1/20633?
1/20633
Suppose -5*b + 14 - 9 = 0. Let j(f) = 72*f**3 + 2*f**2 - 2*f. Let y be j(b). Which is smaller: y or 74?
y
Let y = -3954.3724 - 0.6276. Which is greater: y or -1?
-1
Suppose 0 = 5*h - 22 + 17, -4*m = -h - 3. Is m at most as big as 4/2523?
False
Suppose -17*b = 68 - 306. Is b at least as big as -0.067?
True
Let w = 103 - 70. Let n be (-13572)/(-396) - 6*1/22. Is w != n?
True
Let f = 4226 - 5181. Is 6 equal to f?
False
Suppose -4*f = -2*h - 2*f + 154, -80 = -h + 2*f. Let n = h - 71. Suppose n*k = 9, -5*d + 237 = -4*k - 41. Is 59 <= d?
False
Suppose a - 139*s + 135*s + 5490 = 0, 4*s = -4*a - 21840. Is a at most as big as -5467?
False
Let w be 1 + ((-6)/208)/(45/1802). Let i = w - -8/39. Which is bigger: 1 or i?
1
Let h(m) be the third derivative of -m**4/24 - 17*m**3/6 - 5*m**2 + 5*m. Let s be (16/3)/(3/(-9)). Let g be h(s). Are g and 2/53 unequal?
True
Let o = 990 - 955.98. Let q = o + -34. Let b = 0.01 + q. Is b >= 4?
False
Let y = -37.2157 - -38.9857. Let w = 1 + 0. Which is bigger: y or w?
y
Let u = 152/217 - 4/31. Let i = -41252 + 41252. Which is smaller: i or u?
i
Let c(f) = f - 2 + 4 + 14*f**2 - 9*f**2 + 4*f**2. Suppose 0 = -2*o - 3 + 1. Let k be c(o). Which is greater: k or 2/11?
k
Let g = 3/329 - -8539/1645. Which is smaller: g or -27?
-27
Let g(f) = 2*f**2 + 31*f + 13. Let k be g(-15). Suppose 306*n = 314*n - 272. Is k at least n?
False
Let z = 2203/25 + -88. Let x(j) = -317*j + 45964. Let i be x(145). Is z smaller than i?
False
Let t(z) = -z + 2. Let u be t(-3). Suppose -5*l - 4*v - 13 = 0, -3*l - u*v = -2*l - 10. Suppose -4*q = 12*s - 16*s, 24 = -2*q - 4*s. Which is greater: l or q?
q
Let r = -722 + 5045/7. Suppose 0 = -8*b + 9*b + 3. Let q = b + 1. Is r <= q?
False
Let z(r) = r**3 - 19*r**2 - 5*r + 36. Let o be z(20). Let l = o - 386. Is -48 > l?
True
Suppose -12 = -5*p + 3. Let s be ((-28)/3)/7*-30. Suppose -g = 5*r + s, p*r = g + r + 5. Is g >= -15?
True
Let g = -1.503 + -0.187. Let u = g - -1.59. Is u < -10.2?
False
Let o(a) = a - 7. Let t be o(0). Let j = 0 - t. Suppose 4*s + 9 = -j. Which is bigger: -5 or s?
s
Let f = -4/63 - 811/126. Let d = 201 - 183. Let n = -25 + d. Which is smaller: n or f?
n
Suppose 0 = -4*u - 18 + 42. Let l be 3/(-2)*(-2)/4*-4. Let a be 4/u*l*3/39. Which is greater: a or -0.05?
-0.05
Let r(a) = 2*a**2 + 7*a - 5. Let p be r(2). Suppose f = 3*q, -p = -5*f - 2. Which is smaller: 12/11 or q?
q
Let d(x) be the first derivative of -2*x**3/3 - x**2 - 7*x - 284. Let a be d(-4). Let n(t) = -31*t**2 - 1. Let z be n(1). Is z at most as big as a?
True
Let r be 1/3 - (-136)/51. Let i be 51/153 - (-35)/r. Which is bigger: i or 141/11?
141/11
Suppose 3*h + 12 = 18. Let s be h/(-26 - 12/(-4)). Let j = 9 - 9. Which is smaller: s or j?
s
Suppose 3*x - 227 = -233, -2*x - 6 = -2*u. Let s be (-11)/21 + 2/3. Is u less than s?
False
Let s be 29/(2030/56)*1. Is s >= -6.5?
True
Let z(m) = -3*m + 12. Let c be z(-3). Let h be 75/c + -3*(-5)/35. Let p be h/(-2)*-1 - (18 + -15). Which is bigger: 1/7 or p?
1/7
Suppose -5*l + 158 = 3*n, 2*n - 4*n + 4*l = -142. Let t = 33 - n. Let o = 14 + t. Is -14 equal to o?
True
Suppose 0 = -37*y + 39*y - 4*z - 444, -z = y - 213. Do y and 650/3 have different values?
True
Let p be 3 - 3 - (-2 - 4). Let w(f) = 479 - 476 + 7*f - 8*f. Let t be w(p). Is -1/15 at most as big as t?
False
Suppose 3 = -k + 4*b - 16, 4*k - 2*b = -20. Let u(o) = 4*o**2 + 2*o + 7. Let d be u(k). Let a = d - 49. Which is smaller: a or -14?
-14
Let d(g) = g**2 - 175*g - 1465. Let m be d(183). Which is greater: 8/3415 or m?
8/3415
Let k = -48.4 - 5. Let h = k + 52. Let f = -0.5 + 0.4. Is f at least h?
True
Let i(o) = -2*o**3 - 2*o**2 + 2*o + 2. Let y be i(-2). Suppose 2*c + 2*p + 4 = -0*p, 5*c + p - y = 0. Is c > -7?
True
Suppose -2*s - s + 595 = 5*y, -2*s + 595 = 5*y. Let x be 19/(-38)*1/y. Which is bigger: 1 or x?
1
Let x = -20924 + 29640. Is -1/2 < x?
True
Suppose 64 = -6*b + 310. Suppose -8*f + b = 1. Which is bigger: -23 or f?
f
Let q = -20021480/969 + 20662. Is q at most 1?
True
Let k(i) be the second derivative of -14*i**3/3 + 170*i**2 - 9*i + 10. Let d be k(13). Which is bigger: -20 or d?
-20
Let o = 111 - 95. Let h be ((-30)/7560)/(18/o). Is 0 less than h?
False
Let s(w) = -20*w - 159. Let h be s(-8). Let y = -77973/5 - -15714. Let c = y + -119. Is h less than or equal to c?
False
Let h = -62 - -65. Suppose 0*j = 3*l - j - 17, -2*l + h = j. Suppose -l*n + 100 = n. Which is smaller: 19 or n?
19
Let p = 2 + -2.01. Let t(r) = -4*r - 83. Let j be t(-19). Let o be (j/441*-6)/((-1)/(-7)). Is p greater than o?
False
Let o be (6/4)/(5/50)*-1. Let x be 135/(-1062)*(-12)/o. Does -1 = x?
False
Let u(d) = d**2 - 6*d + 48. Let z be u(9). Is z equal to 913/12?
False
Suppose -16*y + 19*y = 765. Let o = 249 - y. Let t be 60/(-8) - 2/4. Which is greater: t or o?
o
Suppose -a - 67 = -192*h + 196*h, 0 = 2*h - a + 23. Let z(r) = r**3 - r + 18. Let m be z(0). Let s = m - 35. Does s = h?
False
Let q be ((-2)/(-16) + (-15)/120)/(-3). Let u = -17/46 - -3847/10534. Which is smaller: q or u?
u
Let k = -42 - -15. Suppose -60*i + 2379 = -2841. Let v be i/(-58) + 53/(-2). Is v less than k?
True
Let o be (((-8)/(-6))/(3416/(-2196)))/(-3). Let r be 4 + 2 + 2/(-1). Let z be 1/r - 25/132. Is o bigger than z?
True
Let t(b) = -b**3 + 7*b**2 + b + 4. Let y be t(7). Suppose -2*p - 106 = -5*x, -5*x = p - 101 - y. Suppose -5*a + 10*a + 92 = 4*z, 69 = 3*z + a. Is z <= x?
False
Let p = -6127 + 5868. Is p at most as big as -247?
True
Suppose 2*l + 3*o + 25 = 0, 5*l + 26*o + 17 = 25*o. Suppose -5*j - 19 = 4*k - 3*k, j + 8 = 4*k. Which is bigger: j or l?
l
Let z(p) = 2*p**2 - 15*p + 115. Let s be z(-5). Which is smaller: s or 2885/12?
s
Suppose -2*c - 18 = 16. Let s be 494/114 + (-8)/6. Suppose -42*x + 39*x = -2*g - 36, 0 = -s*g + 5*x - 54. Which is smaller: g or c?
g
Let m be -1 - ((-135)/7 + 2). Suppose 27 = -3*c, 8*w - 10*c - 31 - 42 = 9*w. Which is greater: w or m?
w
Let z = 553499/369 - 1500. Let p = -187/21771 + z. Which is smaller: p or 1?
p
Let s be (-3)/5 + 52/20. Let a(c) = -2*c + 3*c - 3*c**s + 3 + 0*c + 0*c. Let t be a(-2). Is -12 at most t?
True
Let a = -7.4 + 7.5. Let q = 123 - -39. Suppose -3*d - 3*d = -q. Is d greater than