*g**3 - 2*g**2 - 20*g + 57. Let d be m(2). Which is bigger: d or -30?
d
Suppose -k + 6*k = 0. Suppose 2*b + 3*f - 32 = -k*b, -4*f - 27 = -b. Suppose 4*o = -2*d + 50, 2*d - 30 = -2*o + 14. Is b <= d?
True
Let v be 4/(-10)*(3 - -3)/6. Which is smaller: 1.71 or v?
v
Suppose 0 = -2*q + 2*p - 0*p, 3*q = 4*p - 2. Suppose 6*y = q*y - 3*f - 2, -2*y = -f - 4. Which is greater: y or 1/12?
y
Let y(c) = 2*c**2 + 6*c - 7. Let z be y(-4). Let l = -6/13 + 11/13. Is l at most as big as z?
True
Let g be -27*((-2 - -7) + -4). Let z = g - -24. Is -6 <= z?
True
Let s = -673 - -658. Which is greater: -13 or s?
-13
Let s(q) = -3 - 2*q - 2*q**2 - 4*q**2 + 6. Let m be s(1). Which is bigger: m or -4?
-4
Let l(f) = -3*f**2 + 10*f - 17. Let i = -39 + 44. Let p be l(i). Is -42 less than p?
False
Let f be 31/(-133) - 6/(-21). Suppose 2*r = 6*r - 4. Is f smaller than r?
True
Suppose -3*d + 32 = -4*u, u = -d - 2*u - 11. Does -40 = d?
False
Let u = 0.1483 + -0.0483. Let r = 0.4 - 0.5. Which is greater: u or r?
u
Let b = 103 - 112. Suppose 0 = y + 2 - 0. Let j = b - y. Which is bigger: j or -8?
j
Let f = -63 + 94. Let v = -14 + f. Let p = -19 + v. Which is smaller: 0.2 or p?
p
Let z be (-40)/(-30) - 4/12. Which is smaller: z or 2/407?
2/407
Let u(j) = -j**3 - 16*j**2 + 5*j - 7. Let w be u(-15). Let q = w + 2145/7. Which is greater: -1 or q?
q
Let v = -10 - -10.8. Let g(w) = w**2 + 6*w + 7. Let h be g(-5). Let y = h - 1. Is y at most as big as v?
False
Let h = -0.112 + -2.088. Is -3 smaller than h?
True
Suppose -6*z = -4 - 14. Let w be 196/12 + (12/(-2))/z. Which is bigger: w or 13?
w
Let z(v) = v**3 + 2*v**2 - 164*v + 53. Let b be z(-14). Let m(g) = -g. Let a be m(-1). Is a > b?
True
Let m(o) = -17*o + 435. Let r be m(-9). Is 589 equal to r?
False
Let x be (1 - -3) + (-713)/186. Is 1 greater than x?
True
Let r be (-1 - 6/(-4)) + 2/4. Suppose -b + 5*i - 29 = 0, 2*i = -b - 0 - r. Is -9 less than b?
False
Suppose 3*m + 14 = -49. Let p = m - -28. Let j be (-2)/p + (-38)/(-182). Is j <= 1?
True
Let a = -3 + 7. Let o(q) = 2*q**2 - 13*q - 62. Let c be o(10). Is a greater than c?
False
Let l be (-15567)/21 - 100/(-350). Which is smaller: 1/4 or l?
l
Let l = 0.01 - 1.01. Let w = 424.13 - 420. Let y = w - 4. Which is bigger: l or y?
y
Let c = -482 + 449. Is c >= 0.06?
False
Let n(l) = -6*l - 3. Let h be n(-2). Let t be -2*((-63)/(-2))/(-7). Let j = 18 - t. Are h and j non-equal?
False
Let y = -841 + 739.2. Let g = y - -102. Let k = -89/12 - -31/4. Which is smaller: g or k?
g
Suppose -5*a + 116 = -4*p, -3*p + 70 = 3*a - 5*p. Let t = a - 18. Let x be -1*(0 - -2) + t. Does x = 0.1?
False
Let f be -11 + (-6)/6 + 7. Is f greater than -110?
True
Suppose 0 = -m + 5*m. Suppose -6 = 2*d, m*s + 81 = 2*s - 3*d. Suppose 2*i = 2*q - 0*i + 16, -5*q + 4*i - s = 0. Do -3 and q have different values?
True
Let r = 252 - 252. Let c = -2.5 + 3. Let t = c - -1.5. Is r less than t?
True
Let l = -257 - -253. Which is greater: l or -18/5?
-18/5
Let c = -0.04 + -1.16. Let f = c + 1.5. Let t = -84 - -589/7. Is t smaller than f?
True
Let f(t) = -4*t - 17. Let y be f(-14). Is 54 at least as big as y?
True
Suppose -14*a - 1773 = 2399. Which is smaller: -296 or a?
a
Let d be 105/(-15) - (1 + -8). Which is smaller: -2/2437 or d?
-2/2437
Let v = -12/301 - 14677/1806. Which is bigger: v or -2?
-2
Let k = -19/12 + 119/60. Is 10.1 at least as big as k?
True
Let p = -33 + 57. Let o = 23 - p. Let f be (-12)/o*(-38)/57. Is -7 bigger than f?
True
Suppose 3*m = -5*z - m + 190, 5*z - 230 = 4*m. Which is smaller: z or 41?
41
Let k be 2/3*441/4. Let h = -5427/74 + k. Let c = 99/74 + h. Do 2 and c have the same value?
False
Let g(s) = 6*s**3 - 2*s**2 + 1. Let y be g(1). Suppose u - 5*v = 3 - 16, -y*v + 39 = -3*u. Let j = -10 - u. Is j smaller than 3?
False
Let h = -0.16 - -133.16. Let u = h - 134. Is -0.102 at most as big as u?
False
Suppose 3*c - 55 = -130. Which is smaller: -27 or c?
-27
Let y = 844.25 - 844. Which is smaller: -17 or y?
-17
Let j(q) = -q - 3. Let a be j(-2). Let h = -203 + 209. Let l = a + h. Which is greater: l or 4?
l
Suppose -5*c = -3 - 2. Let n = 34 - 34. Let v = n - -3/2. Which is smaller: c or v?
c
Let y = 1286 + -1285. Is 10/27 at least y?
False
Let r be (-45277)/(-4390) + 8/16. Let l = 6/439 - r. Let p = -584/55 - l. Are 0 and p unequal?
True
Let q(l) = l - 35. Let m be q(0). Let v = -58 - m. Which is smaller: v or -21?
v
Suppose -4*q + 2*d = 3 - 41, 0 = q - 3*d - 2. Let r be -1 + q - 2/1. Let i(b) = -b**3 - b**2 + 4*b + 1. Let m be i(-3). Which is bigger: r or m?
r
Let g = 782 + -736. Is g greater than -5?
True
Let u(q) = -13*q + 7. Let c be u(3). Let b be ((-3)/2)/(16/c). Suppose b*l - 27 = -3. Which is greater: l or -2/5?
l
Let q = -10 - 3. Let a = -92.1 - -92. Which is smaller: a or q?
q
Let g be (-87)/(-84) + 9/(-12). Let f = -5041/291 - 1/97. Let a = f - -17. Which is greater: a or g?
g
Suppose -151 - 233 = 3*q - 2*w, 2*w + 526 = -4*q. Let r = 2212/17 + q. Is r bigger than -2/3?
True
Let h = 471 + -472. Let x be 2/65*(3 + 2). Which is smaller: x or h?
h
Let i be 1 + (-84)/(-10) - 0. Let v = 747/80 - i. Let s = 38/87 - 3/29. Is v at most as big as s?
True
Let u = 1 + 0. Let c = -104 - -109. Which is smaller: c or u?
u
Let h be -3 + (-39)/15*(-13 + 8). Let f(j) be the second derivative of j**5/20 - 5*j**4/12 - 5*j**3/6 + 2*j**2 + j. Let t be f(6). Is h greater than t?
False
Let d be (0 - 3)*(-5)/(-15). Are d and -11/8 equal?
False
Let t = 832 - 833. Is t at least as big as -15?
True
Let k be 24/15 - (-2)/5. Suppose -k*a + 40 = -0*a. Let w be 2*(a/21 - 1). Are w and 1 equal?
False
Suppose -1 + 8 = -4*q + 5*h, h = -4*q - 13. Let p be q/5 + 732/420. Which is smaller: p or 1?
1
Let u = 447/2 + -223. Is -171 at most as big as u?
True
Let b be (-5)/270*-6 - (-17948)/(-18). Is b greater than or equal to -997?
True
Suppose -5*j + 5*r + 29 = -41, 5*r + 51 = 4*j. Is j > 18?
True
Suppose 9*a = 3*a - 126. Let g = 2 + a. Which is greater: -20 or g?
g
Suppose 0 = -8*s + 27*s - 228. Which is smaller: s or 151/14?
151/14
Let t(x) = x**3 + 4*x**2 - 19*x - 74. Let s be t(-4). Is 73 != s?
True
Let a = -2/85 + 19/85. Is a at most 0.8?
True
Suppose 0*v = -2*v - 12. Let x(l) = -6*l**2 - l. Let c be x(1). Is v != c?
True
Let m = -185 + 184. Which is greater: -12.8 or m?
m
Suppose 3*s = 5*s + 2, 0 = 4*k + 5*s + 61. Let z be (7/k)/(2/4). Is z > 2?
False
Let s be 3/(-4) + 1/(-4). Let f be (24/(4 - -2))/(2/(-3)). Let o(c) = 2*c + 12. Let l be o(f). Which is bigger: s or l?
l
Suppose -5*v + 2*v = -2*w - 20, -3*v - 22 = 4*w. Which is bigger: w or -9?
w
Let j(l) = -l - 9. Let i be j(-7). Let x be i/7 - 0/3. Does x = 1?
False
Let q(f) = -2*f + 3. Let m be 34/(-119) + 4/14. Let j be q(m). Suppose 0 = s + v - j, -3*s - 12 = -4*v. Which is greater: -1 or s?
s
Let z be (-2)/10 + 546/(-70). Let u = 46 - z. Is u smaller than 54?
False
Suppose -5 = 4*v - 33. Let q(p) = -3*p + 20. Let h be q(6). Let d be h/5 + 228/30. Is v at most as big as d?
True
Suppose -282 = -3*o - 2*m, 9 = 31*m - 34*m. Is 97 greater than o?
True
Let q = 20/21 - 86/105. Let m = -298/161 + 36/23. Is q at most as big as m?
False
Suppose 4*l = 9*l + 5. Let g = -14200 - -327519/23. Let o = g - 40. Is l at most as big as o?
True
Let s = -56 - -61. Suppose 2*f - 3*f - w - s = 0, 4*w = -2*f - 20. Which is smaller: f or 1/14?
f
Suppose 4 + 1 = -5*f. Let u be (-2 - 3*f)*-1. Let h = 30/37 + -1163/1480. Is h at most as big as u?
False
Let h = 226173/304 + -744. Are h and 0 equal?
False
Let t = -4 + 3. Let a be (-16)/(-6)*t/(-20). Suppose 0 = 5*x + 1 + 4. Which is bigger: x or a?
a
Suppose 0 = 79*j - 72*j + 112. Is j less than or equal to -16?
True
Let v(t) = -t**2 - 80*t - 1159. Let d be v(-19). Let c be -21*1/25 - -1. Which is greater: c or d?
c
Let z = 0 - 20. Are -159/8 and z nonequal?
True
Let d = -294 + 318. Is d at most as big as -5?
False
Let b be (-2)/3 + (-140)/(-12) + -11. Is -3 <= b?
True
Let j = 149948 - 1351744/9. Let h be (-6)/((-3)/(-1)) + 248. Let g = j + h. Which is smaller: g or 1?
g
Let y be ((-124)/93)/(2/6). Let q be -1 - (-6 + y/(-2) + 3). Are q and -6/65 unequal?
True
Let g be 0 - (3 - (4 - 3)). Let x = g + 1. Let r be 0/((-1 - -1) + 1). Is r > x?
True
Suppose -q - 25 = -23. Let r(w) = w**3 - 3*w - 5. Let s be r(q). Is s >= -12?
True
Let z(a) = 7*a