0.4. Let y = -1 - -1. Which is smaller: y or c?
c
Let i be 15 + (-3 - -3) + 3. Suppose 4*h + q + 10 = -0*q, -4*h = -3*q + i. Suppose -2*u - 2 = -0. Which is smaller: h or u?
h
Suppose -2*b = -5*k - 33, 2*b + 3*b - 97 = -2*k. Which is smaller: b or 20?
b
Let v = 26 - 45. Is v less than -16?
True
Let w = -32 - -34. Let b = 31.1 - 34. Let c = -3 - b. Is w equal to c?
False
Suppose n + 1 = 3. Is n smaller than -5?
False
Let w = 11 + -11.8. Let a = 0.6 + w. Which is greater: -1 or a?
a
Suppose 3*s = -2*s + 25. Let f(j) = j**3 - 4*j**2 - 5*j + 1. Let z be f(s). Let g be 1/(-3) + 21/36. Are g and z equal?
False
Let b = -1.8 - -1. Let g = -1.8 + 2. Let a = g - b. Is a less than or equal to -0.1?
False
Let v = 1.5 - 0.7. Let i = -1 + 1/2. Are v and i non-equal?
True
Let s(x) = -x - 3. Let c be s(-2). Suppose 0*i = -y - i + 7, -5*y + 4*i = 1. Let w = 2 - y. Is c at most as big as w?
True
Suppose -19 = 4*o - m, -4 = -o + 4*m - 20. Let i = o + 12. Is 9 >= i?
True
Let j = 5 - 23. Let h be (-9)/j - (-1)/(-3). Which is smaller: h or -1?
-1
Let c = 3/49 - 17/49. Which is smaller: 1 or c?
c
Let y be 1 - 1 - (-136)/(-2). Let h be 5136/(-78) + (-1 - 1). Let a = h - y. Are -1 and a equal?
False
Let q = -5.4 + 5.7. Is 5/8 less than or equal to q?
False
Let y = 83 + -83. Let a be (-3 + 1)*(6 - 2). Let p be a/6 - (-1)/1. Do p and y have the same value?
False
Let z(x) = -x + 5. Let h be z(4). Let q = 366 - 6220/17. Which is bigger: q or h?
h
Let w be (-6)/9 - (-37)/(-3). Is 2 less than w?
False
Let k = 59 + -58.99. Is k less than or equal to -2/3?
False
Let h = -10 - -5. Suppose 14*b - 12*b = -14. Is h greater than b?
True
Let z(a) = a + 1. Let n(m) = 4*m + 2. Let l(p) = -2*n(p) + 7*z(p). Let o be l(7). Is o < -4?
False
Let q = 90 - 69. Which is bigger: -1/5 or q?
q
Let z(r) = -2*r**2 - 3*r - 1. Let x be z(-2). Let b be 1/1*x/3. Let h be (-2)/(8/(-2)) - 1. Which is smaller: h or b?
b
Let f = 24 - 24. Is f != 5?
True
Let a be (-14)/(-12) - (-2 + 3). Let k = -6 + 7. Is k >= a?
True
Let s = 0.5 - -1.4. Let v = 0.09 + -2.09. Let h = s + v. Is h equal to 1?
False
Suppose -3*g + 18 = 3*i, -3*g + 4*i + 6 + 12 = 0. Is g < -1/4?
False
Let f be 5 + (-285)/55 + -1. Is f >= 0?
False
Suppose -a = 2*x - 19, 0 = -0*x - 2*x + a + 17. Let j be x/(-12) - 1/4. Let u be 5*((-2)/(-10) - 1). Which is smaller: u or j?
u
Let n be (-116)/80 + 6/4. Which is bigger: n or 0?
n
Suppose -23 = -5*y - 2*v, 0 = -4*y + 2*y - 2*v + 14. Suppose y*s + 1 = 10. Let k = -3 + s. Which is bigger: k or -1/3?
k
Let d(j) = j - 2*j + 4 - 12. Suppose 0 = 3*h + 3*i + 18, 4*h + 5 = i - 24. Let o be d(h). Which is greater: o or -1/3?
-1/3
Let r = 31 - 89. Which is bigger: -1/3 or r?
-1/3
Let t = -378 - -9447/25. Is 2/3 at least t?
True
Let d be (1/3)/(4/(-12)). Which is smaller: -1/20 or d?
d
Let x(f) = -2*f + 13. Let y be x(6). Is -1/5 greater than y?
False
Let s(p) = -p**2 + 4*p + 7. Let u be s(5). Suppose -h = 3*h + 2*r - 2, u*r - 2 = 0. Which is bigger: h or 1/3?
1/3
Let y = 64 - 61. Which is smaller: 22/13 or y?
22/13
Let y = -41 - -40. Let r be (-1)/(6/(-3) - -7). Is r >= y?
True
Let h = -33 - -22. Are h and -12 equal?
False
Let n = 11 + -7.3. Let i = n - -1.3. Are i and 2/3 unequal?
True
Let z = 7555 - 61797/8. Let h = z + 170. Which is greater: h or -1?
h
Let m = 383/5 - 77. Is 2/125 greater than m?
True
Suppose -2*s = 2*g - g + 22, -g - 4*s - 28 = 0. Which is greater: g or -17?
g
Let d be (16/(-6))/((-6)/9). Suppose -d*q = -4*v + 36, 0*q + 11 = -2*q - 5*v. Let f be (-1)/q*-2*2. Is 0.4 bigger than f?
True
Let j(q) be the third derivative of -q**6/120 + q**5/12 + 5*q**4/24 + 7*q**3/6 + 2*q**2. Let l be j(6). Let i = 1 - l. Is i >= 0?
True
Let q be (-17)/5 + (-6)/(-15). Is -21/5 at most as big as q?
True
Let z = 0 - -3. Let r(n) = 2*n**2 - 5*n + 2. Let j be r(3). Suppose -5*h + 4*h + g = -8, g + 20 = j*h. Is h at least z?
True
Let h be (-58)/(-70) + ((-23)/(-5) - 5). Which is greater: h or -1?
h
Let y = -6 - -8. Suppose -d + 12 = y*d. Suppose 5*a - d*t = -3, 7*a + 1 = 2*a + 3*t. Which is greater: 0 or a?
a
Let p = 13.3 + -12. Let w = 0.3 - p. Let f be (-4)/(-10)*(-10)/6. Is f at most w?
False
Let f = 11 + -6. Suppose -6 = j + f*z, 3 = j - z - 3*z. Does j = -3/14?
False
Let p(r) = -r**3 + 6*r**2 - 12*r + 5. Let x be p(8). Let g be 2/5 - x/90. Let j = g - 7/3. Which is bigger: j or 0?
j
Suppose 1 = 2*s - 2*l + 3, 4*l = 5*s + 10. Which is smaller: -2/7 or s?
s
Let n = 8 + -12. Let w(a) = a**2 + 5*a - 4. Let t be w(-5). Let o = t - n. Which is greater: o or -1/3?
o
Let h(s) = s**2 - 17*s + 12. Let u be h(13). Let x be (-3)/((-52)/u - 1). Is x greater than or equal to -9?
False
Suppose 5*i = 4*c + 51, i = -0*i - c + 3. Suppose -2*b - 12 = 3*r + 3*b, 0 = 4*r - b - i. Is 0 bigger than r?
False
Let b = 0.048 + -0.148. Does -13 = b?
False
Let i be (-2)/8*56/(-21). Let c = 8.2 - 9. Let g = -0.2 + c. Is i at most as big as g?
False
Suppose m + 2 = -0*k - k, 0 = -m - 4*k + 4. Let y be 3/(-2)*m/(-6). Let b be 6/8 + 21/(-12). Is b greater than y?
False
Let r = 0.17 + -0.07. Is r at most as big as -21?
False
Let g(v) = 2*v**3 + 6*v**2 + 4*v - 2. Let w(f) = 5*f**3 + 17*f**2 + 11*f - 6. Let d(m) = -8*g(m) + 3*w(m). Let s be d(3). Which is smaller: s or 1/20?
1/20
Let y = -30 - -19. Let g = y - -10.8. Which is smaller: g or 4?
g
Let h be (-2)/(-9) + 64/(-12). Let u = h - -40/9. Is 0 equal to u?
False
Let k(v) = -v. Let w(s) = 3*s. Let h(j) = -7*k(j) - 2*w(j). Let u be h(0). Which is greater: 1 or u?
1
Let b = -15 - -13. Let a be -1 + b + 408/138. Are -1 and a non-equal?
True
Suppose -2*r + 0*r - 18 = 0. Is r != -9?
False
Let c = 1 - 1. Let a = 29 - 28. Let p = a + c. Is p at most -4?
False
Let z = -0.047 + -0.053. Which is greater: z or 23/2?
23/2
Let u be 2/(-4)*0/(-4). Let o = -40 + 119/3. Let w = u + o. Do 1 and w have the same value?
False
Let n(g) = g + 8. Let a be n(-8). Do -1 and a have the same value?
False
Suppose 3*f - 2*i + i = -9, -4*f - 2*i - 2 = 0. Is -12/5 equal to f?
False
Suppose -l + 3*w = -4*l + 3, 5*l - 33 = 2*w. Suppose 23 = l*b - 27. Let n be 0 + 3 - 34/b. Which is smaller: n or -1?
-1
Suppose 2*q - 7*q + 50 = 0. Which is bigger: q or 13?
13
Let z(x) = -x + 2. Let l be z(-6). Is l < 9?
True
Let u = -48/5 + 46/5. Let y = -0.7 + -0.3. Let h = y + 1.1. Is u >= h?
False
Let a = 43 - 303/7. Which is smaller: 14 or a?
a
Suppose -2*a = y - 4, a = 4*a - 3*y - 15. Let c be 16*a/21 + -3. Which is smaller: c or -2/7?
c
Suppose 12 = -10*q + 14*q. Suppose -5*s - 4*a = 13, -5 - 3 = 4*a. Let k be -3 + s + q + 2. Is k at most -2/5?
False
Suppose 5*v + 0*v - 15 = 0. Suppose 3*f = -v*z + 6, 0*z - z + f = -2. Suppose j + z*l - 7 = -1, 25 = 5*j + 5*l. Which is smaller: 2 or j?
2
Let s be 7/(1*(-2 + 3)). Which is smaller: 5 or s?
5
Let r(w) = w**2 + 3*w. Suppose 5*n + 4 + 2 = -4*b, -2*b - 6 = 4*n. Let j be b - -8*(-3)/6. Let z be r(j). Does z = -2/17?
False
Let f = 10 - 7. Let x = -2 + f. Is x < 1/8?
False
Suppose -5 = -2*p + 1. Suppose 5*k - 25 = 5*g, 0*k + 15 = -p*k - 3*g. Let x = k + -1. Which is greater: 4/9 or x?
4/9
Let y = -14 - -1. Let c(u) = u**3 + 12*u**2 - 14*u - 10. Let o be c(y). Let m(q) = -q**2 - 6*q - 5. Let z be m(-4). Is z less than o?
False
Let d = -3 + 7. Suppose -5*m = -4*x + 31, 5*m - d*m + 3 = 0. Suppose x = -4*y + 4*z - 4, 13 = -2*y + 5*z. Are 2 and y nonequal?
True
Let x = 0.06 - 0.46. Let f = x + 0.5. Let q be 2/12*(-40)/30. Are q and f equal?
False
Suppose -n - 5*u - 25 = 0, n = 3*u + u + 20. Let m = 6 + n. Let w be 1 - (2 - m/8). Do w and -2/5 have different values?
True
Suppose 5*q = 3*m - 4, -5*m + 7*q + 18 = 10*q. Let l be (6/(-16))/((-2)/12). Are m and l non-equal?
True
Let d(q) = -q**2 - 10*q + 16. Let k be d(-12). Let s be 1 + 0 + k/1. Are s and -7 non-equal?
False
Let k = 2549/2 - 364511/286. Are 1 and k equal?
False
Let o be (5/(-30))/((-2)/(-4)). Which is greater: o or -2?
o
Let k be (-1)/5*5/(-6). Let m be (-8)/(-6) + ((-15)/(-9) - 2). Which is smaller: k or m?
k
Let a(u) = -3*u**3 + 2*u**2 + 4*u + 1. Let g be a(-3). Is 88 not equal to g?
False
Let x = 2.8 - 3.7. Is x greater than or equal to 0.3?
False
Let d be 36/5 - 5/25. Suppose 6*i = d*i. Which is smaller: i or -2/7?
-2/7
Let z(a) = -a - 2. Let h be z(0). Let u be (-95)/60 + 1/3. Which is smaller: u or h?
h
Let c be (-16)/(-12) -