 -4*g - 3*j + 312, -3*g + 4*j = -206. Let f = g - 62. Are f and 0 equal?
False
Let q(u) = u**2 - 15*u + 23. Let i be q(13). Let w = 4 + -1. Suppose g + 7 = 2, -2*j = w*g + 23. Is i < j?
False
Let s = -47.8107 + 0.0107. Which is smaller: -0.2 or s?
s
Let c = -757 + 762. Is c smaller than -76?
False
Let j be (-100)/60 - 14/6. Is j > -36/11?
False
Suppose -4*k = -12, 5*j - 2*k - 1230 = 3*k. Suppose 0 = -x - 2*x - j. Let b = 1081/13 + x. Does 1 = b?
False
Let u be (62238/(-28440))/11 - 2/(-10). Is 0 != u?
True
Let s be (8/7)/((-14)/(-49)). Suppose 5*n + 20 = 0, -56 = -s*p - 3*n + 7*n. Let l(t) = t - 2. Let b be l(p). Is b equal to 5?
False
Let n be (1 + 5/2)/(5/30). Let p be 8/(-84) + 86/n. Is p at most 3?
False
Suppose -2*o + 0*o = a - 3, -3*a - 2*o + 5 = 0. Let m be 1 - 44/(-4) - a. Which is smaller: m or 9?
9
Suppose 1 = -5*u + b - 3, -b = -4. Let i be ((-9)/(-16))/(u - 3). Is i bigger than 0?
False
Let c(b) = -b**3 - 6*b**2 - 5*b. Let g be c(-5). Let j(k) = k**2 - k - 1174. Let d be j(g). Let m = -71616/61 - d. Is -1 at most m?
True
Suppose t + 5*u + 34 = 0, 170 = -3*t - 2*t + u. Let d = -30 - t. Are d and 4 nonequal?
False
Let d = 0 + 1. Let r = 106.6 + -74.7. Let l = r + -32. Which is greater: l or d?
d
Let j = -395 - -1199/3. Let z(c) = -c**3 + 5*c**2 - 9*c + 6. Let b be z(3). Let i = b + 8. Is j at most i?
True
Let u be 86/(-4) - (30/(-4))/5. Let y be ((-2)/u)/((-9)/6). Do 1 and y have the same value?
False
Suppose 25 = 5*k, 4*x + 4*k - 16 = 4. Suppose 2*a - 6*y + 4 = -4*y, -4*a = -5*y + 13. Let q be (a - (0 - -3))/2. Do x and q have different values?
False
Let k be (-400)/(-150)*(3 + 2529/(-876)). Is k bigger than -1?
True
Let q = 34382 - 25202010/733. Is q at most as big as -1?
False
Let c = 2/39057 - -468398/5585151. Which is bigger: 0 or c?
c
Suppose -7*x + 472 = -3*x. Suppose -2*v - 4*d - x = -26, -3*d + 106 = -2*v. Let j = 1451/29 + v. Is 0 >= j?
False
Let o = 21.72 - 21. Let j = o - 0.82. Is 1.1 not equal to j?
True
Let l = 0.17 + -0.13. Let u(m) = 5*m - 170. Let d be u(34). Is l >= d?
True
Let k be 6/14 - 1298/2310. Which is bigger: k or 0?
0
Let o(i) = -2*i + 12. Let g(v) = -v**2 + 9*v - 2. Let m be g(8). Let w be o(m). Does w = -2/5?
False
Suppose -m = m - 2*p + 230, 5*m + p + 605 = 0. Is -118 less than m?
False
Let p = -36 + 50. Let r be (-68)/(-144) - 2/9. Is r at least as big as p?
False
Let a be 2/(-9) - (-224)/36. Suppose q = -5*q - a. Which is bigger: q or 5/12?
5/12
Let y = -3/514 - 3541/9766. Is -1 >= y?
False
Let y(q) = -3*q - 4. Suppose -5*a - 20 = 10. Let n be y(a). Let i = 33 - 19. Is i less than n?
False
Let d be (621/138)/((-26)/8) - -2. Is 0 at least as big as d?
False
Suppose 2*z = -0 + 6. Let a = z - 7. Let i be (-16)/14 + a/(-28). Which is greater: i or -2/7?
-2/7
Let j = -52 + -8. Let x = 60.14 + j. Is 0 bigger than x?
False
Suppose 2*x + i - 20 = -i, 0 = -2*x + 4*i - 10. Suppose 0 = -x*l + 4*w + 147, 5*l - 138 = -0*l + w. Which is smaller: l or 28?
l
Suppose -1 = 2*l - 11. Let t = -17/3 - -11. Do l and t have different values?
True
Let b(o) = o**3 + o - 28. Let c be b(0). Let x be ((-1)/6)/((-1)/(c/1)). Are x and -5 equal?
False
Let u = 5.85 + -9. Let g = u - -0.15. Is -3/5 not equal to g?
True
Let l = -0.84 - -3.84. Let r = -10.1 + 10. Which is smaller: r or l?
r
Let z(f) = -601*f - 3024. Let r be z(-5). Suppose -4*s + 25 = 3*m + 66, -25 = -5*m. Which is bigger: s or r?
s
Suppose -5*j = -j - 24. Let d be (3/j - -2)/(5/10). Is 0 < d?
True
Let n(w) = -w**2 - 7*w - 4. Let z be n(-6). Suppose -2*f - z = 2. Let k = -8/5 - -1/10. Is f at least k?
False
Let k be 2/1*(-8)/(-4). Suppose -4*t + k*b = -3*t - 27, 3*t + 3*b - 126 = 0. Suppose o - t = 5*g, 5*o - 95 = 4*g + g. Is 14 != o?
False
Let f = -0.19 - 0.81. Which is greater: 102 or f?
102
Let z be (-1)/9 - (-6 - 644/(-36)). Suppose -4*g + g - 42 = 0. Which is greater: z or g?
z
Let j = -94.3 + 140. Let o = 46 - j. Which is greater: 0 or o?
o
Let u = 119 + -834/7. Which is bigger: -1 or u?
u
Suppose 22*t = -31*t + 901. Which is smaller: t or -10?
-10
Let h(w) = -2*w. Let t be h(-5). Let o(b) = -8*b**3 + 2*b**2 + 5*b + 4. Let v be o(-1). Which is smaller: t or v?
v
Let v(i) = 5*i**3 + 4*i**2 + 2*i - 22. Let w be v(3). Which is smaller: w or 152?
152
Let g(o) = -o**3 + 14*o**2 - 23*o - 27. Let k be g(12). Let u be (3/2)/(3/(-30)). Is u > k?
False
Suppose -3*c + 5*c = -5*l - 15, -3*l + c = -2. Let r be 9/(-60)*10/(-372). Let s = r - 503/1736. Which is bigger: s or l?
s
Let w = -17 - -2. Let a(p) = p**3 - 7*p**2 + 8*p - 5. Let q be a(6). Let u = -8 - q. Does w = u?
True
Suppose 3*k = 3*f - 1 - 8, k + 4*f = 22. Let i = -1 + k. Which is bigger: i or 2/25?
i
Let b = 17040317913/105087547 + -41187/254. Let f = -671901113/1534112694 - b. Let d = f + -2/309. Is d less than or equal to -2/3?
False
Suppose 4*h + 5*y + 32 = 0, -6*h = -h - 5*y - 5. Let t be 5/h*(-2 + -1). Which is smaller: 6 or t?
t
Let r be 4/(-20) + 148/640. Let p = -11/8 - -25/24. Is r bigger than p?
True
Let d = 1745/4002 + -19/46. Let a = 31/87 - d. Let p = 4 + -5. Which is smaller: p or a?
p
Let v = -148.2 - -148. Let m be (-22)/36 + (-2)/9. Are v and m non-equal?
True
Let t = -8 + 7.952. Let r = t - -0.348. Which is bigger: 4/3 or r?
4/3
Let p be -7 - (-477)/(-8)*(-320)/2640. Which is bigger: 7 or p?
7
Let o = -373/13300 - 2/175. Which is greater: 1 or o?
1
Let l be (46/(-6) + (-3)/9)/(-193). Let v = l + -803/5404. Which is smaller: 0 or v?
v
Let b = -47/172 - -1/43. Let s be (-3)/(-4)*4/(-5). Is s bigger than b?
False
Suppose -3*p + 5*j - 3 = 0, 2*p = -j - 4*j - 27. Let g be (1 - 9/6)*(p + 10). Which is smaller: -7/8 or g?
g
Let w be 155/25 + -6 + (-2)/1060*86. Let t(m) = -m**2 + m + 1. Let u be t(2). Let a = u - -1. Do w and a have the same value?
False
Let j(o) = -o**2 + 4*o + 3. Let y(b) = -b**3 - 11*b**2 - 10*b + 5. Let p be y(-10). Let c be j(p). Let w be 0/(c*4/8). Is w > 4?
False
Let b = -10 + 10.7. Let c = -2.4 - 14.7. Let i = 17 + c. Is b at most i?
False
Let a = -1.9845 - 0.0155. Which is greater: a or -1/4?
-1/4
Suppose 19*g - 3*g = -2368. Is -149 greater than g?
False
Suppose 2*u - u - 4 = -3*c, u + 4*c = 5. Let i = 43 + -39. Let r be (-1)/i - (-7)/(-14). Is r smaller than u?
True
Let l = 5 + -2. Let w be 2/4*-2*0. Suppose -5*z + w*z + 5 = 0. Which is smaller: l or z?
z
Suppose b + 267 = 26*w - 29*w, 0 = -3*b - 3*w - 783. Is -257 at least as big as b?
True
Suppose 0 = 9*c + 3630 - 291. Which is smaller: -372 or c?
-372
Let r = 39 - 39.16. Let k = r - 0.04. Let u = -55/14 + 38/7. Which is greater: k or u?
u
Let y = -9139 + 54593/6. Which is greater: y or -41?
y
Suppose 3*q - 3*h - 6483 = 0, -4*h = -38*q + 37*q + 2161. Which is bigger: 2160 or q?
q
Let c = -218 + 216. Let r = -175 + 871/5. Is r smaller than c?
False
Let m = 94 - 92. Suppose u + m*v + 12 = 0, 0 = 2*u - 3*v - 10 - 1. Which is bigger: -9/8 or u?
-9/8
Let r = -0.4 + -11.6. Let m = -20 - r. Let z = -134/685 + -28/137. Is z at most as big as m?
False
Let d(c) = -c**3 + 7*c**2 + 1. Let p be d(7). Let j = -0.7 + 2.9. Let u = -0.2 + j. Which is smaller: u or p?
p
Let f be (2/(-1) + 5)*1. Suppose -z - f = 2*b + 1, b + z = 0. Which is bigger: b or -3?
-3
Let i be (-9)/2*88/(-2788). Let z = i - 1/41. Let u = -8 + 8. Which is smaller: u or z?
u
Let d be (44/(-55))/(4/(-10)). Let o(w) = 5*w**2 - 8 - w**3 - 7*w**d - 4*w**2 + 6*w. Let u be o(-7). Is u at least -3?
True
Let k be 15/(-12) + 13/52. Is k greater than or equal to -7/76?
False
Suppose -3*q = 3*s - 2*s - 14, 4*q - 7 = s. Suppose s*l = 5, w + 12 = 3*l - 3. Is w < -11?
True
Suppose 2*r - s = -1, 0 = -3*r + 2*s - 0*s. Let j(a) = a + 12. Let y be j(-14). Let v be 4/(-4)*(y - -2). Does r = v?
False
Suppose 0 = -0*d + 3*d + 45. Let z = 298 - 287. Let o = z + d. Is o at least -6?
True
Let k(z) = 73*z**3 + 2*z**2 + z - 1. Let x be k(-1). Let t = 92 + x. Is t equal to 17?
False
Let q(h) = -h**3 - 6*h**2 + 2*h + 6. Let c be 1/(4/24)*-1. Let i be q(c). Are i and -22/3 equal?
False
Let a = -124 + 39. Let o = 84.9 + a. Which is smaller: 37 or o?
o
Let g = -3.253 + 0.253. Which is bigger: -51 or g?
g
Let y(d) = -d**3 + d**2 - d + 4. Let b be y(0). Suppose 17*r - b*r - 468 = 0. Is 36 less than or equal to r?
True
Let u = 239 - 399. Do u and 1/3 have different values?
True
Let h be (-4 + 6 + -2)