 = 105402/109 + -967. Which is greater: -1 or q?
q
Suppose 19*j = 9*j + 20. Let d(q) = -q**3 - 2*q**2 + 2*q - 2. Let h be d(-3). Which is smaller: h or j?
h
Let d = 407 - 407. Is d less than or equal to 12?
True
Let z be (-4)/(-6) - (-29968)/192. Let d = z + -158. Is -1 equal to d?
False
Let j(q) = 3*q**2 - 37*q + 45. Let r be j(11). Which is greater: -4/371 or r?
r
Let w be 2/5 + (-76)/(-10). Suppose -10 + w = 2*q. Let l = -4/47 + -11/423. Is q bigger than l?
False
Let o = -2410 + 2404. Are -118 and o equal?
False
Suppose -5*i - 35 + 107 = -4*r, -4*i + 5*r + 63 = 0. Suppose 0 = -2*p - 2*p + i. Suppose 1 = 3*g - 4*g + x, g = -p*x + 3. Which is bigger: g or 1/6?
1/6
Let l = -1.1 - -0.6. Let q = 0.56 + l. Let y(f) = f**3 + 4*f**2 + f + 4. Let x be y(-4). Is q equal to x?
False
Suppose g - 1 = -2*v - 13, 5*g + 60 = v. Let n be 1/2 - 138/g. Do n and 16 have the same value?
False
Let g(o) = -o**3 + 2*o**2 - 3. Let y be g(3). Let w(a) = -8*a**2 + 14*a - 9. Let d be w(2). Which is smaller: d or y?
d
Let b = 34.18 - 1.18. Which is smaller: b or 0?
0
Let l be (-4)/42*(-1)/2. Suppose -4*o + 4*t = 0, 3*o - 13 + 5 = -5*t. Which is smaller: o or l?
l
Let u = -521 + 498.7. Let d = -40.2 - u. Let n = -18 - d. Are n and 0.24 non-equal?
True
Let h = 22400886/329 - 477972/7. Let u = h - -194. Is -1 at least u?
False
Let t(x) = -3*x - 584. Let s be t(-32). Is s >= -489?
True
Suppose -16*h - 93 - 67 = 0. Are -11 and h nonequal?
True
Let n(a) = 2*a**2 - 19*a - 11. Let j be n(0). Are -95/8 and j nonequal?
True
Let v = 0.3 + -0.3. Let a = -69 + 74. Which is smaller: v or a?
v
Let r = 1 + -3. Let k(c) = c**2 - 26*c + 33. Let y(h) = h + 1. Let u(w) = -k(w) - 6*y(w). Let l be u(18). Which is bigger: l or r?
r
Let p = -5.012 - -0.012. Which is greater: p or -155?
p
Let h(o) = 8*o - 54. Let i be h(-8). Which is greater: i or -119?
i
Let j(b) = b**2 - 4*b - 8. Let u(v) = -2*v**2 + 8*v + 15. Let c = 0 + 3. Let t(z) = c*u(z) + 5*j(z). Let f be t(5). Is f greater than or equal to 1?
False
Suppose 4*m + 2*i + 2 = 0, 5*i + 10 + 5 = 0. Which is bigger: m or -9/26?
m
Let z be (2/14)/((-1368)/42). Is -1 greater than or equal to z?
False
Suppose 0*n + 8 = 2*n. Suppose u + 0*u = n. Let i be 4 + (u - 1 - 7). Is i > 2/5?
False
Let r = 2 - 2.2. Let l(n) be the second derivative of n**3/3 + 35*n**2/2 - 18*n. Let g be l(-11). Is g at most r?
False
Let n = -12 + 21. Suppose 50 + 22 = 8*p. Let v = n - p. Which is bigger: 2/101 or v?
2/101
Let z be (-4563)/(-11) + 1*(-6)/(-33). Let h = -1649/4 + z. Let j(x) = 2*x**3 - 3*x**2 + x - 2. Let r be j(2). Is r smaller than h?
False
Suppose -r - 5 = 2*x, 3*r + 9 = 4*r - 5*x. Which is smaller: -4/817 or r?
r
Let i = -291 - -304. Are 17 and i equal?
False
Let t(c) be the first derivative of -c**4/4 - 13*c**3/3 - 5*c**2 + 17*c - 5. Let n be t(-12). Let d = -13 - n. Are -7 and d unequal?
True
Let u(w) = -2*w - 8. Suppose -7*d - 11 - 31 = 0. Let r be u(d). Is r greater than 0.2?
True
Let y = -1.3 - -0.13. Let n = -4.17 - y. Which is greater: n or 1/26?
1/26
Let t = 2597 + -12983/5. Is 695/3 <= t?
False
Suppose -4*l + 4*m + m + 36 = 0, 5*m = -4*l - 4. Let o be l/22 - 100/(-55). Suppose 6 = o*h + 20. Is h smaller than -7?
False
Let a = -682/5 - -135. Is -3 greater than a?
False
Suppose 5*x + d = 84, 3*x - 32 = d + 3*d. Is 109/7 > x?
False
Let z(w) = -w**3 - w**2 - 4*w + 5. Let o be z(-5). Let h = -1123/9 + o. Let q = -0.19 + 5.19. Which is greater: h or q?
q
Suppose 0*o + 5*d = -2*o - 35, 2*o = 4*d - 62. Let k = -25 - o. Which is bigger: 2/29 or k?
2/29
Let d be 9/(36/1820) - 8. Is d at most as big as 447?
True
Let u = 168.64 - 169. Which is bigger: -2 or u?
u
Suppose 42*t = 45*t - 183. Let b = t + -65. Is -10 < b?
True
Suppose 264 = -9*c + c. Are c and -35 unequal?
True
Let v be 3366/(-77) + (-4)/14. Which is greater: -43 or v?
-43
Suppose m - 452 = -2*r + 331, 4*m - 1560 = -4*r. Which is smaller: 392 or r?
392
Let i be (-160)/45 - -4 - 7322/16758. Which is greater: 0 or i?
i
Suppose -2*c + 0 = -18. Let a(k) = 0 + 2 - c*k - 19*k**2 + 7 + 12*k**2 + k**3. Let q be a(8). Which is smaller: -3 or q?
-3
Suppose 3*r - 4 = -2*h - 14, -r = 2*h + 2. Let x(t) = -t**3 + 17*t**2 - 27*t - 39. Let a be x(15). Which is smaller: a or h?
h
Let x = 1588 + -17484/11. Which is bigger: x or -2?
x
Let h = 6 - 5.95. Let t = h + 0.01. Let c = 0.16 - t. Which is smaller: 5 or c?
c
Let q = -15.6 + 1.6. Let n = q + 15. Are n and -3 unequal?
True
Let h = 14/3 - 157/33. Let c be ((-112)/(-48))/(-6 - -3) + (-6)/27. Which is smaller: h or c?
c
Let j = 23.256 - 24.4. Let c = -0.056 + j. Is c > 0?
False
Suppose n + 3*m + 7 = 0, -n - 5*m = -4 + 5. Is n bigger than -13?
False
Suppose 0*y + 36 = 4*y - 5*d, -5*d = y + 16. Suppose -5*p + 0*p = -5*s + 40, -2 = -y*s - 2*p. Which is greater: s or -3?
s
Suppose 5*t - 13 = 47. Suppose -b = -4*h + t, 4*h + 3*b + 2 + 2 = 0. Let g be -2 + (46/13)/h. Which is smaller: g or 0?
g
Let g be (180/(-14))/(-3)*7. Let r be ((-15)/(-2))/(3 - g/12). Is r at least as big as -1?
True
Suppose -8*i = -15*i - 10*i. Let h be (2/(-9))/(2/12). Which is smaller: h or i?
h
Let s = -136 - -133. Suppose 3*v + 2*p + 99 = -2*p, 0 = -2*v + 2*p - 66. Let i be v/15 - (-2 - -2). Which is greater: i or s?
i
Let f = 9 - 7. Let c = -2436 + 12279/5. Let p = -18 + c. Are f and p equal?
False
Let i be (-4 + 14)/(186/(-66) + 3). Is i greater than or equal to 55?
True
Suppose 4*y - 93 = 27. Let x = -30 + y. Suppose 0 = 3*a - 3*b - x*b + 3, -4*a = -b - 5. Which is smaller: 14/11 or a?
14/11
Let w(v) = 2*v - 10. Let c(p) = -5*p + 20. Let l(g) = 3*c(g) + 7*w(g). Let t be l(-8). Let b = -43/5 + 81/10. Is b at least as big as t?
True
Let j = 0.339 + 0.061. Let w = -33.17 + 33. Which is smaller: w or j?
w
Let b be (-1 + 11)*(2 + 3/(-2)). Suppose -w = -4*g - b*w + 16, 5*w - 8 = -3*g. Suppose 4*k = i + 3, i + 0*i - 3*k + 1 = 0. Is i greater than g?
False
Let r be 506 - (9 - (8 - 7)). Is r at most as big as 498?
True
Let w be (24/(-2))/(3 + 1 - 3). Let s be (-2)/3*(-198)/w. Which is smaller: s or -51/5?
s
Let g(u) be the second derivative of -u**3/6 + 5*u**2 + 8*u. Let x be g(11). Which is smaller: 2/23 or x?
x
Let v(x) = -3*x - 52. Let y be v(-18). Let s be -1 + y - (-56)/(-76). Is 0 less than or equal to s?
True
Let p be 84/(-7)*(-8)/32. Let x be 109/42 + 0 + -1. Let u = x - 2/21. Which is smaller: u or p?
u
Let i = -35/16 - -321/176. Let d = 9 + -6. Let p(g) = g**2 - 2*g - 2. Let m be p(d). Which is smaller: m or i?
i
Let w = -0.05 - -17.05. Let z = 9 - w. Is 3 >= z?
True
Suppose -m = m - 332. Let o = -1325/8 + m. Suppose 0 = 4*l - 12, 0 = 3*c + 2*l + 1 - 7. Which is smaller: o or c?
c
Suppose h = 17*h - 11*h - 20. Suppose 2*l + 4 = 12. Suppose -n + 0*n = -l. Is n greater than h?
False
Let l = 5 - -9. Suppose -3*n - 31 = 2*y - 64, -2*n = 5*y - 77. Is l not equal to y?
True
Suppose 0 = 118*d - 120*d. Which is greater: -5/11 or d?
d
Let m be -1 + 115*(-16)/(-120). Which is greater: m or 15?
15
Let k be 36/(-20) + ((-22)/10 - -2). Is -44/19 != k?
True
Suppose 2*b = -5 + 13. Let f be -33 + 16/b - 3. Let d = f - -31. Which is smaller: -15/8 or d?
-15/8
Let h = 157 + -145. Are -5 and h non-equal?
True
Suppose -6*x = -x + 25*x. Which is greater: -32/41 or x?
x
Let h be (24 + 0)*105/(-20). Let j be 736/h - -4 - 4/(-14). Is j at least -2?
True
Let c be (-2 + 0)/(560/49 + 6). Is c bigger than 1?
False
Let l = -262 + 527/2. Which is greater: 22 or l?
22
Suppose -13*s - 78 = -0*s. Let u(z) = -2 + 0 + 4 + z. Let c be u(-8). Is c smaller than s?
False
Let v be 2*(-4)/(-8*1). Let k be 45/18*v/(-5). Is 0.09 greater than k?
True
Let c = 132/5 + -26. Is c less than or equal to -28.6?
False
Suppose 5*y = -7 + 27. Suppose -y*k = -17 + 5. Let t be k + (86/(-10) - -3). Is -3 at least as big as t?
False
Let f be 8*-7*(-3)/(-12). Suppose -5*d + 4*n + 54 = 0, -5*n + 10*n - 62 = -3*d. Let u = f + d. Which is smaller: 1/19 or u?
u
Let f be 2*(-1)/(-36) + (-4)/24. Which is smaller: -3/7 or f?
-3/7
Let b = 27 + -72. Let o be ((-18)/(-4))/(5/(-10))*5. Do b and o have the same value?
True
Let z(i) = i. Let r be z(7). Let l = r + -13/2. Let h = 0.673 + 0.527. Is h greater than or equal to l?
True
Let v(l) = -l**3 - 4*l**2 + 4*l - 2. Let x be v(-4). Let q be (-2)/(2/(-1)) + -3. Let o be 14/x*q/(-7). Is 0.2 at most as b