 m = f + -2/11399. Is -2 equal to m?
False
Let n be (618/(-2060))/((-6)/100). Let g be 2/10 - 124/(-5). Suppose 2*p + 0*u + u - g = 0, -p = -3*u - 9. Is p <= n?
False
Suppose -11*p + 886 = -533. Suppose -9*c = -168 - p. Which is bigger: 0 or c?
c
Let p = 6240 + -6241. Which is smaller: p or 9/19?
p
Suppose -4*x + 17 = -t, 2*t + 5*x = -2*t + 37. Let p be -29*25/(-45)*t + 5. Is 54 bigger than p?
True
Let f = 16274.0339 + -16274. Is 0.23 greater than f?
True
Let c be 27/(-342)*(-4)/(-33). Suppose 3*m - 5*n = -15, -4*n - 490 + 502 = 0. Is c less than m?
True
Let s = 316.2 + -317. Let g = 3.08 + -3. Which is smaller: s or g?
s
Let z = -1694 + 1682.2. Let l = -16 - -17. Which is greater: z or l?
l
Let g = -13/2 + 61/10. Let c(a) = a**2 + 21*a + 126. Let u be c(-11). Let d be u/(-9) - -2 - (-98)/126. Which is smaller: g or d?
g
Let m = 35 - 35.021. Let h = -35.43 - -36. Let z = 0.77 - h. Is z greater than m?
True
Let r = 3/6119 - 9637431/12238. Which is smaller: -789 or r?
-789
Let n(t) = t**2 - 24. Let o be n(-5). Let c be o/4 - (1967/(-84) - -3). Which is smaller: c or 0?
0
Let b(g) = g**2 - 5*g - 18. Let v be b(8). Let r be (-3)/6 + (-369)/v. Suppose 4*u - 2*u + 124 = 0. Is u > r?
False
Let j = -523 + 509. Let o = 43 - 21. Suppose o = -a + 8. Is j bigger than a?
False
Let v(c) = c**3 + 76*c**2 + 75*c - 61. Let w be v(-75). Which is bigger: 23 or w?
23
Let u = 51485.8 + -51487. Let b = -19 + 10. Which is bigger: b or u?
u
Let m = 18 + 64. Let d = m - 23. Let z = -53 + d. Which is greater: z or -2?
z
Suppose 2*h = 3*r + 20, 40*h = 2*r + 42*h - 10. Which is smaller: -723 or r?
-723
Let d be 24 + 10/(-14445)*34659. Let u be 6/3 - (2 - 1). Which is greater: u or d?
u
Let l be (-2 + 36/(-8) - -4)*-2. Suppose 3*k = 3*h - 9, l*h + 3*k + 11 = -14. Let o be (-2)/10 - (h/(-90))/1. Which is bigger: 21 or o?
21
Suppose 4*r + 12 + 54 = 2*h, -4*r + 89 = 3*h. Suppose -44 = -4*k + 12. Let q = h - k. Is q > 18?
False
Let q(c) = c**3 + 21*c**2 + c + 24. Let x be q(-21). Let f be (x/14)/(6*4/(-32)). Is f != -10.4?
True
Let y(w) = -29*w - 6. Let v be y(-7). Let i = v + -305. Which is smaller: -1/3 or i?
i
Suppose -13 = -6*h + 23. Let c be (-3 + -2 + 0 + h)*22. Are c and 19 unequal?
True
Let s = 479 - -219. Let v = s - 4163/6. Do v and 4 have the same value?
False
Let w = -7.5 + 384.6. Let r = w + -377. Which is smaller: r or 1.18?
r
Let y be (104/(-117))/((-52)/(-6) + 0). Let v(n) = -3*n + 29. Let k be v(8). Suppose -4 = -4*h - k*r + 6*r, 5*h = -r - 4. Which is smaller: h or y?
y
Let m be 1 - (2 - (-4)/18). Let w(i) = 289*i**3 - 2*i**2 + 6*i - 3. Let d be w(1). Let s = d + -290. Do s and m have different values?
True
Let p = -3.9 - -4. Let g(u) = -u**3 - 7*u**2 + u + 21. Let h be g(-7). Suppose 18*o - 64 = h*o. Is p > o?
False
Let v be (11210/(-2065))/((-4)/(-14)). Suppose y + 110 = 4*d, -4*y + 38 = d + y. Suppose 4*w = 2*z - 0*z + d, z + 20 = -w. Which is smaller: z or v?
v
Let w = 4719 - 4719. Which is greater: -5/97 or w?
w
Suppose k - 2*m - 6 = 0, -12*m = k - 15*m - 6. Suppose -4*y - 4 = -0*y. Let o be 4 + 14/6 + y. Which is smaller: o or k?
o
Let o(k) = 13 - 19*k + 0*k**2 - 2*k**2 - 4. Let v be o(-8). Suppose 92 = 2*j + 24. Is v <= j?
True
Let f be ((-10992)/72)/(22/(-6) - -3). Which is smaller: 222 or f?
222
Let y(c) = -2*c**2 - 16*c - 18. Let r be y(-6). Suppose 12*h + 8*h = r*h. Suppose h = 2*m + 68 - 66. Is -1/4 at least m?
True
Suppose 32*l - 3544 = -2*r + 28*l, 4*r = -5*l + 7079. Is 1766 greater than r?
False
Let t = -89441 + 89563.862. Let o = -123 + t. Which is greater: o or -2/3?
o
Let w be 4/(-2) + (-72226)/(-40623). Let h = 122479171/29544 - w. Let i = h - 4138. Which is greater: 8 or i?
8
Suppose -2*r + 67 - 21 = -5*g, 3 = -r - 4*g. Is r smaller than 16?
True
Suppose -q = -2*u - 4, -u + 1 + 1 = 0. Let f(v) = v**3 - 58*v**2 + 3*v - 165. Let j be f(58). Is q smaller than j?
True
Let q(z) = 890*z - 892. Let u be q(1). Are u and 528 equal?
False
Let h(o) = o**2 - 29. Let z be ((-2)/(-5))/(2/30 - 0). Let t be h(z). Suppose a + 6 = 17. Is t equal to a?
False
Let m(w) = 8 - 1 - 2*w - 8 - 3*w. Let x be m(-1). Suppose 0 = x*s - 0*s - 3*n + 8, 2*s = -5*n + 22. Is s less than or equal to -2?
False
Let u = 394 + -375. Let g(q) = 2*q**3 + 12*q**2 - 3*q + 2. Suppose 3*v + 9 = -9. Let f be g(v). Which is smaller: f or u?
u
Let i = -302 + 475. Suppose 180 = -163*h + i*h. Let p = 7 + -8. Which is bigger: p or h?
h
Let w be (-1717)/(-3535) - (0 - 2/(-10)). Let h = 0.999 + 0.001. Which is smaller: h or w?
w
Let q(h) = -h**2 - 15*h - 15. Let r be (4 + 0 - 6)*147/6. Let f = r - -36. Let x be q(f). Is x at most 11?
True
Suppose 2*k = -3*u + 5*k + 42, -27 = -3*u - 2*k. Let j be 24 - u - (-6*1)/2. Let x(f) = -6*f + 30. Let h be x(j). Which is greater: h or -2/7?
-2/7
Suppose 3*w - 12995 = -2*k - 3077, -34694 = -7*k - w. Is k less than or equal to 4955?
False
Suppose 0 = -3*p + 4*m - 4350 + 1274, 0 = -5*p - m - 5142. Which is smaller: -1027 or p?
p
Suppose 3*v = -5*w + 2*v - 1, 4*v = -5*w - 4. Let i be (-2)/3 - (w + (-86)/12). Does i = -1/5?
False
Suppose 120 = f + 29. Let i be (-7)/((-6)/9 + 184/312). Is i greater than f?
False
Let c be 39/((2 - 0)/(-20)*(-225)/(-60)). Which is greater: c or -76?
-76
Let x = 20045 - 20044. Is 1/5299 less than x?
True
Suppose -4 = q, 2*a - 5*q + 405 = -3*a. Let w = -10573 + 10487. Which is smaller: a or w?
w
Let z = -639.8 + 640. Let o = 73.5 + -70. Which is smaller: z or o?
z
Let c = -13644 + 6991. Is c greater than or equal to -6652?
False
Suppose -3*m + 6*q = -174, -7*m - 5*q + 196 = -4*m. Do m and 59 have the same value?
False
Suppose -4*x + 20 = 0, 0*q - 2*x = 3*q + 98. Let g be 42/54 - (-1 + (-40)/q). Is -1/185 at least g?
False
Let p = 47/150 - -1/50. Let j = 182146 - 181965. Is p bigger than j?
False
Let s = 3284 - 2891. Are s and 395 equal?
False
Let t be 1767/(-38)*478/3. Is -7409 less than t?
False
Let f be -5*(1*-10)/2. Let i be (-2 - f/(-12))/(6/32). Let g = -25 - -24. Are g and i nonequal?
True
Let i(d) = -6*d**3 + 199*d**2 - 25*d - 133. Let s be i(33). Do s and 115 have the same value?
False
Suppose 5*l - g - 18 = 0, -5*l = -0*g + g - 12. Suppose 161 = l*z + 167. Which is greater: z or 47?
47
Let a = 144 - 562. Let y = a - -416. Let c = -8 + 21. Is y less than c?
True
Suppose 0 = h + 1, 14 - 479 = -4*g + h. Which is greater: g or 112?
g
Let c = 86096/25245 + -273/85. Which is smaller: c or -1?
-1
Suppose 0 = -5*y + 17 - 47. Let v(f) = f**3 + 5*f**2 - 8*f - 8. Let m be v(y). Let r be 0/m - 3 - 12. Which is bigger: r or -16?
r
Let n = 1086636 + -163591963165/150549. Let y = n + 25292317/12796665. Let g = 14/17 + y. Does g = 4?
False
Suppose 23*u + 20*u = 516. Let y be u/(-28) - (-3401)/(-133). Which is smaller: y or -19?
y
Let t(n) = 2*n**3 - 5*n**2 + 3*n - 4. Let h be t(3). Let d(v) = -2*v**2 + 28*v + 3. Let m be d(h). Suppose 0 = 3*g + g. Which is smaller: g or m?
g
Let j be (-4)/(-63*(-26)/117) - (-43992)/153825. Are 0 and j non-equal?
True
Let d = -1406510686/7332443 - -17072/89. Is d less than or equal to 1?
True
Let o(j) = -4*j**3 - 23*j**2 + 74*j - 4. Let g be o(-8). Is -94/5 smaller than g?
False
Let a = 16837397 + -25306609045/1503. Let k be (-2)/4 + 342/668. Let l = k + a. Which is smaller: 0 or l?
l
Let w(p) = -44*p - 492. Let h be w(-11). Let l = 0 + 8. Suppose 2*d - d = -l. Does d = h?
True
Let u = -167.4 - -22.4. Let o = u - -152. Is 1/4 < o?
True
Let n(b) = 5*b - 6. Let u(l) = -1. Let t(y) = -n(y) + 3*u(y). Let i(o) = -o. Let w(j) = 6*i(j) - t(j). Let x be w(4). Which is smaller: -8 or x?
-8
Let t be 1*16 - (0 + -2). Let s be t/(-75)*(-1)/2. Let u be 0/(2 + (0 - 4))*-1. Are s and u non-equal?
True
Let g be ((-6)/(-4) - (-1 - 1))*16284/(-460). Is -125 > g?
False
Let m be (8/16)/((-1)/(-11))*4. Let y = -7 - -9. Are y and m equal?
False
Let l(b) be the third derivative of b**6/120 - b**5/12 - 11*b**4/24 - 11*b**3/3 + 19*b**2. Let g be l(7). Is -10/21 not equal to g?
True
Let c = -34230931205/286 - -119688719. Let x = 1632/11 - c. Is x != -1?
True
Let y(h) = -12*h + 28. Let x be y(4). Let m = 1527 + -1543. Which is greater: m or x?
m
Let n(d) = -d**2 - 69. Let y be n(0). Let t be 15582/(-265)*(-20)/18. Let g = y + t. Is -4 at most g?
True
Suppose -23*s + 21*s - 90 = 0. Let u be 240/s*(-18)/(-4). Let y be (-2)/12 -