 7*t + 4. Let h be k(7). Suppose -25 = h*s - 5. Which is bigger: 0 or s?
0
Let b = 21 + -23. Is -1 >= b?
True
Let r(v) = -4*v + 2. Let q be r(7). Let b be (q/(-6))/(-1) - -3. Is b >= 2?
False
Let o be (-4)/22 + (2275/(-880))/(-7). Is o >= -1?
True
Let d = 4.2 + -4.3. Is -14 less than d?
True
Suppose -5*f = -m, 3*f = 4*m + f. Let y be (77/(-14) - -6)/((-1)/(-2)). Which is greater: m or y?
y
Let q be (18/52)/(9/(-12)). Is 1 <= q?
False
Suppose -15 + 65 = -5*v. Let c be (-35)/v + 2/(-4). Suppose -c*m = 7 - 4. Are m and -3/2 equal?
False
Let h = 2.946 + 0.004. Let x = -0.05 - h. Let p = 0 + x. Is p at least 1?
False
Let y(t) be the third derivative of t**6/120 - 7*t**5/60 - t**4/3 + 2*t**2. Let b be y(8). Let u be (4/(-14))/((-15)/21). Which is bigger: u or b?
u
Suppose -l + 0 = 1. Let w be (l/2*0)/(-1). Suppose 2*j = -w + 6. Which is greater: j or 2?
j
Let k be -1 + (-2)/(-14)*-323. Suppose -5*w + 4*u + 235 = 0, 4*w = u + 270 - 82. Let g = w + k. Which is bigger: 0 or g?
0
Let x be 5*((-16)/(-10) - 1). Let c be (18/45)/(1/10). Are c and x unequal?
True
Let x = 2 + 0. Let p = x - 1.8. Let i = 0 + p. Which is bigger: -1 or i?
i
Suppose -5 = 4*a - 13. Suppose o = -a + 5. Is 4 >= o?
True
Let q = 15 - 166/11. Let g be 3/6*-6 + 2. Is g equal to q?
False
Let b = 407 - 6103/15. Suppose -56 = -0*l + 4*l. Let j be (6/l)/(6/(-4)). Which is bigger: b or j?
j
Let v be (-5)/((-15)/(-6)) + 9. Is v less than or equal to 37/5?
True
Let u = -0.27 - -0.11. Which is bigger: 0 or u?
0
Let u = 57 + -56. Is u equal to 0?
False
Let u(a) = -4*a + 4*a + 2 - 2*a - 9. Let s be u(-5). Is s at least as big as 1?
True
Let a be (5 - 4) + (-1 - -3). Suppose 4*m - 3*n - 11 = 0, m - a*n = 2*m + 16. Is m bigger than -1?
False
Let j = -12 + 13.4. Let g = j - 0.8. Let w = 0.5 - g. Which is smaller: w or -1?
-1
Let f be 38 - (-2 - -4)*-1. Let v be 15/f*(-1)/3. Which is smaller: -1 or v?
-1
Let s(q) = q + 1. Let x be s(1). Suppose -x*f + 10 = -0. Suppose -3*t + f*n = -22, 2*n + 4 + 7 = -t. Which is greater: t or 1?
1
Let c(t) = -t**3 + 5*t**2 - t + 4. Let p(x) = -x**3 + 5*x**2 + x. Let j be p(5). Let w be c(j). Let h be 34/(-10) - (-4)/10. Is h <= w?
True
Suppose -35 = 6*k - 11*k. Is 8 less than k?
False
Let y = -11/3 + 4. Which is greater: -4 or y?
y
Suppose -7*d + 0*d + 210 = 0. Let x be (3/d)/(4/(-5)). Let f be 1*(-2)/(-6)*3. Which is bigger: f or x?
f
Let s = -1 + 5. Suppose 3 = 5*b - 3*b - 3*r, -5*b + s*r + 4 = 0. Which is bigger: b or -1/10?
b
Let t(d) = -1. Let n(v) = -v**3 - 6*v**2 - v - 1. Let c(s) = -n(s) - 5*t(s). Let k be c(-6). Are k and -2/9 unequal?
True
Suppose 2*s + 2*m + m - 72 = 0, -3*s + 2*m = -95. Which is smaller: 1 or s?
1
Suppose p + 0*p + 7 = 0. Let a = p + 18. Let l = 8 - a. Is -3 at least as big as l?
True
Let q(l) = -l**2 - 7*l + 5. Let k be q(-7). Is 5 greater than k?
False
Let o = 36 - 217/6. Let c = -85 - -86. Which is greater: o or c?
c
Let a = 2 + -5. Is -3 greater than or equal to a?
True
Let q(z) = -z**2 - 10*z - 12. Let f be q(-8). Suppose f*c - 21 = -1. Let k = c + -4. Do k and 1/4 have the same value?
False
Let c be 732/9*36/(-32). Let o = -4207/46 - c. Is 1 > o?
True
Suppose 7*l = 5*l + 6. Let n(s) = 2*s - 2. Let b be n(l). Let w = 1 - b. Is -3 at least as big as w?
True
Let r = 138 - 139. Which is greater: r or 3/59?
3/59
Let a = 2 + -3. Let q be a/(2/(6/(-3))). Is 3/8 at most q?
True
Suppose 2*o + 4 = -30. Suppose -5*f = -5*d - 105, -5*d - 5*f - 23 = -2*d. Is o bigger than d?
False
Let p be ((-8)/3)/2*-3. Suppose p*x + 35 = -x. Let f = x + 4. Do f and -2 have different values?
True
Let q be 4/(-26) + (-11)/(2145/100). Is q equal to 1.6?
False
Let o = 1134749/155 + -7321. Let d = 412/2635 + o. Is 0 <= d?
True
Let u = 2608762541/67398 - 232241/6. Let y = 35731051/123563 - u. Let w = 289 - y. Which is smaller: w or 0?
w
Let w = 4/381 - -226/2667. Which is greater: w or -1?
w
Let z be 4/6*85/30 - 2. Suppose -w + 3 - 4 = 0. Is w > z?
False
Suppose -5*r - t + 3 = -r, -2*r + 2*t - 6 = 0. Let l be -1 + (68/(-32))/((-14)/8). Are r and l equal?
False
Let y = 66 - 68.26. Let t = y - -1.33. Let z = -0.07 + t. Is z less than -1?
False
Let v(n) = n**3 + 4*n**2 + 6*n + 6. Let o be v(-2). Is 1 at most o?
True
Let g(i) = i**2 - 6*i - 3. Let d be g(9). Suppose 0 = -k - 0*m + 3*m + d, 35 = 5*k + 2*m. Are 9 and k non-equal?
False
Let h be -1 - (1 - (0 + 4)). Suppose 0 = 3*d - 0*d. Suppose m + 3 = r, m + d*r - 3 = -r. Is m bigger than h?
False
Let o = 0.02 + -0.72. Let d = 0.8 + o. Which is smaller: 2 or d?
d
Let u = -0.052 - 0.148. Is u != -2/5?
True
Let f be (-256)/732 - 5/(-15). Is 0 equal to f?
False
Let f(j) = -j**2 + 5*j. Let k be f(5). Suppose k = 5*s + 25, 2*p - 4*s = -0*p + 32. Let c be (-2 + 9/p)*-3. Which is bigger: c or 0?
c
Let p = -16 + 15. Which is smaller: 1/5 or p?
p
Let q = 10 - 22. Suppose 4*k - 12 = 24. Let r be k/(-12) - (-3)/q. Is r bigger than -1?
False
Let j(u) = 24*u + 12. Let o be j(-2). Which is bigger: o or -38?
o
Let l = 0.02 + 0.98. Let j = l - -1. Let s = -0.6 + -0.4. Is s bigger than j?
False
Let w = 1 - -2. Suppose 0 = -w*v + 2*n + n + 18, -4*n - 22 = -2*v. Let q = -4 - -6. Which is smaller: q or v?
v
Let u = 992 + -24797/25. Do u and 0 have different values?
True
Let b be (-1)/3*(-3 + 60/28). Let u(t) = -2*t - 3. Let a be u(-2). Is b greater than a?
False
Suppose 4 = u + 3*u. Let y = 1.7 - 0.7. Is u not equal to y?
False
Let y = -1.1 + 1. Which is smaller: 1 or y?
y
Let t = -15 + 13. Is 0 at most as big as t?
False
Suppose -f - 5*d = -19, 3*f = -2*d + 9 - 4. Do -3 and f have the same value?
False
Let i = 2.3 + -2. Let x = 0.1 - i. Is -1 at most as big as x?
True
Suppose 6*r = 8*r. Do r and 1/65 have the same value?
False
Suppose q + 20 = -4*q. Let b be q/(-12) + 1/(-3). Suppose 5*j = -5*s, 2*j - 3*j = b. Which is smaller: -2 or s?
-2
Suppose -2*u - 9 = -5*u. Suppose 4*k = -4*h + 4, -u*k + 5*h - 1 = 6*h. Is -2/5 greater than or equal to k?
True
Suppose -28*t - 68 = -11*t. Let i = -167/28 - -40/7. Which is smaller: i or t?
t
Let y = 0.09 + 0.15. Is y equal to -1?
False
Let d = -0.06 - -0.11. Let q = d - -0.95. Let s = -0.04 - 1.96. Which is bigger: s or q?
q
Let c = -5.6 - -5. Let w = c + 0.5. Let b = w - -0.1. Are b and 1 non-equal?
True
Let r = -7295 + 123979/17. Let i = -301/102 - r. Is -2 greater than or equal to i?
False
Suppose 2*x + 7 + 3 = 0. Is x >= -17/4?
False
Let s = 1 - 0. Let d = 1309/2 - 578. Let i = 78 - d. Which is bigger: s or i?
i
Suppose u + 30 = 4*u. Let q be ((-2)/(-25))/((-2)/u). Let f be (3 - 2)/(-2 - -1). Is f less than q?
True
Let f = 50 + -48. Are f and 5 equal?
False
Let k = 149/98 + -1/49. Is -2/21 smaller than k?
True
Let a be ((-2)/(-7))/((-1)/(-7)). Suppose 0 = 2*s - 0*s - a. Which is smaller: s or -1/27?
-1/27
Suppose 3*b + l - 4 = 0, -b + 6 = -2*l - 7. Suppose -84 = b*n + n. Let d be (-10)/(-14) + (-6)/n. Is d != 1?
False
Suppose 0 = -0*y + y + 1. Let x be (-1)/30 - y/5. Does -1 = x?
False
Let d = 0.7 + -1. Let n = 1.32 - 0.32. Which is smaller: d or n?
d
Suppose -a + 5*s - 26 = 0, 3*a - 3*s = 9 - 39. Let c be a/(-15) - 2/5. Which is smaller: 4/7 or c?
c
Let o = 55/42 - -4/21. Suppose -7*z + 2*z = c + 1, 5*c - 21 = z. Suppose y + c = 7. Which is bigger: y or o?
y
Let l = 9 + -10. Let g(u) = -u**2 - 5*u - 2. Let q be g(-4). Suppose 2 - 4 = -q*s. Which is smaller: l or s?
l
Let p = 4 - 4. Suppose p + 12 = -3*l. Let h = l - -2. Is -2 less than h?
False
Let z = 3 - 2. Let b be (1 + 8/(-14))/z. Let y(h) = h - 11. Let l be y(10). Which is greater: b or l?
b
Suppose 4*f + 0*f = 20. Let d be ((-32)/(-20))/(1/f). Suppose 0 = g - 5*g - d. Are -2 and g equal?
True
Suppose b - 2*r = -3, -2*r = r - 12. Suppose b*x - 27 = -2*u + 4*u, 4*u + 29 = 5*x. Let v be ((-3)/((-12)/(-2)))/((-1)/(-2)). Are u and v equal?
True
Let s be ((-21)/(-15))/(9/45). Which is smaller: s or 4?
4
Suppose 4*h - 15 = h, -3*h - 543 = 3*c. Let p be c/14 - 8/(-28). Which is smaller: p or -12?
p
Let v be (-2)/(-1) - (2 - 1). Let c(f) = -2 + v - 2 + f. Let n be c(0). Do n and -3 have the same value?
True
Let k = 22 - 20. Let q = 1 + k. Do q and -2/7 have the same value?
False
Let b(m) = 2*m + 7. Let s be b(-7). Let u = s + 6. Suppose 2*i = 5*i. Is u <= i?
True
Let g be (0 + 6)*1/3. Suppose -4*l = -g*l - 2. Does 6/5 = l?
False
Let o = -4 - -3