
Let u(m) = -4*m**2 + 13*m + 17. Let g(p) = p**2 - 3*p - 4. Let f(q) = 9*g(q) + 2*u(q). Let v be f(4). Suppose -19*n - 110 = -30*n. Is n less than v?
False
Suppose -10*d - 48 - 102 = 0. Is -104/7 greater than or equal to d?
True
Let z = -14/3 - -5. Let p = -31 - -25. Let q(b) = b**3 + 7*b**2 + 7*b + 7. Let o be q(p). Which is bigger: z or o?
o
Suppose 49 = 4*h + 1. Is 53/5 greater than or equal to h?
False
Let x be (-7 - (-176)/8)*3/(-207). Are 1 and x non-equal?
True
Suppose 41*a - 105 + 23 = 0. Which is smaller: 4 or a?
a
Suppose -8*r - 30*r = 380. Which is smaller: -15 or r?
-15
Let z = -25 + 58. Let l = z - 32. Is -0.06 smaller than l?
True
Let r = 47 + -50. Do -8/5 and r have the same value?
False
Let w = 22.7 - 22. Let n = w + -1.1. Let q = -2.4 - n. Which is greater: q or -1?
-1
Suppose 941 = -2*t + 941. Which is smaller: 2/539 or t?
t
Suppose 10*k - 12*k = 78. Is -39 equal to k?
True
Suppose -v + 0*v + 4 = 0. Suppose -v*s = 2 - 18. Suppose -k + 2*k = 3*f + 14, -f - s*k = -4. Are f and -4 equal?
True
Suppose 0 = -5*y + 10, -4*p + 4*y - 1075 = -5019. Let a = p + -74102/75. Let j = a + -136/525. Which is bigger: j or 0?
0
Let s(o) = o**2 + o. Let w be s(-2). Suppose 7*r = 3*r + 5*y + 14, w*r - 14 = -y. Which is smaller: 8 or r?
r
Let q(k) = -2*k**3 + 15*k + 99. Let b be q(-5). Is b > 273?
True
Suppose -l + 3*l = -a - 2, -4*l - 24 = -3*a. Let r be (0 - 0) + 2 + -44. Let f be 1 + 1 + 228/r. Which is bigger: f or l?
l
Suppose -3*f + h = 3*h - 30, -f - 5*h = -10. Let c be (9/(1 - 0))/1. Suppose c*t = f*t. Which is greater: t or -1/4?
t
Let t = -1.48 + 1.17. Let b = -118.2 - -118. Is b >= t?
True
Let o be (-15)/2667*6/15. Which is bigger: 1 or o?
1
Let t = -155 - -116. Let g be t/(-78) + 2/4. Is g equal to -2/235?
False
Let o(a) = -a**3 - 3*a**2 + 5*a + 5. Let k be o(-4). Suppose -2*v + 4*x = v + k, v + 2*x + 7 = 0. Let m be (-8 - (-2 + 2)/(-6)) + 6. Is m <= v?
False
Let y(g) = g**3 - 5*g**2 + g - 4. Let k be y(5). Suppose 2*h - 35 - 3 = -3*w, 2*h - 42 = -w. Let f be ((-34)/h)/(-1) - (26 - 24). Which is bigger: k or f?
k
Suppose 3*w - 138 - 3 = 0. Let u = w + -25. Let g be (4*(-39)/(-130))/(3/55). Is u equal to g?
True
Let w(j) = -j**2 - 3*j + 10. Let r be w(-5). Suppose 5*a = -t + 11, -4*t + 2*t - 3*a + 8 = r. Suppose -2*y = n - 2, -2*y = -5*n + 3 + 7. Are t and y unequal?
True
Suppose -60 - 15 = -5*u + 4*x, 5 = -x. Let g be (-6)/4*-6 - -1. Are g and u non-equal?
True
Suppose -a = -0*a + j + 34, 2*a + 75 = 5*j. Suppose 91 = -7*h - 161. Which is bigger: a or h?
a
Let v = 0.034 - 0.244. Is -2 bigger than v?
False
Let h = 2 + 13. Let t = h - 12. Let d be t/(-5) - 90/100. Which is smaller: -3/5 or d?
d
Let u = 249/2 + -1749/14. Is 27 greater than u?
True
Suppose -3*j - 4*c + 7*c + 123 = 0, 81 = 2*j - c. Let i be (13/5)/(16/j). Which is greater: 6 or i?
i
Suppose z + 5 = 2*z. Let r be (-667)/z + (-12)/(-30). Let p = r + 1467/11. Is p smaller than 0?
False
Let w(c) be the first derivative of c**4/4 + 2*c**3 - 3*c**2/2 - 18*c - 32. Let x be w(-6). Is x at least as big as -7?
True
Suppose -14 = n - 2*n - 4*m, 0 = -5*n + 4*m - 26. Is n at most as big as 24?
True
Let m = -906/127 + -40664/2667. Let g = 6767/3 - 2233. Let b = g + m. Which is greater: 1.2 or b?
1.2
Let v be (1*353)/(-10 - -16 - 5). Is -2 <= v?
True
Let h = 249548/2585 - 1062/11. Is 0 smaller than h?
False
Let p = -6 + 8. Let o be (p - 5) + (0 - -4). Let d = -52 - -1194/23. Is o greater than or equal to d?
True
Let a = 1/24 - -5/24. Let p = 24.79 - -0.21. Let w = 25 - p. Are w and a nonequal?
True
Let i be (8/30)/((-6)/(-117)). Let p(w) = 7*w**2 - 11*w. Let k be p(2). Is i greater than k?
False
Let u be (-73)/(-12) + (-20)/80. Which is smaller: 5 or u?
5
Let t(g) = g. Let l be t(3). Let j = -25 - -37. Suppose j*p = 11*p. Are l and p unequal?
True
Let v(a) = a**3 + 14*a**2 + 12*a - 4*a**3 + 2*a**3 - 4*a**2. Let h be v(11). Let c be (-26)/h - (-2)/1. Is c at least as big as 0?
False
Let q(z) = -16*z**2 + 0*z**3 + z**3 + 2*z + 13*z**2 - 2. Let d(a) = 2*a**2. Let o be d(-1). Let b be q(o). Which is smaller: -1 or b?
b
Let h = -46602/65 - -717. Which is smaller: -1 or h?
-1
Let t = -118 + 177. Let s = 26 - t. Let d = s - -32. Are d and 1/4 unequal?
True
Let o = 16.4 + -2.4. Does o = 1?
False
Let l(c) = -c**3 + 10*c**2 - 2*c - 10. Let m(f) = -f**3 + 21*f**2 + 22*f + 10. Let j be m(22). Let k be l(j). Which is greater: -31 or k?
k
Let a = 145.86 + -173.9. Let s = a - -28. Let n = -38 - -192/5. Do n and s have different values?
True
Let n = 105 - 105.8. Let o be (-2)/8 - 6/(-24). Are o and n equal?
False
Let s(n) = -n**2 - 49*n - 225. Let m be s(-28). Which is bigger: 364 or m?
364
Let d = 72 - 72. Suppose 0 = 6*o - 2*o + 32. Which is bigger: o or d?
d
Suppose 0 = -5*v, -c + 5*v = -2 + 13. Let f(l) = -l**2 - 11*l - 1. Let r be f(c). Let a be 5/(-4)*(-11)/55. Is a <= r?
False
Let f be ((-57)/2)/((-132)/(-16)). Which is bigger: f or -3?
-3
Suppose -150 = 4*q - 6*q. Let a = 5 - 17. Let p be (a/(-30))/(3/q). Is p at most as big as 9?
False
Let w be 2/5*(1001/78 - 12). Let d = -0.01 - -0.04. Let c = -1.97 - d. Which is smaller: w or c?
c
Let m = -60 - -68. Suppose m = -b - 5*u - 8, u = -5. Which is greater: 60/7 or b?
b
Let y be (1/2*3)/(-3) - -1. Let v be (-10)/(-3) - 6/(-9). Let t be 1/v - 6/(-8). Which is smaller: t or y?
y
Let i be (5 + 0)*112/35. Suppose 0 = 7*r - 3*r + i. Suppose 3*q + 3 + 6 = 0. Are r and q equal?
False
Let z = -1723 + 1207. Let o be ((-2)/4)/((-2)/z). Let f = -380/3 - o. Which is smaller: 2 or f?
2
Let j be 22 + 1 + -3 + -1. Suppose -16*u = -j*u - 36. Is -11 not equal to u?
True
Let h = 133 - 121. Do h and 10 have the same value?
False
Suppose 4*q + 14 = 5*q - 2*v, v + 31 = 2*q. Let k(j) = -j**3 + 4*j**2 + 14*j + 3. Let g be k(6). Are q and g non-equal?
True
Let a = -66/239 - -6120/16969. Is 0 greater than or equal to a?
False
Let m be (-4)/36*328 + -2. Let c = m - -14860/387. Suppose -4*u + 12 = -a, -5*a + u = -2*a + 3. Which is bigger: a or c?
a
Let v = -130651/7854 + 183/11. Is -1 less than v?
True
Let k = -18 + 28. Let n be 8/k - 88/85. Which is greater: n or 0?
0
Suppose -3*y + 4*l = 18, 15*l - 16*l + 7 = -2*y. Let i be (2/(-5))/((-1)/10). Suppose -i*g + 2*g = 4. Is g at least y?
True
Let t = -205 + 165. Which is smaller: t or 0.5?
t
Suppose 2*x + 4 = -2*q, -13*x + 10*x + 3*q = 0. Which is smaller: x or 101?
x
Let t be ((-4)/(-4))/(2/(-12)). Let i(a) = a**2 - 4*a - 2. Let y be i(4). Let u = y - t. Is u > -1?
True
Let x be ((-6)/(-15))/((-3)/(-1588 + -2)). Is x at most 211?
False
Suppose -5*x + 40 = 15*x. Let z be 392/306 + (-6)/27. Which is smaller: z or x?
z
Let y = 21 - 26. Suppose -b = j - 26, 121 = 5*j - b - 3*b. Let c be y*(-6)/j - 1. Which is bigger: 4/9 or c?
4/9
Let d = 6/175 + -2286/5425. Which is bigger: d or -1?
d
Suppose 4*y = -5*o + 112, 2*y + 30 = 5*o - 64. Suppose -3*t - 145 = 5*v - 4*t, -o = v - 2*t. Let s be (-13)/18 - (-5)/v. Which is bigger: -1 or s?
s
Let v = -105415/26 - -4055. Let m = -593/1118 + v. Is m at most -1?
False
Suppose 5*x + x = 12. Suppose -x*f - 26 = 4*o, -f + 3*o - 8 = 3*f. Is -14/3 != f?
True
Suppose 4*w - 16 = -0*w. Suppose -f + w = -2. Let i be ((-20)/(-105))/(f/7). Which is greater: -1 or i?
i
Let x = -51 + 105. Let s = x - 38. Let t = s + -18. Are t and -2 unequal?
False
Let s = 3585/7 + -513. Let d = 7 - 9. Which is bigger: s or d?
s
Suppose -u + 22 = -4*t, -4*u + 6*t - 2*t = -64. Let i be ((-2 - -7) + -4)*3. Suppose 4*j = -4*k + 44, 0 = -3*j + 4*k + 58 + i. Which is smaller: j or u?
u
Let i(y) = -y**2 - 12*y - 10. Let u be i(-8). Let d be u/55 + 98/5. Is 22 greater than or equal to d?
True
Suppose 2 = -2*r + 3*r + v, -2*v + 4 = 3*r. Which is greater: 4/341 or r?
4/341
Let c = 18 + -17. Let m = -16/45 - -2/15. Are m and c non-equal?
True
Suppose 0 = 4*x + 5*d + 33, -21 = -5*x + 4*d - 52. Is -7 at least x?
True
Suppose 7*b + 6 = 4*b. Let z be (-90)/(-100) + b/5. Let x(d) = d**3 + 4*d**2 + 1. Let k be x(-4). Which is smaller: k or z?
z
Let q = -789 - -790. Which is smaller: 14/9 or q?
q
Let t = 2.1 - 0.1. Suppose 6*s + 11*s = 4*s - 26. Is t smaller than s?
False
Let l be 2*(-2)/2*4939/22. Which is bigger: l or -450?
l
Let c be (-2)/7 + (-21)/98 + -1. Let r = 1 + c. Do 27/7 and r have the same value?
False
Let g be ((-377)/(-26)