Suppose -l = -2*l. Which is smaller: l or z?
l
Let d = 1 - 3. Let a be (2 - (0 - d))/1. Let w be (-12)/9*3/(-7). Is w less than a?
False
Let d be -2*3/36*-2. Which is bigger: d or 18?
18
Let g = -9 + 11. Let v be g/9 - (-263)/(-36). Let l = v + 27/4. Which is smaller: l or -1?
-1
Let k be (1*-1)/(-2 - 0). Let c = -14 + 16. Which is bigger: k or c?
c
Suppose -g - 8 = -5. Which is smaller: 0 or g?
g
Suppose 2*b - 2*q = 2, -q - 11 = 5*b - 34. Suppose b*w - w = -4*f - 12, w = -2*f - 6. Do f and -2 have the same value?
False
Let a = -1 - -0.5. Let g = -0.8 - a. Which is bigger: g or -3/4?
g
Let f be ((-2)/(-2))/((-6)/366). Which is smaller: f or -60?
f
Let q(c) be the third derivative of -c**5/60 - 13*c**4/24 - 13*c**3/6 - c**2. Let a be q(-12). Is -2/5 smaller than a?
False
Let x = 0 + 0. Let j = x + -2. Let b be -1 + (j + 1 - 0). Is b at least as big as -2?
True
Let u(v) be the first derivative of v**3/3 + 2*v**2 + 1. Let w be u(-3). Let a be w/2 - (-9)/6. Which is smaller: 2/11 or a?
a
Let y = -19 - -51. Let q be y/30 + (-6)/15. Which is smaller: q or 0.1?
0.1
Suppose 1 = -3*g - v, -3*v + 1 - 18 = -5*g. Let y be g/5 + (-54)/(-30). Which is smaller: y or 1?
1
Let y be 46/(-14) + 8/28. Let l be (2/(-6))/(y/9). Let c = 2561/11 + -233. Are l and c equal?
False
Let m = 7 + -16. Is -8 greater than or equal to m?
True
Suppose -19 = -4*d - 11. Is 15/8 at least as big as d?
False
Suppose q + 2 = 3. Suppose q = -4*j - 3. Let k be 0*3/6*j. Is k equal to 1/3?
False
Let a be 2/7 - (-94)/14. Suppose a = 3*m + 5*f, -4*m + 3*f = -0*m + 10. Let o be -4 + 1*(153/12)/3. Are m and o nonequal?
True
Let s be -1 + -1 + 0/1. Let x = -0.0792 - 0.6208. Do s and x have the same value?
False
Let v be 2/(-7) + (-90)/(-21). Suppose -5*q = -3*q - v. Is 3 <= q?
False
Let r = 2 - 5. Let a = -2 - r. Is 1 bigger than a?
False
Suppose 0 = r - 3*r - 10. Let f = 5 + r. Is -1/18 at least f?
False
Suppose -2*g + g + 4 = 0. Let n be (0 + -4)/(-4) - -2. Which is bigger: g or n?
g
Let t be (6/(-4))/(6/40). Let z = t - -9. Let s be 0*(2 + -3)*1. Is z less than or equal to s?
True
Suppose h + 6 - 4 = d, -3*h - 8 = -4*d. Are 9/4 and d nonequal?
True
Let d = -4.1 - -5. Let g = 0.1 + d. Which is bigger: 2 or g?
2
Let u(h) = -h**3 + 6*h**2 - 2*h + 9. Let b be u(6). Let z be ((b - -2) + 1)/(-1). Which is smaller: 1 or z?
z
Let g = 7 - 4. Suppose 5*j = -0*j + 5*d + 20, 4*j = -g*d - 5. Let w be 0 + 2/(-6)*1. Is w not equal to j?
True
Let g = -19 + 18. Let d = 8/17 + -23/85. Does d = g?
False
Let b be (2/(-6))/((-2)/(-30)). Let w = 8 + b. Let l(k) = k - 1. Let d be l(4). Is d <= w?
True
Let o(v) = -v + 1. Let k be o(1). Is k bigger than 1/31?
False
Let j be 328/520 + (-2)/5. Is 1 at least j?
True
Let i be (2/(-40))/(5/(-4)). Let b = 11/25 - i. Is 1 <= b?
False
Let o = 6 - 8. Let g be 4/(-22) - o/11. Let h be ((-1)/(-3))/((-13)/6). Is g > h?
True
Let i = 1/170 + -1369/1530. Which is bigger: i or -2?
i
Let z = -0.8 - 9.2. Let l = z + 10. Is -0.1 greater than l?
False
Let m be 36/40*110/24. Which is bigger: 5 or m?
5
Let l be (60/99)/(2/3). Let m = l - 103/77. Let j = m - -5/28. Which is smaller: -2/7 or j?
-2/7
Let h = 26 - 62. Is -37 at most h?
True
Let w be 2 + ((-36)/5)/3. Let u = 2.02 + -0.02. Are u and w equal?
False
Suppose 3*j + 11 = -4*d, 0 = 3*d - 5*j - 25 - 3. Let g be d/(2 - 3) - -5. Suppose -5*v - 3*b = 26, 4*b - 18 = g*v + 5*b. Is v < -3?
True
Let u = -0.8 + -2.2. Let w be 1 - (1 - 2/7). Which is smaller: u or w?
u
Let s be (8/(-2) - -10)*8. Let q be (s/(-54))/(1/(-3)). Do 2 and q have different values?
True
Let x(k) = -k + 10. Suppose 0*b + 4*b + 23 = 3*w, 3*w - 24 = 3*b. Let h be x(w). Is -6/13 less than h?
True
Let j = 1 + 5. Let h be 5/(-2) + (-3)/(-6). Let q be (j/(-9))/(h/(-3)). Is q less than or equal to 0?
True
Let j be 2/(-10) + (3/15 - -1). Which is smaller: j or -1/36?
-1/36
Let s be 5 - (51/3)/1. Which is smaller: s or -10?
s
Let l be (6/12)/(2/(-4)). Which is smaller: l or -16/19?
l
Suppose 0*v = -2*v - h + 39, 3*v = 4*h + 86. Suppose -2*m + 2*a - v = -0*m, 2*m = a - 19. Let s be (-4)/(-6)*(-3)/m. Is -2/3 greater than or equal to s?
False
Suppose -15 = -3*b - h, -h + 23 = b + 4*b. Suppose -12*x + 50 = -46. Suppose b*q - x = 2*q. Is 4 smaller than q?
False
Let o = -105.1 - -110. Let p = 5 - o. Which is greater: -0.1 or p?
p
Let f(q) = -2*q + 3. Let b be f(3). Let r be (-2 - b)/(0 - -3). Is r less than or equal to 0.3?
False
Let b = 4621/7 - 659. Which is greater: 0.2 or b?
b
Let b be 1*-1*-1 - 0. Let r = -85/21 + 13/3. Is b smaller than r?
False
Let a = 10.99 + -11. Let y = 0.09 - a. Is -8 less than or equal to y?
True
Let r be (12/(-9))/(1/(-210)). Let f be 3*(-2 - r/(-138)). Let k be 3/(-13)*-5 + (-4)/26. Which is smaller: k or f?
f
Let l = 1.1 - -3.9. Is l less than -2?
False
Let v(t) = -t**2 + 3*t + 2. Let b be v(2). Suppose c - 2*c - b = 0. Let l be c/6 + (-16)/(-15). Which is greater: l or 0?
l
Suppose a + 4*a = -5. Which is bigger: -1/15 or a?
-1/15
Suppose 0 = -2*m - 2 + 10. Do 1 and m have different values?
True
Let m be 1/(-2) - (-2)/(-4). Let n(a) be the second derivative of a**4/12 + 5*a**3/6 + 3*a**2/2 - 3*a. Let u be n(-4). Do u and m have different values?
False
Let o = 1 - 11/4. Let a be 13/(-4) - 2/(-8). Let m be a*(6/(-9) - -1). Which is smaller: m or o?
o
Let a = 249/160 + 27/32. Is 1 less than a?
True
Let y = 29 - 27.9. Let m = y - 1. Is 3 bigger than m?
True
Let g = -1 + 1. Let d = 4 + -6. Which is smaller: g or d?
d
Let y be (-4)/(-3)*(-3)/2. Let b be (1 - 1) + y + -2. Let p = b + 5. Which is bigger: p or -1?
p
Suppose 0 = 12*x + 308 - 104. Is -17 != x?
False
Suppose 4*x - k - 19 = 0, 16 = 2*x + 3*k + 3. Let l(r) = -r**2 + 8*r - 4. Let j be l(x). Which is bigger: 10 or j?
j
Let f = -0.4 - -0.2. Let k = f + 0.16. Let o = 0.04 + k. Which is greater: o or 2/11?
2/11
Let m(q) = 2*q - 7. Let b be m(6). Suppose -b*h = -h. Which is bigger: -3/5 or h?
h
Let o = 12 + -47/4. Let i be ((-3)/6)/((-2)/(-16)). Let f = i + 4. Is f smaller than o?
True
Let u be ((-120)/25 + 4)/(3/30). Are -12 and u nonequal?
True
Suppose 2*m = 4*a - 14, -4*a - 3*m + 2*m - 1 = 0. Let f = 117/5 - 23. Does a = f?
False
Let b = 1.96 + 0.04. Let p = 2.2 - b. Let w = 1 + 0. Does w = p?
False
Suppose p + 2*p + 12 = 0. Suppose -308*j + 10 = -313*j. Which is greater: j or p?
j
Let j = 2.3 - -2.7. Let p = -0.3 + 1.3. Which is smaller: p or j?
p
Suppose 0 = -2*o + 7*v - 2*v + 4, -10 = 4*o - v. Let l be (3/o)/(5/10). Which is greater: 0 or l?
0
Let w = 0 + -2. Let t = 1 + w. Let v = -1 + t. Is v bigger than -3?
True
Let q be ((-1)/(-1))/((-21)/91). Let y = -293/69 - q. Is 2 at least y?
True
Suppose -5*l - w - 15 = w, w = -3*l - 9. Let o be (l + 7/5)*5. Is -9 <= o?
True
Let g be (-14)/(-4)*(3 - 468/140). Which is smaller: -0.1 or g?
g
Suppose 6*s - 24 = 3*s. Let c = 9 - s. Let j = 4/9 + -1/9. Is c < j?
False
Let v = -69 - -343/5. Is v equal to 1?
False
Let t(n) = n**3 - 4*n**2 - 3*n - 6. Let l be t(5). Let j be l/(-32) - (-210)/16. Which is smaller: j or 12?
12
Let j(u) = 2*u + 2. Let a be j(-2). Let d be 1/(-3) - (-11)/15. Do d and a have different values?
True
Suppose 5*s + 0*s + h = -14, 0 = 2*h + 8. Let p be 2 + (-1 - 7) - s. Suppose -k - 4*k = 10. Is k >= p?
True
Let j(k) = 2*k - 1. Let v be j(4). Suppose c - 10 = -3*z, v = 3*c + c + z. Let n be c/(-4) - (-10)/8. Is 2/13 less than or equal to n?
True
Let z = -33 - -233/7. Suppose -4*i + 105 = i. Suppose -5*b = 2*l - 27, 5*b + 0*b - i = 4*l. Which is greater: z or l?
l
Suppose -4*w + 9 = x, x = -0*x - 3*w + 7. Let c = x + -3. Let d = 2 + c. Which is smaller: 1/4 or d?
d
Suppose 3*n + 3*z = 18, -3 - 12 = -2*n - 5*z. Suppose -9 = -n*i + 16. Which is smaller: 4 or i?
4
Let o = -3.6 - -3.6. Which is greater: o or -2?
o
Let l = 0.3 - 0.4. Let s = 42.9 + -40. Let f = -3 + s. Is f greater than or equal to l?
True
Let d be ((-20)/(-6))/(2/50). Let r = 84 - d. Which is smaller: 0.1 or r?
0.1
Let p = -4.71 - 0.29. Which is smaller: p or 0.1?
p
Let z(o) = -o**2 + 9*o - 8. Let a be z(7). Suppose -b - 2*b + a = 0. Let p be 4/(-6)*3 - -5. Is b not equal to p?
True
Let h be (3 + 2/(-4))/4. Let x = h - 3/8. Which is bigger: 0 or x?
x
Let z = 1 - 3. Let u be 30/21*z/5. Which is smaller: u or -1?
-1
Let x = 8.1 + -8. Is 1.3 > x?
True
Let i be -5 + 2*9/(-6).