*3 - 5*p**2 - 5*p - 2. Let i be x(-4). Let u be 9*3*(-4)/18. Let r be u/15 + (-24)/(-10). Are r and i nonequal?
False
Suppose -8*i + 3*i = -15. Let u be (-2)/(-2 + 0/i). Which is greater: u or -1/5?
u
Let p be -2*(-3 - (-496)/164). Is 1 at least as big as p?
True
Let v = -4 + 3. Let i = 0.1 - 1. Let o = v - i. Which is smaller: o or -3?
-3
Let z be -1 + -1*7/(-5). Let i be 0 + (0 - 0) + 1. Which is bigger: i or z?
i
Let o be 2/((40/156)/(-5)). Which is bigger: 1/2 or o?
1/2
Let d(x) = -2*x - 4. Let s be d(-3). Suppose 10 = 4*k - s. Is 2 >= k?
False
Let w = -3/2611 - 85/250656. Let g = w - 1315/19488. Do 0 and g have the same value?
False
Suppose -s - 2*y - 6 = 0, 4*y + 20 = s + s. Suppose s*u - v = 0, 5*u + v - 5 = 2*u. Is u not equal to -0.05?
True
Let s be (-22)/(-3 + -4 - -5). Which is smaller: s or 8?
8
Suppose 4*i - 60 = -4*j, 105 = -0*i + 5*i - j. Let h be 2 - 0 - 34/i. Is 0 < h?
True
Let z be (-6)/(-15) + 2/(-5). Suppose -5*q - 4 = 1. Let w be (q/(-6))/(4/(-8)). Which is smaller: w or z?
w
Let i be (22/(-10) + 3)/((-2)/(-5)). Let n be 3/(-6) + (-62)/(-28). Which is smaller: n or i?
n
Suppose -5*j - 5 = 0, -2*m + 3*j + 32 - 3 = 0. Let n = m - 12. Which is bigger: n or 2/3?
n
Let a = -52.99 + 54. Let h = -0.01 + a. Is h smaller than 0.1?
False
Let w(o) = 2*o - 4. Let v be w(4). Let b be (2/v)/(45/(-18)). Which is smaller: b or 2/5?
b
Let l be ((29 - 1) + 0)/(-1). Let s be l/15*5/(-2). Which is greater: 5 or s?
5
Let s = -1 + -1. Let x = 2 + s. Let p = x + 0.2. Which is greater: 0 or p?
p
Let z = 14 - 18. Let g be (0 - z) + (5 - 8). Which is greater: g or -2/13?
g
Let o = 1.3 - 1.31. Let t = o + -1.99. Which is greater: t or 0?
0
Suppose 5*o - 2*t = 12, 0 = -4*o + 3*o - 3*t + 16. Suppose m - o = -3. Let g = 0 + m. Is -1 not equal to g?
True
Let s be ((-8)/(-126))/(2/(-3)). Suppose -12*j - 7 = -5*j. Which is bigger: s or j?
s
Suppose q + 3 = 4*z - 0, 4*q + 4*z = -32. Let x be (-3)/q*2/3. Let u = 1 + -1. Which is bigger: u or x?
x
Let b = 8 + 4. Let k = -3 + 6. Suppose -3*h + k = b. Are h and -3/2 non-equal?
True
Let j = -3 + 5. Suppose -2*y + j - 4 = 0. Do y and 2/5 have the same value?
False
Let k = 5639/9177 + 2/437. Let h = k + -2/7. Which is smaller: 1 or h?
h
Let q(v) = -v**2 - 6*v - 3. Let j be q(-5). Let z(a) = 7 + 2*a**j - 4 - 4*a - a**2. Let n be z(4). Are n and 3 equal?
True
Let o = 3 + -2. Let s be ((-6)/8)/(o/(-8)). Which is greater: s or 5?
s
Let w = -54 + 86. Which is smaller: w or 33?
w
Let m = 0.082 + 0.898. Let r = 0.02 + m. Do 4/5 and r have the same value?
False
Suppose 0 = h + 3*r, 4*r = -h - r. Let n = h - -1. Which is smaller: n or 1/3?
1/3
Let v(r) = r**2 - r + 3. Let c(m) = m**2 - 2*m + 1. Let t be 10/8 + (-3)/12. Let s be c(t). Let i be v(s). Which is smaller: 2 or i?
2
Let d = 58.2 - 58. Does d = 6?
False
Let s(j) = j - 3. Let c be s(3). Let f(v) = -v**2 + 6*v - 6. Let k be f(4). Suppose -3 = w - k. Which is bigger: c or w?
c
Let b be 1/1 + (1 - 1). Suppose 0 = 2*f + f - 6. Is b equal to f?
False
Let m = -26 - -52. Which is smaller: 27 or m?
m
Let s = 0.05 + 1.95. Let p = s + 1. Let g = p - 4. Do g and 0 have the same value?
False
Let u = 13 - 13. Let d = u - -8. Is d greater than or equal to -1/3?
True
Suppose -2*v = -3*l + 5, -3*v + 5*v + 4 = 2*l. Suppose -4*i + 5*o + 10 = i, -5*o - 10 = i. Is i at least v?
True
Suppose -4*l - 41 = 27. Let x = 10 + l. Do -5 and x have the same value?
False
Let t = 7849/11 + -714. Let j = 8725 + -383931/44. Let f = j - t. Which is smaller: -0.1 or f?
f
Let s = 0.25 + -0.15. Suppose -z = -2*l - 10, -l = -3*z - 0*l + 20. Which is greater: s or z?
z
Let i(h) = -1 - 4 + h**2 + 3*h - 4*h. Let c be i(6). Let o be (-35)/c - (-4)/10. Which is bigger: 1 or o?
1
Let b(q) = 46*q - 5. Let p be b(-3). Which is greater: -144 or p?
p
Let z(i) = -i + 13. Let u be z(11). Let h be ((-82)/10)/(9/3). Let d = 17/5 + h. Is u greater than d?
True
Let c = 0.15 - 1.15. Let m = -0.2 - -0.2. Let k = c + m. Which is smaller: k or 1?
k
Let u = 12277/31 - 396. Is -2 equal to u?
False
Let i = -19.1 + 21. Let y = i + -0.9. Let z = 13/5 - 11/10. Is y > z?
False
Let k = 0.058 + 0.142. Are k and 3.2 unequal?
True
Suppose 4*i - 3*r + 45 = 0, i + 3*r = -i - 9. Let d = 8 + i. Is d < -6?
False
Let b = 148 + -148.3. Is -1/3 < b?
True
Let a = -0.4 - -0.4. Let n = a - 2. Let z = 11 - 9. Which is greater: n or z?
z
Let q = 25 + -24. Is 2/51 >= q?
False
Suppose h = -0*h. Suppose n = -n + 4*a - 8, h = -3*n + 5*a - 8. Suppose 4*j - 3 + n = -5*b, 3*j - 3*b - 6 = 0. Is j at most -3?
False
Let b = -12 - -13. Is 1/2 less than or equal to b?
True
Let a be ((-34)/(-8))/(1/(-4)). Let g = a - -17. Does -1/32 = g?
False
Let h be 21*((-8)/12)/(-2). Which is smaller: h or 3?
3
Suppose -r + 2*w = 8, -3*w = -r + 7 - 19. Is -1/147 >= r?
False
Let p be -3*3/(-18)*0. Suppose 2*h = -p*h + 2. Let r = 178/9 - 20. Which is greater: h or r?
h
Suppose -10 = 2*i - 22. Suppose -5*m + 29 = -5*c - i, 9 = 3*c + 3*m. Do -5/7 and c have the same value?
False
Let c be (2/3)/((-10)/(-15)). Suppose -2*t + 6 = 2*d, -3*t + 6*t + 2*d - 7 = 0. Is t <= c?
True
Suppose -2 = -3*s - 11. Is -3 at most s?
True
Let q = 28 - 15. Do 14 and q have the same value?
False
Suppose -i + 2*i + 8 = 0. Let z be (-4)/i*(-1 - -1). Suppose -7*j - 64 = -50. Which is smaller: j or z?
j
Let y = 1.3 - 1.3. Let p = -3 - -6. Which is greater: p or y?
p
Suppose -5*c + 5*l = -4*c + 19, 5*l - 13 = 2*c. Let p(u) = -3*u - 7. Let k be p(-5). Let o be ((-3)/2)/(c/k). Which is smaller: o or -3?
-3
Let l = 2 + -2. Let r be 0 + 8/(-12) + (-2)/(-4). Which is greater: l or r?
l
Let a = 142/1023 + 4/93. Let q(n) = -n**2 + 12*n - 15. Let k be q(11). Let w be -2*((-2)/k + -1). Which is smaller: w or a?
a
Let x = 5 - 2. Suppose -2*i - 5*b - 1 = 0, 2*b - 5 = i + x*b. Let k(n) = -n**3 - 7*n**2 + 8*n - 2. Let q be k(i). Which is smaller: -1/2 or q?
q
Suppose 0 = -5*b + 2 + 8. Let k be (b - 6)*(-15)/12. Suppose a - 1 = k*h, 3*a - h = h + 16. Which is greater: 5 or a?
a
Let b = -16 + 22. Let y = b + -5. Which is smaller: 1/4 or y?
1/4
Let q(k) = 7*k - 22. Let u be q(9). Is u at most 41?
True
Let j(k) = k**3 - 3*k**2 - k**2 - 1 + 6*k**2. Let n be j(-1). Which is smaller: n or 0.03?
n
Let f be ((-14)/4)/((-3)/9)*2. Which is bigger: 22 or f?
22
Let y = 2/43 - 229/301. Suppose q = -3*k + 3*q - 3, 5*q = -5*k - 5. Which is bigger: y or k?
y
Suppose 2*d = -3*d - 10. Suppose 12 + 3 = -5*c. Is c >= d?
False
Suppose -3*n - n = -2*o - 12, -9 = -3*n + 5*o. Suppose f = 2*f + n. Is -1 equal to f?
False
Let d be (-2)/8 + (-20)/(-48). Is -1 equal to d?
False
Suppose -4*a = a - 25. Let s = -6 - -11. Let z be (s + -4)/(2/4). Which is greater: z or a?
a
Suppose -5*w + 5 = -3*z, -6*w = -3*z - 3*w - 3. Let u be 65/(-4)*(-2)/10. Let v = 7/2 - u. Is z equal to v?
False
Suppose 4*a - 36 = -0*a. Which is greater: a or 1/4?
a
Let r(s) = -s**3 + 9*s**2 - 7*s - 4. Let d be r(8). Suppose 0 = 4*n + d. Let k be (-4)/10 + 2/5. Which is bigger: n or k?
k
Let a = -46 - -98. Let c be (-48)/a*(-20)/(-6). Let d = c - -42/13. Is 0 at most as big as d?
True
Let z(y) = y**3 - 7*y**2 - 8*y + 4. Let o be z(8). Suppose m - o*m = 0. Is m > 0?
False
Suppose p = -0*p + a - 4, 4*p = 2*a - 26. Which is smaller: -5 or p?
p
Suppose -4*r = -r + 39. Which is smaller: -12 or r?
r
Suppose 3*o + 2*m - 22 = -o, 2*o - 5*m = -19. Let k(t) = t**2 - t - 3. Let v be k(o). Which is greater: 0 or v?
v
Let c = 1.3 - -0.7. Let g = c - 2. Which is smaller: 1 or g?
g
Let i = -9 + 16. Let h(r) = -r - 1. Let o be h(i). Which is greater: 0 or o?
0
Let a be 2/(-9) + (-3200)/180. Are a and -17 unequal?
True
Let a = 4/25 + -93/425. Is a equal to 1?
False
Suppose -2*m + m = -3. Suppose 3*j = l, -2*l - 2 = -5*j - 3. Is m smaller than l?
False
Let u = 2 - 1. Suppose -u = -m + 2. Let g be 2/m*(-2 - -3). Is g at most -0.2?
False
Let w = 5 - 3. Is -2/11 <= w?
True
Let d = -15 + 5. Let s = d - -13. Suppose 0*b = -s*b. Is b at most as big as -2/7?
False
Let d = -10 + 10. Let k = 1 - d. Which is smaller: k or 2?
k
Suppose 2*s + s = 9. Let k be (s/2)/(3/6). Let u be ((-2)/(-24))/(1/k). Is u at most -1?
False
Let f = -14 + 8. Let q = 6.6 + f. Let a = q - 0.7. Are a and 1 unequal?
True
Let g(s) = s**2 + 7*s + 12. Let f be g(-7). Which is smaller: -1 or f?
-1
Let k = 7871/32 + -246. Are 