0*s**2 + 19*s**2 + 2*s + 12. Let i be k(g). Which is bigger: 33 or i?
33
Let d = 30 - 212/7. Let y be 185 + 2/(-3) + 0. Let c = y + -190. Is c < d?
True
Let m(k) be the first derivative of -7*k**2/2 + 24*k - 1. Let q be m(9). Suppose -b + 76 = -2*l - 4*b, 0 = -l + 4*b - 38. Is l != q?
True
Suppose -4*x + 10 = x. Let v(f) = 15*f**2 - 19*f**x + 22*f + 7 + 6*f**2. Let p be v(-11). Is 7 less than or equal to p?
True
Suppose 291 = 3*c - 675. Let j = 320 - c. Which is greater: j or -13/9?
-13/9
Let c = 176/119 - -52313/595. Which is bigger: c or 90?
90
Let d = -23282 - -17237. Is d >= -0.1?
False
Let i = 0.0552 - -130.7448. Let b = i - 134. Let y = b + 4.2. Is 2/3 smaller than y?
True
Let y(w) = -w**2 + 19*w - 40. Let p be y(16). Let q = -506 - p. Let s = -1583/3 - q. Which is smaller: s or -13?
s
Let g = -87.35 + -3.65. Let i = 94 + g. Let a = 0.77 + -0.07. Which is smaller: i or a?
a
Suppose 304 = 3*o - 861*n + 866*n, -o + 2*n = -94. Let h(p) = -p + 97. Let c be h(0). Is o greater than or equal to c?
True
Suppose 0*v - 2*f = 3*v - 84, 145 = 5*v + 5*f. Let n be 30/(-4) + (-13)/v. Which is bigger: -39/5 or n?
-39/5
Let d = -45381 - -45385.3. Is d less than -0.171?
False
Let h = -31645 - -1171009/37. Are h and 3 unequal?
True
Let x be (-6944)/582 - (-2232)/186. Is -1 at most x?
True
Let s = -35949 + 683736/19. Is s less than or equal to 36?
False
Let b(c) = -2*c - 9. Let u be b(-9). Suppose 0 = 21*n - 27*n + 108. Let y be 204/n + 2/(-6). Which is smaller: y or u?
u
Let w = -186.6 - -169. Let h = -18 - w. Suppose -5*r = -3*r + 2. Does r = h?
False
Let r = 439 + -740. Let h = r - -302. Is -16 at least as big as h?
False
Suppose -2*m + 9 = 13. Let d be 3/22*(-13)/(-234). Let l = -1/11 + d. Is m greater than or equal to l?
False
Let g = 337/10 - 67/2. Let f = g + 1/20. Let y be (-9)/(-30)*20/(-8). Does y = f?
False
Let a(o) = -113*o**2 - 2*o - 1. Let v be a(1). Suppose 12*z = -0*z - 1392. Does v = z?
True
Let z = -389 - -680. Suppose -6*w = -3*w - z. Does w = 96?
False
Let l be (2240/60)/(-28) + 26/19. Is 35 less than l?
False
Let y(h) = 10*h**3 + 24*h**2 - 30*h - 68. Let o be y(-3). Which is greater: 161 or o?
161
Suppose b = 4*k + 2*b - 20366, 0 = -k + 4*b + 5083. Let z be k/18 + -4 + 0 + 1. Let y = z + -279. Which is greater: y or 1?
1
Let f(u) = -786*u + 1552. Let x be f(2). Are 56 and x unequal?
True
Let r = 5.56 + -231.56. Let w = -0.053 + 0.153. Which is smaller: w or r?
r
Suppose t = 2*r - 633 + 614, -4 = -4*t. Which is greater: 27.5 or r?
27.5
Let u(b) = b**3 + 15*b**2 - 24*b - 46. Let y be u(-16). Is y greater than or equal to 83?
False
Let a be -4 - -3 - (3 - 7/1). Let z be (-4)/(-192)*2*a/15. Is 1 bigger than z?
True
Let l = 1402 - 1452. Suppose -5*n = -3*u - 138, -2*u - 73 = -5*n + 14. Let a = u - l. Is -8/5 at most as big as a?
True
Let b be (6/2 + -3)/(-3). Suppose -2*a - 3*j - 7 = b, 4*a + a + 3*j = -4. Is a bigger than -6/103?
True
Let i be 27*(0 + 34/(-24)). Suppose c + 76 = 3*c. Let k = i + c. Which is bigger: k or 1?
1
Let r = 947 - 946. Let f be ((-72)/432)/(r/(-236)). Do 40 and f have the same value?
False
Let l = 1413/685 - 850567/40415. Which is smaller: -19 or l?
-19
Let l = -2185 + 203183/93. Which is bigger: l or -1?
l
Suppose 0*n - 5 = -5*n. Let f be (9477/(-24))/13 - 4. Let q = 35 + f. Is n > q?
True
Let q = 3884 - 3850. Is 33 equal to q?
False
Suppose 2*z - 3*m - 2 = 0, -1061*z + m - 10 = -1071*z. Is z not equal to 14/1975?
True
Let d = 0.258 - 3.158. Which is greater: 7/12 or d?
7/12
Suppose -5*a + 6*a = 6*a - 12*a. Which is greater: a or -3/11?
a
Let j = -4071 + 7023. Which is smaller: 2953 or j?
j
Suppose -38*b - p = -37*b - 7, 18 = 4*b - p. Suppose b*r = 415 - 115. Is r < 61?
True
Let d be ((-14)/(-84))/(2/36*2396). Which is greater: d or 0?
d
Let j be ((-11)/(-3))/((-1)/3). Let d = -174 - -176. Let b(u) = u - 11. Let p be b(d). Which is bigger: p or j?
p
Suppose 294*x - 2277 = 285*x. Let k = x + -250. Let h be ((-30)/(-16) - 0) + 0. Are k and h unequal?
True
Let c = 333 - 311. Suppose 10*i - 5*i = -2*v - c, -14 = 5*i + 4*v. Is -2 at least as big as i?
True
Let g = 32334 - 44249. Is g <= -11915?
True
Let k = -20416428535/168 + 121526881. Let c = k + -1562/3. Are 1 and c unequal?
True
Let k be (-1 - -6) + 148*18/36. Which is smaller: 78 or k?
78
Let l = -1.95 + 1.85. Let o = 0.34 + -0.348. Is o less than l?
False
Let k be 646469/91 + 30/(-105). Let f = k + -7100. Is 5 != f?
True
Suppose 34*p + 277 = 277. Let h = 4234 + -1282904/303. Are h and p unequal?
True
Let m(u) = -u**2 + 19*u - 50. Let r be m(12). Suppose 2*k = g + 83, -g = -k + 2*g + r. Suppose 18 = s - 26. Which is bigger: s or k?
s
Let o be ((-2)/16)/(1/(-6)). Let x be ((-6)/3)/((-1)/(-284)*4). Let b = x + 143. Which is smaller: b or o?
o
Let v(f) = 4*f**2 + 302*f + 1117. Let i be v(-74). Which is bigger: i or -8?
i
Let p = 3318 + -4343. Is -1023 greater than p?
True
Suppose -331 = -15*n + 764. Which is smaller: 77 or n?
n
Let k = 3332 + -3510. Which is bigger: k or -177?
-177
Let a be (-1)/(((-5)/(-25))/(328/70)). Let c = -6403/273 - a. Is 0 greater than or equal to c?
True
Let k(z) = -z**3 - 16*z**2 - 15*z + 31. Let h be k(-17). Suppose -3*m - 2*r = 20 - h, 4*m + 5*r = 747. Do 184 and m have the same value?
False
Let s be (5/1083)/(-5)*(-1707367)/5. Let w = s - 184/1083. Let i = w - 315. Which is smaller: 0 or i?
0
Let j = 868 - 1451. Let c be 22/8*106/j. Is -12 != c?
True
Let o(f) = f**2 - 28*f + 7. Let y be o(28). Suppose 0 = m - 2. Suppose -m*i + 2*g = -46, -3*g = -y*g - 20. Which is greater: 19 or i?
19
Let p be (-25)/(-5)*(-26)/(-55). Suppose -7*m + 11*m - 2*o - 1000 = 0, 0 = 4*m - 4*o - 1008. Let x = m + -246. Which is greater: x or p?
p
Let f be (1 - (-6 + 13))/((-512)/264 + 2). Let i(n) = -n**3 + 6*n - 6. Let v be i(5). Which is smaller: v or f?
v
Let d = -2 + 2.5. Let a = -46 + 133. Let r = a - 89. Which is greater: r or d?
d
Let k = 24210 - 24206. Is k >= -1.97?
True
Suppose -1632 = 92*y + 44*y. Are y and -34 unequal?
True
Let o(y) = -y - 4. Let b be o(5). Let f be (-9)/(b/(-2)) + 17. Let h be 3/(f/56) - (-2)/(-10). Is h at most as big as 0.1?
False
Let d(v) = 9*v**3 + 8*v - 23. Let x be d(4). Which is smaller: 588 or x?
x
Suppose 19*b - 26*b = 56, 0 = -3*v + 2*b - 881. Is -1/4 equal to v?
False
Suppose -3*k - 719 = -71. Suppose 4*l = 6*s + 1274, 32*l - 36*l - 245 = s. Is k > s?
True
Suppose 2*b + 10 = 0, 10 = -0*d - 5*d - 5*b. Suppose -o + 0*s + 95 = -3*s, -4*s + 233 = d*o. Are o and 1 unequal?
True
Let y = -136 + 141. Suppose 3*z = y*i + 904, -19*z - 596 = -21*z + 2*i. Which is smaller: z or 294?
z
Let u = 0.109 + 51.891. Let k = u + -33. Let h = k + 1. Is 1 smaller than h?
True
Let k be 0 + -1 - (-415)/405. Let t be ((-36)/(-45) + -2)/((-2)/10). Suppose 18*y - 6 = -t. Which is bigger: k or y?
k
Suppose 8*o - 14 - 66 = 0. Let h be o*291/(-978) - -3. Is 0 > h?
False
Let k = 543.8 - 397. Let y = k - 147. Is y greater than -0.9?
True
Let f = 26.12 - -0.88. Let w = f + -27.102. Let u = w + 0.202. Are 0 and u nonequal?
True
Let f = -117 + 142. Let i(x) = x**3 - 25*x**2 + 6*x - 17. Let k be i(f). Is k at least 131?
True
Let a(c) = -10*c**2 - 3 + 8 - 15*c + 2*c**3 - 3*c**3. Let b be a(-7). Let u = b + 61. Is 26 at most u?
False
Let l = 229.0905 + -0.0905. Let c = 232 - l. Is -3/4 greater than or equal to c?
False
Let a = 76 + 19. Let u = a - 81. Let o = u + -13.7. Are 0.3 and o non-equal?
False
Let o be (-19)/1630*-86 - 1. Let a = 235251/7 - 33607. Is o != a?
True
Suppose -4*a - 3*v + 14 = 0, 0 = 3*a - 130*v + 129*v + 9. Is -82/119 greater than a?
True
Suppose -2*r = 2*z, -3*r + 5 = 4*z - 0. Suppose z = j + 12. Let n = j + 15. Is 7 at least n?
False
Let l(u) = -9 - 1 + 0 + u**2 - 7*u. Suppose -40 = -27*i + 22*i. Let b be l(i). Which is greater: b or -3?
b
Suppose 0 + 3 = 3*l, 2541 = -3*t + 3*l. Is -843 not equal to t?
True
Let a = -144 - -162. Suppose 5*w + 5*j + 10 = 0, 4*w - 1 = 5*j + a. Is 5.38 at least w?
True
Let g = -31087 + 31087.1. Let p = -5.6 + 18. Is g at least p?
False
Let q = 17 + -6. Let t = q + -10. Let f be (2 - 42/18)*(0 + 18). Is f greater than t?
False
Suppose -4*s + s + 21 = 0. Let h be (0 - (-141)/(-27)) + 2/9. Let i be (h/(-3))/((-16)/(-12) + -1). Are i and s unequal?
True
Let m = 118 - 114. Suppose 11*n = 5*q + 6*n - 15, -m*q = 