 + 17. Is v >= -560?
True
Let n be (2 - 1/(-2 + 1)) + -55. Let p be 8732/n - (1 + 1 + -1). Let l = p - -169. Which is bigger: -1 or l?
l
Suppose g + 1540 = -5*q + 3*g, -3*q = -4*g + 910. Let n be 5 + q/78 - 1/3. Is n less than or equal to 0?
False
Let t(f) = f**2 + 5*f - 12. Let c be t(-6). Let g(r) = 92*r + 2568. Let p be g(-28). Which is bigger: p or c?
c
Let m = 17 + 27. Let a = 3454 + -3497. Let g = m + a. Are -2/101 and g non-equal?
True
Let q = 355 + -348. Let l(s) = s**3 - 6*s**2 - 7*s - 3. Let x be l(q). Which is greater: -4 or x?
x
Let s(z) = 2*z - 1. Let n(j) = 3*j. Let p(d) = -4*n(d) + 5*s(d). Let l be p(-2). Let g = l + 21. Is 20 not equal to g?
False
Suppose -2*b + 21 = -83. Let d = b + -50. Which is greater: d or -1/6?
d
Let c = -11297936/11 - -1022868. Let u = c + 4228. Which is smaller: 11 or u?
u
Let x = 466 - 154. Let a = x + -281. Is a bigger than 32?
False
Let f be (-14*5/(-140))/(-88). Which is smaller: -12/5 or f?
-12/5
Let u(l) be the second derivative of l**4/12 + 11*l**3/2 + 211*l**2/2 + 12*l - 2. Let y be u(-9). Is y less than or equal to -2/59?
True
Suppose 4*g - 459 = -18*g + 2181. Are g and 139 equal?
False
Let a = 2655 + -2656. Which is smaller: a or 2/87?
a
Suppose -413*s - 2637 = -31960. Suppose g - 2*m = 80, -6*g + g = 5*m - 340. Which is bigger: g or s?
g
Suppose -36*z = -21*z - 2235. Is 5 equal to z?
False
Let n = 908 - 896. Let m = 43 + -48. Is n > m?
True
Let v be (-2 + -8)*(-8)/(-32)*-2. Suppose -17*a + 12 + v = 0. Do a and 2/39 have the same value?
False
Let r = 5003 + -5002.9. Is 0.01216 < r?
True
Let m = 17 + -11. Let s = -128/3 + m. Which is smaller: s or -38?
-38
Let j = 15 + -10. Let f = -33/3175 + -36334469/22225. Let m = 1640 + f. Is j < m?
True
Let p be 958/(-1473) + (52/39)/2. Which is smaller: -1 or p?
-1
Let z(q) = 2*q + 4. Let o be z(0). Suppose 8 = -3*m + 2*t - t, -5*m - o*t - 19 = 0. Let c be ((-4)/55)/(-2*(-3)/m). Which is greater: c or 1?
1
Let x = -9123 + 7475. Is x equal to -1648?
True
Let n = -113 + 179. Suppose 4 = x, 78 = r - 2*r + 3*x. Let w = r + n. Do w and -5/12 have the same value?
False
Let a = 15955 - 1579541/99. Which is smaller: -3 or a?
-3
Let b(m) = -3*m - 16. Let g be b(-7). Suppose 52 = g*q - 4*j + 4, 4*q - 42 = 2*j. Let v be q/18 + 8/(-6). Which is smaller: -1 or v?
-1
Suppose -m - 2*h = 3*m + 42, 2*m - 4*h = -16. Let y = 55 + -50. Suppose y*o - 10*o - 55 = 0. Is m < o?
False
Suppose 483*s + 620 = -5*c + 478*s, 3*c + 344 = 4*s. Are c and -120 equal?
True
Let z be 4/70 + (-8)/728. Are z and -1 unequal?
True
Let z = -1.01 + 0.01. Let i be -1*35/(-50)*18*(-10)/(-420). Which is bigger: i or z?
i
Let b = 852601/42 - 20300. Let s(l) be the third derivative of -l**6/120 + l**5/15 - l**4/8 + l**3/6 + 3*l**2. Let t be s(3). Which is smaller: t or b?
b
Suppose -12*n - 6 = 30. Let h be (n/(12 + -9))/(-1 + 5). Which is smaller: -4 or h?
-4
Let f be 3/(-3) + 956 + 2. Let u be f/1305 + (-2)/6. Is -11.9 <= u?
True
Let q be (-7)/(-1) + -21 + 24497/1785. Is q < 1?
True
Suppose 7880 = 99*p - 139*p. Which is smaller: p or -195?
p
Let r be (-8)/1 - ((-680)/5)/8. Is r not equal to 353/47?
True
Let z be -3*(13 + (-148)/12). Which is greater: z or -21/19?
-21/19
Let t = -8234761/1630 + 5052. Which is smaller: 0 or t?
t
Let n(l) be the second derivative of -8*l**3/3 - 61*l**2/2 - 80*l. Let j be n(-5). Are 9 and j nonequal?
True
Let l = 94 - 117. Let y be (28 - -1)*(l - -24). Is 28 greater than or equal to y?
False
Let k = 7666.0347 - 7666. Which is smaller: -2 or k?
-2
Let x(v) = 7*v + 20. Let j(o) = 13*o + 12. Let u(p) = -12*p - 13. Let y(b) = 6*j(b) + 7*u(b). Let k(t) = -5*x(t) - 6*y(t). Let i be k(-12). Is i != -1?
True
Let y be (840/400 - 6/10)*30. Let l be -3 + 0 - (-2 + -46). Are l and y unequal?
False
Let j(x) be the third derivative of x**6/120 - x**5/60 - x**4/12 + x**3/6 + 8*x**2 - 2*x. Let c be 1 - (-2 + -1)/(-3). Let v be j(c). Is 9 greater than v?
True
Let p = 5743/5 + -318163/277. Is -1 bigger than p?
False
Let m = 409 - 408.866. Let p = m + -29.134. Let i = -0.3 - 0.7. Is i equal to p?
False
Let s(f) = -f**2 + 17*f + 300. Let w be s(28). Let h(d) = -d**3 - 10*d**2 - 19*d - 25. Let t be h(w). Is 10/167 smaller than t?
False
Let z be 11 + (72 - 8)/(-4). Is 6 >= z?
True
Let s(n) = 7*n**2 - 160*n + 6. Let b be s(22). Is -129 <= b?
True
Suppose 4*r + r = -c + 27, 5*r = 2*c + 21. Let n be (-5 - -6)/(r + (-176)/36). Which is smaller: n or 4?
4
Let l be -982 + (-7 - -4) + 0 + -1 + -1. Is -4938/5 smaller than l?
True
Let d = 57.08235 - 0.06235. Let q = -4.78 - 52.22. Let p = q + d. Is 6 equal to p?
False
Suppose 70*b - 66*b + 3*k - 94 = 0, 5*b + 4*k - 118 = 0. Is b smaller than -147?
False
Let j(h) = -h + 15. Let k be j(12). Suppose -39 = k*i - 30. Let t be i - 1*(2 - 6). Is -1/26 <= t?
True
Let h be 628/(-20) + (-2)/(-5). Let s = h + 25. Let q be (-368)/20 - s/(-10). Which is bigger: -18 or q?
-18
Let p = 31 + -335/11. Is p equal to -50?
False
Let u(b) = 4*b**3 + 4*b**2 - b - 1. Let r be u(1). Suppose -4*s + 40 = -4*m, 10*m - r*m = -5*s - 22. Let l = -7 + 1. Which is greater: l or m?
l
Let m = -3554 + 5807. Which is smaller: m or -1?
-1
Let f be 2/(-39)*-3 + (16 - 639072/117). Is f < -5446?
False
Let m = -2.552 - 0.638. Let f = m - -3.323. Let d = 46.133 - f. Is -2/5 bigger than d?
False
Let y be (-2 + 1/(-1))/((-3)/4). Let k be y + -3 + (64/(-100))/(-2). Is 1 less than or equal to k?
True
Suppose -32*q - 13617 = -47*q - 51327. Is -2514 >= q?
True
Let o be (0 + -145)*(48/150)/(78/975). Is o greater than or equal to -580?
True
Let f = -121 - -163. Let m be 42*(-4)/(48/f). Which is greater: m or -148?
m
Let k(h) = -h**3 + 2*h**2 - h + 2. Let l be k(0). Suppose -3*r + 17 = 2. Suppose -3 = 2*m + p - r, m = 2*p + 1. Are l and m equal?
False
Suppose -y - d = 27, -4*d = -2*y - d - 69. Let z = 5806 + -5837. Is z at least y?
False
Let m = -103 + 2420/23. Which is smaller: 1 or m?
1
Let a = -812 + 808. Let c be 27264/33 - ((-368)/(-88) + a). Is c at most as big as 826?
True
Let n be -17 - (1020 + -21)/(-3). Is n less than -1/10?
False
Let m = -24462 - -24462.4. Which is smaller: -0.2233 or m?
-0.2233
Let v = 60 + -61. Let h = 3301/283250 + 4/1375. Do h and v have the same value?
False
Let x = -666 + 671. Suppose -3*f - x*i = 99, -f + 4*i - 5 = 11. Is -17 <= f?
False
Let u(b) = -13*b - 219. Let j be u(-24). Which is bigger: 472/5 or j?
472/5
Let o be (24/56 - (-3728)/7)*-1. Let h = 3729/7 + o. Do 0.15 and h have different values?
True
Let r = 13524 + -13525. Let p = 55 - 224/3. Let b = -676/33 - p. Which is smaller: r or b?
r
Let j(z) = -2*z**2 + 24*z - 9. Let x be j(8). Let t be (198/x)/(2/10) + -1. Which is greater: t or 18?
18
Suppose -y - x - x = -5086, 5*y - x - 25474 = 0. Let u be y/1018 + -6 + 12/12. Is u greater than or equal to -1?
True
Suppose 3*n - 4*l - 78 = 0, -2*n + 22 = 2*l - 16. Suppose n = -4*o + 18. Let m = 8/7 - 47/35. Which is smaller: o or m?
o
Let c = 1 + 0. Let i = -6108 - -5862. Is c > i?
True
Let c be ((-4)/10)/(21/15). Let p = 116534 - 5477100/47. Which is smaller: p or c?
c
Let c = -0.2222 + 37.2222. Which is greater: c or -1/3?
c
Let r(g) = -417*g**3 + 15*g**2 + 3*g + 33. Let k be r(-3). Is 11419 equal to k?
False
Suppose -12 = 4*y - 2*y. Let g = y - -16. Let s = 1.74 + -1.94. Which is greater: s or g?
g
Let p = 7.314 + 0.086. Let i = -10.4 + p. Is -2/77 less than i?
False
Let s = 91752580/314809 - 6/28619. Which is bigger: 292 or s?
292
Suppose 6*q + 7 = -41. Let f be ((-14)/q)/((-7)/196). Which is bigger: f or -50?
f
Let g = -1.013 + -4.157. Let k = 120.83 - g. Which is bigger: k or -1/5?
k
Let x be 678/1340 + 274/(-548). Suppose -2*y - 2*y - 2*q = 2, q = -y - 1. Which is smaller: x or y?
y
Let d be -1 + (-11 - (-6 + 3)). Let u = 10 + d. Let x be 76/(-891) - (-1386)/22869. Which is greater: x or u?
u
Suppose 3*m - 1868 = 4*j, -4*m - 4*j = -3477 + 977. Which is smaller: m or 4378/7?
m
Let b(j) = -13*j - 39 + 20*j**3 - 19*j**3 - 23 + 12*j + 10*j**2. Let p be b(-11). Which is smaller: p or -173?
-173
Let z be 157*((-1)/3)/(16/(-48)). Suppose -l + z = 200. Which is greater: -46 or l?
l
Suppose 0 = x - 4*l - 150, -4*x - 40*l = -39*l - 668. Which is bigger: x or 1168/7?
1168/7
Suppose 20 = 5*m, -2*l = 3*l + 5*m - 160. Suppose -v - 2*v = 2*p - 63, p = 2*v + l. Let x be (