 + z. Which is smaller: -1/3 or a?
-1/3
Let n = -5.1 - -0.1. Let k = n - -4.9. Which is smaller: k or -2?
-2
Let i(q) be the third derivative of q**4/24 - 2*q**3 + q**2. Let w be i(12). Let j be 4/(-14) - (-16)/7. Which is smaller: j or w?
w
Suppose 4*t + 3*u + 12 = -0*t, 3*t + 5*u = -20. Let b(r) = -r - 6. Let j be (-70)/15*(-3)/(-2). Let c be b(j). Is c greater than or equal to t?
True
Let n be 11/3 - (-23 + 28). Suppose 2 + 0 = -2*y. Which is smaller: n or y?
n
Let h be 2/(-1)*2*4. Let s = -81/5 - h. Is 1 <= s?
False
Let p = -0.11 - -0.18. Let g = 45.87 - 48.8. Let q = p - g. Do q and 0 have different values?
True
Let g be 5/(75/18)*10. Is g equal to 12?
True
Let l be (-1 + -4)*(-2 + 9). Let y = l - -14. Let h be -1 + (-6)/y - -1. Which is bigger: -0.2 or h?
h
Suppose 21 = -n + 5*w, -4*w = 3*n - 2*w - 22. Which is smaller: n or 5?
n
Let r = -0.84 + 1. Let l = r + -0.06. Are l and 3 nonequal?
True
Let y = -18 + 18.9. Which is smaller: 1/2 or y?
1/2
Let o be (-4)/(-12)*(0 + 0). Suppose 4*l + 2*z + 2 = -o, -12 = -4*z. Are 6 and l unequal?
True
Let c(h) = -3*h + 2. Let x be c(1). Which is smaller: 3/25 or x?
x
Let c = -2 - -1. Let a = 2 + c. Let g = 357/8 + -6053/136. Is g at least a?
False
Let t be (-9)/3*24/(-1206). Is -1 equal to t?
False
Let t = -14.9 - -15. Let q = t + -0.19. Which is smaller: q or 1?
q
Let p = 0.02 + 0.01. Let k = -3.93 + p. Let f = k - -4. Which is smaller: -0.1 or f?
-0.1
Let h be (34/20)/((-2)/(-44)). Let b = -48 - -85. Let u = b - h. Is u at most as big as 0?
True
Suppose 0*u + 4*u - 4*b = 20, -3*u = b + 5. Let j be 22/18 - (-14)/(-63). Let n be u - j - (3 - 1). Which is bigger: n or -1?
-1
Let j(x) = -x**3 + 3*x**2 + 6*x + 9. Let d(p) = -3*p**3 + 10*p**2 + 18*p + 27. Let m(q) = 3*d(q) - 8*j(q). Let l be m(7). Is l greater than 3?
False
Let x = -0.01 + 0.02. Let p = 0.01 - x. Is p not equal to 0.2?
True
Let i(o) = o + 5. Let m be i(-5). Let v be (-3 + 2)*-2*(-108)/(-972). Is m equal to v?
False
Let u = -116 + 115.99. Is u < 8?
True
Let a(z) = -2*z - 14. Let w(h) = h + 9. Let r(f) = -5*a(f) - 8*w(f). Let b be r(3). Is b greater than 3?
True
Suppose 15 = 5*o - 0, -5 = -2*f - 5*o. Which is smaller: f or -31/6?
-31/6
Let a be ((-16)/(-42))/(12/14). Let h = 2 + -3. Is h less than or equal to a?
True
Let z = -248909/1854 - -2298/103. Let t = z - -112. Is t <= -1?
False
Let w = -3977/18 + 221. Let t(g) = -g**3 + 4*g**2 + g - 5. Let i be t(4). Which is smaller: w or i?
i
Let u = -0.22 + -0.08. Let t = -0.4 - u. Let g = t - -0.2. Is g smaller than -1?
False
Suppose 6*z = 2*z - 24. Let h(p) = p**3 - 3*p**2 - 2*p. Let o be h(3). Is o greater than z?
False
Let g = 6 - 10. Is 0 equal to g?
False
Let t(s) = -s**2 + 7*s - 6. Let f be t(6). Let k = -1 - -2. Which is bigger: f or k?
k
Suppose -7 = -2*y + 19. Suppose -3*j + 6*j + y = x, -16 = -4*x. Let a be -2 + j/((-66)/40). Which is smaller: a or 0.1?
a
Let m(g) = g + 3. Let o be m(-4). Let r be 14/12*(-24)/(-9). Let b = 32/9 - r. Is b smaller than o?
False
Let p = -19 - -18.9. Which is smaller: 0.27 or p?
p
Suppose 2*i + f = -4*f + 5, -2*i - f = -1. Let l = 14 + -44/3. Is l greater than i?
False
Let m = -1412/5 + 284. Which is smaller: 1 or m?
1
Let i be 5/1 - (-2 - -5). Let n be (i/40)/((-10)/(-75)). Which is smaller: 1 or n?
n
Let m = 149 - 95. Let c = 49.4 - m. Let n = c - -5. Is n less than 0.1?
False
Let u be 2/8 - 1/4. Let m = 9 - 6. Suppose m*f + 5 = -4*h, -f + 4*h = 3*h - 3. Which is greater: u or f?
f
Suppose 4*h - 3*k - 31 = -2*k, -4 = -4*k. Suppose 3*i + 2*f - 4 = -2*i, i = 4*f - h. Is 1 greater than or equal to i?
True
Let z be (-9 - -8)/((-1)/3). Is z != 1?
True
Suppose 5*u = -3 - 2. Let h be ((-28)/294)/(3/(-7)). Is u <= h?
True
Let k = 31.1 - 31. Let c = 2/67 + 112/737. Is k less than c?
True
Suppose b - 2*h - 2 = -5, -2*b = -3*h + 3. Is b smaller than 8/3?
False
Let x = 2.8 + 1.2. Let n = 6 + -7. Which is bigger: n or x?
x
Let g be -6*(-37)/(-2)*-1. Suppose l - 4*u + g = 0, 5*l + 278 = 2*l + u. Let r = l + 547/6. Is r at least as big as 1?
False
Let c = -32.89 + 32. Let d = 0.11 - c. Are d and -2/15 nonequal?
True
Let o be 2/(-5) + 121/(-35) + 4. Suppose -4 = 5*z + 2*h - h, -3*z + h + 4 = 0. Are z and o non-equal?
True
Suppose -3*s - 3*s - 12 = 0. Which is bigger: s or -6/5?
-6/5
Let t = -49 + -19. Does t = -1?
False
Let m = -2/863 - 10346/4315. Does -1 = m?
False
Suppose 4*p = -5*i + 125, p - 13 = i - 47. Is i at least as big as 28?
True
Let w(y) = -4*y + 27. Let m be w(7). Is m smaller than -3.9?
False
Let u(k) = k**2 - 5*k + 6. Let p be u(2). Which is bigger: -4/23 or p?
p
Suppose -5*h - 12 = -h. Let n be (-2)/(-3) - 1/h. Let q be (n - 0)/(6/12). Is 2 greater than or equal to q?
True
Let u(f) be the third derivative of f**6/720 + f**5/20 - f**4/24 - f**2. Let h(i) be the second derivative of u(i). Let o be h(-8). Which is greater: o or -3?
o
Let g = -6 + 11. Let j = 5 - g. Let i be 84/60 - (1 + 0). Is j < i?
True
Let i = -1 - -2. Let n = -723 + 724. Is i bigger than n?
False
Let x be 2*1/(-4)*-2. Let t be -1 - (-1 - x) - 1. Suppose -3*r - 3 = -0*r. Does t = r?
False
Let j = 1 - 2. Suppose -2*w - 5*h = 1 - 3, 5 = 5*w + 4*h. Is w at least as big as j?
True
Let x be ((-12)/45)/((-6)/(-15))*-12. Let b = 11 - 2. Which is smaller: b or x?
x
Let y = 3 + -6. Let t = y + 8. Let a = 4 - t. Do 1/6 and a have the same value?
False
Let c = 0.106 - 0.106. Is -128 at most c?
True
Let s(t) = -t**3 - 5*t**2 - 2*t + 1. Let f be s(-3). Is -11 less than or equal to f?
True
Let w = 32 - 30. Is w bigger than -0.26?
True
Suppose 2 = -4*f + 3*f. Let n = 12 - 8. Let g be n/(-16)*(-1 - f). Is g < 1?
True
Suppose -14 - 6 = 4*k. Let h be 4/k*5/(-2). Is h bigger than 0?
True
Let m(l) = -l - 8. Let u be m(-9). Is u smaller than -6/13?
False
Suppose 2*t = -3*t + 10. Suppose -2*r + 0*p - 21 = 5*p, -5*r = t*p. Which is smaller: r or 1?
1
Suppose 3 + 5 = 4*r, -f + 8 = 3*r. Are f and 0 nonequal?
True
Suppose a - 5*t = 2*a + 36, 0 = 3*a + 5*t + 88. Let k = 26 + a. Do k and 1 have different values?
True
Let n = -18 + 37/2. Suppose -2 + 5 = 3*m. Are n and m nonequal?
True
Let d(b) = -7*b + 1. Let t be d(-2). Let s = t + -9. Is s > 6?
False
Let q be 22/8 + (-4)/(-16). Let x be (-5 + 2)/q - 1. Suppose 0*m - 9 = 3*m. Is m at least as big as x?
False
Let m = 1.5 + -7.5. Let u = m + 13. Let n = u - 6.6. Which is bigger: -1 or n?
n
Suppose 3*g + 56 = -g. Let k = g - -9. Let v = -10 + 6. Which is smaller: k or v?
k
Let d be (-10 - -12)/(-2 - 3). Is -0.1 bigger than d?
True
Suppose 3*p = 2*a - 3*a + 9, -3*a = p - 11. Which is smaller: 0 or p?
0
Suppose 0 = w - 5*w + 28. Let u = w - 47/7. Which is smaller: -4 or u?
-4
Suppose 8*r - 3*r + 50 = 0. Let l be 6/r - (-4)/10. Are 0 and l non-equal?
True
Suppose a = -4*a + 60. Suppose 4*y - 12 = a. Is 6 > y?
False
Let o = 0.06 - -2.14. Let f = 0.8 + o. Which is smaller: -2/7 or f?
-2/7
Let k(m) = m**3 - 5*m**2 - 2*m + 5. Let j be k(5). Is j greater than or equal to -4?
False
Suppose -y + 3*y = 4*n + 142, 0 = -y - 2*n + 51. Which is bigger: y or 62?
62
Let g = -2 + 7. Let d = -4 + g. Let l be 1/(-4) - 135/(-60). Is l not equal to d?
True
Let g(h) be the first derivative of h**4/4 + 5*h**3/3 + 5*h**2/2 + 6*h - 3. Let s be g(-4). Are s and 2 non-equal?
False
Suppose 3*r + 139 = 3*g + g, 3*g - 2*r = 104. Let m = g + -236/7. Which is smaller: -1 or m?
-1
Let f be (5 + -4 - 2)/1. Let i be 2/(-8)*2/(-4). Which is greater: f or i?
i
Let b(y) = 3*y - 9. Let o be b(7). Let d = o + -49/4. Which is greater: d or 1?
1
Let o be 6/(-4) - 18/(-4). Suppose o*v - 2*q = 0, 0 = 2*v - 0*v - 5*q. Suppose j = -v + 1. Which is bigger: -2/9 or j?
j
Let z = -0.89 + 0.8. Is z less than 0?
True
Suppose -6 = -z - 2. Which is smaller: -2 or z?
-2
Let q be (-2)/8 - (-84)/16. Suppose 0*x - q*x = -10. Let t be (6/(-4))/(x/(-4)). Is 3 bigger than t?
False
Let o = -0.2 + 0.4. Let p = -20.9 - -21. Is p at most o?
True
Let l = 3 + -1. Suppose 5*b - 29 = l*j, -3*b + 13 = j - 0*j. Suppose v = -b*p + 19, v + 31 = 2*p + 3*p. Do -7 and v have the same value?
False
Let n = 118.98 - 121. Let c = 0.02 + n. Is c != -0.1?
True
Let x(z) = -z**2 - z + 4. Let m be x(0). Suppose -v + 3*v + m*r - 22 = 0, v = 4*r - 19. Is v at least 6/5?
False
Let r = 3 - 11. Let h = r + 9. Is 3 at most h?
False
Let m = -1/461 - 87