 4*d - 25, -3*c = d - 5. Suppose 4*l = 3 + d. Suppose l = n + 3. Which is smaller: n or -1/6?
n
Let l = 104 + -118. Is -16 greater than l?
False
Suppose 3*t - b = -5, -8*t - 2*b = -7*t - 3. Which is smaller: t or 1/257?
t
Suppose -2*r = -r. Suppose m - 4*m + 18 = r. Let q be m/9 - 4/6. Which is smaller: q or 1?
q
Let q = 142 + -143. Is -2/125 less than or equal to q?
False
Let f = 3 + -3.03. Let g = 0.03 + f. Which is bigger: g or 3?
3
Let x be 7/(-21)*(-2)/((-4)/(-63)). Is 0.2 smaller than x?
True
Let y be 3/(1 - (-3)/(-12)). Suppose 3*p + 2*b = -14, -2*p - 20 = y*b - 0. Is 2/7 <= p?
False
Suppose 0 = 8*t + 1 + 7. Let x(r) = r**3 - 8*r**2 + 5*r - 8. Let g be x(6). Let q = g - -199/4. Is t equal to q?
False
Let j = -8.9 + 10. Let u = j - 0.6. Is u at most as big as 2/7?
False
Let z = 4 + -2. Let y be 69/(-18) + 2/(-12). Let k = y + 5. Do k and z have the same value?
False
Let b be 5/6 + -1 + -1. Are b and -2 equal?
False
Let b(f) = -3*f + 1. Let p be b(1). Let j be -5 + (1 - p) - -7. Is j != 4?
True
Let x = 10 + 0. Let r = x + -11. Which is bigger: 1/6 or r?
1/6
Let v = -8 + 9. Let g = -0.22 - 0.08. Let o = g - 0.7. Is o greater than or equal to v?
False
Let v = 1.7 - 1.9. Let a be (-1)/5*(-1 - -4). Are v and a nonequal?
True
Let y(h) = -h**3 - 10*h**2 + h + 5. Let m be y(-10). Let u be ((-6)/(-63))/(m/(-30)). Is u <= 0.3?
False
Let r = -0.5 + 0.5. Let i = 0.2 + r. Do i and -1 have different values?
True
Let t be 1*(-1)/((-2)/(-2)). Suppose 0 = -2*y - k + 3, -3 + 23 = 5*y + 5*k. Is t bigger than y?
False
Let p = -1 - -2. Which is greater: 0 or p?
p
Let d = 1/2 + 0. Which is bigger: d or 0?
d
Let k be 122/(-52) - (-10)/4. Is 0 at least as big as k?
False
Let a(i) = -i**3 - 3*i**2. Suppose 5*p - 2*l + 16 = p, -2*p = -3*l + 12. Let m be a(p). Is m at least as big as -2/3?
True
Suppose w + 2*a = -8 - 3, 4*w + 62 = -2*a. Which is smaller: w or -18?
-18
Let u be (0 - -4) + 1 - -2. Are 6 and u unequal?
True
Let c be 0 + (-62)/(-28) + -2. Which is bigger: c or -1?
c
Suppose 7*m = 11 - 25. Which is greater: m or -17/7?
m
Suppose 0 = -0*q + 3*q - 24. Suppose -5*v + 3 = q. Let x = -2 + 1. Is x <= v?
True
Suppose 5*j - 4*k = 23, 0 = -3*j - 2*j + 3*k + 21. Suppose -4*f = 13 - 29. Which is smaller: f or j?
j
Let q(s) = -14*s + 62. Let i be q(4). Let k = 4 - 0. Suppose 5*w = 31 + k. Which is bigger: w or i?
w
Suppose 3*l - 13 = 2*l + 5*b, 3*l + 21 = -5*b. Let j = -12 - -20. Let i be (-2)/j*12/(-9). Is i greater than or equal to l?
True
Suppose -y - 4*p + 1 = -4, 10 = -4*y - p. Let b = y - -7. Which is greater: 5 or b?
5
Let t be 6*(1 - 2 - -2). Let i = 149 + -145. Which is bigger: t or i?
t
Let o be 0*(-4 - -3 - 0). Suppose -j + 4 = -o*j. Suppose 2*r = -j*u - 16, 4*u + 12 + 8 = 0. Is 2 less than r?
False
Let u = 48 + -43. Is 9/2 at least as big as u?
False
Let g = 0 - 0.2. Let a = 0 - g. Is a less than 1?
True
Let n(w) = w**2 - 7*w + 3. Suppose 6*f - 35 = f. Let v be n(f). Suppose -2*u - 4*o + 10 = 0, -u - o - 1 + v = 0. Which is bigger: -2 or u?
u
Let p(i) = -i**2 + 11*i + 9. Let u be p(10). Which is bigger: u or 18?
u
Let d(h) be the first derivative of -h**2/2 - 4*h + 2. Let g be d(0). Suppose -2*c + 1 + 1 = 0, 4*u = -c - 15. Is u < g?
False
Suppose 0*z = 2*z - 6. Suppose -5*w + 4 = 3*q - 0, z*q - 5*w = -16. Which is bigger: -4/5 or q?
-4/5
Let v(s) = 3 - 2 + 0 + 3 - s + s**2. Let m be v(0). Suppose -9 = -z - m. Which is smaller: z or 6?
z
Let s(r) = r + 7. Let k be s(-6). Let t be (3 - 4)/(3 - k). Let y = 0 + 1. Is y at least t?
True
Let t(w) = w**3 - 10*w**2 + 9*w + 9. Suppose -q - 19 = -2*d, d - 7 = -0*d - 2*q. Let p be t(d). Suppose p = -2*l + 3. Is -3 smaller than l?
False
Suppose 0*d - 3*d + 12 = 0. Suppose -2*t + v - 2 - 1 = 0, t - d*v = -12. Is -6/7 >= t?
False
Let k be 2/(-4)*(-16)/4. Let w be k/5 - 2/5. Let x be (6/12)/(2/3). Is x less than or equal to w?
False
Let g = 16.92 + 0.18. Let p = g + -17. Suppose -2*x - 4*z + 20 = 0, -4*z + 15 = -x - 5. Does x = p?
False
Suppose -6*b + 48 = 60. Let p = -12 - -8. Which is bigger: b or p?
b
Let i = -2 - -5. Let o = i + 1. Let v = o - 4.2. Which is bigger: -0.1 or v?
-0.1
Let z(s) = -s**3 - s**2 + 2*s + 1. Let m be z(-1). Let r(i) = -i**2 + 5*i. Let t be r(4). Suppose 4*l + 2*f + 7 + 5 = 0, 0 = l + t*f + 10. Is m bigger than l?
True
Let a be 14/10 - (-3)/5. Suppose 0 = -5*p - g - 1 + a, -4*p + 5*g + 24 = 0. Let s be (-2)/6 - 22/(-30). Which is smaller: s or p?
s
Suppose -5*y - 11 = -4*x, 2*y + 0*x = -5*x + 22. Is y at most as big as -0.8?
False
Let n(h) = -h - 4. Let l be n(-5). Suppose -4*b + 8 = -0. Suppose 2*v + b*v - 5*i = 15, 0 = v - i - 3. Does v = l?
False
Let z = 11 - 5. Are z and 7 non-equal?
True
Let q(n) = n**2 - 9*n + 7. Let k be q(8). Let z be (k/(-5))/(6/10). Which is greater: z or 2?
2
Suppose -2*g - 6 = -4*g + 4*p, -3*g - 4*p = 41. Let z be (-2)/((-3)/4 - -1). Is g != z?
True
Suppose 0 = x - 5*u - 18, -2*u + 6 = -x - 3*u. Is x greater than or equal to -2?
True
Let s be 14/12 - 8/48. Is s < 1/17?
False
Let o be 2/9 - (-8)/(-9). Let u = 2.8 - 3. Let z = u - 0.8. Which is smaller: o or z?
z
Let q be 6/2 + (5 - 3). Suppose -y = -2*d + 6*d, 2*d = -q*y - 18. Which is greater: d or 1/3?
d
Let x be 2 + (-4)/1 - -26. Let r = 27 - x. Is r <= -0.05?
False
Suppose 0 = -2*z - 0*z. Suppose f - 2 = 2*s, z*f - 5*s - 4 = -2*f. Which is bigger: f or 3?
3
Let m be 95/(-15) - (-2)/6. Let g be 4/m - 16/(-12). Suppose -5*u + 30 = -5*a, -5*a = 2*u - 0 - 5. Which is smaller: g or a?
a
Suppose -2*m + 3*m + 4*i = -11, 0 = 3*m + 5*i + 5. Which is smaller: 21/4 or m?
m
Suppose -12*m + 9*m + 12 = 0. Suppose -3*d = h - 3, -2*d = -3*h + 2 - 15. Which is greater: d or m?
m
Suppose -2*l = 5*m + l + 1, 5*m + l = 3. Let x be 6/(-18) - (m - -1). Which is smaller: x or -2?
x
Suppose o + 32 = -3*m - 2*m, 26 = -5*m + 2*o. Let n be 3/m*4/(-6). Is n smaller than -1?
False
Suppose -2*g = -2*l + l - 34, 142 = -3*l - 4*g. Which is smaller: l or -43?
-43
Let o be -2 + -2*(-4 - -2). Suppose -z = -1, -4*i + 2*i - o*z - 2 = 0. Which is smaller: 0 or i?
i
Suppose -5*y = 2*s + 6, 2*s - 3*y + 14 = s. Let o = 4 + s. Let l = 217 + -220. Is l at most as big as o?
False
Suppose -3*m - 4*n + 8 = 0, -2*m = 4*n - 2 - 2. Let w(f) = f**3 - 6*f**2 + 6*f - 3. Let x be w(4). Let h = -8 - x. Which is bigger: m or h?
m
Let a(c) = 3*c. Let w be a(1). Suppose -1 = d - w. Suppose -4*j - 6 - d = 0. Does -2 = j?
True
Suppose -2*h - 4*n - 6 = 0, 3*n + 3 = -h - h. Are h and 1 non-equal?
True
Suppose 3*v - 15 = -6. Suppose 0 = -v*w + 2*w + 16. Let y be -5 + 7 - w/10. Which is smaller: y or -0.05?
-0.05
Let x = 5/12 - 1/6. Let l = -10 - -19. Suppose -2*g - 1 = -3*n + 4, -l = 5*g - 4*n. Which is greater: x or g?
x
Let s be 3*(-2 - 34/3). Let n = -19 - s. Let t be 2/7 - (-15)/n. Which is smaller: 2/13 or t?
2/13
Let g be 2362/42 + 6/14. Let d = 56 - g. Suppose -3*y = y. Is y bigger than d?
True
Suppose 19 = 5*z - 4*w, 3*w = -5*z + 6*w + 18. Let r be (z/(-4))/(75/(-5320)). Let c = r + -53. Which is smaller: c or 0?
0
Suppose 5*o + 1 + 0 = q, 2*q + 5*o - 2 = 0. Which is greater: q or -1/12?
q
Suppose 396 = -5*g + 111. Let b be g/21 + (1 - -2). Let n = 0.07 - 3.07. Which is bigger: b or n?
b
Let w = -0.18 + 0.11. Let i = -62 + 61.07. Let u = i + w. Which is smaller: u or -4?
-4
Suppose 4*d + 0*d + 2*s - 16 = 0, 3*d = -2*s + 14. Let i = -3 - d. Let o be 2/12*(i - -3). Are o and 0 unequal?
True
Let k = 1.1 + 6.5. Let f = -89.4 + 90. Let z = k - f. Are -1/4 and z nonequal?
True
Suppose 5*c - 2*v - 6 = 0, 0*c + 4*v = 3*c + 2. Suppose 4*g - 2*g + 12 = 0. Let h(f) = f + 8. Let a be h(g). Is c greater than a?
False
Let r(l) be the third derivative of -l**6/120 - 7*l**5/60 - 7*l**4/24 - 5*l**3/6 - 2*l**2. Let i be r(-6). Which is greater: i or -2/9?
i
Suppose -2*u = -5*w + 3, -5*u = -3*u - 4*w + 2. Which is greater: -0.17 or u?
u
Suppose 5*p - 10 = j, 3*p = 2*j - j + 6. Let u = 3 - 8. Let g be (-2)/3 - u/3. Which is smaller: j or g?
j
Let x be (1 - 0 - 0)/(-4 + 5). Let p = -15892469/252795 + 6/16853. Let d = p - -63. Which is greater: d or x?
x
Suppose -5*n - 9*p + 13*p = 2, -2*p = 4*n - 14. Is n > 8/5?
True
Let o = -2 - -8. Let u = -4 + o. Let p be 2/(8/(-6))*u. Is -3/2 at most p?
False
Let y be 5*(-5)/(50/(-8)). Suppose -8 = -y*n + 2*n. Suppose -n*t - w = -9, -2*w - 