c. Are p and 2 nonequal?
True
Let y = 413/1080 + -1/135. Let r be 3*2/12*4. Suppose 3*q = r*q. Which is smaller: q or y?
q
Let p = 11.65 + 3.35. Which is smaller: -0.09 or p?
-0.09
Let r be (-12)/(-28) - (-36)/14. Let w be r - 1/((-156)/(-460)). Let p = 1 + -1. Which is smaller: p or w?
p
Let n = -228 + 229. Is n equal to 38/39?
False
Let f = 4.89 - -0.11. Let x = f - 5.3. Let d = -1.3 - x. Is 8 greater than or equal to d?
True
Let y = -32.48 + -0.52. Let k = y - -7. Let d = 25 + k. Which is bigger: d or 11?
11
Suppose -5*w + 40 = -5*r + 10, 2*w + 2*r = -4. Suppose 0 = 4*l + 4*g - 64, l + 14 = 2*l + w*g. Let v = -10 + l. Is v greater than 7?
True
Let u(i) = i**2 - 13*i - 13. Let b be (-45)/20*-4 - -5. Let a be u(b). Which is smaller: a or 6/67?
6/67
Let o = 11 + 10. Suppose -17*u - 128 = -o*u. Is u equal to 32?
True
Let t = 9/28 + -25/252. Let k = -56.2 - -77.2. Which is greater: k or t?
k
Let b be 8/36 - 6964/234. Let g = b - -2251/52. Is 14 equal to g?
False
Let f be 8 - (5 - (-451)/151). Which is smaller: f or -8?
-8
Let o be 410/(-44)*(-20)/25. Is 6 >= o?
False
Let w = -28.8 + 24. Let i = 0.8 + w. Let o = 3.97 + i. Is -2/5 smaller than o?
True
Let h(x) = -2*x**2 + x + 25. Suppose 0 = 6*f - 12*f. Let t be h(f). Is 24 at least t?
False
Let z = -85 - -87. Is z < 0.43?
False
Let p(m) = -10*m + 4. Let q be p(-3). Let k = 24 - q. Let s = 52/5 + k. Is 1 <= s?
False
Suppose -i - i = 5*g - 25, i = -4*g + 20. Let t be i/1 - -1*8. Is 7 at most as big as t?
True
Suppose -24 = -24*x - 48. Is x at least as big as -2/1067?
False
Let j(k) = -3*k - 28. Let n be j(-12). Suppose n*o + 23 = 7*o. Is -23 not equal to o?
False
Let j = 1.9724 - -0.0276. Which is smaller: j or 232?
j
Let o = -419 + 421.17. Let r = o - 0.17. Let l = -0.1 + 0.1. Which is smaller: l or r?
l
Suppose 20*d = -9*d + 87. Suppose 6*y = y - 15. Is d greater than y?
True
Let t be 29 + ((-88)/(-40))/11. Which is greater: 30 or t?
30
Let a be 3/(4455/(-4745))*1*6. Let n = a - -172/9. Is n bigger than -1?
True
Let n = 44 + -58. Let a be 10/n + (2 - 80/35). Which is smaller: a or 2/79?
a
Let f = -98657/87 + 1134. Let h = -68/1653 - f. Is 0 greater than or equal to h?
True
Suppose 3*p + 4*s + 21 = -7, -4*s = -5*p - 4. Which is greater: -58/21 or p?
-58/21
Let m be (-8)/(-6)*9/(-1). Let b = m + 11. Let x = b - -1. Which is smaller: x or -8?
-8
Let p(y) = 3*y - 44. Let h be p(14). Which is smaller: h or -39?
-39
Let z(d) = d**2 - d + 7. Let s be z(7). Suppose 12*q = 5*q + s. Which is bigger: q or 8?
8
Let f be 2/8*-3 - 161/(-28). Let y(d) = d**3 + 2*d**2 - 3*d - 1. Let m be y(-2). Suppose -4*w + f*x - 17 = -3*w, 0 = -m*w - 4*x + 60. Are w and 8 non-equal?
False
Let b be (0 - -4)*459/(-36). Do b and -44 have the same value?
False
Let x = 47.7 - 1.7. Let u = 43 - x. Which is greater: u or -7?
u
Let j = -514 + 592. Is j >= 1/12?
True
Let v = 983 - 2947/3. Is v smaller than 17/4?
True
Suppose -26*x + 28*x = 194. Let y = x + -677/7. Let m(o) = -o + 3. Let h be m(4). Is h equal to y?
False
Let f be 48/10 - (-3)/15. Suppose 17*u - 20 = 12*u. Suppose f*w - u*w = -2. Is w <= -2?
True
Let y be 3*((-12)/(-2))/(-3). Let i = y + 25. Suppose 0 = 5*w - o - 10 - 17, 3*w - i = 2*o. Is w smaller than 4?
False
Let y be 13 - ((-1 - -2) + 2). Let n = 4 - y. Let v(j) = j**2 + 4*j - 2. Let m be v(-3). Do n and m have the same value?
False
Suppose 0*s = -7*s - 266. Let y = s + 36. Let t = 11/5 - 37/10. Which is greater: t or y?
t
Let x = -39/2 - -19. Let d = x + 3/4. Do 1/17 and d have different values?
True
Suppose 4*v + 63 + 81 = 0. Let t be (v/8 + 4)*694. Let x = t + 2077/6. Which is bigger: 0 or x?
0
Let v = -31/3 + 91/9. Let n be ((-4)/(-6))/(2/3). Is v smaller than n?
True
Let k be -4 - (0 + (-7)/(-2))*-4. Which is greater: k or 22?
22
Let z(a) be the first derivative of -a**2/2 - a - 113. Let u be 1*(-2 + 4)/(-2). Let s be z(u). Which is smaller: -1 or s?
-1
Let q = -24052/5 - -4836. Which is greater: q or 25?
q
Let b be ((-1)/(-2))/(1/(-32)). Let v be (-7)/21 + b/6. Let g = 3 - 5. Do v and g have the same value?
False
Let n(s) = -80*s + 960. Let b be n(12). Suppose 5*m + 3 = -2. Is b at most as big as m?
False
Let h = 198 + -196. Let p = 5 + -8. Is p at most as big as h?
True
Let y(g) = -g**3 + 4*g**2 + g - 5. Let i be y(4). Let w be (-9)/(-3)*(-4)/(-34). Are i and w non-equal?
True
Let p = 46 + -46. Suppose -h - 5*f - 17 = p, 5*h + 7 = f - 0*f. Suppose -6*n = -3*n. Which is bigger: n or h?
n
Suppose -m = -5*m + 28. Suppose -2*y + m = 3. Is y smaller than -2?
False
Let w = -23467/48 + 7197/16. Let j = w + 193/4. Which is greater: 9 or j?
j
Let d = -73 + 66. Do -120 and d have the same value?
False
Let u be ((-4)/6)/(14/6). Suppose -3*i + 5 = 11. Let v be i/(-9) - 102/(-27). Is u smaller than v?
True
Suppose 5*h = 38 - 178. Is h greater than or equal to 19?
False
Suppose -3*i + 748 = 8*i. Let y = 89 - i. Which is greater: 20 or y?
y
Suppose 0 = -32*l + 40*l - 16. Suppose l*i = 12 - 4. Is i < 3?
False
Let u be 4/(-6) - 8/(-12). Suppose u*s = -4*s - 12, 5*k = 5*s. Which is greater: k or 0?
0
Suppose -2*g = 4 - 8. Suppose 20 = -g*p + 7*p. Let t be p/22 + -1 + 1. Is t greater than -1/2?
True
Let m be 3/(-42)*66 - 5*-1. Which is bigger: -1 or m?
m
Let b = 458 + -272. Which is greater: 936/5 or b?
936/5
Suppose -4*x = -5*p - 0*p - 35, 4*p = x - 17. Suppose 7*u - x = -26. Is -19/5 at most as big as u?
True
Let m = -99.801 - 1.199. Do 0.2 and m have the same value?
False
Let l(o) = o**2 + o - 3. Let y = 16 + -18. Let f be l(y). Is -6/17 greater than or equal to f?
True
Let o be 5/86*24/15. Are o and 1 nonequal?
True
Let y = -418 + 2927/7. Which is smaller: 1 or y?
y
Let d(k) = 354*k - k**2 - 354*k. Let v be d(0). Let u = -61 + 61. Do u and v have different values?
False
Let b = 63 + -62. Are b and -91 nonequal?
True
Let q = -8155/3 - -2695. Is -23 equal to q?
False
Let a be -8*(-2 + 0)/(-1) + -2. Let y be a/10*(-240)/32. Is y smaller than 15?
True
Suppose -10*l - 2*d = -14*l - 2236, -3*l = -2*d + 1678. Which is smaller: l or -559?
-559
Suppose 2*o = -3*o + 170. Suppose -q - o = -2. Is -32 less than q?
False
Suppose 42*v + 18 = 60*v. Is v > 2/6187?
True
Let b = 11 - 7. Suppose 0 = -2*h - 2*h. Let a = 5 + h. Which is bigger: b or a?
a
Let z(j) = 2*j**3 + j**2 - 2*j + 1. Let f = -1 + 2. Let o be z(f). Let v be ((-1)/(-1))/(2 - 0). Is o bigger than v?
True
Suppose -5*d + 33 = v, 4*d - 2*v - 12 = 2*v. Suppose 0 = -2*u + 2*m - 14, d + 9 = -u + 5*m. Is u <= -3?
True
Suppose -4*o = 3*u - 10, 0 = -4*o + 3*u + 22. Is o >= 23?
False
Let v = 1069 + -1069.1. Is -103.5 bigger than v?
False
Suppose -2*a + 5*b = a, 5*a + b = 0. Let p be ((3 - 1) + a)/(-1). Let c be p*(-1 + (-6)/(-4)). Which is smaller: 1/4 or c?
c
Let y(k) = -2*k - 14. Let g be y(-7). Let o(w) = w**3 + w**2 - w - 3. Let s be o(g). Let r be 63/18 + s/1. Which is smaller: r or 0?
0
Let w = -224.4 - -171. Let t = 54 + w. Is 5 not equal to t?
True
Let y be 1*(-9)/(-3) + -2. Let o(d) = -d**2 - 3*d - 10. Let f be o(10). Let m be 2/4 + f/(-120). Which is greater: m or y?
m
Let b = -0.2 - 0.8. Let p = 9.1 - 12. Let i = p - -3.9. Which is bigger: i or b?
i
Let p = -89 - -185/2. Let w(b) = 19*b - 966. Let r be w(51). Which is smaller: p or r?
r
Suppose 46*d - 58 = 17*d. Which is smaller: d or 14/19?
14/19
Let w = 20 - 25. Let a(h) = 3*h + 16. Let b be a(w). Which is smaller: b or 1/15?
1/15
Let o = 21 - 19. Let i be (o*(-3)/12)/1. Do 0.36 and i have the same value?
False
Let o = 19 - 19.01. Let r = -0.19 + o. Is r greater than -4/7?
True
Let n be (10/(-8))/(13/52) + 38. Which is smaller: 35 or n?
n
Let u = -1/3679 - 28865/3679. Is u bigger than -9?
True
Let i = 88/9 + -154/9. Which is bigger: -7 or i?
-7
Suppose 2*m = 21 - 3. Let q = -105 - -111. Let v be ((-4)/q)/(6/m). Which is greater: -2 or v?
v
Let m(d) = 5*d**3 + 4*d**2 - 7*d + 2. Let v(f) = 6*f**3 + 5*f**2 - 8*f + 2. Let r(q) = 5*m(q) - 4*v(q). Let b be r(1). Which is greater: -5/6 or b?
b
Let j be (10/(-25))/(3 - (-138)/(-20)). Is -3 >= j?
False
Suppose 4*m = 3*m + 5*k - 6, 3*m - 2*k + 18 = 0. Let i(d) = 2*d**2 + 10*d + 7. Let q be i(m). Let f = q - 19. Is -3/10 <= f?
True
Let w = 41 - 9. Let z be w/(-112) + 88/14. Is 2 > z?
False
Let q be 8 - -10 - (-4 + 0). Suppose -5*i = -3*i - q. Are 13 and i unequal?
True
Let b = 