p or w?
p
Let t be 2/(32/20 + -2). Let d be t + 2 - 1*-3. Which is bigger: d or -1/4?
d
Let k = 0.267 - 0.127. Which is smaller: k or 0.4?
k
Suppose 0 = 5*b + x - 6, -b + 5*x + 17 = -5. Is b smaller than 2?
False
Suppose -21*r = -16*r + 50. Which is bigger: -2 or r?
-2
Let t = 0 + 0. Let n = -5/8 + 7/8. Is t != n?
True
Let d be ((-104)/22)/2 + 2. Are d and 1 unequal?
True
Let l(x) = -x + 1. Let b = -3 + 4. Let o be l(b). Which is greater: -1 or o?
o
Let r be (-2)/7 + (-159)/(-42). Let l = -21 - -30. Suppose l*d + 20 = 2*h + 4*d, -4*h - 3*d = -14. Is h >= r?
True
Let x(r) = -14*r**2 + 1. Let l be x(-1). Let k = l + 10. Is k less than or equal to -3?
True
Suppose -4*m - 4*n = 16, 18 = 3*m + 2*n - 5*n. Which is smaller: m or -3/8?
-3/8
Let r = -6/2459 + -21944/1084419. Let h = r + 12/49. Which is smaller: 1 or h?
h
Let i(b) = 4*b - 4. Let t be i(2). Suppose 2*y = t - 24. Are y and -9 nonequal?
True
Let n(u) = -u - 9. Let d be n(-11). Let w be d/((-2)/(-3)) + -3. Is 0 greater than w?
False
Let j = 3.8 + -4. Let c = -108/71 - 5876/2485. Let z = c - -30/7. Which is smaller: j or z?
j
Let b be (6/(-28))/((-3)/(-8)). Which is greater: 1 or b?
1
Let x = -32.58 - -33. Let c = x - -0.08. Which is smaller: c or 1?
c
Let w = 0.81 + 0.19. Let t = 1 + -1. Which is bigger: t or w?
w
Suppose 3*o + 225 = 4*j + 10, 4*o + 300 = 2*j. Let w = -115 - o. Let u = w - -151/4. Which is greater: 1/4 or u?
1/4
Let k be -2 + (-2)/4*6. Is k at most -2/9?
True
Suppose 2*i = 3*i. Let b be 3/(-5) + (-1)/(-2). Which is smaller: b or i?
b
Suppose 1 = -4*z - 4*y - 7, -4*y - 12 = 2*z. Are z and 3/5 equal?
False
Let n be (-4)/2*((-535)/70 - -7). Which is smaller: n or 0?
0
Let l = -2.05 + 0.05. Let p = 0.04 + -0.04. Let c = l + p. Which is bigger: c or 1?
1
Let k = -6 + 5. Let a be (-3 - (-96)/27) + -1. Is k != a?
True
Let z(a) = a**2 - 5*a + 5. Let w be z(4). Let o = w - 7. Let b be (o/(-8))/((-3)/2). Is -1 less than or equal to b?
True
Let k(l) = 2*l - 14. Let d be k(17). Which is smaller: d or 19?
19
Let h be (1/(-2))/((-22)/(-8)). Suppose -n + 0*n + 2 = 0. Let r be (0 + 1 - n) + 1. Which is smaller: h or r?
h
Suppose -6*z + 5*z - 7 = 0. Which is smaller: z or -5?
z
Suppose 3*q + 3*l - 2*l = 6, 4*q - 5*l = -11. Which is smaller: -3/8 or q?
-3/8
Let r = 3 - -5. Suppose j - 3*b = r, 3*j + j - 5*b = 11. Let k = -5/7 + 27/28. Does k = j?
False
Let h(x) = -9*x**2 + 2*x**2 + 8*x + 6*x**2 - x + 9. Let p be h(9). Let n be (-1)/(-3) - (-15)/p. Which is greater: -1 or n?
-1
Let q = 4 - 4. Let p = 0.04 - q. Let o = p - -0.06. Is 0 at least o?
False
Suppose 4*a = -2 - 2. Let u be a + 0 + 15/21. Is -1 less than u?
True
Let z(o) = 2*o**2 - 14*o + 3. Let b(p) = -p**2 + 7*p - 1. Let a(y) = 5*b(y) + 3*z(y). Let w be a(5). Let v be (-4)/(8/w) - -1. Is 0 < v?
True
Let r = -5 + 11. Let y be 84/18*(-3)/(-2). Which is greater: y or r?
y
Let i(o) = -o + 1. Let h be i(2). Let s be (-2)/(-3) - 2/3. Which is smaller: h or s?
h
Suppose -5*u + 10 = -5*a, 5*u + 8 = -3*a + 2*a. Let v be (1 + u)/(-2 + 4). Let m be 2/(-5)*(-7 + 2). Which is greater: v or m?
m
Let y be (1 + -1)*(-2)/(-4). Let a be (y - -2)/(1 + 5). Which is smaller: -1 or a?
-1
Let v = -35 + 52. Let d = -16.9 + v. Which is smaller: -3 or d?
-3
Let l(m) = m**2 - 3*m - 1. Let t be l(4). Let i(k) = 0*k**3 + 2*k + 4 - 4*k**3 + 2*k**2 + 3*k**3. Let r be i(t). Which is greater: 3/2 or r?
3/2
Let n be 88/(-14) - 10/(-35). Let g = 10 + n. Which is smaller: g or 5?
g
Let q(b) = -b**3 - 3*b**2 + 4*b - 2. Let x be q(2). Is -14 smaller than x?
False
Suppose -4*o + 22 = -15*o. Is o at most as big as -3?
False
Let f be 34*(0 + 1)/(6/3). Which is greater: f or 19?
19
Suppose 9 = -5*x - 16. Let y = 0.08 - 0.01. Let k = -0.03 - y. Is x <= k?
True
Let r = 12 + -5. Let k(o) = o - 5. Let p be k(r). Is p greater than 0?
True
Let x = -32 + 23. Let c = 6 + x. Let t = 0 - 0. Is c less than t?
True
Let t = 604092923/2223 - 271747. Let r = t + -2/171. Which is smaller: r or 1?
r
Let k = 4 - 11. Let f(l) = 5*l**2 - 4*l + 2. Let c be f(2). Let u be c/3*(-12)/8. Is u less than or equal to k?
True
Suppose 0 = -5*y + a + 13, 4*y - 4*a = a + 23. Let c be -4 + 1 + y + 6. Is c equal to 3?
False
Let i = -112 + 2575/23. Is i < 0?
True
Let r(p) = p**2 - 6*p + 9. Let k be r(5). Suppose -k = -5*z + 6. Is 2 > z?
False
Suppose 3*f + 4 = 1. Which is greater: f or 5/7?
5/7
Suppose -2*b + 6 = -b. Let g be (-2)/((16/b)/(-4)). Suppose -o - 1 = c, -35 = 5*o + 2*c - g*c. Is o at least -5?
False
Let f = 299/2 - 154. Let t be (-8)/1 + -1 + 3. Which is greater: f or t?
f
Let f = -89/3 - -29. Let v be 6/12*(0 + 2). Let c be (0/v)/(0 + 1). Is f greater than c?
False
Let g(n) = -n**3 + n**2 - 3*n + 1. Let k be g(3). Let i = k + -9. Let y be 1/(-4) + i/(-60). Is -1 not equal to y?
True
Let i(o) = o**2 + 4*o - 2. Let a be i(-3). Suppose -5*n = -8 - 2. Let t = -5 + n. Is t <= a?
False
Let i = 40 - 36. Let n = 13 + -8. Is i at least n?
False
Let b = 2 - 5. Let x(u) = -u**3 - 3*u**2 + 6*u + 5. Let o be x(-4). Let i(r) = 2*r + 2. Let h be i(o). Is b < h?
False
Suppose 5*h = -3*y - 6 - 17, -3*y = 2*h + 11. Suppose g - 5*s = -36, -3*g - 34 - 24 = -5*s. Let q be g/(-5) + y + -1. Is q > -1?
True
Suppose -2*f = q - 3, -4*q + 3*f = 6*f - 7. Let j = 4 - q. Which is greater: 3/2 or j?
j
Let a be (5 + (-1)/1)/1. Let o be (-2)/(-3) - (-70)/21. Suppose 0 = -o*p + 10 + 10. Is a bigger than p?
False
Suppose 4*w = -0*u - 3*u + 16, 4*w = 4*u + 16. Let i = u + 2/5. Is 1 <= i?
False
Let m = -0.4 + 0.5. Does 2 = m?
False
Let y be 10/(-42)*(-2)/(-15). Which is smaller: 0 or y?
y
Suppose -4*r = r - 25. Suppose -6 + 36 = -r*o. Does -6 = o?
True
Let o = -45 - -44.5. Which is bigger: -0.4 or o?
-0.4
Let n be -1 + -1 + 1 + 10/13. Which is smaller: -0.4 or n?
-0.4
Suppose -3*h = 5 + 4. Is -3 != h?
False
Let n be (-1)/(((-2)/4)/(1/2)). Which is smaller: -1/3 or n?
-1/3
Let g(v) = -6*v**3 - 3*v + 5. Let k(o) = -5*o**3 - 2*o + 4. Let f(b) = -3*g(b) + 4*k(b). Let q be f(-1). Suppose -4*p + p = -3. Are p and q nonequal?
True
Let m = -5 + 2. Let q(u) = -2*u - 3. Let t be q(m). Let w = -28 + 30. Which is smaller: w or t?
w
Suppose -2*y = -k - 1, -y + 4*k - 6 + 3 = 0. Are y and 4/5 equal?
False
Let z = 172 - 1202/7. Let g be 3/3 - -1*3. Suppose c - g = -5. Which is bigger: c or z?
z
Suppose 4*j = -2*b + 18, -3*b + 9 = j - b. Suppose j - 1 = 2*y. Are y and 2 unequal?
True
Let s = 105 - 106.5. Which is smaller: 0.1 or s?
s
Let l be 0/(-6) + (-1)/(-2). Let c = -1 - -1. Is c less than l?
True
Suppose -4*g - 15 = r, 2*g = g - 5*r - 18. Let n be 16/36*g/(-2). Which is bigger: -3 or n?
n
Suppose 2*s - 4 = 2*f, 5*s - 1 = 9. Let z be (-1)/(-3) - 655/(-1620). Let g = -1/81 - z. Which is bigger: g or f?
f
Let p = 22 + -21. Is 3 != p?
True
Let q be 0 - (1/1)/((-18)/4). Which is smaller: 3/4 or q?
q
Let n(o) = 4*o - 14. Let b be n(4). Let r be (-3)/(-9) + b/(-6). Is 2/47 <= r?
False
Let h = 73.69 + -1.69. Which is smaller: h or -0.1?
-0.1
Let q = -0.3 - -0.4. Let i = 4.94 - -0.06. Which is smaller: q or i?
q
Suppose 4*j = 2*j + 6. Suppose p + j*f = 7, 4*p - 3*f = -f. Is -2/17 > p?
False
Suppose -s = -3*s + 6. Suppose 7 = 3*v + 1. Which is greater: v or s?
s
Let n = 16.04 - 16. Let w = 0.5 + -0.6. Which is greater: w or n?
n
Suppose 0 = -71*n + 66*n - 95. Is n not equal to -19?
False
Let q(r) = -r**2 - 5*r - 4. Suppose 4*c - 41 = 5*f, -2*c - 13 = 5*f + c. Let g be q(f). Is -5/2 <= g?
False
Let z = -53 + 127. Which is smaller: 73 or z?
73
Let k be 3/8 - 148/(-32). Which is greater: k or 56/9?
56/9
Let u = 1.4 + -1.3. Which is smaller: 5 or u?
u
Let r = 26 - 64. Which is bigger: r or -0.1?
-0.1
Let p be 13*3 - (1 + -3). Let a = -122/3 + p. Is a equal to 0?
False
Let v = -11 + 6. Let j = v - -4. Are -4/9 and j equal?
False
Let c = -19 + 20. Which is smaller: -4/13 or c?
-4/13
Let i = -183 + 209. Is i at most 25?
False
Let z = 1.58 - 1.48. Which is smaller: z or 27?
z
Let i be (-11)/(-55) + 9/5 + 10. Is 13 at least i?
True
Suppose 6*h = 8*h. Are h and 2/13 nonequal?
True
Suppose -5*h + 5*t = -20, -h + 51 = 3*h + 3*t. Let z = -3 - -2. Is z not equal to h?
True
Let a = -0.1 - -0.2. Let o = -45 - -37. Let c = 15 + o. Are c and a non-equal?
True
Let f be ((-4)/(-35))/((-4)/(-10)). Let r = 28.02 + -30. Let m = r - 0.02. Do m and f have the same value?
F