hich is smaller: r or -0.1?
-0.1
Let z = 16 - 9. Suppose 5*h + 13 = -3*n, h + z - 2 = 0. Is -2/5 >= n?
False
Let q = 0.08 + -4.08. Let s = q - -3. Does s = -0.2?
False
Suppose 7 = 5*y + 4*r, 5*r - 1 = -3*y + 11. Let v = 10 - -1. Let z = -119/11 + v. Are z and y nonequal?
True
Suppose -2*q + 10 = -0*q. Suppose 7 = q*g + 42. Let k = 10 + g. Which is bigger: 4 or k?
4
Suppose 0 + 6 = 2*f + 4*m, -2*m + 4 = 0. Suppose 4*q = -2 - 2, 0 = -4*x + 5*q + 5. Suppose 4*r - 9*r = x. Is f at most as big as r?
True
Let j = -2 - -10. Let s be (-14)/j - 2/8. Let w = s - -2. Is 0 > w?
False
Let m(b) be the third derivative of -b**4/24 - b**3 - 4*b**2. Let r be m(-5). Are -1 and r unequal?
False
Let n = 49 + -247/5. Let s = 1 - 0.8. Let y = s + -0.1. Which is smaller: n or y?
n
Let b = 2 - 2. Suppose b = -v + 2*v - 2. Which is smaller: v or 1?
1
Suppose 7 = 3*q - 2. Let z be (-4)/12*q + -1. Is -2 < z?
False
Let s = -32/3 - -11. Is 0 greater than s?
False
Suppose 5*g - 6*g - 40 = 0. Is g bigger than -39?
False
Suppose 4*m - 16 = 4*s, 12 = -s + 3*m - 2. Is s != 2?
True
Let g = 23 - 19. Suppose 0 = -2*p - 2*p + g. Is p equal to -3/7?
False
Suppose 0 = 4*s - 2*s - 2. Let q be 1/4*9 + -2. Is s equal to q?
False
Suppose 2*b + 3*h - 111 = 0, 3*b - 2*b - 3*h = 33. Let a = b - 289/6. Is a <= -1?
False
Let k be ((-12)/45)/((-24)/20). Which is greater: 1 or k?
1
Suppose 4*k + 28 = -0*k - 4*x, 17 = -k - 3*x. Let r = -7 - -4. Is k > r?
True
Let o(k) be the first derivative of -k**3/3 - k**2 + 2. Let w be o(-2). Let x be 12/80 + 2/8. Does x = w?
False
Let t be 294/(-35) - 4/10. Does t = -8?
False
Suppose 0 = d - 2 - 15. Let a = 16 - d. Is -1/8 less than or equal to a?
False
Let f(k) = 3*k**2 + k. Let p be f(-1). Suppose 0*l + 4 = l + 2*h, -5*l + 2*h = 40. Let r be l/21 - p/42. Is -1 <= r?
True
Let m = -2.8 + 3. Let q = 5.06 - 5. Let x = q - -0.14. Does m = x?
True
Let u be 2/((-331)/((-5)/5)). Is u smaller than 1?
True
Suppose -22*r - 8 = -26*r. Which is smaller: 9/7 or r?
9/7
Let a be 326/10 + 6/15. Is a equal to 34?
False
Suppose 6*c - 32 = 2*c. Let p be 2/c*(-32)/(-20). Which is greater: -1 or p?
p
Let x = 11 - 23. Let i = x + 12. Do i and 4 have the same value?
False
Let s(b) = b**3 + 9*b**2 - b + 34. Let t be s(-10). Is -56 at least t?
True
Let u be (-3)/(-6) + 2/(-4). Suppose -4*o - 5 = 5*k, -3*o + 2*k + k + 3 = 0. Are o and u non-equal?
False
Suppose 2*p = 4*p - 14. Is p at least 6?
True
Let f(h) = -h**3 - 4*h**2 + 6*h. Let b be f(-5). Let j(r) = -r**3 - 5*r**2 + 2*r - 7. Let s be j(b). Let o be -2 + s/(-8) + 0. Which is greater: o or -1?
o
Let y = -2.5 + 3. Let m = y - -1.5. Let p = 2 - m. Is p less than or equal to 0?
True
Let z(q) = q**3 + 6*q**2 + 5*q + 3. Let m be z(-5). Suppose -3*j - m = 5*w, -5*j - 5 = w - 2*w. Suppose l - 3*c = -w - 3, -4*l = -2*c + 2. Is l <= -2/7?
False
Let r = 85005/26 - 3270. Is 0 != r?
True
Let o(u) = 0 - 1 - 272*u - u**2 + 269*u. Let n = 6 - 8. Let w be o(n). Is w > 0?
True
Let n be 4/2 + (-22)/10. Suppose -20 = -3*q - q. Let z(h) = h**3 - 4*h**2 - 6*h + 5. Let o be z(q). Is n at most as big as o?
True
Let f = -0.197 - -0.2. Is 1 != f?
True
Let d = -4 - -4.1. Let q = -0.3 - d. Is -0.1 greater than or equal to q?
True
Let f = 2 + -8/3. Which is bigger: f or 0?
0
Let b be 15/25 - 16/10. Let j = 10 + -2. Is b < j?
True
Let r be 22/12 + 6/9. Which is greater: 3 or r?
3
Let k be 0 - (90/(-3))/(-2). Let b be 1 + (k - (-8)/(-4)). Which is smaller: b or -15?
b
Suppose -4 = -x - 4*p + 3, 2*x + 2*p - 20 = 0. Let i = x - 10. Which is greater: i or 13?
13
Suppose -4*x = 1 + 7. Let u = -5 + 3. Let q = u + 1. Which is smaller: q or x?
x
Let v(u) = -2*u. Let p be v(-2). Suppose -p = -3*i + 4*i. Which is greater: -2 or i?
-2
Let g = 14 + -10. Let x be g/(-48)*(-1 - 1). Is -1 at most as big as x?
True
Let t(y) = y - 6. Let u be t(6). Suppose w + 0 - 5 = u, 4*h - w = 31. Suppose 5*x + 16 = b - 1, h = -3*b - 5*x. Is b smaller than 3?
True
Let i(b) = b. Let a(p) = 4*p - 25. Let v(z) = a(z) - 2*i(z). Let j be v(12). Let o be 8/170*10/4. Does o = j?
False
Let i(z) = -z - 1. Let j be i(-4). Is j greater than or equal to -1?
True
Suppose -3*d - 5*w + w + 17 = 0, 5*w = -d + 24. Let p = -3 - -2.2. Do d and p have the same value?
False
Suppose -5 + 9 = 4*j. Let y be (-90)/(-40) - 2*j. Is -1/2 at least y?
False
Suppose 0*c = 3*c - 2*l, 2*l = -2*c. Let p(y) = y + 8. Let k be p(-11). Let u = k + 4. Do u and c have different values?
True
Suppose -4*p - 28 = -0*p. Is p not equal to -7?
False
Let f be ((-1)/5)/(21/(-30)). Which is greater: 4/7 or f?
4/7
Let o(j) = -3*j - 6. Let r be o(-5). Is r greater than 7?
True
Let h be 15*1/((-10)/(-4)). Suppose -2*g + 3*r - 1 = 1, -h = 2*g - 5*r. Is g >= 0.2?
True
Let g be (8/5)/(4/(-20)). Is g equal to -9?
False
Suppose -5*x + x + 4*t = 24, 0 = x + t - 4. Which is smaller: -2/63 or x?
x
Let m = -10 + 8. Suppose 0 = 3*v + 3*r + 2*r - 16, 0 = -5*v + 2*r - 25. Let l = m - v. Which is smaller: 2/7 or l?
2/7
Let p = 0.65 - 0.7. Let a = p + 2.05. Do -2/19 and a have different values?
True
Let b be 2/(6/(-2 + 3 + 1)). Is 13 greater than b?
True
Let c(t) = 2*t**2 - 5*t + 10. Let j be c(5). Let g be j/63*(-1 + 0). Which is smaller: -2 or g?
-2
Let s = 1.98 - -0.02. Let w be ((-20)/(-5))/12*-12. Are s and w non-equal?
True
Let s be 908/30 + 3/9. Let l = -30 + s. Let u be -3*((-1)/(-3))/(-1). Is l at most as big as u?
True
Let a be (-6)/(-27) + 2/(-9). Suppose a*z = 3*z. Suppose -5*c + 5 = -z. Are c and -2/5 equal?
False
Let v be ((-4)/(-4))/((-1)/(-3)). Which is smaller: v or 12/5?
12/5
Let c = 2140/9 + -8555/18. Let o = -233 - c. Is o at most 6?
True
Let n be 15/(-2)*34/3. Let h = n - -257/3. Which is smaller: 2 or h?
h
Suppose 5*n - 1 = -i, 0 = 6*i - 3*i - 3. Suppose -3*v + 23 = -n*k - k, 0 = -4*v + 5*k + 49. Which is bigger: 9/2 or v?
v
Let g = 3 + 2. Let t = -0.07 + 4.07. Let q = t - g. Which is greater: q or -3?
q
Let z = -10 + 7. Let y = -4 - z. Let p = y - -1.1. Which is smaller: -2/9 or p?
-2/9
Suppose -i - 11 = 4*r, -3*r = -3*i - 5*r - 3. Let x be ((2 - i)*2)/26. Which is greater: -1/4 or x?
x
Let k = -20 + 13. Which is greater: k or -6?
-6
Let q(p) = 3*p - 13. Let a be q(-17). Which is greater: -0.1 or a?
-0.1
Let k = -4 - -9. Let m be 44/(-84)*18/(-2). Let i = m - k. Is i equal to 1?
False
Suppose -9 = p - 4*p. Suppose 0 = 5*s + 4*n + 5, 0*s + p*s + 2*n = -5. Is s < -5?
False
Let f = 0.01 - 3.01. Let z = f + 6. Suppose 2*m + 3*m - 5 = 0. Which is bigger: m or z?
z
Let h = 1 + -4. Let k be (h/4)/(7/(-56)). Which is smaller: 5 or k?
5
Let b = -41/3 - -27. Let k = b - 286/21. Is k smaller than 0?
True
Let b(g) = -g + 6. Let j(z) = -z**3 - 6*z**2 - 4*z + 1. Let o be j(-4). Let a be o/(-2) + (-1)/2. Let t be b(a). Do -2 and t have the same value?
False
Suppose -4 - 4 = 4*g. Let x be (-88)/110 - (-5)/((-50)/12). Is x less than g?
False
Let p = -13.9 + -42.1. Is 0.1 <= p?
False
Let r be (-2 - -1)*-13 + 1. Let k be (r/(-4))/(-7)*-2. Is -1 smaller than k?
False
Let p = 6 + -3. Let d be p/(-2)*4/14. Is 2 bigger than d?
True
Suppose 2*g + 2*q = -20, -4*g + 0*q + 2*q = 22. Which is bigger: -6 or g?
-6
Let f = -125 - -151. Which is greater: 23 or f?
f
Let x(a) = a**2 - 6*a + 3. Let l be x(7). Let t be (-24)/182 - l/(-35). Which is smaller: t or -1?
-1
Suppose -8 = 2*f, 0 = -0*k + 3*k - 2*f - 17. Let x be 16/(-10)*25/(-10). Let m be ((-12)/(-152))/(k/x). Which is bigger: -1 or m?
m
Let m = -0.04 + -0.06. Does m = 0.6?
False
Let p = 20/39 - 257/273. Let v be -5 + 6 + (0 - 2). Let y = v + 0. Which is smaller: p or y?
y
Let p(y) = y**2 + y - 5. Let l be p(-3). Which is bigger: l or -3/62?
l
Suppose 4*a - 3*n = -0*n - 10, 3*a + 4*n - 5 = 0. Is a greater than or equal to -3?
True
Let x(l) be the third derivative of 0*l + 0 - 1/6*l**3 + 1/24*l**4 - 2*l**2. Let u be x(-4). Is 1 smaller than u?
False
Let b be 16/48 - 1*(-17)/21. Let s be (2 - 2 - 1) + 4. Let y = s + -2. Is b at most y?
False
Suppose -3 = 5*u - 8. Let b be (-45)/12 + 2 + 2. Do u and b have the same value?
False
Suppose -2*m + 52 = 3*b, -76 = -5*b + 4*m - 2*m. Let v = b - 10. Is v less than 4?
False
Let t = 76 + -76. Let y be ((-4)/(-26) - 0) + 0. Is y greater than t?
True
Suppose -5*y - 3 = -23. Suppose n + 5 = -y*n. Which is smaller: n or 0?
n
Let i = -2 + 10. Is i less than -0.1