 1.87. Let p = c + -0.095. Is g less than p?
False
Suppose 0 = -q + 3*g + 13, -g - 4 = 3*q + 7. Let t(y) = 3*y**2 + y + 1. Let p be t(q). Let h = p - 18. Is h > -7?
False
Suppose 0 = 27*p + 3043 - 7282. Which is smaller: p or 159?
p
Suppose 69 = 4*q - q. Let u = q - 13. Suppose 5*c + 11 - 61 = 0. Does u = c?
True
Let k = 45 + -32. Suppose t - 4*j + k = 0, -4*t + 2*j - 10 = -0*t. Let r = 10 - 9. Which is greater: r or t?
r
Let w(a) = a**2 + 4*a - 6. Let s be w(-5). Let c = -40/23 - -159/184. Let p = c + 1/8. Which is greater: s or p?
p
Let a = 49 + -41. Let g be 63/(-6)*a/(-6). Is 14 equal to g?
True
Suppose -9*h + 16*h + 84 = 0. Let z be (-1)/3*(-3 - -1). Is h greater than z?
False
Suppose 14*b = 2*j + 10*b - 10, j + 4*b = -19. Is -19 equal to j?
False
Let m = -3229/11 - -293. Suppose 0 = 9*z + 11*z + 20. Is m smaller than z?
False
Let j(z) = -z**2 + 10*z - 10. Suppose -2*y = -d - 13, d = -4*d + 5. Let a be j(y). Let p be 0 + (-3 - (-35)/a). Is p at most -1?
False
Let g(r) = -r**2 + 7*r + 9. Let n be g(8). Let q(i) be the second derivative of -i**5/20 - i**4/2 - i**3/3 - 5*i**2 - 8*i. Let v be q(-6). Are n and v unequal?
True
Let d be 397/(-3) - (-5 + (-98)/(-21)). Let q = 132 + d. Let s = 80 - 554/7. Is q bigger than s?
False
Let w = 25 + -19. Let q = 877603/1482 + -3553/6. Let b = q + 2713/494. Which is smaller: b or w?
b
Let s(o) = -3*o + 2. Let z be s(-5). Suppose 128 + z = 5*m. Is m smaller than 29?
False
Let t = -151 + 154. Which is smaller: t or 0.1?
0.1
Let q = 15383 - 108071/7. Which is greater: -56 or q?
q
Suppose 10*q = -4*w + 5*q + 25, -4*q = -2*w + 32. Let z = 12 + -8. Let u be z*(0 + 11/4). Is u bigger than w?
True
Let g = 57875/4 - 14235. Let a = -284 + 519. Let y = g - a. Which is greater: y or 1?
1
Let n(m) = m**3 + 4*m**2 - 7*m - 14. Let l be n(-4). Let r = l - 1. Is 59/5 not equal to r?
True
Let n(s) = -s**2. Let a(f) = -3*f**2 - 13*f - 12. Let v(k) = -a(k) + 2*n(k). Let l be v(-12). Suppose q - 22 = -4*z - 5, 4*q + 4 = 2*z. Which is bigger: q or l?
q
Let d = 260.9401 - -0.0599. Does d = 2/3?
False
Let m(j) = -j**3 - 7*j**2 - j - 8. Let n(f) = -2*f - 1. Let v be n(3). Let x be m(v). Which is bigger: 8 or x?
8
Let i be (24/10)/((-4)/30). Let y(s) be the first derivative of s**3/3 + 7*s**2 + 22*s + 1. Let d be y(-10). Is d <= i?
True
Let o = -0.0692 + 0.0692. Is -405 equal to o?
False
Let p(t) = -t**2 + 4*t + 25. Let u be p(7). Suppose u*q + 66 = -2*o, -2*q + 7*q + 82 = -3*o. Which is smaller: q or -16?
q
Let o = -0.57 - -1.57. Do o and 4/21 have different values?
True
Let j(x) = -x**3 + 3*x**2 - 5. Let d be j(2). Which is smaller: d or 1/78?
d
Let k = -1022 - -1022.1. Which is greater: k or -4/35?
k
Let q(y) = 2*y**2 + 0*y**2 + 6*y + 2*y**3 + 0*y**2 - 4*y. Let t be q(-2). Let h be 2/(t/3)*0. Which is bigger: 1/37 or h?
1/37
Let d = 7659/3349 + 13/197. Which is smaller: d or 1?
1
Let u be (-2528 + -40)*1/3. Is u not equal to -856?
False
Let x(n) = -n**2 - 2*n. Let d = -11 - -7. Let c be x(d). Let g be 1/1 + (c - -3). Is g < -5?
False
Let j = 258/2275 - -3/455. Do j and -2/5 have different values?
True
Let a be (1 - 21/6)/((-2)/36). Let x = -44 + a. Is x at least as big as 1/3?
True
Let o = 161867/22 - 7346. Let g = -9057/770 + o. Is g equal to -1?
False
Suppose -3*x = 0, 0 = j - 0*j - 3*x - 754. Do j and 754 have the same value?
True
Let v = -7.8 + 7.56. Are v and -0.15 equal?
False
Let d(r) = 5*r**2 + 3*r - 15. Let n(z) = z**2 - z - 1. Let i be (1/(-2))/(2/4). Let h(v) = i*d(v) + 6*n(v). Let a be h(7). Which is greater: a or 1?
1
Let a = 1082 + -31376/29. Let y(s) = s - 5. Let p = 14 - 8. Let w be y(p). Which is greater: a or w?
w
Let x = 351 - 350.8. Is -364 at most x?
True
Let l(r) = r**3 + 7*r**2 - 20*r - 18. Let c be l(-9). Is c >= 2/109?
False
Let g = 9/22838 + -1874705/5047198. Let w = g + 5/17. Is 0 bigger than w?
True
Let v = -1.4 + 2.4. Let h = 223 + -226. Is h bigger than v?
False
Let m = 20 + -9. Suppose -4*i = -m*i. Suppose 0 = 5*z + 10, c + 6 = -4*z - i. Is 5/2 smaller than c?
False
Let i be (-2001)/(-46)*-41*(-2)/(-6). Is -596 <= i?
True
Let a = -100.1 + 99.8. Is -271 at least a?
False
Let d be (-4 + 4)*(-2)/(-4). Suppose d = 4*v - 4. Let u = -818 + 4093/5. Which is greater: v or u?
v
Let r = -2.759 + -0.241. Is 0.032 < r?
False
Let l = -0.17 + 0.11. Let g = l - -10.06. Which is smaller: g or 1?
1
Let k = 5118522/1399615 + 2/39989. Let q = -27/7 + k. Which is smaller: q or -1?
-1
Let i(f) = -7*f - 33. Let l be i(-10). Let h be (l - -4) + 3/(-3). Is h less than 40?
False
Let i(q) = q**3 + 23*q**2 - 23*q + 31. Let v be i(-24). Let u be (-66)/(-8) + 2/(-8). Is v at least as big as u?
False
Let g(u) = u**3 - 4*u**2 + 3*u - 6. Let i be g(4). Suppose 2*t + 8 = i*t. Suppose -4*v + t*v + 2 = 0. Which is greater: -2/7 or v?
v
Let l = -74 + 79. Suppose -3*g = -4*v - 9 - 1, -l*g + 8 = 2*v. Which is bigger: v or -8/23?
-8/23
Suppose 3*y + 762 = -19*t + 21*t, 4*t = -2*y + 1556. Which is smaller: t or 389?
t
Let c be (-3)/24*-2*-4. Let a = -5/11 - -67/99. Which is smaller: a or c?
c
Suppose 50 = -5*a - 5*y + 145, 4*a - 31 = 5*y. Suppose -18*l + a*l = 8. Are -7/8 and l nonequal?
True
Let w = -217 - -216. Is -2/743 at most as big as w?
False
Suppose 4*z + 69 - 297 = 2*p, 5*p + 564 = 4*z. Which is greater: -111 or p?
-111
Let k be (-453)/(-1332) + (-22)/66. Is k bigger than -1?
True
Suppose -10*o + 16*o + 3*s = 102, -o - 4*s + 24 = 0. Let k = -43 + 60. Which is bigger: o or k?
k
Let s = -46 + 115. Let g = s - 131. Which is greater: 0 or g?
0
Suppose 4*s - 3 = 4*v - 15, -5*s + 3*v - 19 = 0. Let c be -1 + (-1)/(s/2). Which is greater: -1 or c?
c
Let a be (0 - 1)*(-5 + 6). Let d(y) = -20*y. Let f be d(a). Which is bigger: f or 21?
21
Let o(i) = 5*i**2 - 49*i + 41. Let w be o(10). Is w at least as big as -1?
True
Let c be 2520/(-756)*((-42)/65)/(-3). Which is smaller: -1 or c?
-1
Suppose -3*g = -27 - 6. Let x be (18/(-45) - g/10)*8. Which is smaller: x or -40/3?
-40/3
Let z = 113 + -117. Which is smaller: z or 0?
z
Let l(j) = 19*j**2 + j. Let a be l(1). Let u = a + -19. Let v = 1 - 0. Is v less than or equal to u?
True
Let s be (-6)/51 - 3164/(-20825). Is 0 not equal to s?
True
Let j be ((-6)/(-24))/(4/528). Which is smaller: 32 or j?
32
Let f be 16/(-24) + (-25)/(-30). Suppose 3*h = 3*o - 3, -h = o - 3 + 4. Suppose 0 = 2*s + 6, 5*j + o*s - 3 = s. Which is smaller: f or j?
j
Let g = 111 + -116. Which is bigger: 5 or g?
5
Let j = 244 - 144. Let b = j + -126. Let g = -54 + 27. Which is bigger: g or b?
b
Let y(g) = -328*g - 142. Let a be y(2). Are -798 and a equal?
True
Let w be -15 + (-5094)/(-342) - 36/19. Which is smaller: w or 40?
w
Let y(i) = -11*i + 87. Let w be y(8). Which is smaller: w or -11/8?
-11/8
Let d = -25 - 3. Let g be d/35 + 2/(-60)*-19. Let y = -0.07 + 0.07. Which is smaller: y or g?
g
Suppose 0 = -p + h - 1 - 8, -4*p + 2*h - 34 = 0. Suppose 4*i = 2*s + 32, 11 = -4*s + 4*i - 33. Is p at most s?
True
Suppose -2*a + 2*r = -5*a + 6, -a = -2*r - 10. Let m be (1 - 2)/(a/8). Let c be (0/(-10))/(m + 0). Which is greater: c or -4/7?
c
Suppose 5 - 1 = 2*i, 2*h + 924 = 5*i. Is h at most as big as -458?
False
Let k = -11891/82 - 348/41. Let j(d) = 3*d**2 + 12*d + 61. Let m be j(-8). Let y = k + m. Which is bigger: y or 4?
4
Let q be -3*(2 - (-4)/(-3)) - 45. Let j = 48 + q. Is j not equal to -1?
True
Let w = 962 + -962. Is 1/134 greater than w?
True
Let q be (10/(-20))/(734/184 + -4). Is 16 greater than q?
False
Suppose -20*w + 22*w - 214 = 0. Let z = w - 67. Which is smaller: z or 42?
z
Suppose 0 = m + 5*b - 10, -m + 4*b + 1 - 9 = 0. Let w = 299/11 - 27. Which is bigger: w or m?
w
Let l(m) = m**3 - 16*m**2 - 36*m. Let f be l(18). Which is bigger: f or 3/91?
3/91
Let g = -43/13 - -671/195. Which is bigger: g or -1?
g
Let i = 26 - 8. Let x(p) be the third derivative of p**5/60 - 2*p**4/3 + p**3/3 - 3*p**2 - 4*p. Let k be x(17). Is i at least k?
False
Let g = -22 - -11. Let x(y) = y + 1. Let l(r) = 3*r + 6. Let q(v) = -l(v) + 4*x(v). Let n be q(-7). Which is smaller: n or g?
g
Let j be (-8)/((-1)/2 - -1). Let m = j - -9. Is -6 greater than or equal to m?
True
Let w be ((-6)/4)/((-15)/(-880)). Let f be 16/w + 40/(-22). Let o be f/8*(-8 - -4). Are 4 and o non-equal?
True
Suppose 60 - 285 = -5*t. Let j be 44/((1 - 0)*((-96)/(-12)