t m(b) = -5*b**2 - 43*b - 63. Let p be m(-6). Suppose 5*t + 5*o = 90, -3*t + 46 = -3*o + 2*o. Is p greater than t?
False
Let m be ((-2)/6)/((-4)/12). Suppose -4*g - 34 + 150 = 0. Let n = -28 + g. Is n at most as big as m?
True
Let s be -2*1 + (2/(-2) - -3). Suppose -4*a - 2*o - 2*o = -20, 0 = 3*a + 2*o - 20. Suppose 4*h = -2*b - 6, -h = -5*b - a - 16. Which is smaller: h or s?
s
Let p be (5 - -2) + (-5093)/473. Is p at most -4?
False
Let c = 3 - 6. Let y be 5*c/(-3 + 6). Let o(v) = -v**2 - 6*v - 5. Let p be o(y). Which is smaller: p or -2/7?
-2/7
Suppose 19*h - 14*h = -55. Let p(c) = c**3 + 10*c**2 - 12*c + 12. Let g be p(h). Is g smaller than 22?
False
Let d(c) = c**2 - 4*c - 1. Let n be d(6). Let b(k) = -2*k**3 + 21*k**2 + 7*k + 21. Let s be b(n). Is -21 at most as big as s?
False
Suppose 3*a = 4*d - 8*d + 191, 5*d - 239 = -4*a. Let l = d - 49. Which is smaller: l or 3?
l
Let v = -269 + 462. Let i = v - 962/5. Which is bigger: i or 2?
2
Let o = -8 + 2. Let u be (-3)/((-15)/(-3) - (-84)/(-14)). Are u and o nonequal?
True
Let y(a) = a**3 + 6*a**2 + 6*a + 9. Let j be y(-5). Suppose 3*c - 12 = -4*l - c, -j*c + 12 = 5*l. Let s = -159 - -1109/7. Which is greater: l or s?
l
Suppose 5*s + 4*o - 21 = 0, 4*s = -o + 16 + 3. Let g(q) = 2*q**2 - q + 1. Let b be g(1). Let z be 2 - (0 + b + -3). Are s and z non-equal?
True
Let a = -32599 + 228940/7. Let p = a + -107. Is p not equal to 0.2?
True
Let k = -2.5 + 1.5. Let z = -0.8 - k. Let d be 7/(-6) + (-10)/(-15). Is d greater than z?
False
Suppose -1335 = -12*f + 17*f. Which is bigger: f or -268?
f
Suppose -5*v + v = -4*w - 16, 5*w = v - 8. Let q be 284/136 - (4 - (w - -3)). Which is smaller: q or 1?
q
Let n = -2869/11 + 261. Let o be -20 - -18 - (-1 + (-69)/41). Let l = o - 2/123. Which is smaller: n or l?
n
Suppose -u = -2*u. Suppose -5*a - 14 = -3*o, u = 3*o - a + 10 - 32. Suppose 6*h - 2*h = o, h = d + 16. Which is smaller: d or 0.1?
d
Suppose -3*j = -4*v + 11, -v - 16 = 2*j - 5. Let h be (-1)/(1 - 122/123). Let o be h/306 - 2/(-12). Which is bigger: v or o?
o
Let a = 78 - 159/2. Let i be (-1)/3 - (-305)/15. Suppose -5*u = -4*n + i, -u + 5*u = -16. Is a less than n?
True
Let s = -104/5 + 116/5. Which is smaller: s or -2/3?
-2/3
Let j = -11 - -6. Suppose 0 = -7*k - 12 + 61. Let s be (0 + k)*(-2)/4. Is s <= j?
False
Let b be (2/144)/(3108/(-112)). Which is bigger: -1 or b?
b
Let v = 0.1642 + -2.7842. Which is greater: -5 or v?
v
Let t = 387.1 + -388. Do t and -7 have different values?
True
Let u(h) = -2*h**3 - 19*h**2 - 31*h - 5. Let a be u(-6). Which is smaller: -75 or a?
-75
Let f = 124 + -212. Let i = -265/3 - f. Do i and -7 have the same value?
False
Let t = 43 + -27. Let m = -3 - t. Which is smaller: -18 or m?
m
Let f = 487 + -468. Which is greater: 161/9 or f?
f
Let c(o) = -2*o - 3. Let u be 14/(-6) + (-6)/9. Let n be c(u). Suppose y = n + 3. Is y >= 6?
True
Let b = 1276994839/1680 + -760116. Let t = 1/280 + b. Is t greater than or equal to 0?
False
Let g be (-1)/(-3)*2 - 12/(-9). Suppose q - 5*f - 11 = 0, -f - 25 = -4*q - 0*q. Let m be q - (2 - (-3)/(-1)). Which is smaller: m or g?
g
Let g(r) = 3*r**2 - 4*r**2 + r**2 + r**3 + 2*r**2 - 4*r - 3. Suppose 2*u + 5*w = -u - 29, 2*u = -3*w - 18. Let i be g(u). Is i greater than -3/4?
True
Let q = -1.98 - 70.82. Let g = -73 - q. Which is smaller: g or 6?
g
Let s = -2/21437 - -43980/11854661. Is s bigger than 0?
True
Let c be (-9)/4 - 20802/24. Is -867 smaller than c?
False
Let i = 326 - 310. Is i greater than 29/2?
True
Let u(s) = s**2 - 4*s - 1. Let o be u(4). Let m be -1364*4/((-260)/(-5)). Let q = m - -105. Which is bigger: q or o?
q
Let a(j) = 10*j**2 - 3*j - 3. Let v be a(-1). Suppose -x - 2*m - v = 0, m = 3*x + 5*m + 20. Which is greater: -7 or x?
x
Suppose a - 5*m = 15, -2*m + 3 = a - m. Suppose k + 4 = v, -2*v - v + a = 4*k. Suppose 0 = 2*l - 4*l - 3*x + 2, -5*l - 3*x + 14 = 0. Which is smaller: v or l?
v
Let r = 2.3 - 31.3. Let q = r + 30. Is -37 > q?
False
Suppose -2*m = -2*o + 70, -2*m + 37 + 13 = 2*o. Let c = -26 + o. Let u be (c + -3)*1*-1. Which is smaller: u or -1/47?
u
Let a = -4.2 - 0.3. Let r = -2.5 - a. Is r > -6?
True
Let f = 1.18 - 0.18. Is 76 greater than f?
True
Let q = 94.9 + -94.5. Is 0.65 equal to q?
False
Let j = 64/13 - 1702/351. Which is greater: j or -1/24?
j
Let k(a) = a + 9. Let n be k(0). Suppose -3*p + 4*x - n + 40 = 0, 3*x + 22 = 2*p. Suppose 0 = 2*m - p + 3. Which is bigger: -1 or m?
m
Let d = 3232/7 - 460. Let n(l) be the third derivative of l**4/24 + 11*l**3/6 - 3*l**2. Let z be n(-9). Is d not equal to z?
True
Let y(i) = -i**2 - 26*i - 145. Let t be y(-8). Suppose f + 4*l = 13, -4*f - f = -l + 40. Let x be 6/9 - f/(-24). Is x >= t?
True
Let g = 81.889 + 0.111. Let a = 83 - g. Are 6/7 and a equal?
False
Suppose a - 493 = -493. Is a less than or equal to -1/146?
False
Let t be (12/(-8))/3 + 2/(-4). Let i(v) = -5*v + 1. Let m be i(-1). Let j be (-10)/m - 0/10. Which is greater: t or j?
t
Let i be -3 - (-2 + 1) - (-638)/406. Are -1 and i unequal?
True
Let b = 2875/51557 + 4/473. Which is smaller: 0 or b?
0
Let o = -16 - -45. Let s = -55 + 85. Is s > o?
True
Let n = 8.8 - 83.8. Let t = n - -75.3. Is 0 less than t?
True
Let z(w) = -1. Let x(t) = 24*t + 18. Let p(m) = -x(m) - 18*z(m). Let c be p(-1). Let l be (-99)/c - -3 - -2. Which is smaller: l or -0.1?
-0.1
Let v(n) = -61*n - 399. Let j be v(-7). Which is smaller: 6 or j?
6
Let p = 498.51 - 498. Does 1 = p?
False
Suppose 3*z = -60 + 75. Suppose -10 = -u - 2*d - 3, -d = z*u - 8. Which is smaller: u or 3/68?
3/68
Let p be 21/(-7)*((2 - 0) + 0). Let z = p - -16/3. Which is greater: 2 or z?
2
Let j(g) = -5*g**2 + 25*g + 2. Let d be j(5). Suppose -d*p + 3*f = -2, 2*p + 3*f = 2*f + 2. Which is bigger: p or 12/11?
12/11
Let j(n) = -n**2 - 6*n - 4. Let r be j(-12). Let m be (2 - r/(-33)) + (-6)/(-9). Is m less than or equal to 1?
True
Let x(u) = -2*u + 1. Let s be x(-1). Suppose -3*l - 21 = -h - h, -s*h + 34 = -5*l. Suppose -27 = -2*j - 35. Which is smaller: l or j?
l
Let c be 8/(-12) - 2/(-3). Let m = -37/24 - -515/336. Let t = m + 33/112. Which is smaller: t or c?
c
Let q = -11.19 - -148.6. Let y = -137 + q. Is -2 greater than or equal to y?
False
Suppose -4*q = -3*r + 231, r + 377 = 6*r - 4*q. Let m = -75 + r. Which is greater: m or -18/11?
-18/11
Let x = -30.6 - -31. Let b = 0.33 - x. Does b = 0.4?
False
Let n(u) = u**2 - 8*u + 19. Let t be n(7). Let f be t - 12 - (-1)/(-1). Let z be (-2)/3 - 25/(-33). Is f at most z?
True
Suppose t = 3*t. Let i(w) = -w**2 - 5. Let p be i(t). Let a be -2 + 7 + (-6 - 3). Which is bigger: p or a?
a
Let n(a) = 4*a**2 - 19*a - 6. Let p be n(5). Which is smaller: -1/209 or p?
p
Let v = 14.22 + -14. Let n = -15.78 - v. Let i = -0.66 + 0.56. Which is greater: i or n?
i
Suppose 17 = 2*t - 5*p, 0 = 3*t + p + 3*p + 9. Let m(f) = f**3 - 10*f**2 - 11*f - 24. Let l be m(11). Let a be l/1314*(-3)/4*2. Is a greater than t?
False
Let b be 2015/(-1144) + -2 + 1/8. Which is greater: -4 or b?
b
Let s be 4/30 - 8/(-165). Which is bigger: -0.3 or s?
s
Let t = -0.04 - -0.12. Let a = t - -0.02. Let q = 4 + -4.1. Is q < a?
True
Suppose -8 = -h + 4. Let g be ((-8)/(-32))/(1/44). Which is greater: g or h?
h
Let a(d) = 5*d - 21. Let h be a(5). Let s(f) = f**2 - 8*f + 14. Let g be s(h). Which is bigger: 6 or g?
6
Let s be 1 + 2/1 + 9. Let q = -17 + s. Let f = 26 + -27. Which is greater: f or q?
f
Let l(z) = -z**2 - 25*z - 18. Let j be l(-24). Let b be (-1)/2 - (-66)/12. Is b greater than j?
False
Let b = 0 - 4. Let v = b - -12. Let g be (-73)/v - (-5)/40. Which is greater: 2 or g?
2
Let s = -260 + 261. Are s and 22/31 unequal?
True
Let q(b) = 2*b - 161. Let r be q(80). Is r less than 2/933?
True
Suppose -x - c = 1, 5*c + 47 - 42 = -4*x. Which is smaller: 30/89 or x?
x
Let p(z) = z**2 + 2*z + 4. Let m = -29 + 34. Let j(n) = -3*n**2 - 5*n - 8. Let r(g) = m*p(g) + 2*j(g). Let o be r(-2). Is -2/5 > o?
False
Let n = 260641/45255 - 1452/431. Let l = n + -8/15. Is l > 3?
False
Let w = 377 - 6408/17. Which is bigger: 0 or w?
w
Let k(r) = -r**3 - 4*r**2 + 8*r + 4. Let u be k(5). Are -182 and u nonequal?
True
Let m be (3 - 12/5)*250/10. Is 28 smaller than m?
False
Suppose 4*s = y + y + 298, 4*s = 3*y + 299. Let l = s + -51. Is l != 23?
False
Let s = -961/2 - -482. Suppose 5