 (-8)/(-6)*(-253)/(-1419). Let p = -2/129 + i. Which is smaller: p or 0.4?
p
Let l(y) = y**2. Let r(j) = -7*j**2 - 7*j - 8. Let g(u) = -6*l(u) - r(u). Let q be g(-6). Suppose -q = -4*p + 5*p. Is p bigger than -5/4?
False
Let o(t) = 10*t**2 - 2*t - 2. Let q be o(-1). Let p be (-3)/(-2) + (-26)/q + 1. Is -1 < p?
True
Suppose -92*h + 2130 = -87*h. Is 425 at least h?
False
Let u(w) = -6*w**2 - 24*w + 89. Let b be u(5). Is -177 at most b?
False
Let t be ((-11)/33)/((-1)/(-3)). Suppose 2*a + a = -3. Let c be a/(-3) - 1 - 1. Is t at most c?
False
Suppose -2*c = 6, -4*c = -d + 2*d + 9. Let p be 4/(-18)*-3*d/(-10). Do p and -1 have different values?
True
Suppose 0 = w - 4*t - 43, 54*t - 15 = 59*t. Is 43 greater than w?
True
Let l = 153 + -170. Which is smaller: l or -225/14?
l
Let i = -94 + 94. Let r = 0 + -1. Let f be r + (6 - 3) + 2. Is i > f?
False
Let l = 32 - 35. Let n be (64/(-10))/((-3)/(-15)) - l. Which is greater: n or -28?
-28
Let t be (-58)/(-5) + -12 - 4/(-10). Which is smaller: 4/291 or t?
t
Let y(s) be the first derivative of s**3/3 - 7*s**2/2 + 4*s - 17. Let k be y(6). Is -14/9 at least k?
True
Let p(b) = 2*b**3 - 2*b**2 - b + 1. Let z be p(2). Let t be 3 - (-2)/6*-3. Which is greater: z or t?
z
Suppose 8*q = 6*q - 3*v + 127, -64 = -q - v. Let l be (q/20 - 4) + 266/248. Does l = 0?
False
Let j be (0 - (5 + -2)) + -4. Let n(y) = -3*y - 18. Let h be n(j). Is 19/5 greater than h?
True
Suppose -5*g + 22 - 7 = 0. Suppose -2*y = k - 82, -y + g*k + 28 = -6. Is 40 bigger than y?
False
Let p = 2.7 + -17.7. Let c = 13.97 + 0.03. Let l = c + p. Which is greater: -0.3 or l?
-0.3
Let w = 1.47 - 0.67. Is w > -0.3?
True
Suppose 0 = -2*q - 0*q - 18. Let v = 10 + q. Let r be (-12)/(-8) + 0 - v. Are 0 and r nonequal?
True
Suppose 11*c = -19 + 30. Let k = 5 - 4. Is c less than or equal to k?
True
Let l = -0.03 + 0.63. Let u = -1 + l. Are -0.5 and u non-equal?
True
Let m = 0.008 + 0.092. Is m at most 51?
True
Let r = 1008 + -1008.27. Is r greater than -2/11?
False
Let w = -147 + 143. Is w greater than -33/10?
False
Let p = 22.987 - 23. Let q = -0.087 + p. Let v = -0.5 - -0.8. Which is greater: v or q?
v
Let g = -38 + 31. Let s be ((-19)/(-2))/(2/(-4)). Let w = s - g. Does -12 = w?
True
Let o(s) = 92*s + 3. Let m be o(4). Let f be (-2)/11 - m/77. Let y be (2/1)/(232/(-28) - -8). Which is smaller: y or f?
y
Let h(d) = 3*d**3 - 1. Let q be h(1). Let u = -26 - -26.05. Which is bigger: u or q?
q
Let p(b) = -b**2 + 14*b + 114. Let c be p(-6). Is -23/5 smaller than c?
False
Let k(y) = -8*y - 577. Let a be k(-63). Is -66 bigger than a?
True
Suppose -4*k + i = -61, 3*k + 0*i - 62 = 4*i. Let j(y) = -31*y + 78. Let o be j(2). Are k and o equal?
False
Let o be (4/(-6))/((-1 + 4)/(-9)). Let i be -11*(-5 + o - -4). Is i > -12?
True
Let t = 12.9 + -8.9. Is 2.6 != t?
True
Suppose -2 = -n - 3. Let m = -25.15 + 25. Let s = -0.85 - m. Which is smaller: s or n?
n
Suppose 5*b - 12 = 3*c, 2*c + 8 = 5*b - 5. Suppose 2*s + 6 = 0, 5*v = b*v - 2*s - 10. Which is bigger: v or 4?
4
Let i be 0*(-1 - (-1)/2). Let r = -31 + 17. Let y(b) = b + 14. Let v be y(r). Are i and v nonequal?
False
Let o = -30/107 + 304/321. Is -2.7 at least as big as o?
False
Suppose -2*z - 3*u = z - 15, -5*u = -5. Suppose 0 = -2*s + 2, z*g - 24 - 2 = 2*s. Let c = g + 1. Is c at most as big as 8?
True
Let p = -391 + 236. Which is greater: p or -1?
-1
Let r = -7 - -31. Let v = 40 - r. Let o be (52/(-130))/((-4)/(-10)). Which is bigger: v or o?
v
Let j = 0.76 + 0.24. Which is smaller: 121 or j?
j
Suppose r + 4*l + 0*l = 5, r - 5 = 4*l. Suppose 3*z + 60 = -3*i + 327, -r*z = -i + 89. Let d be i/(-29) - (3 - 6). Is 0 smaller than d?
False
Let z = -304 - -302.59. Let h = -0.41 - z. Is 0.04 greater than or equal to h?
False
Let m(z) = 2*z**2 + 13*z + 62. Let v be m(-10). Are v and 132 equal?
True
Let q(z) = 71*z**3 + z**2 - 2*z - 2. Let r be q(-1). Let w be r/(-21) + 4/6. Suppose -44 = w*i - 0*i. Is i > -10?
False
Let l be 1/(-3) + (-2)/30*0. Let s = -2 + 1. Do s and l have different values?
True
Let u(d) = -7*d + 2. Let l be u(3). Let p = 29 + l. Let m(g) = g**3 - 9*g**2 + 14*g + 10. Let w be m(7). Is p bigger than w?
False
Let j(o) = -o**3 + 2*o**2 + 3*o - 1. Let u be j(3). Let x = 172 + -54. Let m = x - 119. Is m at most u?
True
Let y = 514 - 483. Which is greater: -0.1 or y?
y
Let a = 0 - 5. Let q = 1 + a. Is q greater than or equal to 3?
False
Let q(k) = -k**3 + 7*k**2 - 6*k + 1. Let r be q(6). Let p be r + 1 - (4 + -8 - 1). Are p and 25/4 nonequal?
True
Let b = 49 - 80. Let s = b - -30.4. Which is smaller: 1 or s?
s
Suppose 42 = 4*h + 6. Let u = 2/261 - 3919/522. Let b = h + u. Which is bigger: 2 or b?
2
Suppose 5*g = -k + 20 - 2, -2*g - 2 = 5*k. Let q = 204 + -208. Is q at least as big as k?
False
Suppose -36 = -4*v - 4*j, 7 = -j + 9. Is 11/2 <= v?
True
Let y be ((-1287)/22 + -11)*4/3. Which is bigger: y or -94?
y
Let b be 0 + 0 + (-36)/3. Let v be 4/(-10)*10/b. Let f be (-4)/(-10) + (-222)/30. Is f not equal to v?
True
Suppose h + c + 22 = -19, -4*h - 155 = -5*c. Let d be (h/80)/(1 + 2/(-4)). Which is smaller: d or 2/39?
d
Let l = 14 + -24. Let u be (-1)/2*l*2. Let d be (-1)/4 + (-196)/(-16). Is d <= u?
False
Let g be ((-1264)/(-216))/(-1) - 3*-2. Does g = -23?
False
Let t = -2 + 8. Suppose 0 = 3*x - 2*j + 11, x + 3*x + 30 = -5*j. Let i = t + x. Are 0 and i unequal?
True
Suppose 152 + 107 = 7*o. Let p be (o + -35)*(-1)/33. Let u be -2 + (0/(-2) - -1). Which is smaller: u or p?
u
Let p be 6/(-21) - (-74)/14. Suppose p = s + 3*a + 23, s - 22 = 5*a. Let j = -3 - s. Which is smaller: j or -2/7?
-2/7
Suppose -75 = 3*p + y, 138*p - 143*p + 4*y = 125. Is p greater than -12?
False
Let n(l) = -l**3 + 21*l**2 + 28*l - 1. Let j be n(22). Let d = j - 132. Which is greater: d or -3/71?
-3/71
Let p(m) be the second derivative of 0*m**2 + 1/3*m**3 + 8*m - 1/12*m**4 + 0. Let b be p(3). Which is smaller: -4 or b?
-4
Let c = -8 - -12. Suppose c*g = -61 - 79. Let k be (g/(-14))/(1/(-2)). Which is smaller: k or 0.1?
k
Suppose -146*o + 139*o = 0. Which is smaller: -228 or o?
-228
Let s = 338 - 303. Is 36 greater than s?
True
Let p(c) = -4*c - 3. Let i be p(-1). Let k be (i/(-3))/((-1)/(-6)). Let h be 913/77 - k/14. Which is greater: h or 13?
13
Let g be (-6)/7*(-2 - 5). Suppose 2*q = -5*h - 32 - g, -h = 5*q + 49. Which is bigger: -47/5 or q?
q
Let n = -309 + 258. Is -48 at least as big as n?
True
Suppose -8*z + 16 = -4*z. Suppose -z*p + p = -48. Which is greater: 15 or p?
p
Let y = -2286 + 2286. Is y < -15/29?
False
Let c = -411 + 402. Is -14 less than c?
True
Let i(p) = -2*p - 4. Let u be i(-3). Let r = -14.292 - -24.292. Which is smaller: r or u?
u
Let s = -1.693 - -1.7. Let d = s - -4.093. Let z = 4 - d. Is -0.12 less than or equal to z?
True
Suppose -5*r = -5*o - 30, 0 = -2*r - 2*r - 5*o - 21. Let q be (14/4)/7 - (-30)/(-52). Is q smaller than r?
True
Let u = 0.2 - 3. Let x = 25.8 + u. Let a = x - 22.9. Do 1 and a have different values?
True
Let p(x) = x**2 - 33*x. Let a be p(0). Is 2/1925 > a?
True
Let g(n) = n - 3. Let c be g(-3). Let o be 27/(-22)*(c + 40/6). Which is smaller: -1 or o?
-1
Let v = -711 - -1451/2. Let j = 4 - v. Are j and -10 non-equal?
True
Let v = 0.49 + 0.01. Let o = v - 0.6. Let h be (2/78)/(-7*(-6)/252). Which is greater: o or h?
h
Let h(j) = -j**3 + 3*j**2 - 3*j + 2. Let m be h(1). Let v(z) = -z**2 - z - 165. Let p be v(0). Let b be (p/57 + 3)*-1. Which is greater: b or m?
m
Let z(t) = -t**3 - 17*t**2 - 19*t - 48. Let g be z(-16). Is g != -0.089?
True
Let m be 11/((-3498)/315) - -1. Let c = m - -739/318. Which is bigger: 3 or c?
3
Let q(v) = 2*v**2 + v + 1. Let t be q(-1). Suppose t*u + 3 = u. Let b(n) = -22*n - 1743. Let z be b(-79). Which is smaller: u or z?
z
Suppose -47*g = 117 + 447. Suppose -4*p = 2*b - 2 + 42, -2*b + 5*p - 4 = 0. Is g at least as big as b?
True
Let s = -2 - -1. Let w be 4/(-18) - (-168)/27. Let i = w + s. Is i not equal to 6?
True
Let s be 4 - 108/51 - 2. Is s <= 31?
True
Let o be ((-7)/((-616)/6))/((-9)/8). Suppose -4*j - 1 = 3*l - 5, -4*l = -5*j + 5. Which is bigger: o or l?
l
Suppose -3*s + 279 = 2*k, 0 = s - 20*k + 25*k - 106. Do s and 90 have different values?
True
Suppose 3*r = 8 + 4. Suppose 2*a = 9*a - 28. Is r smaller than a?
False
Let y(w) = -7*w - 63. Let k be y(-9)