Let o be 11 - (0 + 0 - (m - 1)). Which is bigger: y or o?
y
Let t(l) = l**3 + 14*l**2 + l + 18. Let k be t(-14). Let v be 2/k*2*(2 + -2). Suppose v*h - 3*h - 5*w = -5, -3*w = -12. Which is bigger: h or 0?
0
Suppose -2*a + 16*a + 28 = 0. Let i be 3/a*(-7)/((-21)/(-8)). Let m be i/(-3 - -5) - 3. Which is greater: m or 1/114?
1/114
Suppose 5*q = -0 - 5. Let v(o) = -7*o**2 + 6*o - 25. Let i be v(12). Let l = -29788/31 - i. Which is smaller: q or l?
q
Let v = -187/26 - -175/26. Is -96 equal to v?
False
Let g = -15843 - -6166. Is g at least -9676?
False
Let q = 24969 + -24968.48. Let j = -7 + 5. Is q greater than j?
True
Let d(g) = 3*g**2 - g - 25. Let x be d(6). Does x = 54?
False
Suppose 0*b = -4*b + 52. Suppose 0*v + 15 = 3*v. Suppose 0 = v*d + 5*r - 0*r - 70, r = 2*d - 25. Are b and d equal?
True
Let l = 573 + -131. Let u = l + -1767/4. Let n = -6 - 18. Which is smaller: n or u?
n
Let l be 52/(-2) - 9447/(-134). Let q(a) = a**3 - 6*a**2 + 6*a + 8. Let w be q(6). Is l < w?
False
Let c = 1152 + -1152. Is c at most 158?
True
Let q be 39/35 + (-2)/5. Suppose 5*f - 10 = 0, 14*f = 4*x + 9*f - 10. Suppose -7*t + x*t = -t. Is t <= q?
True
Let b = -18 - -17. Suppose -14*u = -10*u - 16. Suppose 20 = 4*j, 0 = -2*o - 0*o + u*j - 82. Which is smaller: o or b?
o
Let q(n) = n**2 + 5*n - 4. Let t be q(-7). Suppose 36 = 10*k + 6. Suppose 4*f - k = 21. Which is smaller: t or f?
f
Let u be 5/(-2) + 2 - 159/(-6). Suppose 11*a = u + 7. Is 4 less than a?
False
Let g = 43198/9 - 4790. Let r = -7/54 - 3917/378. Let o = r + g. Which is bigger: o or -2?
o
Let c = 50.9 - 54. Let b = 3 + c. Let r = -1/36075 + 36079/144300. Are b and r non-equal?
True
Suppose 16 - 2 = -7*a, -l = 2*a + 161. Is -157 smaller than l?
False
Let h = 8848 + -8695. Which is smaller: -2 or h?
-2
Suppose 16 = 4*z, -10*g - 5*z - 8 = -6*g. Which is smaller: -32 or g?
-32
Suppose -z + 5*l = -79, z = -9*l + 4*l + 109. Let s = -42 + z. Let q = s + -46. Is 4 equal to q?
False
Suppose 32*y + 22 - 54 = 0. Are y and 12/509 unequal?
True
Let m = -92 + 68. Let r(d) = d. Let t(h) = 2*h**2 + 2*h - 2. Let g(w) = 5*r(w) - t(w). Let v be g(-3). Is v <= m?
True
Let n(i) = -i**2 + i + 4. Let x be n(6). Let w be 1626/(-9) - 112/48. Let k = -207 - w. Which is smaller: k or x?
x
Let k = -13.06 + -17.94. Let o = -0.2 - -0.2. Is k at least as big as o?
False
Let w be (-2912)/(-21) - (-14)/(-21). Which is smaller: 5 or w?
5
Suppose -2*s + 17 = 5*p, -3*p + 4*s + s = -4. Let d be 14/(-105) - 22/180*p. Which is smaller: d or 54?
d
Let a = -0.0654 - -0.0794. Which is bigger: -100 or a?
a
Let x = 405 + -153. Suppose 0*h + 7*h = x. Do 38 and h have different values?
True
Suppose 19*u + 7068 - 7087 = 0. Is -20/41 equal to u?
False
Let m = 927.7 + -928.7. Is 6196 bigger than m?
True
Let y(n) = 493*n - 3452. Let k be y(7). Which is greater: 15/307 or k?
15/307
Let p(s) = 47*s + 11. Let i(j) = 23*j + 5. Let t(x) = 7*i(x) - 4*p(x). Let y be t(-4). Suppose 3*u - y - 48 = 0. Which is greater: u or 48?
u
Let q = -1897.4 - -2025.4. Which is smaller: q or 41?
41
Let w(q) = -442*q + 1008. Let z be w(-5). Is 3217 >= z?
False
Let m = -184/93 + 667/217. Which is bigger: m or 0?
m
Let x be -15*(-4 - (-55)/15). Suppose x*m = 11*m + 18. Let v be m - (-1 - 8)*(-7)/(-21). Which is bigger: v or -2/59?
v
Let g = -1201 + 5378/5. Let y = 127 + g. Does y = 3?
False
Let t = 11235 - 2617748/233. Let o = t + -837/12349. Let k = -220 + 220. Is o at most k?
True
Let q = 4 + -15. Let k be (1*30/25)/(q/20). Suppose 2*c - 3*m = -12, -2*c - 5*m = 3*c + 5. Is k < c?
False
Let d = 33 + -20. Suppose -43*w - 4*v = -47*w + 72, 0 = 3*w - v - 64. Let t be w + d - 4/(-1). Are 40 and t unequal?
False
Let i be (-17)/(-3) + 2/6. Suppose 203 = 12*t - 5*t. Let w = 38 - t. Which is greater: i or w?
w
Suppose 3*u - 28*g + 23 = -27*g, -u + 3*g = 5. Let r = 8 - 3. Let v(c) = c**3 - 4*c**2 - 6*c - 1. Let o be v(r). Which is greater: o or u?
o
Let y(r) = -2*r**3 + 13*r**2 + 45*r - 97. Let m be y(8). Which is smaller: 43 or m?
43
Let l = -26.085 - -26.185. Let n = 268/1495 - 6/65. Which is smaller: n or l?
n
Suppose 21 = -5*j + 36. Suppose 2*h + j*c + 15 = 0, -17 + 2 = 5*c. Let g = -2 - -1.88. Which is smaller: g or h?
h
Suppose -22292 = -91*y - 76801. Is y smaller than -599?
False
Let z(f) = 11*f**3 - f**2. Let h be z(-1). Let m(r) = -r**2 + 11*r + 28. Let n be m(11). Suppose 20 = -4*g, 2*a + 3*g = -15 - n. Is h != a?
True
Suppose -12*l - 182*l + 201566 = 0. Is l < 1035?
False
Suppose -953 = 29*h + 2096 + 228. Which is greater: h or -67?
-67
Suppose -5*g - 10*g = 120. Let v be (((-3072)/(-6))/g)/(-2). Is v at least as big as 27?
True
Let i = -37592 - -50940. Which is smaller: 13350 or i?
i
Let g = -24665 + 24779. Which is bigger: 13 or g?
g
Suppose -r + n - 14 = 0, 0 = 1122*r - 1118*r + n + 6. Let w be 6/9*(-9)/(-30). Do r and w have the same value?
False
Let n = -242 - -242.1. Which is bigger: -1.043 or n?
n
Let r(w) be the first derivative of 2*w**3/3 + 4*w**2 - 9*w + 12. Let s be r(6). Let h = -118 + s. Is h at least as big as 5?
False
Suppose -125 = -2*c - 5*h, -2*c + 2*h + 356 = 3*c. Suppose 0 = 3*f + 5*r - 239, -10 = -f + 5*r + 43. Is f greater than c?
True
Let t be 1/((-1)/((-5)/(-5)))*-11. Let y be ((-25)/(-39))/((-4)/(-72)). Is y at most t?
False
Let r be (-1)/(3/(-42)*2). Let b be 0 + 4 + 1 + 5. Suppose b*w = 14*w - 20. Which is smaller: r or w?
w
Suppose -1620 = 1449*q + 1278. Let b be ((-8)/6)/(354/135). Which is bigger: b or q?
b
Suppose -5*y = 2*m - 27434, 5*m - 3386*y = -3384*y + 68556. Is m at least 13713?
False
Let m = -314 - -315. Which is smaller: 1/5396 or m?
1/5396
Let q = 49962/145790155 + 1/52727. Which is smaller: q or 1?
q
Suppose -14*s - 5*s = -114. Suppose 0 = b + 2*r - s, -3*r + 9 = -0*r. Which is bigger: 3/122 or b?
3/122
Let k(y) = y**2 - 61*y - 876. Let q be k(73). Which is smaller: 10/4691 or q?
q
Let f = -2154499/34 - -63363. Which is bigger: -6 or f?
f
Let f = 8.98 + -9.98. Is f greater than or equal to 449?
False
Let a(n) = 18*n - 408. Let x be a(23). Suppose b + 4*b = -10. Let f be b - (-2 + 13/x). Is f bigger than -2?
False
Let z = -190 + 382. Suppose -197*c = -z*c - 235. Which is bigger: 42 or c?
c
Let n(j) = -j**3 + 5*j**2 - 3*j + 14. Let o be n(5). Let u = -463 + 6024/13. Which is smaller: u or o?
o
Suppose -127 + 22 = 7*q. Let x be (-1 + (-6)/(-8))*(q + 16). Let m = 8 - 15. Is x <= m?
False
Let b = -34 + 37. Let p be b/(1*(-1 + 2)). Suppose 4*t - p = 1. Which is bigger: -0.6 or t?
t
Suppose -14 = -2*u, 24*u - 26*u - 64 = 3*s. Which is smaller: s or 1/2?
s
Let q = 2620724/14160549 + -106/573. Is -1 at least q?
False
Suppose -5*l + 4*g + 3365 = 0, -7*g = -3*g + 20. Is l at least as big as 669?
True
Let c = -637 + 642. Let v(s) = s**2 - 45*s + 200. Let g be v(c). Which is greater: 1/411 or g?
1/411
Let z be (212/(-6))/(-10 - 549/(-54)). Suppose -2*o = -4*f + 418, 0 = -5*o + 3*f - 2*f - 1054. Which is bigger: o or z?
o
Let x = 0.2406 + 125.4594. Let n = 125 - x. Let d = n - 4.3. Is 13 equal to d?
False
Let v = -1801 - -3362. Which is smaller: -3 or v?
-3
Let y be 555832/166566 - (-10)/(-3). Is y greater than or equal to 0?
True
Let y = 2 + -9. Let v(z) = z**3 + 9*z**2 - 26*z - 12. Let b be v(-11). Suppose -j + 25 = b. Is j greater than y?
False
Let i be 4 + ((-24)/(-16))/((-852)/(-954238)). Let j = -1684 + i. Which is smaller: 0.1 or j?
j
Let o be (1 + -3)*(-2)/(-6). Let g = -415.9939 - 0.0061. Let c = g + 414. Is o smaller than c?
False
Let x be 21/(-5*(-7)/(-735)). Suppose -436 = p - 5*r, -1554 = 4*p - 5*r + 205. Is x bigger than p?
False
Let j be -62*((-6)/63 - 46/(-42)). Is -62 less than j?
False
Suppose 2*w - 14*h + 16 = -10*h, -24 = 5*w - 2*h. Let m be -3 + (-4)/((-12)/15). Suppose -y - 15 = m*y. Are w and y equal?
False
Suppose 0 = 4*v - 3*x - 9, -19 = -3*v - 3*x - 28. Is v smaller than -5/688?
False
Let f be 54 - (11 + -12)/(-1). Does f = 59?
False
Suppose 0*b = -5*b. Let p = 9450071714/81 - 116669125. Let l = p - -1573. Which is greater: l or b?
l
Suppose -13*o = -q + 116, 21*q - 18*q + 12 = -o. Which is smaller: q or 7/879?
q
Suppose 33*s = -41 - 91. Let l be (-7)/(-28) + s/((-64)/516). Which is smaller: 34 or l?
l
Suppose 0*n = -12*n - 9*n + 15792. Is n equal to 751?
False
Let d = -1545 + 1545. Does 0.7361 = d?
False
Let d = -36