 4*n + 179 = -2*z + 5*z, -5*z - 4*n + 245 = 0. Let t = z + -39. Is t at least 53/4?
True
Let d be ((-4)/(-10))/((-4)/(-360)). Suppose 3*v - 40 = 6*m - 4*m, 0 = -2*m + v - d. Let p = 11 + m. Which is greater: p or 2?
2
Let q = -29 - -32. Suppose -b + 4*b - q = 0, 0 = f + 4*b + 24. Which is smaller: -26 or f?
f
Suppose -5*j + 565 + 95 = -3*w, 264 = 2*j + w. Is 132 less than j?
False
Let a = 2164 + -30325/14. Is a bigger than -1?
False
Let l = 538 - 535. Is l smaller than 0.05?
False
Let c = 0.25 - 5.25. Let x = -7.027 - -0.027. Is c smaller than x?
False
Let p = -21 - -21. Is -1/18 less than p?
True
Suppose -3*d - 12 = d. Let p(u) = 2*u**2 - 11*u + 11. Let q(a) = -a**2 + 5*a - 5. Let t(i) = d*p(i) - 7*q(i). Let o be t(1). Which is smaller: o or -4/11?
-4/11
Let g = -29 + 29. Let j be (g*5/15)/(-3). Is -0.17 <= j?
True
Let t be (2/40)/((-520)/50). Is t > 0?
False
Let z(j) = j**3 - 5*j**2 + 6*j + 4. Let c be z(5). Suppose 5*s - c = 1. Let g = 198 + -197. Is s < g?
False
Let b = 697 - 509. Which is greater: b or 189?
189
Let t be (12/(-1))/(-12 - -10). Let o(c) = c - 2 - 3 - c**2 + 6*c. Let b be o(t). Is 1/15 <= b?
True
Let p = 9 - -6. Let s = -65 + 177. Let b be 2/(-4) - 8/(s/(-217)). Is p at least as big as b?
True
Let j = -5617117/697080 + 5365/3768. Let y = j + -6/185. Is -8 greater than y?
False
Suppose 3*c + 53 = -3*o + 260, -5*c = -o + 63. Let x = o + -8. Suppose -6*b = -b + x. Is 1 less than b?
False
Let n be (85/(-20) + 5)/2. Let s be -3 + 15/3 - 3. Which is greater: s or n?
n
Let y be 4 + 2 + (3 - 4). Suppose -5*v + 3 = -4*g + 8, -y*g + 3*v + 16 = 0. Is g <= 60/13?
False
Let t(u) = u**2 + 7*u + 8. Let o be t(-6). Suppose 2*p - 4 = -o*p. Let s be 20/15*p/(-6). Do s and -9 have the same value?
False
Let u = -0.153 + 0.353. Is -134/7 greater than or equal to u?
False
Suppose 67 = -c + 2*p, c = 4*p - 39 - 32. Is c greater than -65?
True
Let u = 0.065 + 0.017. Let o = u - 0.062. Is o less than or equal to -0.04?
False
Suppose 5*y + 5*g - 25 = 0, -g + 26 = 5*y + 3*g. Suppose -q + f = 2, -3*f + 3 = -y. Which is smaller: q or 6/29?
6/29
Suppose 0 = -9*u + 356 + 499. Let g = -90 + u. Is g bigger than -1?
True
Let b be 8/12*(-39)/26. Let s be (4 + -1)/(6/20). Let g be (12/s)/(27/10). Is b smaller than g?
True
Let i(d) = d**2 + 8*d + 3. Suppose 0 = -6*l + l - 15. Let j be i(l). Suppose -1399*h + 48 = -1403*h. Does h = j?
True
Suppose -7 = -q - q + 3*v, 0 = 2*q - 2*v - 6. Let o = q + -4. Let m = 13/38 + -281/266. Which is greater: o or m?
m
Let i be (-12)/153*(-1245)/(-84). Let g = -1/51 - i. Which is greater: g or 1?
g
Suppose -n - 5*u + 17 = 0, 13 = n + 8*u - 4*u. Is n bigger than -1?
False
Let p = -7 - -12. Suppose 0 = -p*r + 4*r. Let w be (-10)/45 + 10/(-36). Does r = w?
False
Suppose -33 + 13 = -5*j. Let v(k) be the third derivative of k**5/60 - 8*k**3/3 + k**2. Let c be v(-4). Which is bigger: c or j?
j
Let m be (-4375)/1460 + 2 + 1. Which is greater: m or 0?
m
Suppose -3*h + 32 = -4*q, 2*h + 2*h - 3*q = 38. Suppose -18 - 12 = 5*w. Let j = 15 + w. Is h at least as big as j?
False
Suppose b + b + 4 = 0. Let u be ((-6438)/12)/((-20)/(-8)). Let z = u - -214. Do b and z have the same value?
False
Let b(y) = -9*y + 0*y**3 + y**3 + 14 + 4*y**2 - 2*y**2 + 7*y**2. Let k be b(-10). Let o be 2*(-3)/(-72)*k. Which is greater: o or 0.1?
o
Let t(g) = 3*g - 18. Let h be t(7). Let q be h*4/(-18) + -1 - -1. Is -0.13 less than or equal to q?
False
Suppose 0 = -3*c + 2*b - 11, -2*c - b = -3*b + 10. Which is smaller: c or 1?
c
Let a = 928/99 - 86/9. Let j be (-4)/(-10) - 26/(-10). Suppose 1 + 2 = j*x. Is a at least x?
False
Let f = -538035/26 - -20691. Which is greater: f or -2?
-2
Let k = -1/89 - -93/356. Which is greater: -8.2 or k?
k
Let f(l) = l**3 - 21*l - 1 + 13*l**2 + 28 + 33*l. Let u be f(-12). Which is bigger: 26 or u?
u
Suppose -2*l + 2*a + 14 = 0, 3*l - 4*a - 14 - 4 = 0. Let r be l/25 - (-23)/5. Suppose h - r*h - 2 = 2*o, 5*h + 5*o + 5 = 0. Is 0 greater than h?
False
Let v(s) = 4*s**2 - 28*s - 24. Let z be v(-13). Let k = z + -49786/49. Is -1 != k?
True
Let c(d) = -d**3 - 49*d**2 - 2*d - 81. Let i be c(-49). Is 12 at least i?
False
Suppose -5*g - 12 = -7*g. Suppose -2*z + g*z - 4 = 0. Which is smaller: z or 1/21?
1/21
Suppose -4012 + 4015 = -3*a. Is a > 1/546?
False
Let t be 90 + (4 - 10) + 11. Which is bigger: t or 286/3?
286/3
Let u(q) = -8*q. Let r be u(-4). Let t be 0 + (-20)/r + 1. Which is greater: t or 0?
t
Suppose 20*f - 240 = 15*f. Suppose -3*o - f = -5*o. Do 25 and o have different values?
True
Let h = -83/6 - -29/2. Let j = -0.59 - 0.11. Let b = j + 0.6. Which is smaller: b or h?
b
Let g(r) = r**3 + 13*r**2 + 4*r + 18. Let a be g(-12). Which is greater: a or 115?
115
Let c = 7561.11 + -7561. Let r = -0.04 - -5.04. Which is bigger: c or r?
r
Suppose -5*z + 10 = -6*z. Let p be (-6)/((4/(-3))/(-2)). Let g = z - p. Is -8/9 less than g?
False
Suppose 2*q = -3*q + 45. Suppose 0 = q*s - 27 - 18. Are 6 and s equal?
False
Suppose -677*v + 21 = -680*v. Is v equal to 7?
False
Suppose 49 = -3*j + 4*p, 49*p - 8 = j + 46*p. Which is smaller: -30 or j?
-30
Let x = -15 - -25. Let n be 1/(3/(-5) - (-41)/x). Is -16 bigger than n?
False
Suppose 4*n = r + 198, 764 = -10*r + 6*r + 2*n. Which is bigger: -187 or r?
-187
Let m = -287 - -284. Is -4 <= m?
True
Let l be -13 - 4460/(-340) - (-3499)/170. Is l >= 20?
True
Let p be (-3 + 87/30)*6 - (-24)/(-60). Let m = -3 + 4. Let u be 2/(m*-18)*4. Are p and u equal?
False
Let r = -0.18 + -0.82. Are r and 117 nonequal?
True
Let r be 8*4 - 4/(-4). Suppose -5*z = -s - 25, -2*s + 2*z = 3*s + r. Let h = -10.1 - -10. Is h at most as big as s?
False
Let y = 1431 + -1619. Is y not equal to 0.1?
True
Suppose 34*w + 12 = 37*w. Let a be (-9)/(-6)*w/(-6) + -1. Is a greater than -4?
True
Let s be 0 + 0 - (-1 - -2). Let l be (-5)/9*110/275. Is s >= l?
False
Let i(l) = -3*l + 39. Let q be i(20). Let j(d) = 2*d + 22. Let z be j(q). Which is greater: -22 or z?
z
Suppose 2219 = 11*p - 773. Which is smaller: 271 or p?
271
Let g = 1 + -1. Let w = g - -1/3. Let c be (3 + 180/(-84))*-1. Is c >= w?
False
Suppose 2*z + 5*k = -2*z + 57, -4*z - 3*k = -47. Suppose 0 = x + 2*x + 102. Let d be 2/(-8) - x/z. Are d and 4 unequal?
False
Let r = 0.015 - -42.985. Let c = r - 18. Let h = c - 21. Is -0.2 at least h?
False
Let o be 8/14 - (-335)/(-35). Is o at least as big as -4?
False
Let n = 474 + -472. Which is bigger: n or -3?
n
Let k = 2 - 8. Let d = 6941 + -6939. Does k = d?
False
Let f = -94 - -101.4. Let g = f + -2.4. Let i = -16 - g. Which is greater: i or 0.1?
0.1
Let m be (8/10)/(8/(-40)). Let s be (-58)/(-36)*(-6)/(-4). Let r = -1/12 - s. Do r and m have different values?
True
Let u(g) = 4*g**3 - 2*g**2 + 3*g - 4. Suppose 84 = p + 82. Let n be u(p). Let v = 0 + 26. Is v > n?
False
Let p = 0.11 + -14.11. Let j = 229 - 215. Let d = p + j. Does d = -2/21?
False
Let y be 24/180 - 223/(-15). Let m be (5/y)/((-15)/18). Are 1/17 and m nonequal?
True
Suppose -5*g + 4*t - 847 = 0, -2*g - 2*t - 322 = 2*t. Which is bigger: g or -168?
g
Let y = -52 - -69. Let n = y - 17. Is 2/67 smaller than n?
False
Let u = -34 - -35. Let p be u/(-3) + (-8)/12. Is -9 equal to p?
False
Let o = -150 - -150. Let q be (8/(-7) + 1)*-4. Let s = 6/7 - q. Is s at most as big as o?
False
Let c = -1341 + 2790. Let g be 4/10 - c/(-15). Let i = g + -189/2. Is i greater than 0?
True
Let j be -2*(2 + (-9)/6). Suppose 6*k - 15 = k. Let i be k + (2 - 152/28). Which is greater: j or i?
i
Let p(n) = n**2 + n - 2. Let i be p(5). Let y(o) = o**2 - 2*o - 1. Let g be y(-1). Suppose g*j = -2*a + i, -a + 5*a + 5*j = 59. Which is bigger: 12 or a?
12
Let f = -118.1 + 118.4. Which is smaller: f or -153/4?
-153/4
Suppose 1 = -2*t + 9. Suppose o + 16 = -3*s + 4, t*o = 5*s + 37. Suppose -16 = 7*w - o*w. Which is greater: w or -5?
w
Let m = 29 - 34. Let b = -4 - m. Let i = -2137/5 - -429. Is b not equal to i?
True
Let s = -0.8 - 1.2. Let m = -49.1 + 44.1. Is s greater than m?
True
Let c = 2359 + -415179/176. Is c <= -1?
False
Let a = -46 + 47. Let h be (5/a - 23)/((-1)/(-1)). Suppose 0 = -u + 11 - 28. Is h equal to u?
False
Let d = 73/15 + -5. Let m(c) = c**2 - 7*c + 12. Let t be m(5). Suppose b - 4 = -3*u, b + t = 3*b. Which is bigger: d or u?
u
Suppose 5*t + f + 687 = 144, 0 = -3*t + 3*f - 333. D