*4/2 - 4*p**3/3 + p**2 + 2*p - 2. Let n be h(2). Are n and 1 unequal?
True
Suppose 5*r = -246 - 99. Let c = 346/5 + r. Which is greater: c or 0?
c
Let o(f) = f**2 + 4*f - 5. Suppose -5*h - p = 24, -3*h + 2*p = 4*p + 13. Let g be o(h). Which is greater: 1/2 or g?
1/2
Let k = -2 + 0. Is -3 > k?
False
Let f(g) = -4*g - 3. Let t be f(-3). Suppose -o = 4*h - 7, -10 = 2*h + 5*o + t. Which is smaller: 1/4 or h?
1/4
Let k = -113/2 - -56. Which is bigger: k or 10?
10
Let j be -1 - (230/6 - -1). Let x = -40 - j. Let u = 0.5 + -2.5. Is x > u?
True
Let g = 3 + -6. Which is greater: g or -4?
g
Let f = 123 + -122.91. Do f and -0.05 have different values?
True
Let h = 32 + -23. Is 8 not equal to h?
True
Suppose -5*o + 17 = -18. Suppose 5 = t + 2. Let x be t/(-2 - -1)*-2. Which is bigger: o or x?
o
Suppose 0*t + t + 7 = -3*x, 14 = -3*t - 2*x. Let j = 5 + t. Let v be ((-9)/3 - -2) + -2. Which is smaller: j or v?
v
Let x(o) = 23*o. Let r be x(-1). Is -24 < r?
True
Let s = 0.2 - -0.1. Let p = -0.1 + s. Let h = p + 0.8. Which is greater: h or -2/5?
h
Let f(r) = r + 5. Let t be f(-10). Are t and -1 non-equal?
True
Let n be 0/(-2) - (1 - 1). Let c be ((-1)/3)/((-28)/24). Which is bigger: n or c?
c
Let p(i) = 27*i + 5. Let j be p(1). Is j > 31?
True
Let j be (36/(-20))/(3/(-10)). Suppose -9 = -4*s + 7. Is j at least s?
True
Suppose -2*o + 7 = 2*w - 3*o, w = -5*o - 24. Which is smaller: -1/8 or w?
-1/8
Suppose -2*p - 3*m = 13, -2*p - 23 = -0*p + 5*m. Which is bigger: -4 or p?
p
Let h = -15/8 + 131/72. Is h bigger than 1?
False
Let j = 0.04 + 0.06. Is 0.02 < j?
True
Let v = 0.34 - 0.54. Which is smaller: -3.7 or v?
-3.7
Suppose -5*j - 7 = -2*l - 96, j = 4*l + 7. Which is bigger: j or 0.1?
j
Suppose 5*c + 1 = 11, 3*m - 2*c - 2 = 0. Suppose 5*q = -2*b + 1, m*q - 1 = -b - 0*q. Suppose h + k - 2 = -0*h, k - b = 0. Which is smaller: 4 or h?
h
Let w = 3 + -5. Let a be w/6 + (-28)/(-12). Which is bigger: a or 0?
a
Let o(r) = r - 11. Suppose -y = 4*y - 50. Let s be o(y). Suppose -3*f + 0*f = 0. Which is greater: f or s?
f
Let t(y) = -y**2 + 22*y - 5. Let j be t(22). Which is greater: -4 or j?
-4
Suppose h + 159 = -4*h - 2*o, 4*h + 3*o + 123 = 0. Is h at least as big as -33?
True
Let v = -8 - 6. Let h be (-1)/(-4) + v/(-8). Let c be h - 4 - 4/(-2). Which is greater: c or 1?
1
Let x be (-16)/(-94)*11/44. Let l = x - 116/517. Does 0 = l?
False
Let q(h) = h**2 - 2*h + 3. Let o be q(3). Let x be o/9 + (-5)/3. Let k be x - 0 - (-14)/18. Which is smaller: -1 or k?
-1
Let u = -2.87 + 0.07. Let m = u + 3. Is m smaller than 3?
True
Let k be 1 + 33/21 - 0. Which is greater: 3 or k?
3
Suppose -4*q + 16 = q - 3*h, -3*q - 4*h = -27. Is 5 at most as big as q?
True
Let k(v) = -v**2 - 7 + 7*v + 3*v - 2. Let b be k(9). Suppose d + 0 + 3 = b. Are d and 1 nonequal?
True
Suppose -6*h + 36 = -0*h. Is h at least 4?
True
Let i be 2/(-8) + (-21)/12. Let j be 0 + i + 3 + 1. Let p be 1/(-3) - 12/(-9). Which is smaller: p or j?
p
Let c = -2 - -1. Suppose d - 3 = 4*w + 1, 3*d = 3*w - 6. Let k be (-2)/3 - d/15. Is c greater than or equal to k?
False
Let v(n) = -n**2 - 2*n - 3. Let i be v(-3). Let g = 1 - i. Let z be g/4 + 9/(-6). Which is smaller: -1 or z?
-1
Let v = -3.9 - -3.71. Let l = 0.11 - v. Does -2/3 = l?
False
Let n(d) = -d**2 + 4*d - 3. Let a be n(4). Suppose 3*j + 4*j = -28. Which is smaller: a or j?
j
Suppose 3*m = -2*m - 450. Let z = m - -40. Let u = 201/4 + z. Which is greater: -1 or u?
u
Let y = 1.3 - 0.3. Let u = 2 - y. Let s = u + -1.1. Is -0.1 != s?
False
Suppose s - 4*b = -7*b - 3, 0 = -2*s + b + 29. Which is greater: 10 or s?
s
Let o = 40 - 66. Are o and 0.1 nonequal?
True
Let z be -1 - (0 - -11)*-3. Suppose 2*k - 4*u = -z, 3*u = 2*k + 26 + 8. Let r be (-6)/(-4)*k/(-15). Is 2 < r?
False
Let p be ((-129)/4)/(3/12). Let a be (-1)/3 + p/(-9). Let f be (-1)/a*2*2. Which is greater: f or -3/2?
f
Let b = 5 + -3. Suppose 0 = -y - 0 + b. Which is bigger: 2/3 or y?
y
Let w = -11/15 - -1/15. Let b = -4 + 3.8. Is w > b?
False
Let j be (0 - 4)/(-6 - -4). Let q = 3 - 3.01. Let f = q + 0.11. Which is smaller: j or f?
f
Let f = -15 - -14. Is f less than or equal to -4/5?
True
Let f = 17 + -16. Which is bigger: 1/6 or f?
f
Suppose 3*z = 5*z - 10. Suppose z*s = s + 20. Suppose 0 = 4*f - s - 7. Which is bigger: f or 1?
f
Let r(s) be the second derivative of -s**5/20 + 11*s**4/12 + 11*s**3/6 + 6*s**2 + 2*s. Let i be r(12). Does i = 2?
False
Let k = 1.8 - 1.96. Is 2/5 greater than or equal to k?
True
Suppose -29 = -4*x - 5*z, -2 = -2*z - 0. Let i = 9 - x. Suppose 2*h = -i*h + 5. Which is greater: 3 or h?
3
Let b = -40 - -73. Which is smaller: b or 31?
31
Let k(u) = u**2 + 2*u - 7. Let a be k(6). Is 41 <= a?
True
Let i(y) = -y**3 + 5*y**2 + 7*y - 4. Let z be i(6). Let w be 3 + (1 + -3 - z). Suppose 6*x = -3*j + x, 5*j + 5*x = 0. Which is bigger: j or w?
j
Suppose 2*w - 5*z - 93 = 4*w, 0 = -2*w + 3*z - 85. Which is greater: -46 or w?
w
Suppose 4*k - 5*o = -27, -k + 3*k + 11 = 5*o. Is -57/7 > k?
False
Suppose 24 = -2*r - 26. Is r at most as big as -25?
True
Suppose -3*i - 2*i - 30 = 0. Let h be -1*-2*(-9)/i. Is 1/4 at most h?
True
Let o = 1/2 + -5/6. Is 0 at most o?
False
Let y = 3 + -4. Suppose -i - 5*m = -69, -2*i = -2*m - 151 + 49. Let p = -269/5 + i. Which is smaller: p or y?
y
Let m = -8/11 - -10/11. Let g(i) = 3*i**2 + 2*i. Let p(y) = -7*y**2 - 4*y - 1. Let v(x) = 5*g(x) + 2*p(x). Let f be v(-3). Is f smaller than m?
False
Suppose 3*t = -t - 8. Which is greater: t or 0?
0
Let n = -44 + 131/3. Which is smaller: n or 2/7?
n
Let n(d) = d**3 + 5*d**2 - d - 1. Let y be n(-5). Suppose 8 = 4*f - y. Which is smaller: f or 2?
2
Suppose 9*q = 5*q + 36. Which is smaller: q or 8?
8
Let z = -14 + 17. Let q = 2 + z. Which is greater: q or 4?
q
Let t(q) = -q**2 + q. Let h be t(1). Let x = h + 0. Let w(u) = u**2 + 5*u - 1. Let r be w(-5). Which is smaller: r or x?
r
Let b = 7506 + -592984/79. Let r = 493/474 - b. Which is greater: r or 0?
r
Let g = 53 + -53. Which is greater: g or -4/21?
g
Suppose -2*y + 2*w - 4 = 3*y, -8 = -4*y - 4*w. Suppose -s = -2*s. Is s at most y?
True
Let k be -2*((-126)/(-16) + (-12)/3). Are k and -7 unequal?
True
Let i = -3.76 + 6.87. Let u = 0.11 - i. Is 3 equal to u?
False
Let s be (-5)/((-25)/15) + -9. Which is bigger: -3 or s?
-3
Let q = 0.08 - 0.07. Let r = -0.06 + q. Is r not equal to 1/2?
True
Let q(b) = -4*b + 25. Let f be q(6). Is f smaller than -2/105?
False
Let b be (9/30)/(3/(-8)). Let p(f) be the second derivative of -f**4/12 - f**3 + 5*f**2/2 + 4*f. Let o be p(-7). Which is smaller: b or o?
o
Let q be (-4)/(-22) - 34*(-6)/572. Is q at most as big as 0?
False
Suppose 3*k + 2*p - 5 = 0, 0 = -4*k + 2*p - 4*p + 8. Let r = k + -5. Which is smaller: -3 or r?
-3
Let i = 6160/327849 + 2/3183. Is 0 <= i?
True
Let y = -26 - -26.87. Let r = -0.13 - y. Let n = -0.05 - 0. Is n at most r?
False
Let f(g) = g**2 + 4*g - 1. Let i be f(-4). Let m be 2 + i*(1 - 0). Is -1/3 greater than or equal to m?
False
Let u = -62 - -63. Is 1/38 > u?
False
Suppose -5 = 5*d + 10, 0 = 2*h - d - 3. Let f be h - (0 - (-4)/14). Let j = 0.437 - -0.063. Which is bigger: f or j?
j
Let n = -25 + 24. Which is smaller: 12/29 or n?
n
Let n(y) = 0*y + 0*y**3 + y**2 + y**3 - 10*y + 6*y**2 - 6. Let o be n(-8). Is 1/4 bigger than o?
False
Let n = -40 + 40.1. Let d = -47 + 34. Which is bigger: d or n?
n
Let j = -12/49 + -2/49. Let g be (-2)/3 - (-6)/9. Suppose -7 = 3*p + 2*u, g*u - 6 = 4*p + u. Which is greater: p or j?
j
Let q be (-1)/(-2) - 1/2. Let d = 57/2 + -29. Which is greater: d or q?
q
Let x be 1/4 + 19/4. Suppose -5*y + x*g + 25 = 0, -4*y - g = y + 5. Let h be 25/(-77) - (-10)/55. Which is bigger: h or y?
y
Let o be -2 - 1*5/1. Let z(w) = w**3 + 8*w**2 + 7*w. Let n be z(o). Let r = -172/105 - -11/7. Which is bigger: n or r?
n
Suppose -2*y = y - 6. Let d be (-5)/((y - 0)/(-2)). Which is smaller: 4 or d?
4
Let j(f) = 3 + 6*f - 3*f - 3*f + f. Let g be j(-3). Which is smaller: 2/7 or g?
g
Let z = -44557/8 + 417989/72. Let a = z + -236. Suppose 2*w = -2*k - 2, 3 = 2*k - 0*w - 3*w. Which is greater: a or k?
k
Let o = -3.2 - -2.1. Is o greater than -3/5?
False
Let d(x) = -x**2 + 4*x + 2. Let g be d(4). Suppose -s + 91 = -g*l, s + 55 = -5*l - 169. Let a be 0 + (-5)/(l/2). Is a greater than or equal to -1?
True
Let g = -