9 not equal to a?
True
Let f(s) = -s + 1. Let v be -20*(-1)/(-4)*2. Let w = v + 12. Let d be f(w). Do 4/9 and d have the same value?
False
Let s(w) = w**3 - 4*w**2 - 7*w + 7. Let h be s(5). Suppose 13*x - 6 = 16*x. Which is smaller: h or x?
h
Let s be (75/30)/((-1)/(-74))*1. Is s at least 187?
False
Let v be (-14)/119 + 15/(-17). Which is bigger: v or -1/17?
-1/17
Suppose 32 = -4*h + 12. Let o = 12 + -84/5. Is o bigger than h?
True
Let r = 1.1 - 17.1. Let n = r - -18. Let o = 7.13 + -7.2. Which is smaller: n or o?
o
Suppose 9*k - 115 = 4*k. Let a(t) = 22*t**2 - t. Let b be a(1). Does b = k?
False
Let f = -36 + 35.949. Let q = 16.451 + f. Let c = 18 - q. Is c <= -0.1?
False
Let w = -155 + 168.2. Let l = w + -13. Which is smaller: 2/11 or l?
2/11
Let m(v) = 32*v - 366. Let g be m(11). Which is greater: -15 or g?
g
Suppose -2*t - 14 = 5*f, -3*t - f + 25 = -5*f. Let u be t - (1 - 4 - 2). Suppose 5*o - 17 - u = 0. Which is bigger: 4 or o?
o
Let h = 592 - 5419/9. Let o = -493/63 - h. Is 1 at most o?
True
Let c(m) = m**3 - 6*m**2 - 29*m + 17. Suppose 7*s - 64 = -1. Let r be c(s). Is r < 0?
True
Let y = -2102.5 + 2131.442. Let j = -0.058 - y. Which is smaller: j or -2?
j
Let q be 222/(-370) + (-916)/(-1535). Which is greater: q or -1?
q
Suppose -20 = -0*h + 5*h, -2*h + 1 = 3*g. Suppose -7 - 1 = 2*c - g*a, 0 = 4*c - a + 36. Let f(o) = o**2 + 9*o - 8. Let s be f(c). Which is smaller: 1 or s?
1
Let z = -9 - -18. Let k(n) = -n**3 + 8*n**2 + 9*n + 4. Let g be k(z). Suppose -18 = g*u + 6. Which is smaller: -5 or u?
u
Let x be 6/(-33) - -9*164/(-231). Which is greater: -8 or x?
x
Suppose 5*b = -5*a - 25, 0*a - a - 11 = -b. Let c be 2/a + 3/(-24)*-10. Which is greater: 0 or c?
c
Let o be (-4)/(-24)*-1 - (-105)/90. Which is bigger: o or -1/362?
o
Let q = -106.4 - -97. Let g = 1.6 - q. Let z = -0.08 + -0.02. Which is bigger: z or g?
g
Suppose v = -5*h + 1 + 7, h - 12 = 5*v. Let q be 12/((-4)/v)*2/(-6). Is -0.3 at most as big as q?
False
Suppose 5*j + 23*a - 19*a = -10, -5*j - a = 10. Which is bigger: -36/37 or j?
-36/37
Let j be 280/9 + -1 + (-18)/162. Which is smaller: j or 20?
20
Let f = 2/127 + -264/635. Which is smaller: -70/11 or f?
-70/11
Suppose 5*y + 3*p = -70, 6*p = -y + p - 36. Is 7 smaller than y?
False
Let k be 8/(-2) + (-9744)/(-56). Which is greater: k or 176?
176
Let g be 1*(-6)/8*48/(-69). Let f = -1/46 + g. Which is smaller: f or 1?
f
Suppose -57 = -2*j + 25. Suppose 94 = -5*y - j. Let t be -2 + 1*y + 4. Which is bigger: t or -26?
t
Let m = 0.097 + -0.072. Let a = -0.125 + m. Which is smaller: -0.23 or a?
-0.23
Let f = -3 + 1. Suppose -5 = -454*m + 449*m. Let v be m*(f + -2 + 4). Which is bigger: 1/24 or v?
1/24
Suppose 498 = -3*w - 4*a - 130, -653 = 3*w - a. Is -214 > w?
True
Let f(s) = 11*s**2 - s + 5. Let r be f(2). Suppose 9 = -4*a - r. Is -16 greater than a?
False
Suppose 5*l - 12 = 9*l. Let r(n) = -n**3 - 3*n**2 - 2*n + 1. Let u be r(-3). Let c be 57/21 - (-2)/u. Which is smaller: c or l?
l
Let w be (-2)/(-4)*(-12)/16. Let f(x) be the second derivative of -4*x**3/3 - 25*x**2/2 + 23*x. Let y be f(-3). Is y <= w?
True
Let a be (-17236)/(-10168) + (-1)/(-1*2). Is 3 equal to a?
False
Let o be (12/(-7))/((-1)/((-40)/(-16) - -1)). Let v(u) = -6*u**3 - u**2 - u. Let d be v(-1). Is d smaller than o?
False
Let s(d) = -d**2 + 25*d + 28. Let r be s(26). Suppose -5*q - 2*b + 4 = -0*q, 4*b - 8 = r*q. Which is greater: 41 or q?
41
Let a = -6.26 - -5.8. Let q = a + 7.46. Which is smaller: 4 or q?
4
Let d(y) = -69*y + 276. Let i be d(4). Which is smaller: i or -574?
-574
Let k = 14956/81 - 554/3. Do k and 2 have different values?
True
Let j be 2/(-150)*2*125/5725. Which is smaller: j or -1?
-1
Suppose 10*s = 13*s - 3. Let w = -124 - -170. Which is greater: w or s?
w
Suppose 4*j + 2*c = -18, 2*c = -3*j - c - 9. Let g be 1 + j/2 - (-13 + 0). Which is greater: g or 10?
g
Let g be (3 - (2 + -5328))*-1. Let c = g - -25521/5. Let x = c + 226. Is x at most as big as -2/3?
False
Let t = -0.28 + 0.22. Let h = 69.06 + -68. Let v = t + h. Is v != -3?
True
Let l = 7/9 - 13/9. Let h be ((-6)/4)/((-90)/8). Let t = h - l. Which is greater: 1 or t?
1
Let l(j) = j - 1. Let h be l(6). Suppose h*x - 14 = 4*x. Are x and 40/3 unequal?
True
Let y be (19/(-3))/((-1)/(-6)). Let w = y - -37. Is w > 2/23?
False
Let i = 28.5 + -28.54. Which is greater: 2 or i?
2
Suppose -5*j - 14 = 4*z, -4*j = -3*z - 3*j - 1. Suppose d = 6*d + 1055. Let x = -2953/14 - d. Is z bigger than x?
False
Let z = 3.934 - 4. Which is bigger: z or -1?
z
Let t be (3/(-9))/(2/(-24)). Suppose t*o + 0*o - 8 = 0. Suppose -4 = -o*j - 0*j. Is -1 smaller than j?
True
Let b = 125 + -147. Let q(r) be the first derivative of 5*r**2/2 + 7*r + 5. Let k be q(-6). Is k at least as big as b?
False
Let k be (-3)/(-6)*(3 - 3). Let w(n) = -n + n**2 - 14 + n**3 + k*n + 15. Let t be w(1). Is t equal to 14?
False
Let k be 1/13*(-88)/11*-1. Let g = -69/91 + k. Is -16 > g?
False
Suppose -5*w - 5*f = -2*f + 10, -2*w - 2*f = 8. Let r be (2 + (-58)/30)/w. Let p be ((-6)/(-9))/(-1 + (-15)/(-9)). Is p at least r?
True
Let v = 2046 - 2047. Does v = -2/2533?
False
Let k = -19 - -21. Suppose -3*n = y + 16, -2*y - 2*n - 14 + k = 0. Let u = 2 + -3. Is u less than y?
False
Suppose -3*z - 5*v = -z - 425, -4*z + 820 = 4*v. Let p be (-1)/(-1)*(-32)/z. Which is smaller: p or 0?
p
Let u = 1091.7 + -1089. Let z = 140/99 + -18/11. Which is smaller: z or u?
z
Let i = 41 + -41.1. Let h = -0.17 + 0.17. Which is bigger: h or i?
h
Suppose -5*w = -58 + 53. Is w at least as big as 3/13?
True
Suppose 0*g = 2*p + 3*g + 26, -2*g - 12 = p. Let x(i) = i + 14. Let s be x(p). Which is smaller: s or 1?
s
Let x(c) = c**2 + c + 5. Suppose 8*a - 4*a - 84 = 0. Suppose -2*w = -g - 5*w - 1, 0 = -5*g + w - a. Let k be x(g). Is 16 equal to k?
False
Let z = 39 + -17. Let d = 22.8 - z. Let v = -10.2 - -10. Which is smaller: v or d?
v
Let b = 13029 - 39437/3. Let h be (-2)/3 + (-1 - (-694)/6). Let m = b + h. Are m and -2 unequal?
True
Let a(v) = -v**3 - v**2 + 5*v - 2. Let f be a(-3). Let z be 1/45*(-16)/(-8). Do z and f have the same value?
False
Let t = 3/397 - -391/794. Are t and 11/3 equal?
False
Let q = 942 - 4683/5. Is q less than 6?
True
Suppose -5*z = 4*c + 24, 8*z - 3*z + c + 21 = 0. Let w be z + (3 - 80/(-12)). Which is smaller: 5 or w?
5
Suppose 2*h + 16 = -2*h. Let w = h - 1. Suppose -32 = 7*y + 10. Is y >= w?
False
Let a = -0.054 - 4.046. Let g = a - -4. Suppose 0 = 5*b - 6 - 19. Are g and b nonequal?
True
Let c = 21.91 + 1356.09. Which is smaller: -2/5 or c?
-2/5
Let n be 6 - 8 - 64/(-30). Which is greater: 1/13 or n?
n
Suppose 2*c = 5*c - 15, -4*j - 5*c = -29. Let s = 43/20 - 12/5. Is s equal to j?
False
Let j be (90/405)/((-2)/3). Let y(l) = l**3 - 4*l**2 + 3. Let b be y(4). Which is greater: j or b?
b
Suppose 36*l = 66*l - 49050. Is l greater than 1635?
False
Let p = -24 - -18.5. Let k = p - -6.6. Which is greater: k or 2?
2
Let m(o) = o**2 - o + 1. Let n = 22 - 20. Let q(i) = -6*i**2 + 3*i - 3. Let s(a) = n*q(a) + 6*m(a). Let k be s(-1). Is -6 at least k?
True
Suppose 3*o - 1481 = 5*g, -4*g + 7*g - 503 = -o. Which is smaller: o or 496?
496
Let t = -29 - -76. Let q = 142/3 - t. Which is greater: q or -1/3?
q
Let q(c) = -c**2 + 6*c. Let g be q(8). Suppose -60 = -269*p + 273*p. Which is smaller: g or p?
g
Let v = 1.8 + -2.04. Let o = v + 1.24. Let p = -0.17 - -2.17. Which is smaller: o or p?
o
Let c(g) = -g**2 + 16*g + 101. Let t be c(19). Which is bigger: t or 46?
46
Suppose 30 = k + 4*k. Let s be (-16)/(-24)*(3 + 6). Suppose 5 = d, -4*r - s*d = -7*d - 31. Which is greater: r or k?
r
Let z = -107 + 155. Suppose 37 + z = -5*o. Which is bigger: o or -16?
-16
Suppose -5*l + 6*l + 2 = 0. Let x = 718 - 717.99. Which is greater: x or l?
x
Let m = 1222 + -1190. Suppose -53 = 3*u - 2*j + 37, u + j = -35. Let i = u + m. Are -2.8 and i equal?
False
Let s = -6.03 + 0.03. Let a = s + -3. Let z = -10 - a. Is z < -0.04?
True
Let i = 0.6 + 0.3. Let v be (2*2/14)/(352/224). Is i equal to v?
False
Let w(m) = -m**3 - 7*m**2 - 5*m - 3. Let a be w(-3). Let v be (3 - a/(-9))/(3/9). Is v < 3?
True
Suppose 0 = -3*c - 4*y + 2, -3*c + 5*y + 9 = 2*y. Let o = c + 8. Let p(i) = 9*i + 1. Let z be p(1). Is o smaller than z?
False
Suppose 0*a - 42 = -6*a. Suppose 4*w - 5 = n - 0, 5*w 