k = 3.2 + -3.3. Is k less than or equal to v?
True
Let b be (-5)/2*2/(-5). Which is bigger: 8/7 or b?
8/7
Let c(b) = 2*b - 8. Let s be c(6). Let g be 0*(-1 - (-1)/2). Suppose g = 5*l - l - s. Is -1/2 greater than l?
False
Let z = -9 - -16. Let n(w) = -w + 5. Let a be n(z). Are a and -2 non-equal?
False
Let h = 11 + -16. Do -5 and h have the same value?
True
Let s be -8*(-1)/2 - 2. Suppose -3*y = 5*w - 25, -5*y - 6 = -w - 1. Suppose 5*v - 4*p = y, -v - v - 18 = s*p. Which is smaller: v or -3?
v
Let k(g) = -2*g**2 - 1 + g + 2*g**2 + g**2 - 2*g**2. Let q be k(1). Is -3/2 greater than q?
False
Suppose -78 + 110 = -8*o. Suppose -w = 4 + 1. Is o less than w?
False
Let v(c) = -6*c**2 + 3*c - 4. Let z(t) = -5*t**2 + 3*t - 3. Let l(r) = -6*v(r) + 7*z(r). Let a be l(-3). Suppose -a + 4 = n. Which is smaller: -3/10 or n?
-3/10
Let z = -4 - -3. Let i be 0 - 4/((-12)/63). Let f be 4/(-2) - i/(-12). Which is bigger: z or f?
f
Suppose -5*n - 2*g - 22 = 0, 3*n + 5 + 3 = 4*g. Let p = 2 + n. Let y be -2*(0 + p/6). Is y smaller than 2?
True
Let o(f) = f**2 - 6*f + 4. Let l be o(4). Let r be (-19)/l + (-2)/(-8). Suppose -r*k + 2 = -3. Is k greater than 1?
False
Let s(y) = 7*y**2 + 11*y + 4. Let x(m) = 6*m**2 + 11*m + 3. Let j(t) = 5*s(t) - 6*x(t). Let f be j(-11). Which is smaller: -0.1 or f?
-0.1
Let m be (-1 - -2)/((-2)/(-2)). Let u be ((-10)/24)/(30/(-12)). Which is smaller: m or u?
u
Suppose -4*h + 0*f - 12 = 4*f, 3 = -4*h + 5*f. Do -9/4 and h have the same value?
False
Let l be 4/6 + 51/(-117). Is l less than or equal to 0?
False
Suppose -3*o - 3*c + 219 = 0, -2*c - 65 = -o - c. Let h = -205/3 + o. Is h at most 1?
True
Let v = -5 - -9. Let n be (-10)/36 + v/(-18). Which is smaller: n or -1?
-1
Let n = 9 + -5. Suppose 16*z - 86 + 118 = 0. Which is smaller: z or n?
z
Suppose -3*c - 2 = -8. Suppose -5*m + 10 = 0, 5*f - c*m + 9 - 30 = 0. Which is bigger: 4 or f?
f
Let y = 11 - 35/3. Let s(t) = -2*t + 2. Let z be s(-4). Let p be (-2)/3*5/z. Are y and p unequal?
True
Let t(j) = -j**2 - 7*j - 2. Let n be t(-6). Suppose -n*p + 3*h = -47, -3*p + 5*h = h - 30. Let k be (-6)/2*p/21. Which is smaller: 0 or k?
k
Suppose -a = 0, 5*z - 13 = 2*a + 32. Which is smaller: z or 8?
8
Let g be (-6)/39 - 564/52. Let m = g + 2. Which is smaller: m or -8?
m
Let h(n) = n + 3. Let z be h(-4). Let l be 9/(-12)*z/(-6). Is l < 0?
True
Suppose 4 = -2*r + 5*a, 6*r - 5*r = 2*a - 2. Let t be (2/(-1))/(r - -11). Is t at most 0?
True
Let a(c) = c**3 - 22*c**2 + 23*c - 41. Let u be a(21). Is u not equal to -1/127?
True
Let u = 1.06 + -1.85. Let k = u + 0.8. Which is smaller: k or -1?
-1
Let s = 18 + -19. Which is smaller: s or 2/15?
s
Suppose 0 = -5*a - 3*j - 12, -4 = 5*j + 16. Suppose a = -x - 0*x - 5. Let m be 0 + x + 0/(-3). Which is smaller: m or -4?
m
Let d be 1 - (-160)/(-45) - -4. Which is smaller: 0 or d?
0
Let r = -5.396 + -0.004. Let d = r + 6. Which is smaller: 1/2 or d?
1/2
Suppose -a - t = -3*a - 93, 0 = 2*a - 4*t + 102. Which is smaller: -43 or a?
a
Let d be 1/(-2)*(-8 - -8). Let r = 6 + d. Which is bigger: 7 or r?
7
Let n be ((-5)/(-4) + -2)/(9/3). Which is greater: n or 2/9?
2/9
Suppose x = -2*m + 4*x + 42, 5*x = -3*m + 44. Which is smaller: 16 or m?
16
Suppose -3*k + 2*q + 8 = 0, -2*k - 17 = 4*q - 1. Suppose -2*w + 0*w = -2*n - 8, k = -3*n - 2*w - 2. Is -7/4 < n?
False
Let m = -2.9 + 3. Let b = -3/16 - -25/48. Is b equal to m?
False
Suppose 10 = 3*b + 1. Suppose -b*d - 12 = -6*d. Suppose -u + d*a + 21 = 0, 2*u + 8 = 3*a - 5*a. Which is greater: 3/8 or u?
u
Suppose -4*j = -c - 0*j + 20, -4*c = -j - 5. Suppose 2*x + c = 4. Is x equal to 2/3?
False
Let d(x) = x**3 - x**2 - x. Let t be d(2). Is t at most as big as 4?
True
Let i be -51*5/((-45)/6). Suppose 0*d - d = n - 14, 3*n - d - i = 0. Do 13 and n have different values?
True
Let r(v) = -3 + 6*v + v**2 + 3 + 4. Let q be r(-5). Which is smaller: q or -2/7?
q
Let l(f) be the third derivative of f**5/60 - f**4/8 + f**3/6 + f**2. Let w be l(3). Let u = 67/132 + 8/33. Which is smaller: u or w?
u
Let d = 3 - 0. Suppose -3*c - d*a = -c + 7, 0 = 5*a + 15. Suppose 0 = -3*b - 2*b - 4*z, -1 = -4*b - 3*z. Is c bigger than b?
False
Let i be (2/(-3))/(1/(-3)). Let s = -3 + i. Suppose u = 6*u. Is s equal to u?
False
Suppose 2*i - 24 = -i. Let h be (6/i)/((-6)/(-4)). Suppose -y - 2 = -4. Which is smaller: h or y?
h
Let s(r) = r + 3. Let b be s(-3). Let y be (b - 0) + 3 + -1. Let d be (-2)/2*(-1 + 0). Which is smaller: y or d?
d
Let b(h) = 7*h**2 - 2*h - 3. Let p be b(-2). Suppose -3*a - p = -4*v, -4*v + 28 = -3*a + v. Is a equal to -12?
False
Let g = 76 - 72.9. Which is bigger: 1 or g?
g
Suppose 0 = -4*q + 3*o + 333, 5*q = -2*o + 551 - 106. Which is bigger: 88 or q?
88
Let s be 1/(2/20*2). Suppose 0 = s*h - 4 - 6. Do h and 2 have different values?
False
Let j be 16/(-5) + (-2)/(-10). Suppose 1 = w - 1. Suppose 4*q - 5*r + 1 = -27, -5*q - 3*r + w = 0. Which is smaller: j or q?
j
Let m = 40 - 64. Is -24 at least m?
True
Let y be (-7 + 3)*1/(-2). Let p be (-1)/y*1*-4. Is p smaller than 2?
False
Let z = 1.09 - 1.14. Which is smaller: -1/7 or z?
-1/7
Let v = -15 - -16. Let z be (v*2)/(1/4). Is 9 greater than z?
True
Suppose -3*w + 29 = -4*w - 5*o, 4*o + 43 = -3*w. Is w < 2?
True
Let c(i) = i - 3. Let z be c(4). Let r be (20/8)/(2/(-4)). Let f(s) = s + 6. Let k be f(r). Is k != z?
False
Suppose 0 = -2*d + 3 + 1. Let b = 1 + d. Is b at most as big as 4?
True
Let u = 23 - 28. Let n = 1 + 1. Is n greater than u?
True
Let p(w) = 4*w - 7. Let x be p(0). Which is smaller: x or 0?
x
Let h = 0.03 - -0.47. Let q = -4 + 4.3. Let k = q - h. Is -1 at least as big as k?
False
Let y be (-19534)/28952 + 2/8. Let x = 2/517 - y. Which is bigger: x or 0?
x
Suppose -5*s - 21 = -416. Let t be s/9 + (-4)/(-18). Which is greater: t or 10?
10
Let g(q) be the third derivative of -q**6/30 + q**5/60 + q**4/24 + 3*q**2. Let m be g(-1). Let n be (-2)/(-7) - (-38)/14. Is m <= n?
False
Let y = -5.1 + 4. Let z = y + 1. Is -0.3 at most as big as z?
True
Let h(v) = -13*v**3 + v**2 - 2*v + 1. Let c be h(-2). Does c = 113?
True
Let h = -20 - -17. Let b = h - -2.8. Is -0.1 smaller than b?
False
Let q = -562/7 + 80. Let t = 127/2 - 61. Which is smaller: q or t?
q
Let g = 1.3 - 0.3. Let f = -2.2 - -3.1. Let j = f - g. Is j equal to -2/9?
False
Let m = 8 + -4. Suppose -4*k - 12 = m*u, 4*k - 2*u - 14 = -2. Let w = -16 - -49/3. Which is greater: k or w?
k
Let g(w) be the third derivative of w**6/120 + 7*w**5/60 + 5*w**4/24 - w**3 + 4*w**2. Let j be g(-6). Let s be ((-15)/2)/5*2. Which is smaller: s or j?
s
Let x = 2468 + -12573/5. Suppose -3 + 9 = 3*g, 0 = -2*j - 4*g + 102. Let d = j + x. Which is greater: d or 0?
d
Let w(x) = x**2 + 5*x + 1. Let v be w(-4). Which is bigger: v or -22/5?
v
Suppose 3*h - 428 - 142 = 0. Suppose 3*a = -2*a - h. Let t be a/(-10) + 2/10. Which is bigger: t or -0.2?
t
Suppose 29 + 16 = 5*p. Suppose 0 = 4*v - p + 1. Let s(n) = -2*n + 3. Let c be s(v). Is c at most as big as -2/9?
True
Let w be (8/(-10))/2*5. Suppose 3*u - 4*j + 11 + 32 = 0, 3*u + 11 = -4*j. Let d(a) = a**3 + 8*a**2 - 9*a - 1. Let x be d(u). Which is bigger: x or w?
x
Let s(g) = g**3 + g**2 + g - 4. Let w be s(0). Let c = -15 + 13. Let i be -3 - (w - c)/2. Which is smaller: -9/5 or i?
i
Suppose -2 = 5*v - 12. Let q be 3 - 1 - (v + 1). Let l = -1/31 + 95/62. Is l != q?
True
Let d(q) = q**3 - q**2 - 3*q + 1. Let k be d(2). Let x = -1/142 - 707/426. Which is greater: x or k?
k
Suppose -l + 3*l = 8. Let k(y) = y**2 - 6*y - 4. Let a be k(7). Is l bigger than a?
True
Suppose -12 = -2*d - d. Suppose -3*q + 0*q - 2*o + d = 0, 0 = q + 3*o - 13. Which is greater: q or -3/5?
-3/5
Let u be 4/10 + (-126)/15. Do u and -10 have the same value?
False
Let v be 56/12 - 1/(-3). Let c(u) = 2 - 1 - 2*u + 4*u**3 - u**3 + 0*u**2 + 2*u**2. Let p be c(1). Which is bigger: v or p?
v
Let s = 0.7 + -2.7. Let y be (24/(-54))/((-4)/3). Is s >= y?
False
Let y = 224/15 + -46/3. Let w = -55 + 56. Which is smaller: w or y?
y
Let a(h) = h**3 - 8*h**2 - 2*h + 10. Suppose 4*c = -5*z + 56, -58 = -5*z - 2*c - 10. Let n be a(z). Let l be (n/(-52))/(15/(-20)). Is l at least 0?
False
Let x = -12.4 + 13. Let r = -2.6 + x. Which is smaller: 0.3 or r?
r
Let p = -0.39 + -23.61. Which is smaller: p or 1?
p
Suppose -3*j = -10*j - 91. Is j at