2 - 28*c - 1. Let l be f(1). Is -167 greater than l?
False
Let t be -3 + (15315/(-3060) - (0 + -5)). Let n = 13/51 + t. Let o be (-1 - (1 + -1)) + -2. Is n less than o?
False
Let v = -85382 + 120986302/1417. Are v and -1 nonequal?
True
Let d be (64/(-144))/(-2 - (-64)/36). Is -10/11 equal to d?
False
Suppose -23*f = -19*f - 8. Let p be (3/(-15) - 9237/(-4185)) + -2. Is f at least p?
True
Let u = -16.088 + 12.088. Is u bigger than 155?
False
Let v(n) = 25*n + 374. Let l be v(-55). Which is smaller: -1003 or l?
-1003
Let t be (-25366)/55 + (4/2 - 2). Let l = t - -461. Is l less than or equal to 0.301?
True
Let q = -612 + 611.5. Is 1/75 greater than or equal to q?
True
Let v be (-2)/(-3) + 3/(-45). Let c(l) = l**3 + 12*l**2 + 33*l + 396. Let t be c(-12). Which is bigger: t or v?
v
Let w(z) = -z**3 + z**2 - z - 3. Let v be w(2). Let j = 27 - v. Let u = j - 36. Which is smaller: -1/2 or u?
-1/2
Let z be (-42 + 37)/((-8380)/16). Suppose 4*o + o + 4*r - 20 = 0, o - 10 = -2*r. Is o greater than z?
False
Let a(m) = 3*m**3 + 326*m**2 + 782*m - 107. Let d be a(-106). Which is smaller: d or 6890?
d
Let x = 27 + 7. Let l(h) = 3*h**3 - 4*h**2 - 4*h + 1. Let v = 890 - 887. Let r be l(v). Does r = x?
True
Let s = -630 - -790. Is s at most 3?
False
Let m be 49 + (-32 + -1368)/(-35). Let k = -3/4315 - -377997/4315. Which is greater: k or m?
m
Let t = 306.8 - 307.8. Which is greater: t or 0.859?
0.859
Let s = -0.97 - -1.181. Let p = 0.789 + s. Is p greater than 15?
False
Let w = 1665 + -1665. Is 32/233 at most as big as w?
False
Let y(x) = -x**3 - 10*x**2 - 10*x + 8. Let i be y(-10). Suppose -15*u - i = -6*u. Let b(q) = q**2 + 10*q - 24. Let k be b(u). Which is smaller: 1 or k?
k
Let o be ((-6)/1695)/(((-16632)/(-45))/22). Which is greater: 1 or o?
1
Let f = -185.8 + -189.2. Are f and 2/7 nonequal?
True
Suppose g + 239 = 282. Suppose -21*u = -22 + g. Which is greater: 26 or u?
26
Suppose -18*w - 164925 = 7*w. Let k be w/135 + (-2)/15. Are -47 and k unequal?
True
Suppose -2*r - 255 = j + 195, -r - 220 = -2*j. Let s(w) = -6*w**2 - 11*w - 8. Let n be s(-7). Which is smaller: r or n?
n
Let q = -358.77 + 357. Let p = -3.77 - q. Which is smaller: p or -41?
-41
Let d be 3 - (-57*16)/6. Let g be 3/(-9) - d/(-30)*-4. Suppose n = -3 - 17. Is n bigger than g?
True
Let w = 151 + 323. Suppose -w = 5*g - 54. Is g equal to -85?
False
Let k be ((-14)/(-28) + -2 + 1)*-206. Let n = k + -106. Let l be (396/(-65))/n + 14 + -16. Is -1 at most as big as l?
True
Suppose -q - h + 6 = 0, 2*h - 3 = 4*q - 9. Suppose -1 - 266 = -q*t. Which is greater: t or 269/3?
269/3
Suppose -5*q - 15 = 2*r, 4*r - q = 6*r + 11. Let t = 54 - 42. Suppose -18 = 5*b + t. Are b and r equal?
False
Let h = 58906.049 + -58969. Let o = -63.01 + 0.01. Let s = o - h. Is s smaller than 0.1?
True
Let q = -215212058489119/18259 - -11786628981. Let u = q - 2/18259. Which is bigger: u or 3?
u
Let k = 12.6 + 183.4. Let o = -196 + k. Which is greater: o or -0.05?
o
Let r be (23 - 15)/(2/(-3)*-3). Let l be 6/r + 15/20*2. Which is smaller: l or -11?
-11
Let i = 0.3254 - -122.6746. Is -13 bigger than i?
False
Let a = -454 - -456. Suppose g = -4*m - 94 - 258, -a*g + 264 = -3*m. Which is bigger: m or -90?
m
Let b = -1719 - -1503. Do b and -211 have different values?
True
Let k = 25232 - 25646. Is k equal to -422?
False
Suppose -8*d + k - 3588 = 0, 5*d + 4*k = -733 - 1491. Is -455 greater than d?
False
Let f(x) = x**3 + 4*x**2 - 8*x - 3. Let p be f(-5). Suppose 6*r = 5*r - 18. Let b be 2/r*(9 - 18). Which is greater: p or b?
p
Suppose -28*d = 27*d - 47*d. Let q = 201 + -813/4. Which is smaller: q or d?
q
Suppose 47*o - 86*o + 29*o = -2060. Which is smaller: o or 210?
o
Let g = -28988/31 - -935. Let n = -133/93 - g. Let w = 2 - 3. Which is smaller: n or w?
n
Let g(o) = -o**2 + 24*o + 4. Suppose 18*h - 187 = 11. Let w be g(h). Which is smaller: 146 or w?
146
Let v(t) be the second derivative of -t**4/12 - 10*t**3/3 + t**2 + 15*t. Let n be v(-20). Let o be ((-2)/(-4))/((1 + -2)*n). Which is smaller: -0.015 or o?
o
Let h = -0.069 + -0.315. Let k = h + 0.484. Which is smaller: 271 or k?
k
Let i = -6.78 + -0.92. Let c = -18535.7 + 18536. Which is smaller: c or i?
i
Suppose 0 = -5*x + m - 190, 0 = -2*x - 2*x + m - 153. Let l be (x - -18)*4/(-14). Which is smaller: 4 or l?
4
Let c = -49 - -69. Let r be c/15*6/2 + -25. Let l = 7085/3 - 2384. Is l bigger than r?
False
Suppose 35 = 448*g - 483*g. Is g greater than or equal to -3/1223?
False
Let o(z) = -10*z**2 - 81 + 9*z**2 - 17*z - 15 - 29. Let s be o(-16). Are s and -110 nonequal?
True
Let f = 3739.3 + -3967. Let a = 228 + f. Is a greater than or equal to 1/29?
True
Let n(m) = m**3 - 18*m**2 + 67*m - 27. Let f be n(13). Is -9/271 less than f?
False
Suppose -62 = 1479*b - 1477*b. Is b < -23/3?
True
Suppose 47*n - 757610 = -111*n. Is 4793 bigger than n?
False
Let x be (-1 - (-639)/91) + 1998/(-333). Which is smaller: 23/3 or x?
x
Let z be 2/(-24)*(-55)/(-30)*-4. Let j = z - 5/18. Are j and 27 unequal?
True
Let l(x) = -x**3 - 49*x**2 - 47*x - 15. Let v be l(-48). Are v and -52 unequal?
True
Let u = -88.366 + 89. Let w = u + 0.366. Which is smaller: -5/3 or w?
-5/3
Let d be -3*1 + (-124)/10. Let c be (-2)/(-8) + 5/60*-3. Suppose k + 5*b + 31 = c, 4*k - 5*b = -45 - 4. Which is smaller: k or d?
k
Let s = 15701 + -27400. Let q = s + 362699/31. Which is smaller: q or 1?
q
Let z = 0.02152 - -8.93848. Which is smaller: z or -1?
-1
Let g = -0.01057 + 31.04257. Let j = 0.2 + -0.232. Let b = g + j. Is b greater than 1?
True
Let o = 1.1 + 7.9. Let n = 272 - 262. Let v be (-51)/(-510) + 4/n. Does v = o?
False
Let y = -29983 - -29984. Which is bigger: -9407 or y?
y
Let f be 1818/(-2828) + ((-6)/(-14))/3. Let l = 21.167 + -45.185. Let n = l - -0.018. Which is greater: f or n?
f
Suppose m + 8 = z + 5*m, 5*z + 5*m - 70 = 0. Let h(b) = 2*b**3 - 3*b**2 - 3*b - 3. Let q be h(5). Suppose q = 3*g + 100. Is z less than g?
True
Suppose -7*c + 255 = 3. Let u = -32 + c. Suppose 3*k - 2 - u = 0. Is k smaller than 2/3?
False
Let m = 2/597 - 87763/1194. Suppose -25*t - 1125 + 3075 = 0. Let y = t + m. Do 4 and y have the same value?
False
Let i = -245290 + 724061/3. Let l = 3990 + i. Let a = 1609/30 - l. Which is smaller: 0 or a?
a
Let b = 9366 - 7813. Do b and 1556 have different values?
True
Suppose 6422 = -11*x - 11684. Which is smaller: -1645 or x?
x
Let g be (-20)/(-15)*-24 - 1. Let q be 242/g*(2 - -1) + 5. Suppose 2*i = 7*i + 90. Which is greater: q or i?
q
Let h(p) = p**2 + 15*p + 54. Let v be h(-9). Let d = -169 - -2369/14. Is v >= d?
False
Let h = -377122 + 377123. Let z = -185 - -125. Is z at most h?
True
Suppose 2*l = -12 - 14. Suppose k = -x - 11, -2*k + 4*x - 8 = 32. Is k less than l?
True
Let c(y) = -25894*y - 155359. Let s be c(-6). Let g be 3/9 - 4/(-6). Do s and g have different values?
True
Let m = -514/7383 + 9/107. Suppose r = -r - 2*r. Suppose -2*u + 12 - 10 = r. Is u < m?
False
Let x = -2 + 2. Let w(g) = -g**3 + 7*g**2 + 12*g - 1. Let t be w(-2). Suppose x = -m + i + 5, -3*i - t = 2*m - 1. Is 2/99 > m?
False
Suppose -5*p - 5456 = 4*z, -5*z - 108*p + 109*p - 6849 = 0. Is -2 > z?
True
Let t be -7*(-2 - 5 - 13). Let j = t + -247. Which is greater: j or -211/2?
-211/2
Let i = -23 - -18. Let z = 1324 - 41048/31. Let w = -19/93 + z. Is i less than or equal to w?
True
Let o = -417 + 414. Let x = 12 - 14. Let l be (x/(-4))/(1/(-6)). Is o >= l?
True
Let x(j) = 2*j**2 - 4*j - 13. Let h be x(6). Let q be 190/(-406) + (100/h)/5. Is -3/5 less than or equal to q?
True
Suppose 2*g = 3*n + 625, 2*g + 617 = 75*n - 78*n. Which is greater: n or -247?
n
Let b = -117/241 - -336071/697213. Which is greater: -1 or b?
b
Let m = 8 - 30. Let p = m - -22.16. Let s = -89.9 + 90. Which is smaller: p or s?
s
Let c(s) = 2*s**2 + s. Let a be c(1). Let r be 16 - a - (-4 + 0 - -8). Suppose 8*q - r*q = -13. Do q and 13 have the same value?
True
Let i be (6/(-30))/(819/(-15) + 1). Let m(g) = 2*g**3 - 41*g**2 - 65*g - 22. Let j be m(22). Are i and j nonequal?
True
Let f be (599/(-3))/((-8)/6). Let v = f - 152. Suppose -30*c + 27*c - 9 = 0. Is v smaller than c?
False
Let c be 60/100*10/9. Let w be (7 + (-423)/63)*147. Which is bigger: w or c?
w
Let z = 284 - 284. Suppose a = 5*v + 6, z = 3*a - 2*v - 1 + 35. Which is smaller: -3 