 - -19. Is k less than q?
False
Let v = 61/292 + 3/73. Is v != -1/4?
True
Let w(n) = -n - 5*n + 5*n + 2*n. Let v be w(0). Which is greater: 2 or v?
2
Let n = 1/30 - -47/390. Which is smaller: n or 0?
0
Let p = -133/381 + 2/127. Is p equal to -0.11?
False
Suppose 5*s - 4 = 6. Suppose -s = 2*v - 2*q, -4*q = 5*v - 0*q - 22. Is v >= 2?
True
Suppose -3*y = -4*y + 8. Let p = y - 15/2. Is 2 bigger than p?
True
Let b be (-2)/(-6)*(-15)/4. Let d = -4/3 - b. Which is greater: d or -1?
d
Suppose -4*g + 45 = 2*c - 7*c, -3*g - 4*c - 5 = 0. Suppose 0 = -5*t + g. Let x = 0 + t. Which is bigger: 2/9 or x?
x
Suppose z = -2*o - 17, -z + 4*o - 8 = 3*z. Let w be -2 + z/2 + 2. Which is bigger: w or -0.1?
-0.1
Let u = 4/11473 - 23267264/57365. Let x = u - -407. Which is bigger: x or 2?
2
Let b(z) = z**3 + 7*z**2 - 16*z - 26. Let d be b(-9). Is d at most as big as -44?
True
Let w be ((-12)/(-24))/(2/(-4)). Is w less than -1?
False
Let d(z) = -z**3 - 4*z**2 + z + 5. Let y be d(-4). Let s be ((-4)/96)/(3/(-9)). Is y greater than s?
True
Suppose 0 + 5 = -2*a + 3*p, -40 = 4*a + 4*p. Is a less than or equal to -6?
True
Let v be ((-10)/(-30))/(4/3). Suppose -3*l + 8 = -2*t - 0*t, -2*l - 28 = 2*t. Let p be (0 + 1)/(t/4). Which is smaller: p or v?
p
Let l = -75 - -75. Which is smaller: 2/119 or l?
l
Let a = 0.073 + -0.173. Let r = -30 - -21. Which is smaller: a or r?
r
Let j = 0 - 0. Which is smaller: 1 or j?
j
Let r be (-2)/(2/3*-1). Suppose -3*i - r = -15. Suppose 3*w = i - 10. Which is smaller: w or -2/3?
w
Let i(p) = -2*p - 7. Let t be i(-7). Suppose -4*l + t - 11 = 0. Is l at most -4/15?
True
Let k be (-10)/(-9)*(-18)/(-24). Suppose -4*w + 2*b - 4 = 0, 2*w + 0*b = 4*b - 14. Which is smaller: w or k?
k
Let q = 96 + -95. Is -1/9 bigger than q?
False
Let z be 116/(-18) - (-1 - -2). Let l = -23/3 - z. Suppose 2*p - 5 = m, 0*m + 10 = 5*p - 2*m. Is p not equal to l?
True
Let w(q) = -q**2 - 6*q + 5. Let h be w(-6). Let s = h - 6. Do s and -3 have different values?
True
Let x = -18/31 - -107/558. Is 1 > x?
True
Let a = 23 - 21. Let f be (a - 3) + 1 + 0. Which is greater: -1/16 or f?
f
Let c(u) = u**3 - 10*u**2 + 10*u - 8. Let l be c(9). Suppose 0 = -2*s - 3*g - 2*g - 18, 0 = -5*s + 3*g + 17. Is l greater than or equal to s?
True
Let f = 8 + 2. Let q be (-12)/f*40/6. Let i be 3/6*q/(-14). Which is bigger: i or 0?
i
Let t be 8 - 772/(-60) - (-4)/30. Do t and 19 have the same value?
False
Let n = 24 + -21. Let k be (-1 + (0 - -1))/n. Which is smaller: 1/14 or k?
k
Let h be 3/(3/(-17)) - 0. Which is smaller: -18 or h?
-18
Let a(d) be the first derivative of d**2/2 + 4*d - 2. Let o be a(-5). Is -2 >= o?
False
Suppose 3*f - 649 = -b, -2*b + 218 = f - 0*b. Let n be (-2)/4 + 124/f. Are -1 and n equal?
False
Let o be 1 - (520/132 + -3). Are 1 and o nonequal?
True
Let j = 11 + -7. Suppose 2*t = j, 3*t + 3 = 5*n + 2*t. Let u(a) = 2*a**2 - a. Let b be u(n). Which is smaller: b or 0?
0
Let w be -3 + 1 + (1 - 0). Let y = -16002/25 - -640. Are w and y nonequal?
True
Suppose 0 = -t + 5*a - 7, -t + 7*a = 6*a + 7. Let s be -6*(-2)/6*-4. Is t != s?
True
Let r(d) = -d**3 + 11*d**2 + 11*d + 13. Let y be r(12). Is -2/35 bigger than y?
False
Suppose -f - 26 = 2*p, -p - 2*f + 44 = -5*p. Let d(c) = -c - 12. Let a be d(p). Which is greater: -2 or a?
a
Let p = 32 + -23. Let i = p + -6. Suppose 2*k - 4 = 2*f, -5*f = -i*k - 4*f + 2. Which is bigger: 1 or k?
1
Suppose -3*t + 7 = -2*t. Suppose -t + 1 = n. Let i be (3 + n - -3)/2. Which is bigger: i or -1/2?
i
Suppose 4*r + r + 95 = 0. Let c = r - -134/7. Which is bigger: c or 1?
1
Let m = 136/1075 - 2/43. Let b = m + -17/25. Which is smaller: b or -2?
-2
Let x = -1.52 + 1.6. Let m = x + -0.18. Is m at least -1?
True
Let x = 19 - 13. Suppose 3*s - 10 = -d, 4*d - 3*s = d - x. Let h be (-6)/(4 + (-17 - -3)). Which is smaller: h or d?
h
Let m be ((-1)/5)/((-4)/5). Let r = 0.14 - -3.06. Let w = r - 0.2. Is m smaller than w?
True
Let i = -67 - -66.8. Let x = 0.05 + 1.95. Are i and x non-equal?
True
Let j(q) = -q. Let a be j(-5). Suppose -6 = 4*z - 3*l - 2, 0 = -a*l. Is z >= 1/4?
False
Suppose 10*q - 497 = 63. Is 56 less than q?
False
Let i be (-6)/8 - (-1)/(-4). Let l = 14 - 27/2. Is i less than or equal to l?
True
Let b be (-77)/10 + 11/22. Which is greater: b or -8?
b
Let m(k) = 28*k**2. Let a be m(-1). Let c be ((-1)/(-5))/(a/(-35)). Which is smaller: c or 0?
c
Let v(h) = 2*h**2 - 26*h - 18. Let d be v(14). Which is bigger: d or 17/2?
d
Suppose -b = -4*b + 15. Let y be (4/10)/(b/(-50)). Let w(d) = d**2 + 4*d - 3. Let c be w(y). Which is bigger: 0 or c?
0
Let p be (-4)/8*((-179)/59 - -3). Is p greater than 1?
False
Let l = -28 - -12. Let d = l + 17.2. Let o = -0.2 + d. Are o and 1/5 equal?
False
Suppose 0 = -5*n + 7*n + 10. Which is greater: n or -6?
n
Suppose 5*c - 8*c = -12. Which is bigger: c or 6?
6
Let y = -36/23 - -258/253. Which is smaller: -2 or y?
-2
Suppose 0 = 5*u + 14 + 1. Let i = -2927/1257 - 2/419. Which is smaller: i or u?
u
Let n(q) = -q**3 + 13*q**2 + q - 8. Let z be n(13). Which is bigger: -1 or z?
z
Suppose -3*y + 2 - 5 = 0. Let j be (0/2)/(2*y). Let h be (2/(-3) - -1)*1. Is j <= h?
True
Let d be (-2)/(-6)*14/3. Which is greater: 1 or d?
d
Let d(p) be the third derivative of -7*p**5/60 + p**3/6 - 3*p**2. Let b be d(1). Let a be (8/12)/((-10)/b). Is 0.4 >= a?
True
Suppose 4*o + 2*r - 13 = 35, 4*o - 36 = 4*r. Suppose -o*q - 6 = -8*q. Is q at least -2?
True
Let y be 0/2 - 12/4. Let l be 44/y + 19/(-57). Is -14 at least as big as l?
True
Let y be 5/(3*2/42). Suppose -3*q + 49 = 4*c - 0*c, 5*q = -2*c + y. Let s be c/(-24) - (-1)/(-4). Which is smaller: 0 or s?
s
Let j = -22 - -20.6. Is j at least 0?
False
Let s(i) = -i - 2. Let t be s(0). Let v = -2 - 1. Is v < t?
True
Let g(w) = -w**2 + 7*w - 5. Let p be g(5). Suppose 5 = 5*v, 5 - 16 = -2*d - p*v. Let f be (0/d - -1)*-5. Which is bigger: f or -6?
f
Let b(c) = -c**3 + 7*c**2 + 8*c + 2. Let x be b(8). Let t be 3 - (x - (0 + -1)). Is -2 not equal to t?
True
Let v = -0.08 - 4.92. Let y = -1 - v. Let i(k) = k**2 - k - 1. Let a be i(-1). Which is smaller: a or y?
a
Let i(t) = -t**2 - t + 8. Let r be i(-3). Is 1 equal to r?
False
Suppose -2*h = -2*s - 20, 0 = -4*s + s - 9. Is 7 not equal to h?
False
Let m be (11 - (3 + -3))/(4 + -5). Which is smaller: -13 or m?
-13
Let k(q) = -q**3 - 4*q**2 - 2*q - 5. Let r be k(-4). Suppose g + 11 = 4*l + l, -3*g - r*l + 3 = 0. Are 5 and g nonequal?
True
Suppose -3*z + 0 = -6. Suppose -z*x - 3*x - 10 = 0. Do -0.3 and x have different values?
True
Let i = 12.464 + -0.064. Let f = 17.7 - i. Let d = 5 - f. Which is smaller: d or -0.1?
d
Let c(j) = 2*j**2 - 3*j. Let f be c(2). Suppose x = -f + 1. Let m = -171/5 + 3923/115. Are m and x equal?
False
Let j(p) = -3*p + 10. Let v(f) = -4*f + 10. Let b(t) = 5*j(t) - 4*v(t). Let d be b(-9). Are 0 and d unequal?
True
Let g = 6.93 - 7. Which is greater: -2 or g?
g
Let i be (-1)/((1 + 0)*1). Let p(h) = 2*h + 8. Let l be p(-6). Let j be ((-4)/6)/(l/(-6)). Is i smaller than j?
False
Let a = -0.6 + -1.4. Let r = -16 - -18.1. Let n = r + a. Is 0.1 not equal to n?
False
Let l = 14.3 - 15. Let h = l - -0.7. Is 2 greater than h?
True
Let h = -212/5 - -42. Let m = 175 - 176. Is m < h?
True
Let i = 900239/40 - 22504. Let d = i - 19/8. Which is smaller: -1 or d?
-1
Let l be ((-4)/(-14))/((-9)/(-7)). Suppose 5 = b - 0*b + 2*x, 14 = -2*b + 4*x. Which is bigger: l or b?
l
Let m(v) = -v**3 - 2*v**2 - 3*v - 5. Let l be m(-2). Let d = -3850/13 - -296. Which is smaller: d or l?
d
Let z be -12*((-3)/(-6) - 1). Suppose -1 = -2*n + 7. Suppose -3*w + n = f + 10, -f + z = -3*w. Is 0 not equal to f?
False
Let o = 31 + -30. Let f = -0.93 + 1.2. Let c = f + 0.03. Do c and o have the same value?
False
Let z(b) = b**3 + 13*b**2 - 13*b + 14. Let m be z(-14). Which is bigger: m or 2/5?
2/5
Let v(d) = -d**2 - 6*d + 6. Let o be v(-7). Let b be (2/(-27))/(10/30). Which is bigger: o or b?
b
Let a be (6/9)/(6/(-9)). Let f = 6 - 6. Let s be -2*(f + (-3)/24). Which is greater: a or s?
s
Let a = 9 - 9.3. Let i be 2*((-18)/(-4))/(-3). Is a smaller than i?
False
Let i be (19/((-646)/(-120)))/(-2). Which is bigger: i or -2?
i
Let u(m) = -m + 9. Suppose 2*a + 24 = -z + 5*z, -3*z - a = -28. Let o be u(z). Let i be (-12)/(-18) - 8/21. Is i smaller than o?
True
Let n be 