-449/4. Is p less than -0.06?
False
Let q = 30 - 27. Let v be q/15 + 12/340. Is 1 smaller than v?
False
Suppose -4*g - 120 = 3*d, 6*d + 3*g + 153 = 2*d. Is d smaller than -36?
False
Let t be 4/18 + (-968)/3465. Which is greater: t or 0?
0
Let k = 23/3 + -118/15. Which is smaller: k or -4/9?
-4/9
Let h be (-1)/((6 - 2) + -5). Which is smaller: 2/11 or h?
2/11
Suppose 0 = -0*l - 4*l. Suppose l = 4*y - y. Suppose 4*u + y*z = -z + 9, 2*u + 3*z = 17. Which is bigger: u or 2/13?
u
Let n = -12161649/17 - -715660. Let z = 269 - n. Let k = -0.11 + 1.11. Is z less than k?
True
Let x = -26 + 35. Is x greater than or equal to 0.1?
True
Let a be 26*5/225 + 4/18. Suppose 4*c - c + 16 = n, c = -5*n. Is a greater than n?
False
Let p = 6 + -4. Let b = p + -1. Let h = -2 + b. Which is bigger: h or 0.6?
0.6
Let c = 17 - 17.06. Let u = c - -0.06. Let j = 2.5 - 3. Which is smaller: j or u?
j
Suppose 2*d - 4 = -0*d, -3*d + 2 = 4*g. Let i(f) = f**2 - 3*f. Let k be i(4). Suppose -3*q + 2*r + 1 = 3, 3*q = r - k. Do g and q have different values?
True
Let d = -1 - 3. Let b be (-22)/d*1*-2. Let p be ((-3)/(-2))/(-5 - b). Is -1 > p?
False
Let j be (-2)/(-46)*(-2 + 7 + 1). Is j <= -1?
False
Let v(j) = -6*j**2 + 2*j - 1. Let l(z) = z - 6. Let c be (-15)/(-2) - (-1)/(-2). Let h be l(c). Let k be v(h). Which is smaller: k or 1/4?
k
Let p = -92/3 - -100/3. Which is smaller: p or 3?
p
Suppose 0 = -10*q + 13*q + 21. Is -5 at most q?
False
Suppose -5*n + 4 = o, -4*n + 1 = 4*o + n. Let p = 55 - 100. Let c be -1*2 + (-81)/p. Which is greater: c or o?
c
Let m be 1/(-5)*-4*(-89)/4. Are m and -17 non-equal?
True
Suppose 1 = -2*k + 5. Suppose -h + 9*m = 4*m - 31, -m = -4*h + 29. Let u be (14/h - k)/1. Does 0 = u?
False
Let i(r) be the second derivative of -r**4/12 + r**2 + r. Let o be i(2). Is o at most as big as -2/3?
True
Let r = -0.17 - -0.12. Is r at most -1/2?
False
Let v = 77/40 + -9/5. Which is bigger: 4 or v?
4
Let d = 3 - 5. Suppose -3*v - 2*z + 12 = -47, 0 = 3*v + 3*z - 57. Let j be (-14)/12 - (-14)/v. Is j equal to d?
False
Let j(b) = 4*b + 10. Let k(r) = r. Let i(x) = -j(x) + 5*k(x). Let q be (-9)/6*(-16)/3. Let v be i(q). Is -2 at least v?
True
Let w = 35 + -31. Is w smaller than 33/8?
True
Let p(t) = -t - 5. Let i be p(-5). Are i and -1/12 nonequal?
True
Let j = 811/3 + -274. Is 0 >= j?
True
Let j = -17 + 11. Let w = j + 3. Let s = w + 4. Is 1/3 != s?
True
Let o = 0.6 - 0.5. Is o at least as big as 3?
False
Suppose i = 0, 0*o + 4 = -o - i. Let q be 44/(-7) + o/(-14). Let x = -3 - 2. Which is greater: q or x?
x
Let z(k) = 3*k + 2. Let b be z(-2). Let l = 8 + b. Is l bigger than 5?
False
Suppose 23 = -3*p + 2*g, -g + 17 = -3*p + 4*g. Let f be 1/(-4) - p/(-4). Which is smaller: f or -2?
f
Let w(l) = l**2 - 15*l + 12. Let i be w(8). Which is greater: -45 or i?
i
Let m be (-1)/(-5) - (-2)/(-10). Let d = m - -2. Let i = d + -1. Do i and 2 have different values?
True
Let p(g) = -g + 8. Let q be p(4). Suppose -2*h = h - 6, 0 = -q*j + 2*h. Which is smaller: 1/10 or j?
1/10
Let a = 0.001 + 1.999. Which is smaller: -1 or a?
-1
Let r = 19022/11 - 1728. Is 1 > r?
False
Let x = 78 + -392/5. Which is bigger: x or -0.1?
-0.1
Let t = -105 - -1153/11. Which is smaller: t or -1?
-1
Let t be -3 + (2 - -1)*1. Let n = t - -4. Suppose 2*s = -5*w - 19, s - 8*w - 10 = -n*w. Is s less than -4?
False
Let a(x) = x**2 - 15*x + 21. Let f be a(14). Which is greater: 6 or f?
f
Let z = -17 - -19. Which is smaller: -2 or z?
-2
Let d = -17 + 21. Let f be (-2)/d - (-24)/(-8). Which is bigger: -5 or f?
f
Suppose -6*a + 2*a = 8. Let m be a/(-3 - -1)*-1. Let p = -1.97 + -0.03. Is m at most as big as p?
False
Let y = 503002 - 89031071/177. Let o = y + 4/59. Is o equal to 3?
False
Let g = -5 + 7. Suppose -5*s + 9 = -2*s. Suppose -a - g = -s. Is a equal to 0?
False
Let r be -14 + 11 - 5*-1. Is -12 >= r?
False
Let s(d) = d**3 - 5*d**2 - 6*d. Let f be s(6). Suppose -4*h + f*h = 0. Let j = 107 - 105. Is j greater than h?
True
Suppose -9 + 4 = -5*x. Let u = x + 3. Which is bigger: u or 3?
u
Suppose -3*f + 3*a = -2*f, -5*f = 3*a. Which is smaller: f or -14?
-14
Suppose 13 = 3*x - 2. Let v = x + -3. Suppose 0 = -i - v - 1. Is -3 at most as big as i?
True
Let w = -582 - -18048/31. Is w < 2/5?
True
Suppose -1 + 5 = 4*x. Suppose 0 = -0*p - 2*p. Let i be (0/1 - -1)*p. Is i > x?
False
Let x(g) = g - 6. Let o be x(6). Let s = -151/5 - -31. Is s bigger than o?
True
Let m = 1 - 1. Let v be 1 - 3 - (-454)/310. Let c = -2/31 + v. Which is greater: m or c?
m
Let l(f) = -f**2 - 11*f - 3. Let g be ((-78)/(-3))/(-2) - -2. Let o be l(g). Which is bigger: 2 or o?
2
Let y be (3/9)/(3/36). Let d be y/(-8) - 2/(-8). Is -0.1 < d?
False
Let w = 725 + -32623/45. Which is bigger: -1 or w?
w
Let p = -49 - -50. Is 5 at most p?
False
Let s = -17 - -18. Let f = 0.02 - 0.42. Are f and s equal?
False
Let p be 6/15 + 14/(-10). Let o be p*0/((-3)/(-3)). Is 1/4 greater than o?
True
Suppose -4*z + 2*z - 2 = 0. Let t = 21 + -24. Let b = z - t. Which is bigger: b or 1?
b
Let b = -2 - 0. Let o(k) = k**3 + 4*k**2 + 4*k + 3. Let a be o(-2). Suppose -2*d + a = 1. Is b at least as big as d?
False
Let i(u) = 8*u - 69. Let b be i(5). Is -27 bigger than b?
True
Let u be 24/(-4)*1 + 4. Is u bigger than 2?
False
Let o be (2/6)/((-7)/6). Let f = -4 - -4. Suppose 5*g + 5 = -f*g. Which is smaller: g or o?
g
Let g be 2/4*(-16 + 14). Is 0 > g?
True
Suppose -n - 2 = 5. Let z = -41 + 33. Which is smaller: n or z?
z
Let f(w) = -w - 8. Let g be f(-6). Let o be ((-3)/(-4) + g)/1. Let t = 29 - 30. Which is greater: t or o?
t
Let k = -519595 + 7788478/15. Let u = k - -363. Which is bigger: 0.1 or u?
0.1
Let g be (98/(-21))/((-4)/51). Let v = g + -58. Which is smaller: v or 1?
1
Let x = -4.1 - -4. Let t = 5.6 - 6. Let p = x - t. Is p < -1?
False
Let c be (-86)/12 + ((-28)/(-24) - 1). Is -1/3 at most c?
False
Let u(t) = t**2 + 11*t + 9. Let w be u(-10). Let b be w + 2 + 0/1. Is b != 1?
False
Let c = -200/713 - -6/31. Suppose -2*b = 2*b. Is c > b?
False
Let f be 1 - 2*(-1)/1. Suppose 0 = 2*y - 5 + f. Are y and 1/2 non-equal?
True
Let m = 3 + -2. Is -0.3 less than or equal to m?
True
Suppose -n + 2*r - 6*r = 13, -4*n + 5*r + 32 = 0. Suppose 3*t - 2*a - n = -0*a, t = 2*a + 1. Let p be (-48)/(-45) + 4/(-6). Which is smaller: t or p?
p
Let k(r) = -r**3 + 5*r**2 + 4. Let j be k(5). Let c be (-6)/4*j/(-8). Is c >= 2?
False
Let x = 692/5 + -138. Is x <= 0.46?
True
Let g(z) be the second derivative of -z**4/6 - 5*z**3/6 - z**2 - 3*z. Let c be g(-2). Which is smaller: c or 1?
c
Let r = 3 + -3. Let u = 0 - r. Let w = 53 + -263/5. Is w at least as big as u?
True
Let v = -55 + 47. Which is greater: -9 or v?
v
Suppose 0 = 3*d + 3 - 15. Let s = -14 - -15. Let b be d*(s - (-2)/(-8)). Is 3 > b?
False
Let v be ((-2)/2)/((-3)/15). Let l = 9 - v. Suppose u + 2*u - 17 = -4*j, -l*u = j - 1. Is u not equal to 1/7?
True
Suppose 3*s = 5*s - 30. Let g be 39/s + (-2)/(-5). Suppose -2*d + g = 2*k + 5, 0 = k + 4*d - 5. Is k not equal to -3?
False
Suppose -2*f + o = 8, 5*f + 6 = -3*o - 3. Let t(g) = g**3 + 4*g**2 + 4*g + 3. Let b be t(f). Let n = -158 - -1108/7. Is n != b?
True
Suppose -r - 15 = 2*r, -u = 3*r + 16. Which is greater: -2/89 or u?
-2/89
Let j = -2 + 1. Is j at most as big as 0.08?
True
Let m be 2 - 1 - (-6)/(-6). Suppose 4*l = -2*r + 26, 3*l + m = -r + 21. Which is smaller: l or 6?
6
Let u = 6073/14 - 434. Let s = u - 47/42. Are s and -1 unequal?
True
Suppose 0 = 2*k - 1 - 1. Let f = -6 + k. Do -6 and f have different values?
True
Let b = 0 + 3. Let n = -3 + b. Suppose 3*k + 1 = 4, w + 5*k - 7 = n. Is w smaller than 2?
False
Let v = 14 - 19. Let z = -5.3 - v. Are z and 0 equal?
False
Let o(u) = -5*u**2 - u + 1. Let r be o(-1). Which is smaller: r or -2?
r
Suppose -3 = -5*s + 2. Is 12/11 bigger than s?
True
Let k be -2*2/(-8)*0. Let j be ((-4)/(-6))/(-2 + k). Is -1 greater than or equal to j?
False
Let o(s) be the first derivative of 2*s**3/3 + s**2 - s + 3. Let l be o(1). Suppose -w = l + 1. Which is greater: -5 or w?
w
Suppose -q + 3 = 2*q. Suppose 0 = 2*n + 12 - 42. Suppose -5*v = 5*m + 5 + 20, 0 = -v + 3*m + n. Which is bigger: v or q?
q
Let q(y) = y**3 - 6*y**2 + 2*y - 8. Let k(g) = -g - 1. Let l(p) = 4*k(p) - q(p). Let u be l(5). Suppose s = -4*f - 17, 0*f = 4*s - 2*f - 4. Does u =