 a. Are 2/17 and p nonequal?
True
Let k = 0.03 - 1.03. Which is bigger: k or 0?
0
Let d = 18 + -16. Do d and 2 have different values?
False
Let p be ((-6)/5)/((-2)/10). Let j be (-20)/p*(-6)/5. Suppose -j*x = t + 3, 2*x + t + 3 + 0 = 0. Is -0.1 < x?
True
Let w = 4 - 3. Which is smaller: w or -2/63?
-2/63
Let p = 0.4 - 0.3. Let w = 4.3 - 13.3. Which is bigger: w or p?
p
Let g(m) = -m**3 + 7*m**2 - 1. Let y be g(7). Which is bigger: y or 2/29?
2/29
Let k = -81 + 80. Which is smaller: k or -18?
-18
Suppose 0 = -3*t + 2*t + 5. Suppose -t*b = 4*r + 14 + 19, b = 4*r + 3. Are b and -0.1 equal?
False
Suppose 20 = -13*t + 12*t. Which is greater: t or -1?
-1
Let z(k) = -5*k + 1. Let t(d) = -9 + 1 + 7 + 2*d. Let m(y) = 7*t(y) + 3*z(y). Let j be m(-5). Which is smaller: j or 0.1?
0.1
Let h = 7 + -8. Let u be (0 + h)/(-4 + 1). Which is smaller: -0.4 or u?
-0.4
Let j(k) = -k**3 + 4*k**2 + 2*k - 5. Let h be j(4). Suppose -7*r - 20 = -h*r. Which is bigger: r or -6?
r
Let v = 101538/55 + -1846. Is v at most -1?
False
Let u = -0.13 + 0.1. Let a = 0.07 - u. Which is smaller: a or 2/7?
a
Let v = -3 + 2.8. Suppose -4*z - 51 = -z. Let g be (2 - z/(-4)) + 2. Is g bigger than v?
False
Let k(g) = -2*g - 6. Let z be k(-6). Suppose r - z = 2*r. Let u be 2/r*(0 + -3). Are u and -2/5 equal?
False
Let d(n) = n**2 + n + 2. Let k be d(-2). Suppose -r - g = 0, 0 = 2*r + k*g - 0 + 2. Is 3/8 > r?
False
Let a = 41 + -40. Which is smaller: a or 2/71?
2/71
Let b be ((-4)/6)/(10/306). Let m = b - -20. Is m less than 1?
True
Let i = -0.1 + 0.1. Let p = 13.2 + -11. Let q = p - 2. Which is greater: i or q?
q
Let a be ((-35)/(-30))/(-7)*2. Let w be ((-2)/(-12))/((-4)/(-6)). Is a equal to w?
False
Let k(f) = f**3 - f**2 + f - 1. Let y(s) = s**2 + 11*s + 12. Let u be y(-10). Let t be k(u). Suppose 0 = t*b - 3*b. Is b < 1/5?
True
Let g be (-4)/(-14) + 31/(-84). Suppose -w = w + 2. Which is smaller: w or g?
w
Suppose -2*n = -25 + 9. Let h(m) = -m + 5. Let a be h(n). Is -3 at most as big as a?
True
Suppose -30 = -2*i - 10. Let n be 1 + -2 - i/(-4). Which is smaller: n or 1?
1
Let n = 2 + 3. Suppose -5*u + 22 = -4*u + 4*x, 34 = n*u + x. Let y be (7/(-2))/((-2)/4). Is y > u?
True
Let x be (1/(-51))/((-14)/84). Suppose -o + b + 4 = 0, -2*o + 3*b = 2*b - 9. Suppose 0*n - 5 = -o*n. Which is bigger: n or x?
n
Suppose 3*u + 35 + 1 = 0. Is -13 greater than or equal to u?
False
Let a = 0.3 - 0.1. Let o = 52 - 54. Which is greater: o or a?
a
Let d(m) = m**3 - 6*m**2 + 8*m - 16. Let i be d(5). Let z be (4/42)/((-1)/(-3)). Is i at least as big as z?
False
Suppose 3*y = 4*y + 2*p, 5*p - 1 = -3*y. Suppose -m + 3*m - 4*w = 4, 4*m + 2*w = -y. Let n be 10/48 + (-2)/6. Which is greater: n or m?
m
Let j(y) = -3*y - 1. Suppose 0*r - 4 = -r, 3*h - 2*r + 17 = 0. Let m be j(h). Suppose 0 = 5*s + m - 3. Which is greater: 2/11 or s?
2/11
Let p = 44 + -44. Is -2/63 <= p?
True
Let n = -7/74 - -2093/222. Which is bigger: n or 10?
10
Let g be 6/(-10)*((-200)/(-72) - 3). Let o(r) be the second derivative of -r**5/20 + r. Let l be o(1). Are l and g non-equal?
True
Let z = 55/26 + -8/13. Let b be (-52)/(-18)*3 - 0. Let n = 8 - b. Is n <= z?
True
Let c be 27*(-2)/(-9)*-3. Let a be 4/(-18) - 4/c. Is a greater than or equal to 4/7?
False
Let z = -2.3 + 0.3. Let t = 6 + z. Suppose 2*a + 1 = -x + 6, 2*a = x - 5. Is t less than a?
False
Let f be 1/2*(-8 - -8). Suppose 4*o = r - 25, -3*r + 5*r = o + 8. Let d be (o/(-27))/((-12)/9). Which is smaller: d or f?
d
Let v = 6 - 12. Let q = -1.4 - -1.3. Which is greater: v or q?
q
Let g = 0.15 + 0.05. Which is smaller: g or 1?
g
Let z be ((-8)/78)/(10/(-45)). Which is smaller: -1 or z?
-1
Let m = 22 + -13. Let q be 2 - 4 - 2/(-2). Which is smaller: m or q?
q
Let s be 1*-2 + 29 + -6. Suppose -h + 10 + 14 = 0. Suppose -3*x = -p + x - s, 0 = 4*p - 4*x + h. Is -2 bigger than p?
False
Let o = -2/725 + 1488/13775. Which is smaller: -1 or o?
-1
Suppose 8 = -3*s - 1. Is s < -9?
False
Let z = -2 - -2. Let d = 1.36 - 1.38. Is z at most d?
False
Let t = 31.11 - 33. Let q = t - -1.9. Which is greater: -1 or q?
q
Let h = -43/60 + 7/15. Is 0 at least as big as h?
True
Let w = -25 - -25. Which is smaller: w or 1/7?
w
Suppose -t = t - 10. Suppose 2*c - 1 - t = 0. Let w be 3 + (c - (0 - -1)). Which is bigger: 0.1 or w?
w
Suppose 3*v = -4*b + 8*b - 4, -2*b + 2 = 2*v. Let y = 0 - v. Which is smaller: y or -1/9?
-1/9
Let i = 40.1 + -40. Is i at least -2/7?
True
Let w = -4 + 2. Let k(l) = l + 2. Let p be k(w). Suppose p = -o - 1 - 4. Is o less than or equal to -5?
True
Suppose y - 2 = 3*f + 2, -2*y = 5*f - 8. Is 7/5 equal to f?
False
Let k = -6 - -4. Let x = k - -2.1. Which is smaller: x or 5/2?
x
Let i = -12 + 11.93. Let f = 3.07 + i. Let s = -1/6 + -1/2. Which is smaller: s or f?
s
Suppose 4*o + 4*b - 9 + 109 = 0, 4*o + 96 = -3*b. Is -21 bigger than o?
False
Let o = -5 - -10. Let n be 3 - o/(15/(-6)). Suppose -5*g = -10 - 15, -n*v - 2*g = -5. Which is smaller: v or 1?
v
Let v be ((-1292)/(-1) - 2) + -1. Let w = -6474/5 + v. Let c = -251/45 - w. Which is bigger: 1 or c?
1
Let s = 69/440 + 1/40. Let m be (12/(-3))/4*2. Let t(y) = 3*y + 5. Let z be t(m). Is z at least s?
False
Let f be (-45)/27*6/(-8). Which is greater: f or 1?
f
Let g(s) = -s**2 - 6*s + 5. Let o be g(-6). Suppose 0 = -o*p + 5. Let d = 1 + -3. Which is smaller: p or d?
d
Suppose 2*y = -0*y - 20. Let s = y - -5. Let n = -5 - 0. Is s at most as big as n?
True
Let y = -7 + 11. Suppose -y + 1 = -3*h. Let s be (-18)/(2 + h) - -2. Does s = -4?
True
Suppose 4*d = -d. Let b be (-8 - -4)*(0 - 1). Suppose -h = -4*g + h - 10, -b*g = 3*h - 5. Is g < d?
True
Let n = 0.583 + -0.133. Which is smaller: 0.2 or n?
0.2
Suppose -5*s + 0*w + 16 = -4*w, 3*s = -4*w - 16. Let c be 0 - 0/(-1) - -1. Is s greater than c?
False
Suppose 5*p + 47 = 4*f + 18, -3*f = -2*p - 13. Is f >= 3?
False
Let x(y) = -2*y**2 + y**2 - 1 + 20*y - 31*y. Let l be x(-11). Which is greater: -6/11 or l?
-6/11
Let j = 4/15 + -3/5. Let h = -7 - -4. Let b = -4 - h. Which is greater: j or b?
j
Let b(p) = -p**2 + 5*p + 7. Let t be b(6). Do 2/9 and t have different values?
True
Let d = -10 - -11. Suppose q = -d - 0. Which is smaller: q or -3/16?
q
Let m(f) = f**2 + 1. Let r be m(-2). Suppose -4*j - r = 7. Is -2 bigger than j?
True
Let a = 14216/11 - 1291. Is 2 at least a?
True
Let r(g) = -g + 1. Let h be r(-1). Suppose -h*w + 4*x = 4, -3*w + x + 2*x - 12 = 0. Do -5 and w have different values?
True
Let d = -0.026 + 0.026. Let g = -2 - -1. Let w = 0.8 + g. Which is smaller: w or d?
w
Suppose p + 69 = -3*p - k, 0 = 4*p + 5*k + 89. Is p >= -49/3?
True
Suppose -f = 3*f + 5*z + 7, -3*z = 2*f + 5. Does f = -2?
False
Let s = 0.37 - -1.33. Let d = s - -1.9. Let n = 0.6 - d. Are -1 and n unequal?
True
Suppose -2*f - i = -5, 4*f - 3*i - 7 = 28. Does f = 7?
False
Let h = -188/5 + 1286/35. Let y = 6 - 9. Let x be (-2)/y*3*-1. Do h and x have the same value?
False
Let g(m) = -m**2 + 12*m - 1. Suppose 48 = -0*o + 4*o. Let k be g(o). Let u be 12*(k - 3/(-6)). Is u greater than -5?
False
Let g = 35 + -32.3. Let v = g + -3. Let k = 0.2 - 0.1. Which is bigger: v or k?
k
Suppose 7 = 2*j + z, -j - j = 2*z - 6. Which is bigger: -1/5 or j?
j
Suppose 5*h - 27 = 13. Let i = 6 - h. Is i greater than -1?
False
Suppose 3*r + 2*r + 20 = 0. Let y be 2/r*2 - 4. Is -1 not equal to y?
True
Let t be (-5 + 4)*(-1)/1. Which is smaller: -1 or t?
-1
Let q be 6/(-9)*(-3)/2. Suppose 5*l + w = 28, q = -l - 4*w - 1. Suppose -2*h = m + 6, 3*m + 3*h + l - 3 = 0. Is 4 > m?
False
Suppose 8*g + 95 = 3*g. Let q = g + 18. Is q equal to -4?
False
Let d = 17 - 27. Let p(n) = -n**2 - 11*n - 8. Let i be p(d). Is 4 <= i?
False
Let h be 9/(-3)*(-11)/(-3). Let j(q) = q**3 + 7*q**2 + 9*q + 9. Let s be j(-6). Is s < h?
False
Let r be 2/12*(7 - 9) - -25. Are r and 24 unequal?
True
Let w = 5.7 + -12.8. Which is bigger: 1 or w?
1
Let d = 25/3 + -8. Which is smaller: d or -1/7?
-1/7
Let g be 64/9 + (-2)/18. Is g less than or equal to 90/13?
False
Suppose 3*z - 9 = 0, 5*w + 9 = 4*z - z. Let i(a) = -4*a**2 - 2*a - 3. Let y be i(-2). Let u be (-6)/(-20) - (-6)/y. Which is bigger: u or w?
w
Let s = 1 - 3. Let n be (-87)/(-18) + -2 + s. Is 0 <= n?
True
Let x be (-27)/36 + (-1 - (-7)/4). Is 6/49 less than or equal to x?
False
Let m = 140 + -142. Is 0.13 grea