.08. Let r = -41 + 45. Let i = a - r. Is i less than -1/2?
False
Suppose 0 = 3*u + 5*n - 14 - 11, 3*u = 2*n - 10. Is 13 < u?
False
Let r = 1 + -1. Let z be 2 + 2*9/(-12). Do z and r have the same value?
False
Suppose 4*a - 2 - 2 = -2*k, 5*a - 15 = 0. Are 0 and k equal?
False
Let k = -961338 - -1022863777/1064. Let a = 1/152 + k. Is a >= 1?
False
Let r = 20 - 10. Let q = 9.8 - r. Which is bigger: q or -1/3?
q
Let g = -3059/9 - -341. Which is smaller: g or -1?
-1
Let k = 1.95 + 0.05. Let g = -2.6 - -2.7. Is k less than g?
False
Let b be 14/7*25/2. Suppose 3*x + b + 20 = 0. Is x greater than -1?
False
Let q = 0 + 2. Suppose -r + 1 = q, 2*k - 10 = 2*r. Which is greater: 3 or k?
k
Let l(o) = -2*o**3 - 2*o**2 + 2*o + 1. Let p be l(-2). Suppose p = 2*m - 1. Is m > 2?
True
Suppose -65 = -5*v - 45. Let q be (-2)/7 + (-99)/21. Let l = q + 9. Is v at least l?
True
Let i = -640 - -33918/53. Is 0 greater than i?
True
Let m = -127 - 28. Which is greater: m or -154?
-154
Let i = -6 + 6.2. Which is greater: 3 or i?
3
Suppose -k + 9 = -j, j = 2*k + 2*j - 9. Suppose 4*f = 4*w - 32, -w + k*w - f = 36. Are 9 and w non-equal?
True
Let h = 19 - 18.1. Let z = -0.6 + h. Let a = z + -0.5. Which is bigger: 0 or a?
0
Let c be 24*3/(-12)*2. Let x(o) = o + 12. Let i be x(c). Is i at least as big as 1/6?
False
Let g = 14 - 13. Let x be g*(-2)/(-2 + 0). Is x not equal to 1/38?
True
Let w(z) = -z**3 + z**2 + 5*z - 1. Let t(h) = 2*h**3 - 3*h**2 - 11*h + 2. Let d(i) = 3*t(i) + 7*w(i). Let b be d(1). Let k be (0 + b + 1)/(-4). Is 0 >= k?
False
Let d be 120/(-1118) + (-3 - (-164)/52). Is d less than -1?
False
Let f = -81.1 + 81. Is f bigger than -2/3?
True
Suppose 2*b = 2*q + 10, -2*b - 5*q = -4*q - 4. Are b and -3 non-equal?
True
Let a = -13 + 23. Let v be 11/(-5) + 2/a. Is v >= -1?
False
Suppose 5*d + 39 = -16. Let g be 3 + d/5 + 0. Is g at most as big as 1?
True
Let v be -1*(0 - (-2)/(-6)). Let m be (-3 + 2)/((-14)/(-4)). Let q = 4/35 - m. Is q less than v?
False
Let q(l) = 2*l + 12. Let x(m) = 5*m + 35. Let f(c) = 8*q(c) - 3*x(c). Suppose 0 = -6*w - 11 + 65. Let n be f(w). Are n and -2/25 non-equal?
True
Let o = 7 - 6. Let q = -2 - -2. Let z = q - o. Is z at most as big as -1?
True
Let x = -26.2 + 26. Is -3/10 not equal to x?
True
Let o = -3 - -1. Let z(r) = 2*r**2 + 3*r + 3. Let s be z(o). Is s less than 9/2?
False
Let f = -18 + 13. Let a = 4 + f. Let g be 18/10*(-6)/(-18). Is g less than a?
False
Let l(b) = -b**3 - 3*b**2 - 2*b - 4. Let m(d) be the second derivative of -d**5/10 - d**3/6 - d. Let p be m(1). Let t be l(p). Is t less than or equal to 2/7?
False
Let r(k) = k**2 - 4. Let o be r(3). Suppose o*p = -0*p + 15. Which is greater: p or -1?
p
Suppose -5*m + 17 = -28. Suppose -4*o = -3*d + 39, 3*d - 3 = d - 5*o. Is d less than m?
False
Let u(n) = -2*n + 4 - 4. Let w be u(-1). Let k be -5 - -2 - (2 - 6). Is k bigger than w?
False
Let j = -2.2 - 0.8. Is j at most 0?
True
Let b be (-2 - 0)/((21/(-10))/(-7)). Which is bigger: -6 or b?
-6
Let a = 1052 + -59966/57. Let y = 173/1140 - 9/20. Let q = y + a. Is 0 >= q?
True
Let l be (3/42)/(7/(-2)). Which is bigger: l or -1?
l
Let u be 3 + 33*3/9. Do u and 14 have different values?
False
Let i(x) = -x**2 + x + 2. Let z be i(0). Let q(b) be the first derivative of b**4/4 - b**3/3 - 3*b**2/2 + 2*b - 2. Let g be q(z). Is g bigger than 3/5?
False
Let n = 14 + -15.1. Let i = n - 5.9. Which is bigger: 2/3 or i?
2/3
Let v = -65 - -29. Let g = v + 23. Is 1 >= g?
True
Let p(t) = -t**2 + 3*t - 1. Let g be (15/20)/((-1)/(-4)). Let j be p(g). Is 1/32 >= j?
True
Let c = 0.3 + -0.3. Which is greater: c or 1?
1
Let r = 4 - 13. Let c(z) = z**2 + 9*z + 3. Let g be c(r). Is 5 less than g?
False
Suppose -9*f + 4*q - 33 = -4*f, -2*f + 4*q - 18 = 0. Suppose -11 = 5*g + 4. Is f <= g?
True
Let t = 0 + 5. Let n be (-8)/(-3)*9/4. Is t less than n?
True
Let r be (-5)/(4 - 3 - 2). Suppose -r*g + 0*g = 5*v - 5, -2*g + 5 = 5*v. Is g smaller than -2?
False
Suppose 0 = -4*i + 2*i + 5*o - 15, 6 = 2*o. Suppose j - 5*h + h + 15 = i, j = h - 3. Is j equal to 10/9?
False
Let d = 31 - 41. Is d > -9?
False
Let y = -3778/21459 - -2/933. Which is greater: y or 0?
0
Let l = 113 - 113. Is l >= -5/4?
True
Let n = 61 + -85. Which is smaller: n or -25?
-25
Let q(c) = -3*c - 58. Let f be q(-20). Let x = -2 + 4. Is x greater than or equal to f?
True
Let q = 5/14 + -1/42. Let r be 2/10 + 38/10. Suppose r*n - 2 = 2. Is q at most as big as n?
True
Let j = -2 + -1. Is 1 > j?
True
Let l be ((-8)/(-2))/((-6)/3). Let v = 9/4 + l. Is -3 at least as big as v?
False
Let s(i) = 7*i**2 - 7*i + 13. Let y be s(2). Which is bigger: 26 or y?
y
Let b = 7.94 + -8. Let v = b + 0.16. Which is greater: v or -0.1?
v
Let p = -9.2 + 7. Let x = 3.3 + p. Is x at most as big as -1?
False
Let p be 26/(-56) - (-15)/20. Suppose -y = -4*d + 7, -2*y = -0*d - 3*d + 4. Suppose -4*i = 2 + d. Which is smaller: p or i?
i
Suppose 2*v - 92 = -4*t - 3*v, 0 = 2*v. Which is smaller: t or 0.1?
0.1
Let r(a) = 4*a - 5. Let w be r(8). Let q be (-530)/(-4)*(-3)/15. Let b = q + w. Which is smaller: -2 or b?
-2
Let t(r) = -r + 2. Let v be t(2). Which is bigger: v or -4/13?
v
Let q(o) = o**2 - 17*o - 2. Let t be q(17). Which is greater: -1 or t?
-1
Let n be (-22)/(-33) - (-32)/(-66). Is 0 less than or equal to n?
True
Let v = -2.9 + 3. Let m = -27 + 26.9. Is m <= v?
True
Let z be (-4)/22 + (-48)/(-22). Let d be (-13)/(-3) + -3 - z. Is 12 != d?
True
Let l = 0 - -1. Let o = 0.03 - -0.01. Let t = o + -0.04. Which is greater: l or t?
l
Let v be 1/2*18/3. Let a = v + -3. Let b be (-2)/8 - 2/(-8). Is a bigger than b?
False
Suppose 11*u + 7 = 4*u. Let m = 2/1079 - -2112/24817. Which is smaller: m or u?
u
Let v = -8 - -7. Is 2/17 < v?
False
Let z = -88 + 92. Let j = 1 + 1. Is j >= z?
False
Let j be (198/24)/((-2)/16*-2). Does j = 158/5?
False
Let h be (3/90*2)/(2/222). Which is smaller: 6 or h?
6
Suppose -u - 11 = 5*w, 0*w - 6 = -2*u + 4*w. Which is greater: -1/16 or u?
-1/16
Let y be -12*(158/(-54) + (-2 - -5)). Which is greater: -3 or y?
y
Suppose -s - 6 = 3*u + 8, -4*s - 3*u = 20. Suppose r = -r - 5*q + 11, 3*r = 4*q - 18. Is s != r?
False
Suppose 5*k - 13 = c - 50, 2*c - 18 = 3*k. Which is smaller: k or -3?
k
Suppose -39 = 2*n + 23. Are 1 and n equal?
False
Let m = -7/15 - -1/6. Let n be 7 - (1 - -1 - 3). Let l = 7 - n. Are l and m nonequal?
True
Suppose 2*s = 2 - 0. Let k(c) = 6*c + 58. Let g be k(-10). Is s <= g?
False
Let a = 7 - 10. Let c be ((-9)/(-3))/a*-1. Do c and 1 have different values?
False
Let d = -13 + 13. Which is smaller: 1/5 or d?
d
Let r be 1332/14 + 2/(-14). Do r and 94 have different values?
True
Let p = -2 + 3. Let j = 1 + -5. Let h = j - -5. Is p equal to h?
True
Let j = 4 - 4. Let n(u) = u**2 - u - 1. Let l be n(j). Let s = -5 - -3. Is s smaller than l?
True
Let f = -0.55 - -0.5. Let t = 0.45 - f. Let b = 1.5 + t. Do -2/3 and b have different values?
True
Suppose 0*f = -4*f - 20. Let d be ((-4)/20)/((-2)/f). Which is smaller: d or -1?
-1
Suppose -19 = -0*c + c - 5*r, -3*c = -2*r + 5. Suppose 20 = -h - 5*t, -h + t + 5 - c = 0. Is 0 != h?
False
Suppose -5 = -2*u - 1. Let f(o) = o**3 - 5*o**2 + 4*o + 2. Let k be (-4)/(-20) - (-38)/10. Let y be f(k). Is y < u?
False
Let b be (-18)/(-12)*((-20)/6)/(-1). Suppose v + 21 = 4*t, 0*v - 15 = -4*t + 3*v. Is t greater than or equal to b?
True
Let j be (-72)/(-54)*6/(-4). Which is bigger: j or -3?
j
Suppose 2*a = -3*j, 2*j - 7*j = 5*a + 5. Suppose -j*d + 4 = -3*d. Let w be ((-3)/7)/((-6)/d). Is w at most as big as 0.3?
True
Let a = 21 + -17. Is a >= 5?
False
Let s = -17 + 18. Does s = -3/13?
False
Suppose -12*l + 15*l + 3 = 0. Do l and -4/29 have the same value?
False
Let h = -4.97 + 5. Let f = 3.03 - h. Let w = -2 + f. Which is smaller: -0.1 or w?
-0.1
Let u = -8 - -3. Let r = u - -7. Let v(l) = l**3 - 2*l**2 - 3*l + 3. Let y be v(3). Are y and r equal?
False
Let x be 8/(-14)*(-49)/350. Which is smaller: x or -1?
-1
Let p be 20/42 + (-22)/12 + 2. Does p = 2?
False
Let l = -8 + 14. Let y be 3/l - 10/(-12). Suppose 29 = p + 5*i + 4, -p + 5*i - 25 = 0. Is p bigger than y?
False
Suppose -3 - 5 = -4*y. Let p(m) = m**y + 5*m + m + 2*m + 7. Let h be p(-7). Is 1/2 less than h?
False
Let s = 4/19 - 14/247. Let y = 0.17 + 5.83. Let g = -6.1 + y. Which is bigger: g or s?
s
L