p(y). Let x be g(-5). Which is greater: -0.08 or x?
-0.08
Let t(b) = 30*b - 3. Let v(q) = -q - 3. Let x be v(-2). Let l be t(x). Is l smaller than 1/3?
True
Let u = 247094/3788473 - 3/22417. Which is bigger: u or 0?
u
Let d be 3/(6 - 9) - (-338)/(-12). Let f = d - -86/3. Are f and -3 equal?
False
Suppose -2*g + 13 = -x - 2*x, -g - 10 = 4*x. Let z be 1/x*2 - (-76)/60. Is z != 2?
True
Let m be (-12031)/(-3445) - (-1)/5. Is m equal to 4?
False
Let w be (-4)/1 - 72/(-6). Let x be (-8)/1 + w + -4. Do x and 1 have different values?
True
Let r(m) = 47*m + 11. Let f be r(2). Is 104 at most as big as f?
True
Suppose 5*v - 6 = -1. Which is smaller: -1 or v?
-1
Let v = -17 - -2. Let n = v - -8. Which is greater: n or -23/3?
n
Let t = -1/343 + -2265/164297. Is t bigger than 1?
False
Let t = -18.2 - -24. Let x = t - 0.8. Which is smaller: 1 or x?
1
Let y = 315 - 317. Which is bigger: 0.039 or y?
0.039
Let x be 12/(-15) + (-6)/(-8). Is x less than or equal to 1?
True
Let q = -39 + 55. Let g = q + 2. Let l = -11 + g. Which is greater: 6 or l?
l
Let h(l) = -5*l + 4. Let s be h(-2). Suppose 3*t - 16 = 4*t + 5*a, 0 = t - 5*a - s. Which is smaller: t or -2/23?
t
Suppose 5*u + 13 = 2*k, -4*k + u + 19 = -2*u. Suppose -5*d = -2*n + 51, -12 + 0 = -k*n. Let i(q) = -q**3 - q**2 - q + 4. Let t be i(2). Are d and t non-equal?
True
Suppose -4*h - 4*j - 491 - 125 = 0, 0 = h - j + 144. Which is bigger: -147 or h?
-147
Suppose 0 = 5*h + 3*t + 2, -38*h + 39*h = -3*t + 2. Is h smaller than 1/56?
True
Let o(t) = -8*t - 15. Let i be o(14). Let w = i - -633/5. Is w bigger than 20?
False
Let p = 156.49 - 157. Do -3/4 and p have the same value?
False
Suppose -u - 4*u - 20 = 0. Let h = 47 + u. Is h greater than 43?
False
Suppose 0 = -u + 5*t + 39, -16 = -2*u + 4*t + 80. Let m = 105 - u. Is 52 bigger than m?
True
Let x be ((-19335)/(-33))/5 - (-12)/(-66). Which is smaller: x or 695/6?
695/6
Let h be -6 - (0 + -10)/5. Let a = h - -22. Which is smaller: a or 17?
17
Suppose -2*m = -m - 9. Suppose -13 = -2*g - m. Suppose g*v + 20 = 4*v. Which is smaller: 9 or v?
9
Let n(c) = c**2 - 7*c + 3. Let u be n(7). Suppose u*z + z = 8. Let l be (-6)/(-7)*1 + 0. Are l and z equal?
False
Suppose -112 = m - 20. Which is smaller: -91 or m?
m
Suppose 13 = l + 5. Suppose -97 = -5*h - 22. Suppose 4*n - 17 - h = 0. Is n at least as big as l?
True
Suppose -s = -5*j + 76, 25*j - 23*j - 34 = 4*s. Is j at least as big as 13?
True
Let t(c) = 15*c**3 - 9*c**2 + 13. Let f(l) = 7*l**3 - 4*l**2 + 6. Let n(i) = -13*f(i) + 6*t(i). Let y be n(-2). Let k = -1/48 - -101/240. Is k equal to y?
False
Let a(l) = -l**2 + 6*l + 92. Let x be a(-7). Does 136 = x?
False
Suppose 0 = -35*y - 4*y + 39. Is y at least as big as 5/74?
True
Let s(m) = -20*m - 438. Let l be s(-10). Is -240 equal to l?
False
Let v(d) = 2*d**2 - 61*d - 106. Let x be v(33). Which is smaller: x or 57?
57
Let l = 29815/12 - 2487. Is l at least as big as -3?
True
Let l = 1 + 7. Let c = l + -23/3. Which is smaller: c or 11?
c
Let p = -49.2 - -50.2. Which is smaller: p or 37/2?
p
Suppose 5*x - 7 = 13, 3*k - 3*x + 30 = 0. Suppose -d + 8 = -15. Let z be (6/(-21) - d/(-7)) + -10. Is k < z?
False
Let p = 369 + -369. Which is greater: p or -115?
p
Let n be 3*1233/(-27)*2/2. Which is bigger: n or -135?
-135
Let u = -202 + 98. Let g = -83 - u. Which is smaller: 3/5 or g?
3/5
Let r be -208*(-1)/69 + 1*-3. Is -1 equal to r?
False
Let v be (260/6)/((4/(-6))/(-1)). Which is smaller: v or 67?
v
Suppose 5*o - 2*p - 101 = 0, 3*o - 3*p = -31 + 97. Let l = o + -18. Let c be (-2)/(-2*(-7)/(-2)). Is c > l?
False
Suppose 3*y - 10 = y. Suppose -4*g = -y*g + 7. Which is smaller: -0.03 or g?
-0.03
Let j(m) = 2*m - 3. Let x be j(13). Suppose 0 = -4*a - 4*d + 40, -4*d - x - 42 = -3*a. Let q be a*(-4 - (-1 - 2)). Is q > -16?
True
Let t = 689 + -692. Which is bigger: t or 301?
301
Let d be 3/(-165)*1*2. Is 2 >= d?
True
Let q(b) be the third derivative of b**4/12 - 5*b**3/6 - 3*b**2. Let a be q(-3). Let d be a/154 + (-2)/(-4). Which is greater: d or -1/10?
d
Let p = -1140/17 - -67. Let k = p + -27/119. Which is greater: 38 or k?
38
Let m(d) = 2*d**2 + 10*d - 2*d**2 - 26 + 0*d**2 + d**2. Let n be m(-12). Is 0 != n?
True
Let s = 4 - 1. Suppose p = -5*q + 28, 0 = -2*q + s + 5. Let k be 3 - (-2 + -1 - 0). Which is bigger: k or p?
p
Suppose -f - 5 = 3. Suppose 12*j = 7*j + 25. Let q(z) = -z - 4. Let p be q(j). Which is greater: p or f?
f
Let i(f) = -260*f - 1. Let u be i(1). Let o be (11751/(-15))/(1 + -4). Let v = o + u. Is 0.2 smaller than v?
False
Let j be (18/8)/((-1)/(-4)). Let m(z) = -5*z**2 - 16*z + 9. Let v be m(0). Is v bigger than j?
False
Suppose 0 = -5*u - 12*a + 15*a - 287, -u + a - 57 = 0. Which is smaller: -59 or u?
-59
Let t be 3/(-5) + (-22)/5. Let p(y) = y**3 + 5*y**2 + 2. Let x be p(t). Suppose 7*i + x = 5*i. Which is bigger: i or -2/37?
-2/37
Let j = 38 + -87. Let r = j - -49.1. Which is greater: -0.09 or r?
r
Let d(r) = r**2 + r - 7. Let l be d(-3). Let p be -1 - (-1*(-1 - l))/(-1). Which is smaller: -3/5 or p?
p
Suppose -5*u - 42 = -5*i + 3, -2*i - 6 = 4*u. Let s be -40*((-7)/(-51) + u/24). Which is greater: 0 or s?
s
Let l be (-626)/(-10) - (-8)/(-5). Which is smaller: 182/3 or l?
182/3
Suppose 0 = -12*d + 22 - 34. Is d smaller than 10/129?
True
Let a = -30 - -49. Suppose 3*z - 4*m + 15 = 0, -6*z - 4*m - 11 + 17 = 0. Do a and z have different values?
True
Let m(o) = -o**3 + o**2 + 5*o + 1. Let j be m(-2). Let f(z) = 1 - 4*z + 2 - z**2 + 2*z**2. Let l be f(j). Is -2/71 at least as big as l?
False
Let o = 23 - 10. Let v = -13.1 + o. Is v less than 3?
True
Let y(z) = z**3 + 2*z**2 - 1. Let s be y(-1). Let o = -19 - -22. Suppose 3*m + o - 3 = 0. Are s and m unequal?
False
Let h(b) = -b**2 + 7*b - 8. Let f be h(4). Suppose -5*y - 1 = -3*g, -5*g + f*y + 6 = -0*y. Which is greater: 0.15 or g?
g
Let q(b) = b**2 - 6*b - 4. Let o be q(5). Let l be 6/o*9/6. Which is smaller: l or 0?
l
Let m be (-653)/((-2)/((-10)/25)). Let u = 131 + m. Is 1.9 <= u?
False
Let w(m) = -1 - 2*m**2 + 2*m**2 - 4*m**3 + 6*m + 5*m**3 - 6*m**2. Let k be w(5). Suppose -2 = k*h + 2. Is h > -3?
True
Suppose -2*p - 21 = 3*v, 4*p + 2*v + 22 = -0. Let k = 0.6 - 0.66. Let l = 2.06 + k. Which is smaller: p or l?
p
Let k be (-427)/(-11) - (48/(-44))/6. Let y be (26/k)/(-1 - 5/(-7)). Which is smaller: -2 or y?
y
Let z = -5.9 - 0.5. Let p = -1.4 - z. Let q = p - 4. Which is greater: q or -5/3?
q
Let v = 89.043 - 89. Let x = v + -0.303. Is x >= -0.1?
False
Let a be (-4243)/(-87) + (-2)/3. Let m = a - 48. Is m less than 0?
False
Let q be (-6)/((-29)/9 - -3). Let g = q + -28. Is -0.16 > g?
True
Let r be (5/3 - 2) + 4263/13356. Does r = -1?
False
Let z = 2504 + -578425/231. Is z smaller than 1?
True
Suppose -2*a - 8 = 2*a. Let p be ((-4)/2)/(a/(-706)). Let s = -10586/15 - p. Which is greater: 1 or s?
1
Suppose -5*y + 26 = -n, -10*y - 7 = -11*y + 2*n. Let g = -15 + 9. Let o be 1 + -1 - 0 - g. Which is smaller: o or y?
y
Let g = 309 + -238. Which is bigger: g or 3?
g
Let u = -10 + 10. Suppose u = 4*x + 2 + 58. Let j be 6*(-2)/3*2/(-8). Is j at most x?
False
Let k = 98 - 67. Let i = k + -33. Suppose -2*x = -b - 8, -2*b - 21 = -5*x - 3. Is x equal to i?
False
Let g = 843 + 136. Let o be g/1287 - (-2)/(-9). Is 1 < o?
False
Suppose 0 = -6*v + 3*v + 9. Let x be (-1)/(8/160*5). Is v != x?
True
Let s = -1203904/319 - -3774. Let i(l) = -2*l**3 + 6*l**2 - l + 1. Let w be i(0). Is s bigger than w?
False
Let o = -669 - -405. Which is smaller: -267 or o?
-267
Let k be (83/35)/(1/(-1)*1). Let r = -1/537 + -5900/3759. Let b = k - r. Do 0 and b have the same value?
False
Let g be (-64)/16 + (6 - -46). Let u(h) = -h**3 - 3*h + 5. Let w be u(4). Let k = w + g. Is k less than -23?
False
Let m be (11/6)/((-21)/963). Let r = 455 - 539. Let o = r - m. Which is smaller: -2 or o?
-2
Let p(k) = k**3 - 4*k**2 - 2*k + 8. Let c be p(4). Suppose 2*g + 4 = -z, 5*z = -2*g - c*z - 12. Which is bigger: g or 2?
2
Suppose 4*b + 3 - 15 = 0. Let k = 1612/7 + -228. Which is bigger: b or k?
b
Let o = 28/15 + -11/5. Is 45/11 not equal to o?
True
Let h = -0.4 + 0.1. Let b = -35.75 + 36. Let v = b + -0.35. Do v and h have the same value?
False
Let b be ((-50382)/12)/(-27) - (0 + -1). Which is greater: 156 or b?
b
Suppose 0*w - 2 = -w. Let k(f) = -f**2 + 29