se
Let b be (156/96 - 12/(-32))/(-2). Which is bigger: b or -11/186?
-11/186
Let n(q) = -q**3 - 11*q**2 - 28*q. Let y be n(-7). Let g = 284 + -5673/20. Is g != y?
True
Let q = -1.86 + -320.64. Let y = q - -322. Which is bigger: 13 or y?
13
Suppose -46*g + 21 = -117. Suppose 3*d = -g*c + 63, -2*d = -c + 4 - 31. Is 18 >= d?
True
Let b be 3*(10 - 177/18)*2/(-9). Which is smaller: b or 510?
b
Suppose 0 = 4*y + 109 + 103. Suppose -3*u + 16 = -2*q + 117, -91 = 3*u - 4*q. Let g = y - u. Are g and -16 unequal?
False
Let i = 72/4517 + -208227/8812667. Which is bigger: -1 or i?
i
Let j(i) be the first derivative of -i**3/3 + 7*i**2 - 17*i - 15. Let k be j(4). Suppose 0 = -2*o + 28 + 18. Is k smaller than o?
False
Suppose 3*f + 0*f + 117 = 0. Let w be 1/(-1) + 0 - -4. Suppose i - 3*b + 33 = -8*b, w*b + 35 = -i. Is f greater than or equal to i?
False
Let z = 16.27 - 17.07. Which is smaller: z or 165?
z
Let m be 3/9 + 58/(-66). Suppose 158 = p + 149. Suppose p = -2*w + 7. Is w greater than or equal to m?
False
Let b be (-84)/189 + 283/1386. Are b and -1 non-equal?
True
Let m be 97 + (-5 - (13 + -8)). Is m less than 89?
True
Let p = -263.605 + -0.395. Let f = 252 + p. Let o be 0/3 - 2/(-8). Is o < f?
False
Let n be (-28)/6*(3 + 1940/(-644)). Let u = -1681/759 - n. Does -3 = u?
False
Let p = 2 + 69. Suppose 2*r - 93 - p = 0. Is r >= 85?
False
Suppose 11*c + 252 = 15*c. Let b = c - 63. Let r = 201/4 + -1507/30. Is r bigger than b?
True
Suppose 0 = 3*g - 5*g - 4. Let d(i) = -49*i + 402. Let y be d(-17). Let n be (y/475)/(1/(-1)). Are n and g equal?
False
Suppose 20 = 5*v, -22*u - 5*v + 20 = -21*u. Let g be 20/(-5) - 7/(-2). Which is bigger: g or u?
u
Suppose -4*m + 24 = -2*m. Let o(r) = -r**3 + 11*r**2 + 15*r - 26. Let b be o(m). Suppose 5*y = -5*y + b. Which is smaller: -2/49 or y?
-2/49
Let g = -85 - -102. Suppose 0 = -4*t + 3*t. Suppose 2*j + 2 = -t*j, 4*c - 71 = 3*j. Is g smaller than c?
False
Let f(d) = -6*d**3 + 8*d**2 - 3*d - 5. Let g(u) = 2*u**3 - 3*u**2 + u + 2. Let m(w) = 3*f(w) + 8*g(w). Let z be m(2). Is z greater than or equal to -78/5?
False
Suppose -49*g + 59*g - 120 = 0. Let f be (-3 + 44/g)*(-876 + -15). Is f at most -595?
False
Let q(x) = x**2 - 46*x + 335. Let y be q(9). Which is greater: 206 or y?
206
Let q = -242.9 + 210. Let g = -836 - -803. Let l = g - q. Do l and 25 have the same value?
False
Suppose 5*q = 40 - 15. Suppose r + 3*r - 2*a + 68 = 0, q*a + 17 = -r. Suppose 5*z + 4 = z, 0 = 5*h + 34*z - 38*z + 81. Are h and r non-equal?
False
Let l be ((6/136190)/(4/50))/(-19). Let g = -21929478353/38814150 - l. Let a = 565 + g. Do a and 1 have the same value?
False
Let h = -1588 + 1030. Let z = h - -542. Which is bigger: -25 or z?
z
Let c(j) = 6*j**2 - 563*j - 93. Let a be c(94). Which is smaller: a or -72/419?
-72/419
Let a = 49 + -55. Let l be ((-96)/20)/(a/30). Suppose 2*j - l = 6*j. Are j and -2 equal?
False
Let d = 4.1 - 6. Let r be (-363)/(-4719) - 20/(-78). Which is bigger: r or d?
r
Suppose -5*a + o = -1972, -a - 2*o + 385 = -5. Let j = a - 394. Is 6/97 not equal to j?
True
Suppose -w + 5*d + 10 = 0, -3*w + 6*w + 2 = -d. Let z be -1 - ((-55)/20 + 2 + w). Is -20/9 smaller than z?
True
Let i = -11 + 53/5. Let m = 2 - -67. Let v = 60 - m. Which is smaller: v or i?
v
Let n = -0.63 + 0.43. Let j = 15.913 - -0.087. Is n <= j?
True
Suppose 0 = v + 1, 4*n = -3*v - 11 - 8. Suppose 2*a - 20 = 3*q, a + 4*q = -q - 3. Suppose -a*m - 26 = 2. Is n greater than m?
False
Let n = 32/9 + -388/99. Let m(d) = d**3 - d - 1. Let q = 33 + -33. Let s be m(q). Is n at least as big as s?
True
Suppose 2*v - 51 = 3*s, -27 + 183 = 5*v + 2*s. Let a be (-1 + (-152)/v)*381/(-4). Let q = 578 - a. Which is smaller: q or 0?
0
Let q = 2004941/281 + -7135. Let m = 508/2529 + q. Is m > -49?
True
Suppose 56 = -11*p + 4*p. Let i be (-23773)/(-39) - p/(-12). Let o = i - 609. Which is smaller: -1 or o?
-1
Suppose o + 4 - 16 = 0. Suppose 39*k = 33*k - 24. Let q be (-78)/k*3*14/63. Which is smaller: o or q?
o
Let s = 1744 + -1752.26. Which is smaller: 2/5 or s?
s
Let a = -22.031 - -5.431. Are a and -1/16 unequal?
True
Let u = -19658/27 + 728. Let s(v) = 2*v**2 + 18*v. Let f be (-6)/(-4) - (-84)/(-8). Let l be s(f). Is u less than l?
True
Let c = -164 + 166. Suppose -c*a = -2*v + 50, 5*v = 5*a + 10*v + 145. Which is smaller: -26 or a?
a
Let n be (-588900)/(-3549) + (4/(-52))/1. Is 167 equal to n?
False
Let u = 4748 - 109203/23. Is u >= 21/5?
False
Let g = -215 - -3653/17. Let s be ((-261)/1566)/((-2)/(-4))*3. Is g > s?
True
Let n be 2/(-1)*824357/254. Is n equal to -6491?
True
Let c = 4 - 36. Let a = -186618/7 + 26628. Which is smaller: c or a?
c
Let r(z) = 0*z**2 - z**2 + 13*z - 10 + 0. Suppose -33*h = -339 - 57. Let k be r(h). Which is smaller: -8 or k?
-8
Let b = 0.0093 - -700.9907. Which is smaller: 2 or b?
2
Let i = -1306 - -4150. Is 2843 < i?
True
Let u = -0.6152 + 360.7152. Let f = u - 360. Suppose 13 - 31 = -v. Which is bigger: f or v?
v
Let o = -840 + 14285/17. Let j = 3564 + -3564. Which is greater: o or j?
o
Let x(d) = d**3 - 6*d**2 + 5*d + 4. Let v be x(5). Suppose 0*r + r = 5*b - v, 8 = r + b. Let s(l) = -l**2 + 9*l - 7. Let m be s(7). Which is smaller: m or r?
r
Let j = 4723 + -4782. Are 96 and j non-equal?
True
Let b = 393838237/3089 - 127497. Which is greater: b or 0?
b
Let w = 308.16 - 308. Let z = w + -0.082. Which is bigger: 4/7 or z?
4/7
Let g(a) = a**3 - 15*a**2 + 14*a + 5. Let c be g(13). Let h = c + 159. Which is smaller: 60/7 or h?
h
Let y be 1*(5/(-3))/5. Let z(n) = n**3 + 19*n**2 - 2*n - 17. Let u be z(-19). Suppose -2*f + 9 = -4*j + u, 0 = 2*f + 4*j - 12. Is f at most y?
False
Let j be 0 + 1 + (-6)/8. Suppose 126*h = -43 - 53 - 30. Which is bigger: h or j?
j
Let q(p) = 3*p**2 - 6*p + 3. Let r be q(4). Suppose 7 = 5*w + r. Which is smaller: -1/3 or w?
w
Let j(s) = 2*s**3 - 5*s**2 - 7*s + 7. Let x be j(5). Suppose -20*d + 23*i - 29 = -21*d, i - 95 = -d. Which is smaller: x or d?
x
Suppose -18 + 6 = -s + k, -10 = -5*s - 5*k. Let t be s/(-1) - -3 - -25. Suppose -4*j - 2*m - t = j, -j + 9 = -4*m. Is -2 greater than j?
True
Let m = 35732.4 + -35733.3. Suppose -d = -2*k + k + 20, 0 = -3*d - 3*k - 42. Is d at most as big as m?
True
Let w = 311 + -287. Suppose 0 = 4*z + 4*o + w, 3*o + 16 = -4*z - 4. Let a = -29 + 18. Which is smaller: a or z?
a
Suppose -4*o = 3*j + 19, -158 + 143 = -3*o. Do j and -15 have different values?
True
Let c be 11 + 0 + 5 + -8. Suppose -36*a = -41*a - 355. Let s = 80 + a. Which is greater: c or s?
s
Let o be (-4)/6 + (-17)/(-3). Let y(a) = -6*a + 4. Let t be y(o). Suppose 1025 = -84*f + 20*f - 45*f - 1591. Which is smaller: t or f?
t
Suppose -3*n - 16 = -z, -32 = 5*n + 2*z + 2. Let q be (-2)/18*(-2)/(n/(-9)). Is 21 at least as big as q?
True
Let g = 59 - -346. Let y be (g/(-1404))/((-6)/(-32)). Let h = -6 - -4. Which is greater: h or y?
y
Suppose 6 = -4*b + 34. Let z = -1537/7 + 1595/7. Which is bigger: b or z?
z
Let c(h) = h**2 - 12*h - 4. Let o be c(12). Let d be ((-3)/3)/(o/(-284)). Let v = 49 + d. Is v at least as big as -23?
True
Let y(g) = -g**3 + 13*g**2 + 14*g + 11. Let k be y(14). Let w(h) = 3 + k*h**2 - h**3 - 33*h**2 - 2. Let i be w(-22). Which is smaller: 9/5 or i?
i
Let g(l) = -l**2 + 37. Let m = -454 + 459. Let c be g(m). Are 1/3 and c equal?
False
Suppose 0 = -226*c - 420497 + 2623. Is -1849 at most c?
True
Let j = 260 + -187. Suppose -71*u = -j*u - 5*p - 515, 5*u - 3*p = -1365. Is u < -272?
False
Let r be 10/(-1*1/6). Let k be -1*27*(-1 - (-10)/15). Let m be r/5*(-3)/k. Does m = 6?
False
Suppose -5*t + 81 - 56 = 0. Let h be 2/(-4)*0/(-1). Suppose -t*a + 0*a - 15 = h. Is a equal to -11/5?
False
Let u be ((-1364)/330 - 2/(-15)) + 189/42. Which is greater: u or -134?
u
Let t = -5.79 + 8.39. Let g = 2 - 1.9. Is g greater than t?
False
Let q(c) = -c**2 - 8*c + 6. Suppose 5*g + 3*w = -35, g - 1 = 2*w + 5. Let p be q(g). Are 70/3 and p equal?
False
Suppose 0 = 98*n + 34*n + 4488. Is -24 <= n?
False
Let f = 1855 + -1847.3. Let d = 18.1 + -11.4. Let h = f - d. Do h and -11/4 have different values?
True
Let v be (-21 - -48)*(-3)/(-3). Suppose v*o = 17*o - 2500. Are -251 and o equal?
False
Let p = 0.0002 + 0.0998. Which is greater: p or -3981/5?
p
Let p = -833 - -1300. Let u = p - 495. Are 7 and u equal?
False
Let y = -192 -