ose k*l - 2*l = 12. Which is bigger: l or 4?
l
Let q(m) = m**2 + 6*m + 6. Let s be q(-4). Let l = -3 + 0. Which is bigger: s or l?
s
Let c(x) be the third derivative of -x**4/24 - 7*x**3/6 - 2*x**2. Let u be c(-8). Let k = 449/6 - 75. Is k <= u?
True
Let d be (-2 + 2)/((-4)/4). Which is smaller: 4/13 or d?
d
Let i = -6 - -7. Suppose -4*k + 9 = i. Does k = 4?
False
Let f = -1/157 - -2833/1099. Which is smaller: f or 4?
f
Let a(d) = 2*d + 6 - d - 2. Let v be a(-7). Is -2 < v?
False
Let d be (2/8)/(2/(-6)). Let m be (8/(-44) + 8/44)/(-1). Do d and m have different values?
True
Let x = 20 - 11. Let f(q) = q - 9. Let k be f(x). Is k equal to 0?
True
Let x be 20*1*1/2. Let o be 24/x*(-10)/(-3). Suppose 0 = -m - 5*y - o, -5*y - 1 - 19 = -5*m. Is m at least as big as 2?
True
Let n be -1 + (-4)/(1*-2). Let b = 33/20 - 2/5. Which is smaller: n or b?
n
Let s = -11/126 - 1/42. Is -1 less than or equal to s?
True
Suppose 0 = -5*t + 3*p + 8, 3*p = 2*t - p + 8. Let u be (-4)/(-16) + (-26)/8. Let w = t + u. Which is bigger: 3 or w?
3
Let y(t) = t**3 + 4*t**2 - t - 2. Let q be y(-4). Let z = q + 0. Let n be -1 + (-58)/(-18) - z. Is n less than or equal to 1?
True
Suppose -19 = -4*x + 1, h - 16 = -3*x. Let r = -9/430 + -12/43. Which is greater: h or r?
h
Let j(y) = y. Let q be j(0). Let c = 30 + -30. Is c smaller than q?
False
Let a = -17 + 10. Let z = a - -6. Let i = z - -2. Which is greater: i or 0?
i
Let s = 8 - 8.3. Let m = 2 - 1.96. Let n = -0.04 + m. Which is bigger: n or s?
n
Let l be (-4)/(-10) + (-32)/130. Suppose -24 = 2*b - 24. Which is smaller: b or l?
b
Let u(i) be the third derivative of i**5/60 + i**4/4 + i**3 - 5*i**2. Let a be u(-5). Is a less than or equal to -1/10?
False
Suppose p = 5, -5*p - 4 + 29 = -5*s. Is s >= -3/19?
True
Suppose 0 = j - 6 - 2. Suppose -j*u + 6*u = 0. Which is bigger: 1 or u?
1
Let f(z) = 2*z - 13. Let g be f(6). Does -2/51 = g?
False
Let c(x) = -3*x - 1. Let f be c(-1). Suppose -3*y = -3*d - 12, 5*y - f*d - 29 = -0*y. Suppose 3*q + 3 = -3*h, 4*h + 0*h = -5*q - y. Is q bigger than -2?
False
Let l be (-2 - (20 + -3)) + 3. Let p be 2/1 + l/10. Is p > 1?
False
Let c be (-6)/(-321)*2/4. Let f = -221/749 + c. Let b = -567/5 - -113. Do b and f have the same value?
False
Suppose -5*k + 2*x = 36, -2 = -3*k + 2*x - 26. Which is bigger: -4 or k?
-4
Let v = 0.51 - 8.51. Which is bigger: v or 0.1?
0.1
Let n = 28279/11 - 2569. Which is greater: 3 or n?
3
Let u = -0.026 - 2.914. Let g = u - 0.06. Let j = 3.1 + g. Which is smaller: 0.2 or j?
j
Suppose -3*n + 4 = -2. Suppose -n*j = -3*j. Suppose -2*m + 2*o + 12 = 3*m, -5*m - 5*o + 5 = 0. Which is greater: j or m?
m
Let z(n) = -n**3 + 8*n**2 - 7*n + 5. Let a be z(7). Suppose 4*j = a*t - 24, -2*t + 12 = -3*j + 1. Which is smaller: j or 4?
j
Suppose 7 = -2*u + z, 0 = -u - z - 3 + 7. Let g be (-3 + 0)/3 - u. Suppose g = 3*r - 6*r - 2*w - 6, -2*r - 6 = 2*w. Is 1 <= r?
False
Let r = -0.26 + 0.16. Is -1/4 equal to r?
False
Suppose 5*q = -3*j - 0*q - 18, q + 3 = 0. Is 3/26 >= j?
True
Let f = -0.03 + 0.11. Let y = -2.08 + f. Which is smaller: 0 or y?
y
Let q = 0.8 - 0.5. Let g = q - 0.3. Let x = g - 4. Which is greater: x or -0.1?
-0.1
Let k be (-5 - 0)*(-72)/(-15). Let t be (8/k)/(2/(-4)). Which is greater: -1 or t?
t
Let k = 6 + -8. Let z = k + 2.3. Let y = -0.3 + z. Is y at least 0?
True
Let n = 20 + -21. Let r be (4/(-6))/((-116)/12). Which is smaller: n or r?
n
Let d = 22 - 19. Let v be (d + -1)/(10/8). Is 1/4 greater than v?
False
Let u(g) = 5*g - 3. Let p be u(3). Let d be (-2)/1 + p/5. Let b = 0.3 - -1.7. Is b greater than d?
True
Suppose 4*x = -x + 5. Suppose 3*v = -2*f - 0*v - 4, 0 = 5*f + 4*v - 4. Let y be (-470)/115 - f*-1. Do y and x have the same value?
False
Let i be 2 + (120/33 - 4). Which is smaller: 2 or i?
i
Let h = 2 + 1. Let n = -5.08 + 0.08. Let m = n + 5. Is m at most as big as h?
True
Let t = 45/2 + -22. Let u be ((-16)/3)/(6/(-9)). Let s = u + -17/2. Is s at most as big as t?
True
Let o = -61 - -59. Let p(t) = -t**2 - 4*t + 4. Let v be p(-5). Which is greater: v or o?
v
Let q = -4 + 11. Let r = 11 - q. Suppose -8 = 3*f - 2*b, 5*b - 5 = 2*f + r*b. Is -1 at least as big as f?
True
Suppose -2*w = -4*t - 8 - 0, 4*w = -5*t - 23. Let u(k) = k + 2. Let x be u(-4). Let d be (-1 - x)*(-4)/8. Is w >= d?
False
Let g = 20 + -26. Let q = -3 - g. Is -6 smaller than q?
True
Let f be ((-8)/6)/((-2)/3). Suppose -2*h = 2*r - 4, -2*r - 5*h + 0*h = -4. Suppose -s + 0 = -z - 4, 0 = -r*z - f*s - 8. Which is smaller: 0 or z?
z
Let q(v) = 2*v + 16. Let u = -28 - -21. Let n be q(u). Is 9 not equal to n?
True
Suppose 5*m - 2*z = m + 16, 0 = 3*m + 2*z - 5. Let n be (-1)/1*-6 + 1. Suppose 5*y + n*w - 4*w - 30 = 0, 3*w - 27 = -4*y. Is m less than y?
False
Let x = -25 + 35. Suppose x = m + m. Is m less than 5?
False
Suppose -2*n + 2*p - 5 = 3*p, -3*n - p - 5 = 0. Let j be 2/(-4) - n/(-7). Which is greater: 0.2 or j?
0.2
Let l = 111/4 - 3671/132. Is 1 <= l?
False
Let s = 0.15 - -1.85. Let d be ((-4)/22)/((-10)/20). Which is greater: d or s?
s
Suppose -5*m + 9 = -5*q - 11, 2*q + 2*m = -4. Let z = q - -20. Which is smaller: 16 or z?
16
Let v = 1/802 + -3231/18446. Which is bigger: -1 or v?
v
Let y be 2/3 + (-34)/54. Which is bigger: 3 or y?
3
Let s = 37/2 + -16. Do 4 and s have different values?
True
Let p = 39 - 21. Let u be (-24)/p + (-2)/(-3). Suppose 14 + 5 = s + 5*j, 12 = -4*s + 2*j. Which is bigger: s or u?
u
Let q(s) = -3*s**2 + s. Let r = 0 - -1. Let a be q(r). Let h(p) = -p**3 + 2*p + 1. Let c be h(2). Which is smaller: c or a?
c
Let v = -39/28 + 8/7. Let a(w) = -4*w + 21. Let y be a(5). Are v and y unequal?
True
Let m = 5.4 + 5.6. Is -1 less than m?
True
Suppose 0 = -0*n + 5*n + 5. Let z = 2 + n. Which is greater: 0 or z?
z
Suppose -2*i = -6 - 0. Suppose 2*l + 5*n + 58 = 0, -i*l + 3 - 71 = -2*n. Let a be 0 - (l/21)/4. Which is smaller: 2 or a?
a
Let x = -19 - -18. Is -0.5 at least x?
True
Let g = -121 - -121.1. Which is bigger: 8 or g?
8
Let s = 2 - 2.1. Let v = s - -1.1. Let u = 0.9 + -0.9. Is v less than u?
False
Suppose -v = -35 + 34. Are -14 and v unequal?
True
Suppose -o - 5 = 3*n, -4*o = -5*n + 4*n - 6. Is -1/109 at most as big as o?
True
Let h = -20679 - -185822/9. Let g = -32 - h. Are 0 and g unequal?
True
Let z be (2 + -4)*(-1)/(-8). Let b = 144 - 148. Is z at most as big as b?
False
Let v = -15 - -30. Suppose -3*a - v = 2*a. Suppose s + 2*s = -6. Do a and s have different values?
True
Let g = -328/3 - -110. Are g and -14 equal?
False
Let r be 3/(4 + 2 + -5). Let a be 5/r + (-6)/3. Are 5 and a non-equal?
True
Let c(p) = -2*p + 11. Let q be c(12). Which is smaller: -15 or q?
-15
Let l = 11 + -4. Let a be (2 + -1)*(-2)/(-1). Suppose -5*c - 5*i = -a*i - l, 5*c - 3*i = -17. Which is smaller: c or -1/2?
c
Let u = -0.02 + 0.32. Let o = 0.3 - u. Which is smaller: o or -8?
-8
Let k(w) = w**2 + 19. Let r be k(0). Which is smaller: r or 20?
r
Suppose 5*v = 0, -3*t - 19 = -v + 5. Which is bigger: -7 or t?
-7
Let z = -7 + 28. Suppose -105 = -3*q - z. Suppose -2*n = -5*j + 2*j + 19, 4*j = 4*n + q. Which is greater: n or 2/5?
2/5
Suppose -3*b + 65 = 5*g, -2*g - 2*b = -35 + 9. Which is bigger: g or 1?
g
Let f(a) = -2*a - 4. Let w be f(-5). Let k be ((-4)/(-12))/((-2)/w). Is -1 bigger than k?
False
Let x = 1227/7760 - 11/80. Are -1 and x equal?
False
Let m be 2/(-3)*(-54)/(-84). Let n = -0.08 - -1.18. Let q = -1 + n. Which is smaller: q or m?
m
Suppose 0 = 2*v + 7 - 1, 4*t = -2*v + 10. Let h = 2 + -1.8. Do h and t have the same value?
False
Let z(u) be the third derivative of -u**4/24 + u**3/2 + u**2. Suppose -2*a = -4*a. Let f be z(a). Is f equal to 3?
True
Let y = 1294 - 6528/5. Is -11 at most y?
False
Let y = 6 + -6. Let w = y + -2. Suppose 3*q - 8 = t - 1, 0 = -q + 2. Are w and t non-equal?
True
Suppose 0 = -3*y - b + 1, 3*y = -y + b + 13. Which is bigger: 9/8 or y?
y
Let y = -51 + 31. Let f be (-1)/(-5) + 4/y. Is 5/7 at most f?
False
Let x(t) = -t**3 - 5*t**2 - 3*t + 1. Let f be x(-4). Let z = f + 4. Suppose -4*i = -5*s - 21, -5*i = 4*s + 2 - 18. Do s and z have different values?
True
Suppose -5*w = 10, 4*c - 3*w + 16 = -w. Are -5 and c nonequal?
False
Suppose 0 = d + 3 - 5. Suppose d*s = -3*s. Suppose -4*h + 2*h = 3*g - 15, -3*h - 2*g + 15 = s. Which is greater: h or 7/2?
7/2
Let x(s) = 2*