*l**2 - 12*l - 6. Let n be z(7). Suppose -4*c - n = -12*c. Is c smaller than 1/74?
False
Let v be (8 - (-7 + 27))/2. Let m be ((-21)/(-12))/(2/(-8)). Are v and m equal?
False
Let p = 245 - 250. Let s = 6 - -2. Suppose 4*y - 20 = s*y. Is p > y?
False
Let o = -284 - -284.1. Is -106 < o?
True
Suppose -m - u = -3*m + 11, u = -3. Suppose -9*x = -m*x - 30. Suppose -x + 10 = -4*k. Which is bigger: k or -15/7?
k
Let n = -79 - -84. Suppose 0 = -6*p + p - l + 8, n*l - 12 = 3*p. Are 2/85 and p unequal?
True
Let a = -8045/3 + 2709. Let b = 27 - a. Let u = -1.9 + -0.1. Which is smaller: u or b?
u
Let w be 15/4*792/(-110). Is -25 <= w?
False
Let z = -508227/196 + 2593. Is 0.2 greater than or equal to z?
True
Let q(m) = -m + 12. Let g be q(11). Let i be 600/(-500)*(17/(-15) - -1). Is i != g?
True
Let t = -109 - -329/3. Suppose 0 = -5*l + 108 + 12. Let x = -18 + l. Which is greater: x or t?
x
Let t = 674 - 693. Which is smaller: t or -14?
t
Let z be (-5)/(-70)*8/7. Which is bigger: 1 or z?
1
Let d be ((-7)/(-14))/(3/2)*18. Suppose -3*y = y - 24. Do d and y have the same value?
True
Let q = 6 + -3. Let p = 20601 - 20603. Which is smaller: q or p?
p
Let p(n) = 2*n**3 - 3*n**2 + n. Let j be p(-3). Let q = 345 - 349. Let x be q/(-14) + 59/j. Do x and 0 have the same value?
False
Let r = -22 + 24. Suppose 2*m - 2*h = -30, -3*m - r*h + 3*h - 45 = 0. Let g be (-460)/m + (-1)/(-3). Which is greater: 32 or g?
32
Let w(p) = p**3 + 8*p**2 + 8*p + 12. Let s be w(-7). Let g be (s/(-2) - 0)*3/30. Which is smaller: g or 32/5?
g
Suppose z + 5*d - 30 = 0, 20 = z - 2*d + 5*d. Let i(p) = -p**2 + 5*p - 5. Let l be i(z). Suppose 6 = 3*j + 15. Is l < j?
True
Let x = -1304/105 - -86/7. Suppose 337*r = 327*r - 10. Do x and r have the same value?
False
Let v = -9 - -16. Let x = 5 - v. Let k = 1228/35 - 174/5. Are k and x equal?
False
Let j(y) = -2*y + 11. Let f be j(5). Suppose 5*q - 16 = r, 3*q = 3*r + 5*q - 20. Is f bigger than r?
False
Let o be ((-4)/84)/(12/(-5580)). Which is smaller: o or 22?
22
Let c(z) be the third derivative of 7*z**6/120 - z**5/60 - 9*z**2. Let x be c(1). Is 5 at least x?
False
Let j be (-14)/4*(-1 + -1). Suppose 4*l - l - 111 = 0. Suppose 20 = 5*k + 4*h, -k + 5*k - h - l = 0. Are k and j non-equal?
True
Let x be ((-150)/4)/(3/(-8)). Let r = -100 + x. Let z = -81/2 + 42. Is r smaller than z?
True
Let b = 0.31 + -0.07. Let r = b - 0.24. Is r >= -1.1?
True
Let x(j) = 28*j + 32. Let n be x(-2). Which is bigger: n or -28?
n
Let l be -3 + 3 + (-72)/(-22). Let g = l + -97/33. Let v = 10 - 22. Which is bigger: v or g?
g
Suppose -2*f - 14 = 2*g, 0 - 1 = g. Let m = f + 18. Let b = -12 + m. Is b greater than or equal to -2/21?
True
Let r = 104/27 + -235/54. Is -27/2 greater than or equal to r?
False
Let h = -3.63 - -13.54. Let c = h - -0.09. Let z = 10.9 - c. Is z greater than -1?
True
Let v = -323 + 317. Are v and -75/13 unequal?
True
Let i be -6 - (5 - 6) - -67. Is 65 <= i?
False
Suppose -22*n = 31*n - 52682. Which is smaller: 993 or n?
993
Let r = -19903066/4641 + 72940/17. Let v = -28/13 + r. Which is smaller: 1 or v?
v
Let n be (-343)/(-1) + 15 + -19. Which is greater: n or 338?
n
Let r(p) = -2*p**3 + 12*p**2 - p + 13. Let m be r(6). Suppose -5*o = w + w - 23, 2*w = 5*o - m. Is 24/13 at most o?
True
Let a = -13 + 15. Suppose 4*n + 13 = -a*q + n, -5*q + 4*n = -25. Which is smaller: -1/4 or q?
-1/4
Let i = 290 + -289. Is 4/5 bigger than i?
False
Suppose -5*o + v = -60 + 10, -3*o = -5*v - 8. Let p = -379 - -383. Which is smaller: o or p?
p
Let m = -2 - -4. Suppose -t + 5 = -m*t. Let n be (-6)/4 + t/(-10). Which is bigger: -2/19 or n?
-2/19
Let m = -10 - -10.12. Let g = m + -4.12. Let k = 3.9 + g. Is k at most as big as -2/17?
False
Let m(k) = -14*k**3 - 2*k + 1. Let a be m(1). Suppose -112 - 35 = -217*b + 238*b. Which is greater: a or b?
b
Let m(y) = 149*y**3 + 2*y**2 - 9*y - 10. Let q be m(-1). Is q > -146?
False
Let g = 724/3 + -238. Which is smaller: 3 or g?
3
Let w = 671 - 615. Is 48 < w?
True
Let m = -1721 + 1720.424. Which is greater: m or 2/7?
2/7
Suppose -4*x = -5*q + 1310, 0 = -2*q - 7*x + 2*x + 557. Suppose 0 = -4*s + 11*s + q. Let y = s - -53. Is 15 smaller than y?
False
Let r = -130 - -45. Is 0.1 != r?
True
Let d = 168 + -168. Is 1/25 less than d?
False
Let l(s) = -88*s - 738. Let c be l(-9). Is c > 56?
False
Suppose -p = p + 5*p. Let i be (p/(-4 - -5))/1. Is i > -1?
True
Suppose 1 = -4*t - 35. Let u be (t/12)/(-3) - -2. Let c(o) = -o**2 - 9*o - 9. Let v be c(-8). Which is bigger: v or u?
u
Suppose -5*x = f - 5*f + 47, 3*f - 4*x - 34 = 0. Suppose -p + 53 = 4*c, -3*c + 34 = -c - 2*p. Suppose -f = -2*t + c. Which is greater: t or 17?
17
Let m = -83 - -83.09. Let h = m + 4.91. Let t = 1 - 1. Is t at most h?
True
Let w = -17.37 - -17.2948. Which is smaller: w or 1?
w
Suppose s - 2 = -3*t, 4*t - 2*s + 8 = -6*s. Suppose t*n + 3*j = -2*j + 89, -3*n + 143 = -2*j. Do n and 47 have the same value?
True
Let b = -76 - -76.5. Which is bigger: b or 2/41?
b
Suppose 4*y - 13 = 7. Suppose 2*i = -0*i - 4*u + 20, 25 = -y*i + 5*u. Which is bigger: i or 3?
3
Let p(n) = n**2 - 10*n + 5. Let t be p(10). Suppose -t*x + 2*x - 39 = 0. Let z = 8 + x. Do -1/2 and z have the same value?
False
Let k = -1 + -1. Let o be ((-3)/2)/(4/(-40)). Let p = o - 9. Which is bigger: k or p?
p
Let a(k) = 2*k. Let r be a(3). Suppose r*z - 4 - 2 = 0. Let g be z/6*(-13 - -11). Which is smaller: 4 or g?
g
Let j = -5/252 + -7/36. Let l = -11 - -13. Suppose -4*b + l*b = -b. Is j bigger than b?
False
Let b = 0 - 0.1. Let d = -127 + 207. Let w = 242/3 - d. Is b >= w?
False
Let z(b) = -9*b**2 - 26*b - 106. Let h be z(-4). Is h <= -146?
True
Let u(l) = -l**3 - 9*l**2 + 6. Let g be u(-9). Let k(c) = c - 6. Let s be k(g). Let o be 6/9*18/(-60). Which is bigger: s or o?
s
Let u(n) = 2*n - 2. Let t be u(-5). Let p be 12*2/t*-2. Suppose 2*a - 5*c - 23 = -2*a, 4*a - 17 = 3*c. Is p at most as big as a?
False
Let d = -502 + 523. Let x(y) = -y + 5. Let m be x(3). Let t be ((-30)/(-5))/(d/m). Which is bigger: 1 or t?
1
Let y be 1/6 + (1 - (-4)/(-8)). Which is smaller: y or 313?
y
Let v = -210 + 208. Which is bigger: v or -164?
v
Let n = -5.9 - -36.9. Let a = 31.054 - n. Is a greater than or equal to -1/4?
True
Suppose 2*c - 10 = -4*f - 4, f - 3*c + 16 = 0. Suppose h = 3*d + 45, -h + 37 + 22 = -4*d. Let y be d/(-44) + 2/11. Which is smaller: f or y?
f
Suppose 4*l = 4*r - 2612, 12 = 12*r - 8*r. Which is smaller: l or 0.1?
l
Let j(p) = p**3 + 13*p**2 + 2. Let x be j(-13). Let z(t) = 13*t - 777 + 3*t**x + 777. Let l be z(-4). Which is bigger: -17/6 or l?
-17/6
Let s(w) = w**3 - 15*w**2 - 15*w - 16. Suppose -6*c - 80 = -11*c. Let a be s(c). Which is bigger: 1 or a?
1
Let j = 147 + -106. Which is greater: j or 34?
j
Suppose -12*y + 13*y - 6 = 0. Suppose y*a + 2*a - 24 = 0. Which is greater: a or 2?
a
Let g = -10063 - -50013/5. Is -59 less than or equal to g?
False
Let m = -54 + 57. Suppose 4*s + 25 - 5 = 3*f, 0 = m*s + 5*f - 14. Suppose -2*t = -0*t. Is s less than t?
True
Suppose 5*s - 135 + 25 = 0. Suppose -7 = 5*l - s. Is 7/4 <= l?
True
Let y be (-3)/(15/(-10)) - -13. Suppose y + 9 = -6*b. Let i(d) = -5*d**2 + 1. Let j be i(1). Do b and j have the same value?
True
Let u(b) = 8*b + 40. Let w be u(-5). Which is bigger: w or -0.104?
w
Let l = -571/27170 - -3/286. Which is smaller: -3 or l?
-3
Let s be ((-4)/25)/(2/(-5)). Suppose 0 = 9*l - 6*l + d - 21, -33 = -5*l - d. Which is bigger: l or s?
l
Suppose 2*l = 0, 2*j - 3*j + 6 = -4*l. Suppose 2*d = -3*x + 40, -107 = d - j*d - 4*x. Is 1 bigger than d?
False
Let l(t) = t**2 - 5*t - 11. Let i be l(7). Suppose 0 = -0*o - i*o - 18. Let j be (-1)/(27/o - -2). Is j greater than 2/5?
False
Let y = 40 - 19. Let c = -55 - y. Which is smaller: 0 or c?
c
Suppose 0 = -7*d - 25 - 234. Is d bigger than -41?
True
Let z be 4/((-3)/(-6) - 33/6). Let l = 38/35 + z. Is -20 at most as big as l?
True
Let z = -37 - -22. Let m(d) = -d**3 - 15*d**2 + d + 18. Let u be m(z). Suppose -t + 10 = u. Does t = 5?
False
Suppose 0 = 5*c - 4*s - 36 - 4, 4*s = 3*c - 32. Suppose 2*k = c*k - 2. Is 1 less than or equal to k?
True
Suppose 2*s = -0*s - 42. Let r be -2*1/2 - 3/s. Is r > -1?
True
Let l = -1998/19 + 105. Do -1 and l have the same value?
False
Let x = 48 + -32. Let i be (-18)/(6/x*2). Are -26 and i 