p + 0*p - c = -13, w*p + 5*c = 11. Are p and 6 nonequal?
True
Suppose 3*j - 4 = 14. Let d be 6 - 8/(-12)*j. Suppose 6 = 5*n + b, 2*b + d - 4 = -n. Is n at least -5?
True
Suppose -13*i + 18*i - 4595 = -3*j, j + 3693 = 4*i. Is i < 921?
False
Let b = -61952/8199 - -4/8199. Suppose 5*a + 45 = -0*a. Which is smaller: a or b?
a
Let t(n) = n**3 + 13*n**2 + 4. Let z be t(-13). Let i be ((-49)/(-12) - z)*-2*61. Is i != -9?
True
Let z = 23 - 20. Let a(w) = -w**3 + 2*w**2 + 2*w + 3. Let n be a(z). Is -1/7 greater than n?
False
Let c = 181 + -174. Which is bigger: 15 or c?
15
Suppose -l = 2*l - 15. Suppose -g = -l*t + 4*g + 65, -t - g + 17 = 0. Is 14 at most t?
True
Suppose 4*f + 2*y = -177 + 161, -6 = y. Let l be (-3)/(((-4)/(-10))/2). Which is bigger: l or f?
f
Let j(n) = n**2 + 3*n - 2. Let x be j(2). Let g be 26/x + (-3)/12. Suppose -g*o + 3*l - 44 = o, -4*o - 2*l = 44. Which is smaller: o or -10?
o
Let f(x) = x**3 + 21*x**2 - 25*x - 6. Let g be f(-21). Let k = g + -4655/9. Is 3 not equal to k?
True
Let x(v) be the second derivative of v**4/3 + v**3/3 - v**2/2 + 6*v. Let k be x(-2). Let u = 7 - 7. Which is smaller: u or k?
u
Suppose 78 = p + 2*x, 5*p = -4*x + 2*x + 382. Is 78 >= p?
True
Suppose 5*x = -2*v + 6310, 2*x - 9*v - 2524 = -12*v. Is 1261 at most as big as x?
True
Let r = 30 - 36. Let t be (6 + -9)/(r/(-10)). Is t bigger than -5?
False
Let p be -4 - (-13 + 3 + -3). Suppose 0 = -p*w + 132 - 429. Is w greater than -34?
True
Let c = 2134/7 + -304. Is c at most as big as 0?
False
Suppose 19*o + 1368 = -0*o. Which is bigger: o or -68?
-68
Let f be (0 + (-8)/66)/(2/(-3)). Let t = 0.75 + -1. Let s = t + -0.05. Which is bigger: s or f?
f
Let j(q) = q**2 - 5*q + 4. Let i(o) = o**2 - 2*o. Let r be (-3)/(0 - 1) + 0. Let y be i(r). Let x be j(y). Is x smaller than -1?
True
Let k = 85.21 + 12.69. Let c = -79 + k. Let p = -19 + c. Is p less than or equal to -4?
False
Let x = -16 - -13. Let n(d) = -d**3 - 7*d**2 + 7*d - 10. Let z be n(-8). Let g be (z - -1)*1/x. Which is greater: g or 0.2?
g
Suppose 0 = -4*t - 5*c - 7, t = -0*c - c - 1. Which is smaller: 19/15 or t?
19/15
Suppose -1 = 2*u + 7. Let o be 2/u + (-275)/(-594). Which is bigger: -1 or o?
o
Let b(s) = s**3 + 3*s**2 - 5*s - 6. Suppose -7*m = -3*m + 12. Let p be b(m). Let w be (-16)/6*(-15)/4. Which is smaller: p or w?
p
Let i(l) = -3*l**3 + l**2 - 20*l + 34. Let q be i(2). Let c(p) = p**3 + p**2 + 3*p - 1. Let j be c(-3). Which is greater: q or j?
q
Suppose -3*r + 17 = i, 2*i = -3*r - 2*i + 14. Let q be (1*-8)/(3/r*-1). Is q less than or equal to 19?
True
Let v = -0.03 + -1.97. Suppose u - 6 = -0*u - 4*h, 3*h = -5*u + 13. Suppose -b - 3*d = 2*d + 16, u = b - d. Which is bigger: v or b?
b
Suppose 4*k = 4*s + k - 263, -2*k - 67 = -s. Suppose 6*t - r = 387, 3*t + 7*r - 5*r - 186 = 0. Do t and s have the same value?
False
Let d(a) = 2*a + 7. Let x be d(-6). Let b be x + 3 + 2 + 18. Let o be 24/b*(-6)/(-4). Which is bigger: o or 3?
3
Let u(f) = f**3 + 3*f**2 - f + 1. Let q be u(-3). Suppose -58*p = 12*p - 210. Which is bigger: q or p?
q
Let l(i) = -i**3 + 4. Let t be l(0). Suppose 0 = k - 1, -t*k - 33 - 71 = -3*f. Is 37 bigger than f?
True
Let p be (4/32*2)/((-1)/(-13)). Let v = -45 - -48. Which is smaller: v or p?
v
Let z be ((-3)/(-4 - -1))/(1 - 0). Which is bigger: 2/685 or z?
z
Let v = 1 + -1.4. Let n = v + -5.6. Let s = -17.1 - -17. Which is greater: n or s?
s
Let g(f) = 2*f**3 + 5*f**2 - 5. Let p be g(-2). Which is smaller: 1/28 or p?
p
Suppose 0 = 5*y - 3*w - w - 28, 2*w = 2*y - 10. Let x be 4/(-1 - -5)*(-8)/y. Is x > 5/31?
False
Let h = 68 + -61. Let a = 0 + -1. Let s = a + h. Is s < -1/3?
False
Let h be (-4)/6 + (-304)/(-228). Is 2/353 >= h?
False
Let d = 454 + -446. Is d > -8?
True
Let i(l) = l**2 + 43*l + 353. Let a be i(-11). Let t be (-4)/10 + (-27)/(-105). Do t and a have different values?
True
Let t = 35 + -62. Let j = 28/45 + -2/9. Is t less than or equal to j?
True
Let y = -24.5 + 43. Let l = -3 + 21. Let x = l - y. Which is greater: x or 2/13?
2/13
Let a be (-2 - -3) + -1 - 1. Let r = 123565/9 - 13729. Which is smaller: r or a?
a
Let n = -35.886 - 0.414. Let p = -34 - n. Is -1/2 greater than or equal to p?
False
Let t = 33 - 33. Let b be 5/2*(2 + -4). Let o = -4 - b. Which is greater: t or o?
o
Suppose 5*y = 4*c - 680, -44*y + 48*y - 541 = -3*c. Is c >= 524/3?
True
Suppose 26*s + s = 2*s + 1300. Let w(d) = 10*d. Let g be w(5). Which is greater: g or s?
s
Let o = 3645 + -1893. Let t be (-390)/o - (-2)/8. Which is smaller: t or -1?
-1
Let q be (-4)/6 - 89/150. Let c = q + -6/25. Which is greater: 1/4 or c?
1/4
Let z = -27 + 26. Let j(w) = w + 10. Suppose -5*k = -5 - 10, 5*k = 4*g + 63. Let p be j(g). Which is smaller: z or p?
p
Let o be 3400/(-11) + 981/(-99) + 10. Is o less than -308?
True
Let x(m) = 6*m - 43. Let f be x(-17). Let j = f + 1017/7. Is j > 5/7?
False
Let s = 120.1 + -120. Which is smaller: 217 or s?
s
Let w be (23 + 0)/1 + -1. Let k(m) = m**3 - 5*m**2 + 2*m + 10. Let t be k(5). Suppose t - w = 2*x. Which is greater: 4 or x?
4
Let p = -11717/5 - -2327. Are p and -15 equal?
False
Let b = 45 + -41. Suppose 3*y - b = 7*y. Which is smaller: y or 0?
y
Let g be 6/4 - 3/2. Let w = g + 20. Let i = w - 11. Is i equal to 9?
True
Suppose -9*c = 4*c. Which is bigger: c or -0.117?
c
Let x be 0 + -8 + (4 - 3). Let q(d) be the second derivative of -d**3/6 - 3*d**2/2 - 16*d. Let l be q(x). Is l <= 5?
True
Let d = 0.128 + -51.128. Let f = d - -62. Which is bigger: 0.3 or f?
f
Let o be ((-8)/((-80)/(-20)))/(4/6). Let i be ((-3)/3)/(-3)*3. Which is smaller: i or o?
o
Let z = 1001 - 2006. Is -1005 > z?
False
Let r = -338/25 - -4424/325. Suppose -37*v = -8 + 45. Which is smaller: r or v?
v
Suppose -5*z - 49 = -3*o, -4*z + o - 3*o = 26. Let a = 6 + -10. Let x(c) = 4*c + 7. Let f be x(a). Is z < f?
False
Let y be 124/(-62)*(-18)/(-4). Are 1.2 and y unequal?
True
Let p be 2 - 2 - (0 + -6). Suppose -4*l - 24 = -5*r, 0 = r - p + 2. Let b be (-518)/1813 + 60/161. Which is bigger: b or l?
b
Let c = 296 - 292. Which is bigger: 2 or c?
c
Let a be (0 + -6)*5/(-5). Suppose k + a = 3*v, 5*k - 2 = -3*v + 4. Let b = -4.17 - -5.17. Which is smaller: v or b?
b
Suppose 2*j = x - 1, x + 6*j - 2*j - 31 = 0. Suppose 4*p = 5*y - 13, 3*p + 0*p + 11 = 4*y. Suppose -4*u = 2*h - 32 + 2, u = -p*h + 35. Are h and x non-equal?
False
Let p(b) = -10*b + 36. Let g be p(6). Let l be (-1)/4 - (630/g)/5. Let k(q) = -q + 3. Let j be k(-4). Which is smaller: l or j?
l
Let i be (-279)/310*(0 - (-5)/6). Which is smaller: i or 0.024?
i
Let n = 1.17 - 65.17. Let a = -62 - n. Is a greater than 4?
False
Suppose 19*s - 2740 + 289 = 0. Is s bigger than 643/5?
True
Suppose 41*r = 18*r + 1725. Is r < 595/8?
False
Let b be (-2)/4*156/(-585). Are b and -1 equal?
False
Let x be (-1)/(((-56)/(-8))/(-7)). Is -9/98 bigger than x?
False
Let y be (5/2)/(-1)*2. Let m(c) = c + 3. Let x be m(y). Let d be -2 + 39/9 + x. Which is smaller: 1 or d?
d
Let a(p) = -4*p**2 - 28*p + 1. Let z be a(-7). Is -44 at most as big as z?
True
Let m = 183 + -179. Does 23/8 = m?
False
Let m = 0.01 + -0.08. Let l = -99.93 - -96. Let y = m + l. Which is smaller: 3 or y?
y
Let z(a) = -a - 5. Let h be z(-10). Let p be (14/35)/(1/h). Suppose -3 = -p*x - 5. Which is smaller: x or 0.2?
x
Let f be -3*3/(-6) - (-901)/2. Which is smaller: f or 0?
0
Suppose -2 = -2*j, b - j = -0*j - 13. Let z be 6/(-27)*b*3. Let a be (12 + 3)*(-6)/(-10). Is z greater than a?
False
Let w = -1315 + 2629/2. Is w > -19/3?
True
Suppose o = -5*y + 13, -4*y + 2 = o + 4*o. Let j be (y/8)/(36/(-24)). Which is greater: 0.7 or j?
0.7
Let i(d) = -46*d**2 - 10 + 23*d**2 - 12*d + 25*d**2. Let z be i(7). Suppose -2*n + 4*u + 36 = 0, 3*n + z = -3*u + 13. Is n equal to 2?
False
Suppose r + 16 = -3*x, 3*r + 4 = x - 4. Let k be ((-14)/8)/(45/72). Which is smaller: r or k?
r
Let v(h) = h**3 - 16*h**2 - 16*h - 7. Let p = 43 - 26. Let d be v(p). Let c(o) = -o**3 - 6*o**2 - 6*o + 6. Let i be c(-5). Which is smaller: d or i?
d
Let q = 25 + -2. Let k be q - (5 - 16/4). Is 22 greater than k?
False
Let a = 0.326 + -121.326. Is 3 <= a?
False
Let d(y) = -y**3 + 4*y**2 - 10*y + 42. Let r be d(4). Which is smaller: -1 or r?
-1
Let n be -1*1/(-2)*0. Suppose 0 = 2*y - 2, -5*y = -n*f + 5*f + 20. Which is bigger: -3 or f?
-3
Le