5*-3*(-205)/g. Is s <= -40?
True
Let j(u) = 5*u - 1. Let b be j(3). Suppose 0 = -2*l - 4, -z + 0*l + l = -150. Let x be z/12 + 4/6. Is b greater than x?
True
Let j(g) = 15*g**2 + 0 - 17*g**2 + 2 + g + 0*g. Let k be j(-1). Let p = -14 + 6. Which is smaller: k or p?
p
Let b(p) = -p**2 + p + 5. Let n be b(0). Suppose 3*l - 9 = 3*t + 3, -l = -n*t - 24. Suppose 0 = 29*z + 5*z - 34. Is z not equal to l?
True
Let r(f) = -f**3 - 13*f**2 + 13*f - 6. Let d be r(-14). Suppose 15 = 3*j - d*j. Let x be -4 - (3 - (-3)/(-1)). Which is bigger: x or j?
j
Let t = -790 - -5533/7. Suppose -21 = 4*a + 3*u + 14, -3*u + 10 = -5*a. Let s = a - -3. Which is bigger: s or t?
t
Suppose -7*v - 1 - 34 = 0. Let g be 6/v*10/4. Let h be (g + 4)*1/3. Are h and 3 non-equal?
True
Suppose 2*d - d - 3 = 0. Let v be (2/(-3))/((-5)/d). Let o be 1 + (1 - 2) - -1. Which is smaller: o or v?
v
Suppose -3*w - 8 = -f, -5*f = -f + 4*w. Let a be 40/(-42) + f/3. Let l = 830 - 830.1. Which is smaller: a or l?
a
Suppose -p - 5*b - 8 = 0, 4*b = -2*p + 2*b. Suppose 2 = p*o + 2*q, 2*q + 7 = 3. Which is smaller: o or 5?
o
Let w = -341/56156 - -1/404. Do w and -1 have different values?
True
Let q = 41 - 125/3. Let d = 134 + -158. Let n = -24.09 - d. Is q not equal to n?
True
Let c = -76 + 73. Let f(k) = k**2 + 11*k + 12. Let t be f(-9). Is t less than or equal to c?
True
Suppose 4*h + 0*h = -4*z + 28, -4*h + 2*z + 52 = 0. Let g be 4 - (4 + 0 - 4). Suppose 3*o = 2 + 10, 40 = g*c + o. Which is bigger: c or h?
h
Suppose -9 = 3*p + 5*u - 34, -25 = -4*p - 5*u. Let i be -3 - 83*(-89)/2565. Let s = i + 2/135. Is s greater than p?
False
Let d = 44 + -48.3. Let v = -2.7 - d. Is v >= 0?
True
Suppose -3*p = -5*i + 496, 2*p - 87 - 20 = -i. Suppose -4*d + i = -3*j, -2*j = -d - j + 24. Is 28 < d?
True
Let r = -43 - -42.6. Let c = -38 + 36.96. Let i = c - -0.04. Which is bigger: r or i?
r
Suppose -2*m - 10 = -q, 0*q - 2*q + m + 20 = 0. Suppose 29 = 5*h - 26. Is q at least h?
False
Suppose -5*a = -d - 3*a - 155, -2*d = -2*a + 310. Let q = -617/4 - d. Let s = 30.8 - 31. Which is bigger: q or s?
q
Suppose -5*s = -42 - 48. Is s bigger than 17?
True
Let w be (-15)/4*(-2)/(-3). Suppose -2*m = 4 - 0. Is w < m?
True
Suppose -3225 = -76*w + 81*w. Is w at most -646?
False
Let p(x) = 2*x**3 - 4*x**2 + x - 6. Let y be p(3). Are 7 and y equal?
False
Let o = 3.3 + -3.17. Let u = -0.03 + o. Let p = 16/27 - 95/297. Is p bigger than u?
True
Let y be (2 + -2 + 0)/(-1). Let z be ((-14)/147*-3)/(2/6). Is y != z?
True
Let v = -13 + -9. Let y = v - -21.5. Is y greater than or equal to 0.4?
False
Let b = -39 - -57. Let m be 1 - 25/35 - (-206)/14. Is m equal to b?
False
Let v = 25 - 74/3. Let t = 28 - 26. Let q(l) = -2*l - 2. Let h be q(t). Is h less than v?
True
Let f(h) = -2*h**2 + 10 + 3*h**3 - h - 6*h**2 - 2*h**3. Let q be f(8). Which is greater: q or 3?
3
Let q be 147/21 - (-3)/1. Let u = q + -11. Which is greater: u or 3/38?
3/38
Let u = 139 + -115. Are u and 25 equal?
False
Let m = 73 + -41. Let b be (4/(-6))/(m/48). Which is smaller: -4/9 or b?
b
Suppose -d - 5*l + 19 = -7*l, 4*l + 17 = d. Which is bigger: 24 or d?
24
Let n be (-16)/(-2) - 768/(-12). Is 71 not equal to n?
True
Suppose 0 = -6*z + z. Suppose -3*b + a + 24 = 2, -3*b - 2*a + 19 = z. Let x be b/((-42)/9)*-2. Which is greater: 3/2 or x?
x
Let d be (-4)/((3/24)/1). Suppose -5*z = -123 + 283. Is z >= d?
True
Let k = 108 + -56. Let c = k + -53. Let y = 0.2 - 0.3. Is c greater than y?
False
Let x(d) = -4 + 0 + 0 + 2*d + 0. Let h be x(4). Let w = 2 - -2. Is w at most as big as h?
True
Suppose 4*u = -67 + 595. Let k be 2/u*-4*1. Let s be -10 + (-4)/(-16)*36. Is s bigger than k?
False
Suppose 0 = f - y - 8, 4*f - 7 = -0*f - y. Let w(q) = -3*q + 5. Let r(c) = -8*c + 14. Let z(u) = 4*r(u) - 11*w(u). Let l be z(f). Which is smaller: l or 5/2?
5/2
Suppose 3*z - 200 = 643. Is z < 282?
True
Let l = -0.5 - -0.9. Let a = -0.024 + 18.024. Let i = 16 - a. Do l and i have different values?
True
Let v = 178 + -69. Let q = v - 109.1. Is q at most 0.029?
True
Suppose -2*j + j = 3*z + 7, z + 19 = 3*j. Suppose -24 - 2 = -3*n + 4*u, j*u = 2*n - 29. Does -9 = n?
False
Let k(t) = 3*t**3 + 4*t**2 - t + 12. Let r(n) = n**3 - n**2 + 1. Let l(c) = k(c) - 4*r(c). Suppose -5*o - 13 = -53. Let f be l(o). Which is bigger: -3/7 or f?
f
Let d = 7 - 12. Let f be 6/9 + d/3. Suppose 16 = 4*x - 3*w, x + 2*w + 0 + 7 = 0. Which is greater: x or f?
x
Suppose 25*q = 8*q + 5*q. Is q bigger than -14/29?
True
Suppose -d - 63 = -36. Let n = d + 31. Which is smaller: 2 or n?
2
Suppose -12 = -z - 2*z. Suppose -n + 0*g = -g - 1, -3*n - 4*g - z = 0. Suppose n*j + 6 = 3*j. Do 1 and j have the same value?
False
Let y = 13 + -13.05. Let o = -16 + 16.95. Let w = o - y. Is 1 at most w?
True
Let q = 0 + 3. Suppose -q = -a - 1. Let u be 10/14*a/10. Is -0.1 greater than u?
False
Let t = -1269/2233 - 1/319. Let o(m) = -2*m**2 - m. Let b be o(-1). Which is smaller: t or b?
b
Let w(q) = -15*q + 508. Let s be w(33). Is s bigger than 15?
False
Let x(n) = n**3 + 18*n**2 + 32*n - 2. Let l be x(-16). Is -28/11 greater than l?
False
Suppose u = -3, 4*l + 4*u = -l + 208. Let b = -25 + l. Suppose -90 = -5*n - 0*n. Which is smaller: b or n?
n
Let s be 295/285 + (-4 - -3). Let g be 8/(-44) + 4/22. Which is greater: s or g?
s
Let t = -390 + 128. Which is greater: -788/3 or t?
t
Suppose v + 3*v - 16 = -4*h, 4*v = -h + 13. Let x be ((-38)/(-20) + (-2)/5)*184/(-276). Do x and h have the same value?
False
Suppose 48*y = 30*y + 126. Is y <= -4?
False
Let p(y) = -y**2 + 0 - 4*y + 0*y + 19 - 10*y. Let d be p(-15). Suppose -3*t + 2*m = -23 + 3, d = -m. Which is bigger: -1 or t?
t
Let v(l) = -l**2 + 6*l + 1. Let i be v(4). Let c(p) = p**2 - 13*p + 3. Let m be c(i). Let o be 1/(-2) + m/(-22). Which is smaller: o or 2?
o
Let z = -43631/87038769 + 2/39189. Which is bigger: z or -1?
z
Let v be 90/6*5/3. Suppose -4*t - t - 2*r + v = 0, -4*t - 5*r = -37. Suppose t + 2 = b. Is b >= 3?
True
Let v be (-126)/27 - (-4)/6. Let p be v*(-9)/12 + -5. Let m be (20/6)/(-2) - p. Is -0.2 at least m?
False
Suppose 2*v - 2*x = -0*x + 28, -2*x = 4*v - 56. Suppose 3348*g - 169 = 3335*g. Which is greater: g or v?
v
Let t = 5024 - 125654/25. Which is bigger: t or -2?
-2
Let v(j) = 10*j + 10*j**2 + 4 - 8 - 12*j**2 - 9. Let c be v(6). Is -24 greater than c?
True
Let i be 1/6 + 135/81. Is i bigger than 1?
True
Let q = 275 - 268.04. Let n = -7 + q. Which is smaller: -0.1 or n?
-0.1
Let j(z) = -z**3 + 24*z**2 + 3*z - 31. Let k be j(24). Let i = k + -43. Which is greater: -7 or i?
i
Let f(t) = -t**3 + 2*t + 1. Let n be f(-1). Let q = -1647758/219 + 7524. Do q and n have the same value?
False
Let f be (-1)/(-4 + 33/9). Suppose 0*a = f*a + 126. Which is greater: a or -43?
a
Let f(n) = 2*n - 19. Let d be f(6). Let b be 0/((-4)/(d + 3)*-3). Are -3/10 and b equal?
False
Let z be 338/74 - 16/(-1 + 5). Which is smaller: 2 or z?
z
Let v(a) = -a**2 + 34. Let w be v(12). Is w at least -109?
False
Let l(n) = n**3 - n**2 + 3*n + 0*n + 0 - n**2 - 3. Let z be l(2). Suppose z*w + 2*d = 3*d - 3, -d = 3. Do w and -3/5 have the same value?
False
Let w(g) = -6*g**3 - 8*g - 8. Let m be w(-1). Let a = -10 - -18. Which is greater: a or m?
a
Suppose -2*h - 253 = 3*b, 2*h = -2*b - 173 + 3. Is -83 > b?
False
Let h be -2 - -3 - 19/22. Let d = 302 - 302. Is h at least d?
True
Let t = -0.4 + 0.9. Let d = 0.8 - t. Let o = d - 0.6. Is -1 >= o?
False
Let f = -140203972877/43656 - -54596562/17. Let g = -1/856 + f. Is -1 less than or equal to g?
True
Suppose 4 = -0*x + 2*x. Let p be 1329/(-12) + 9/(-36). Let r = p - -108. Is r less than or equal to x?
True
Let j(f) be the second derivative of f**5/20 + 2*f**4 + 23*f**3/6 - f**2/2 - 33*f. Let o be j(-23). Let u = 121/145 - 4/5. Which is greater: u or o?
u
Let w = 4920/7 - 703. Which is smaller: w or 0.16?
w
Let f = -81 - -84. Suppose 0 = -4*z + l - 3, -l + 2 = f. Let b be (-6)/5 + 1 + -1. Is z greater than b?
True
Suppose 3 = 3*g - 12. Suppose -4*x - g*z = -16 + 3, 3*x - 11 = -5*z. Suppose x*u + 0*u - 98 = -4*i, 17 = i - u. Which is greater: 23 or i?
23
Suppose -2*c = -3 - 1. Let f be c + -1 + 6/(-14). Which is bigger: f or 2?
2
Let z(s) = -s**2 - s + 2. Let t be z(-2). Let g = -1633/3641 - 2/331. Does t = g?
False
Let a = -22 + 13. Let x be (a - 2)*(-2)/(-2