. Is 1 < q?
False
Let m = -24 + 17. Let v = m + 5. Let k = v - -1. Which is greater: -2/9 or k?
-2/9
Let u = 6.4 + -6. Let t = 0.39 - u. Which is bigger: t or 0?
0
Suppose 0 = 2*i + 3*i - 4*z - 23, -5*i = 4*z - 47. Let b be ((1 - 0) + -7)*-1. Is i less than b?
False
Let v = 58/33 - 12/11. Which is smaller: v or 1/2?
1/2
Suppose 0 = y + 2*t + 4, 5*y - 5*t = 64 - 9. Suppose 4*p - y*p = 0. Is 0 <= p?
True
Let c be (3 + -2)*(-9)/(-3). Let l be (-7 + 1)*(-1)/c. Let b = 4 - 1. Which is greater: b or l?
b
Suppose 5*h + 1 = -0*h - l, -5*h + 2*l + 2 = 0. Let k be ((-6)/(-18))/((-1)/(-6)). Which is smaller: h or k?
h
Let g be (4/((-16)/6))/(2 - -1). Suppose 4*o - 5*l = -0*o - 9, 0 = o + l - 9. Which is smaller: g or o?
g
Let b be 0 - (2 + 4397/212). Let j = -91/4 - b. Let u = j - 207/530. Which is greater: -1 or u?
u
Let z = -10 - -7. Let c = -9 - z. Let q be (-4)/2 + -4 + 1. Do c and q have different values?
True
Let l(s) = 17*s + 10. Let n be l(8). Let i = n - 2481/17. Is 1 < i?
False
Let d(o) = 2*o**2 - 25*o + 12. Let x be d(12). Is x > 1?
False
Let k = -3 - -5. Let o be 1/(1/4) + 0. Suppose 0 = o*l - 0*l + 4. Which is smaller: l or k?
l
Let j(v) = 2*v**2 - 3*v - 4. Let l be j(3). Suppose -4*h + l - 1 = 0. Let u be ((-6)/9)/2 + 0. Which is smaller: h or u?
u
Suppose 4 + 6 = 5*y. Suppose 2*q = 3*l + 2, -l = -2*q - y*l + 2. Do -5 and q have the same value?
False
Let l = 1.6 - -0.4. Let s = 2 - l. Are -1/3 and s equal?
False
Let a(k) = 0 - 5*k - 3*k**2 + k**3 + 0. Let v = 14 + -10. Let c be a(v). Is -3 > c?
True
Let o(q) be the second derivative of -q**5/20 + 2*q**4/3 - 4*q**3/3 + 7*q**2/2 - 4*q. Let l be o(7). Which is greater: l or 2/15?
2/15
Let o = -213/5 - -43. Let l = 1 + 0. Are o and l nonequal?
True
Let j = -1 - -1. Let b = -7 + 3. Let m be 3/6 - 2/b. Which is smaller: j or m?
j
Let h(b) = b**3 + 4*b**2 + 3*b - 1. Let r be h(-4). Let y = r + 17. Do 4 and y have the same value?
True
Let y be (-16)/8 + 5 + 0. Suppose 4 - 23 = -4*v + 5*g, -v = -y*g + 4. Are v and 10 unequal?
True
Let z be (-2)/(-4) + 46/4. Suppose 0 = 2*f - 0*f - z. Suppose 20 = 6*l - 22. Is f bigger than l?
False
Let w = 106 + -740/7. Is 10 <= w?
False
Suppose 0 = 5*z - 4 - 6. Let g be z/2 - (-1 + 2). Is g at most 0?
True
Let p be 363/15 - 6/(-15). Let z = p + -25. Does 1 = z?
False
Suppose 0*l + l + 13 = 0. Let o = l - -16. Is o less than 2?
False
Suppose -3*i + 5*w + 10 = -9, -w - 3 = -i. Suppose 4*y + 2*p - 20 = 0, 0*p + 14 = 4*y - p. Which is bigger: y or i?
y
Let f = -5 + 3. Let b be 64/(-90) + (-12)/30. Which is smaller: f or b?
f
Let f = 0.42 - 0.02. Let l = f - -4.6. Is l <= -0.1?
False
Let l(c) = -c**3 + c - 1. Let k(h) = -5*h**3 - 5*h**2 + 5*h - 3. Let a(p) = -k(p) + 6*l(p). Let f be a(5). Let z = 1 + 0. Is f at least as big as z?
True
Let w be 10507/3 - (-10)/15. Let u = w + -27975/8. Let q = u + -39/8. Which is greater: q or 0?
q
Let g = 17/84 + -5/12. Is g at least 1?
False
Let p(c) = c**2 - 4*c - 1. Let v be p(4). Suppose f - 4 = 16. Suppose 3*z - 5*y - 25 = 0, 4*y + 0 = -2*z - f. Which is smaller: z or v?
v
Let q = -3 - -1. Suppose -m + 0*m = 4*h + 25, 21 = -3*h - 3*m. Let b be (-3)/q*3/h. Which is smaller: b or -1?
-1
Let d = 0.3 + 7.7. Let l = 3 - d. Which is greater: l or 0.2?
0.2
Let b(k) = -k**3 - 13*k**2 - 1. Let x be b(-13). Is -1/29 bigger than x?
True
Let j = 19/4 - 5. Do 1 and j have the same value?
False
Let z(r) = 132*r**2 + 2. Let g be z(2). Let b = g - 9007/17. Are 0 and b equal?
False
Let q(g) = 2*g. Let n be q(-4). Let s be 6/n + (-4)/16. Does -1 = s?
True
Let s(f) = 2*f - 1 - 3*f - 4. Let z be s(-4). Let y = -2.1 - -2. Which is smaller: y or z?
z
Let p = -53 - -263/5. Suppose -2*a = -6*a - 4. Which is greater: p or a?
p
Suppose 0 = 5*k + 4*m + 135, -k = -m + 52 - 16. Is k less than -31?
False
Suppose -3*n + 3*y = -156, -2*y - 2*y = -n + 52. Let u be n/14 - (-4)/14. Suppose -u*d - 14 = -6. Is d greater than 1?
False
Suppose 0 - 6 = -3*k. Suppose -j + k*j - 3*g = -13, -2*g = -j - 8. Let z be ((-14)/(-63))/(2/(-6)). Which is bigger: z or j?
j
Let l(q) = q**3 + 3*q**2 - 2*q - 4. Let h be l(-3). Let b = h - 1. Which is greater: b or -1?
b
Let q = 42 - 73. Let p be -9*(-1)/48*-164. Let o = q - p. Which is smaller: -1 or o?
-1
Let f be -1 + 16/2*91/(-28). Which is smaller: f or -25?
f
Suppose 4 = q - 2*x + 15, 0 = 4*q - 2*x + 14. Let r = -183/1840 - -1/80. Which is bigger: r or q?
r
Suppose 0 = 3*g - 42 + 78. Which is smaller: g or -17?
-17
Let h be (0 - -1) + (-22 - -19). Suppose -3*r - 5*o = -10, r - 3*o + 4*o = 2. Are h and r non-equal?
True
Let w = 2.1 + -4.3. Let j = -2 - w. Is j less than 0?
False
Let j = 5 + -4. Let w(u) = -u - 2. Let v be w(-6). Let q be 1/(-4) - (-5)/v. Is q > j?
False
Let f be -2 + (-1 - (-27 + -2))/9. Which is smaller: -3 or f?
-3
Suppose -c + 29 + 3 = 5*s, 3*c - 26 = -s. Which is smaller: 9 or c?
c
Let n = 59.066 + -59. Is -1/3 at least n?
False
Let c be (-2)/(-7) - (-1186)/14. Let g = 253/3 - c. Which is smaller: g or -1?
-1
Let p = -1123/8 - -140. Let r(d) = 2*d - 6. Let k be r(8). Let j(s) = s**2 - 10*s. Let a be j(k). Is a not equal to p?
True
Let v(d) = 2*d + 3. Let l be v(3). Suppose -l*b + 5*b = 0. Is b bigger than 6/13?
False
Let d(s) = -2*s**3 - 4*s**2 - 2*s. Let j be d(-2). Suppose -3*k + 2*p - 9 = 0, -2*p + j = -k - 3. Let c be (-2)/5*1/2. Does k = c?
False
Let t be (-2 - 2) + 40/16. Let l(w) = -w**3 + 3*w**2 - w**2 + 0*w - 2 + 3*w. Let s be l(3). Is t <= s?
False
Let l be ((-1)/(-55))/(-13 - -14). Is l greater than -1?
True
Let q be (-394)/(-1010) - 3*6/45. Are 1 and q non-equal?
True
Suppose -2*b = 3 + 1. Let s be b*-5*2/(-4). Is -5 < s?
False
Let p be (2/4 - 0)*14. Let d = 6 - p. Which is greater: d or 0?
0
Let h be 6 - 4 - 8/4. Suppose -2*i + 3*i + 19 = 0. Let y = -37/2 - i. Do h and y have the same value?
False
Let l = -1.4 - -0.4. Let p be 2/(-8) + (-242)/(-264). Which is smaller: p or l?
l
Let p(l) = -2*l + 34. Let w be p(27). Which is greater: w or -58/3?
-58/3
Let w be 0/((-4)/(4/2)). Let s = 117 + -239/2. Let b = 21/10 + s. Which is smaller: w or b?
b
Let l be 12/2*1/2. Let c = l - 4. Let v = c + 3. Is v greater than or equal to 3?
False
Let s be 10*((-36)/(-8) + -2). Is s less than 25?
False
Let b = 3.2 + -3. Let o = b + -0.2. Let h = 1 - 2. Is o smaller than h?
False
Suppose 2*g + 2*g = 0. Which is smaller: g or -1/6?
-1/6
Suppose -7 = -4*j + o + 3, 2 = o. Which is greater: j or 5?
5
Let k = 0.02 - -1.98. Let j = 12 - 23. Let q = -21/2 - j. Which is greater: k or q?
k
Let j(z) = -z**2 + z - 2. Let q be j(2). Let i be (-3)/(-12) + 25/q. Which is smaller: 0 or i?
i
Let f = 52 - 141. Does f = -89?
True
Let x = -1076 + 34429/32. Which is smaller: x or 1?
x
Let i = -4 + 14. Let g = i - -6. Is 17 bigger than g?
True
Let u = -5 - -3. Let a = u + 1. Which is greater: a or -3/7?
-3/7
Let r = 3.4 - 3. Let t = r + -0.3. Let q = 0.2 - 0.3. Is q at least t?
False
Let m = 2.6 + -0.6. Let x = -0.9 - -3.9. Let y = x - m. Which is smaller: 0.1 or y?
0.1
Let l(u) be the second derivative of -u**3/6 + 3*u**2/2 - u. Let h be l(3). Let m = 31 + -63/2. Which is bigger: m or h?
h
Let b = -17 + 20. Are -1/4 and b nonequal?
True
Let q = -598/15 + 122/3. Which is bigger: 0 or q?
q
Suppose 10*k = 8*k + 2. Is k smaller than 1?
False
Let d(c) = c**2 - c - 1. Let h be d(0). Which is smaller: -1/8 or h?
h
Suppose 2*b - 21 = -5*y + 7, b - 8 = -y. Let t be 28/(-5) - b/10. Let k be -4*(-1)/t*3. Does k = -2?
True
Let j be ((-2)/(-27))/((-21)/126). Which is greater: j or 0?
0
Let q(h) = h**2 - 21*h + 29. Let r be q(19). Is r greater than 3/5?
False
Let g(m) = -m**2 + 11*m + 12. Let l be g(12). Suppose 1 = -c + 2*c. Let z = -1 - c. Which is greater: l or z?
l
Let h = -21 - -26. Let x be (-4)/(-16 - 4)*h. Is 2 at least as big as x?
True
Let c be ((-16)/(-6))/((-16)/(-120)). Which is smaller: c or 21?
c
Let u be 6/(-8)*4*2/(-12). Is 0.03 bigger than u?
False
Suppose -8*q - 1 = -9*q. Suppose 5*d + q = 6. Which is greater: 3 or d?
3
Let n be -1*((-1)/3 + 0). Suppose 5*y + 0*p = -3*p + 5, 5*y = 2*p + 30. Suppose y*l = l - 3. Which is bigger: l or n?
n
Let n(t) be the first derivative of t**3/3 - 9*t**2/2 - t + 2. Let b be n(9). Which is bigger: 0 or b?
0
Let m = 7 - 4. Suppose 0 = 3*h - 2*r + 4 - 13, -m*r = -h + 10. Is h <= 3?
True
Let p be 