 = -2*a. Is f equal to -3?
False
Let k = 184.5 - 152. Let c = -165 + 133. Let w = c + k. Is w not equal to -1?
True
Let r(h) = h**2 - 7*h - 6. Let g be r(8). Suppose -5*y - 9 = -g*y. Does -2 = y?
False
Let s = 968 + -860. Is s less than 2?
False
Suppose 4*s = 416 - 168. Are s and 62 unequal?
False
Suppose 6*c - 17 = -p + 3*c, 3*c = 2*p + 2. Let a(g) = -2*g**2 + 5*g + 3. Let q be a(p). Suppose 2*h - r = -47, h + 2*r + 27 - 6 = 0. Which is smaller: q or h?
h
Let g(v) = -v**3 + 16*v**2 + 17*v. Let l be g(17). Suppose s + s - 8 = l. Suppose -16 = -4*i + 4*c, c - s = 2*i + 5*c. Which is smaller: i or 7?
i
Suppose 75 = -4*u + 5*l, -3*l - 6 = -5*l. Is u at most as big as 14?
True
Let q(a) = -a**2 - 20*a + 20. Let j be q(-21). Let u be (-396)/12 - (j + 2). Which is bigger: -33 or u?
-33
Let l be (-9)/2*9/999. Which is bigger: l or 1?
1
Let h be 18/60 + 906/180. Which is bigger: 5 or h?
h
Let d(g) = 3*g**2 - 9*g - 1. Let k be d(2). Suppose -3*i - 6 = 0, -4*p - 4*i = 24 + 16. Which is smaller: k or p?
p
Let d = -3083/3 - -1036. Which is smaller: 8 or d?
8
Let m(w) = -2*w**2 - 25*w - 95. Let s be m(-5). Let a = -0.4 - -0.3. Is a < s?
False
Let h be (2320/64)/(1/4). Is 143 smaller than h?
True
Let z be (45/60)/(2/(-16)). Let s be 4/(-3)*6/4. Let f be 3/z*(s + -14). Is f bigger than 9?
False
Let j be ((-165)/25 - -1)/((-2)/(-290)). Is j less than -813?
False
Let a be -2*(-1)/11 - (-1474)/(-121). Let g(o) = o + 29. Let w be g(a). Is 16 equal to w?
False
Let m = -4 + 14. Let z(c) = 0*c - 7*c + 11 + c**2 - 4*c. Let h be z(m). Which is bigger: h or 0?
h
Suppose 0 = 4*y - 4*k - 8, -3*y - 2*k + 3 = 17. Let v be (-12)/30 + (-13)/5. Let i = -7 - v. Does y = i?
False
Let j = 1553 + -1552. Suppose -4*z + 6 = -5*z. Which is greater: j or z?
j
Suppose 3*s - 2513 - 402 = 4*h, -5*h = -3*s + 2920. Is 965 <= s?
True
Let i = -33 + 33. Let d(p) = p**3 - p**2 - 2*p + 4. Let k be d(i). Suppose -3*n + 8 = l, 5*l = -3*n - 0*n + 28. Which is smaller: k or n?
n
Let g be (-2 - 453/(-261))*12. Let i = g + 1302/319. Let w = -1 + 3. Is w greater than or equal to i?
True
Let f(r) = -r**3 + 10*r**2 + 2*r - 21. Let l be f(10). Let a be ((-1 - 0) + l)*(-12)/(-6). Which is smaller: 3 or a?
a
Let h = -290 + 198. Which is greater: h or 1?
1
Let b = 99 - 85. Suppose -6*k + k + 40 = 0. Are b and k equal?
False
Let x = 124 - 108. Suppose k = 3*z + x, k + 0*k - z = 8. Which is smaller: 7 or k?
k
Let g(c) = c**3 + c**2 - 11*c + 7. Let m be g(-4). Suppose -3*f + 5 + 10 = 0. Suppose m*r = -9, 22 = a - 2*a - f*r. Is a < -8?
False
Let k = 28 - 32. Let l(q) = -q**2 - 7*q - 9. Let j be l(k). Let t(v) = -v**3 + 3*v + 3. Let d be t(-2). Which is smaller: j or d?
j
Suppose 3*j + 2*m + 12 = 6*m, 3*m - 9 = -5*j. Let i be (-25)/(-10)*4/(-9). Does j = i?
False
Suppose 5*n + 22 + 3 = 0. Suppose -5*a + 6 = -2*a. Suppose a*z = -4*i - 8, 0 = -2*i + i - 2*z + 1. Do n and i have the same value?
False
Let x = 321 - 214. Is x greater than 2/7?
True
Suppose -4*z + 861 = 889. Is 10 at most z?
False
Let j(i) = 3*i - 9. Let l be j(3). Suppose 2*g - 2*p + 30 = l, -5*g - p - 45 = -0*g. Let s(y) = -y**3 - 9*y**2 + 10*y + 10. Let r be s(g). Is r < 0?
False
Let n be -12*(-6)/9 + 3. Let r be ((-7)/(-28))/((-4)/(-160)). Which is smaller: r or n?
r
Suppose -11 + 6 = -5*k. Which is smaller: 2/171 or k?
2/171
Suppose -b - 4 = 3*n - 0*n, 5*n - 20 = 5*b. Let f be (-1)/(3*(n + -1))*-3. Is f less than 3/29?
True
Let j = -8905/7 - -1286. Let r = 101/7 - j. Which is smaller: 1 or r?
r
Let k = 315133/149 + -2115. Which is smaller: 1 or k?
k
Suppose m - 2 - 3 = 0. Suppose 4*s = -j, -m*j - 10 = 2*s - 2*j. Let a = -3388/9 - -376. Which is bigger: a or s?
s
Let c(w) = -w**2 - w - 5. Let q be c(4). Let d(o) = o**2 - 13*o - 38. Let n be d(14). Is n at least as big as q?
True
Suppose 0 = 5*u + 4*m - 8*m - 60, -u + 3*m = -23. Suppose 23 - u = -h. Let v be (24/h)/2 + 1. Is v less than or equal to 3?
True
Suppose 72 = -6*d + 18*d. Which is bigger: d or -10?
d
Let i = -0.362 + 0.362. Which is smaller: 3/4 or i?
i
Suppose -39*p = -45*p - 6. Let y be ((-348)/104)/(-3) + p/2. Is 1 < y?
False
Suppose -k + 3*y + 32 = 0, -3*k + 61 + 28 = -2*y. Suppose -4*q - 2*d + 129 = q, -3*d = 3*q - 72. Let a = q - k. Is a greater than -6?
True
Let x = 4.669 - 0.269. Which is bigger: x or 2/3?
x
Suppose -8*p - 1080 = 7*p. Which is greater: p or -76?
p
Let y(d) = d**3 - 8*d**2 + 7*d + 2. Let x be y(7). Suppose -11 = 4*q + 5. Let s be ((-1)/(-3))/(q/(-4)). Which is smaller: x or s?
s
Let u be 2/(-6) + 22/(-6). Let x be (-3)/u - (-20)/16. Let p be (4/24)/(x/(-8)). Which is greater: p or -1?
p
Suppose -2 = 2*y - 10. Let m be -3*5/(-30) + 10/y. Are m and 3 nonequal?
False
Suppose 3*r + 25 = 91. Let m = -16 + 26. Suppose -2*c + m = 3*p - 9, -4*p = c - r. Is 0 greater than c?
False
Let g be ((-68)/9)/((-518)/20). Let o = g - 2/333. Is -2/9 greater than o?
False
Let t(u) = u**3 - 14*u**2 + 4*u - 33. Let r be t(14). Let y be (r - -12)*2/10. Is -2/19 at most as big as y?
True
Let d = 163 + -1143/7. Let r be ((-2)/24)/(1/(-3)). Which is smaller: d or r?
d
Suppose -12*d + 3904 + 2204 = 0. Which is greater: 510 or d?
510
Suppose d - 5 = -0. Suppose 3*x - 5*f - d = 0, x + f = -4 + 11. Suppose 5*r - 61 = -4*u, 0 = 3*r + x*u - 19 - 28. Which is smaller: 8 or r?
8
Suppose 1154*u - 1161*u = 0. Is u greater than 25/26?
False
Let j(k) = -8*k + 170*k**3 + 3 + 12 - 171*k**3 + 7*k**2. Let m be j(6). Which is smaller: 2 or m?
2
Let o be (-30)/(-3) - (-7 - -4). Let z = o - 14. Let x be z/4 + (-123)/(-12). Which is bigger: x or 9?
x
Suppose 6*j + 14 = -4. Let h be (-20)/(-10) + j + -1. Let c be 3*4/(h + -2). Which is smaller: c or 1/3?
c
Let i = -1261/6 + 211. Let y = 41/24 - 11/8. Let d = y + 1/6. Which is smaller: i or d?
d
Let c(m) = 4*m**2 + 9*m - 70. Let s be c(-6). Which is greater: s or 101/5?
101/5
Suppose -2*t - 128 = -36. Let p(f) = 16*f + 545. Let z be p(-37). Which is bigger: z or t?
t
Let c = 1656683/60 - 27612. Let m = c + 7/10. Which is bigger: 1 or m?
1
Let t = -221/3 + 74. Which is bigger: 0.02 or t?
t
Let d(u) = -u**3 - 5*u**2 + 10*u - 12. Let m be d(-8). Suppose 2*o = -3*o + m. Suppose -9*c + 34 = -o. Which is smaller: 2 or c?
2
Let h = -710 + 683. Which is smaller: -26 or h?
h
Let a(u) be the second derivative of u**4 + 3*u**2/2 - u. Let k be a(-5). Let v = k + -2427/8. Is v at least 0?
False
Suppose -23*i + 76*i = -49449. Is i != -1?
True
Let x = -251475 - -5777372/23. Let y = 285 + x. Are -1 and y unequal?
True
Let f(d) = -d - 10. Let z(t) be the third derivative of -t**5/60 + t**4/3 + 5*t**3/3 - 10*t**2. Let j be z(8). Let c be f(j). Is c at least -19?
False
Let p = 1243.189 + 1.811. Which is smaller: -1 or p?
-1
Suppose 0 = 5*l - 3*p + 8*p + 5, 4 = -5*l - 4*p. Which is bigger: 1/201 or l?
1/201
Suppose 3*h - 3 - 9 = 0. Suppose y - h*y - 3 = 0. Let a = 1228 + -1218. Is a greater than y?
True
Let b(a) = a**3 + 3*a**2 - 10*a - 25. Let p be b(3). Do p and -4/3 have the same value?
False
Let y be 1 + 3385/(-720) + 2. Let f = y + 7/48. Let q(p) = p**3 + 6*p**2 + 5*p - 1. Let l be q(-5). Is f at least as big as l?
False
Let d = 12.743 - -0.257. Is -1/4 less than or equal to d?
True
Let v = 78.301 - 0.301. Which is greater: 0 or v?
v
Let q be (-255)/108 + 4/12 - -2. Let c = -10 - -9. Which is smaller: c or q?
c
Suppose -2*x + 27 + 39 = 0. Let j = -42 + x. Which is bigger: -11 or j?
j
Let d = 0.11 - 4.11. Let f = 6.08 - 0.08. Let u = 8 - f. Which is smaller: d or u?
d
Suppose -z + g = z + 33, -4*z - 2*g = 78. Let u be (-45)/60*8/z. Is u >= 1/3?
True
Suppose 0*m = -7*m + 35. Let x be m/(-5)*((-21)/558)/7. Which is bigger: 0 or x?
x
Let u be (12/16)/((-1)/(-8)). Let r(c) = -c**3 - 6*c**2 - 7*c + 8. Let j be r(-4). Are j and u unequal?
True
Let o = 0.19 + 14.81. Let b = -3174 + 3176. Which is smaller: b or o?
b
Let z be (70/(-25) + 4)*15. Suppose z = -3*h + n - 0*n, -2*h - 5*n = -5. Which is greater: h or -9/2?
-9/2
Suppose -2*s = 3*m - 5*s - 1203, 5 = s. Let v be 1 - 1/(2/m). Let p = v + 1820/9. Is 0 at least p?
False
Suppose 21*g - 28 = -112. Let r be (28/3)/(-2) + 2. Is r less than g?
False
Let s = 46/9911 - -52438365/158576. Let v = -331 + s. Does v = 1?
False
Suppose 5*h - 50 = 4*d - 3, 0 = 3*h + d - 18. Let o(i) = -i**3 + 8*i**2 - 8*i + 7. Let g be o(h). Let n be g/2 - 