 a?
0.2
Let z = -47/3 - -16. Let d be 2*(-2)/4*(-4 + 5). Which is smaller: d or z?
d
Let w be -5*3/(-9)*3. Suppose 2*z - 4 = 8. Which is bigger: z or w?
z
Suppose l - 2 = -1. Let w = -281/5 + 56. Which is greater: l or w?
l
Let u = 41628/5 + -8422. Let z = u + 2412/25. Which is bigger: z or 0?
z
Let x be ((-44)/10)/2 - -2. Is -0.3 greater than or equal to x?
False
Suppose 0*o + o - 15 = -4*v, -2*o - 3 = -3*v. Suppose v = -3*x - 6. Is x at most as big as -4?
False
Let w be -4 + -4 + (-1525)/(-190). Which is greater: 0 or w?
w
Suppose -4 = -4*a + 16. Let c be (-8)/28 + 47/(-7). Let r = a + c. Is r at most as big as -2?
True
Suppose -n + 46 = -34. Let h be (1 - 0)/(15/n). Let a = h + -11/2. Which is smaller: a or 0?
a
Let s(k) = 3*k**2 + 57*k - 2. Let f be s(-19). Let a be ((-1)/2)/((-10)/4). Which is greater: f or a?
a
Let r(z) = 2*z - 3. Let l be r(4). Suppose 2*y + 9 = -l*p - 7, -5*p + 4*y = -2. Is p at least as big as -3?
True
Let p = 0 + 0.1. Let a = 0 - p. Let x = 1.1 + a. Are x and -2 non-equal?
True
Let i be 1/(-3) + (-2)/6. Let z = -7/6 - i. Suppose -6*b - 10 = -5*v - b, -5*v + 4*b + 8 = 0. Which is greater: v or z?
v
Suppose -5*g - 5*f - 35 = 0, 4*g - 2*f + 18 = -4*f. Is -1 <= g?
False
Let a(g) = 9*g**3 - 3*g**2 + 3*g - 1. Let m be a(1). Is 10 bigger than m?
True
Let q be (4/12)/(3/(-15)). Let s be 140/(-65) - (-4)/26. Is s greater than q?
False
Let v be 0/(-5 + 2 + 5). Is v smaller than 2?
True
Suppose 3*g + 74 = -2*p, -2*p + 2*g - g = 82. Let l = -25 - p. Let j be 1 - 1/l*13. Is j >= 0?
True
Let l = -0.3 - -0.1. Is 15 at least l?
True
Let b = 0.1 - 0.2. Let d = -0.05 + -1.95. Let h = 2 + d. Is h greater than b?
True
Let w(r) = r**3 + 16*r**2 + 15*r - 7. Let f(q) = -5*q**2 + 4*q - 3. Let s be f(2). Let d be w(s). Is -8 < d?
True
Suppose -n + 0*n - 2 = 0. Is -1/3 at most as big as n?
False
Let z = -0.9 - 1.6. Let o = 0.5 + z. Let r = -2.1 - o. Are 3/4 and r unequal?
True
Let o be (-278)/(-23)*-1*-1. Let q = o - 6148/345. Let y = q + 32/5. Which is smaller: y or 1?
y
Let w(j) = -j**3 - 2*j**2 - 2*j. Let f be w(-3). Suppose 0 = 2*g - g - f. Let v = -9 + g. Is v != 6?
False
Let m be ((-3)/2)/(3/4). Let s = -8 + 7. Which is greater: s or m?
s
Let s(g) be the third derivative of -g**6/120 + g**5/10 + g**3/6 + 4*g**2. Let l be s(6). Which is bigger: l or 2?
2
Suppose 0 = -x - 0*x + k + 3, -3*x = 5*k + 15. Suppose 3*h + x*h = -2*d - 19, 12 = -2*h - d. Is h not equal to -5?
False
Let r = -36 - -35. Let m = 0.08 - -2.92. Which is bigger: r or m?
m
Let i(z) = z**2 - 2*z - 3. Let t be i(3). Is t at most as big as 2/25?
True
Let v = 0 - -2. Suppose m = -1, -3*h = -2*h - 4*m - v. Is 0.03 greater than h?
True
Let z be (-12)/(-75)*(-5)/(-2). Let x(w) = -w**2 + w. Let m be x(-2). Let j be (m/12)/((-2)/(-4)). Which is smaller: z or j?
j
Let l be 10/48*164/(-50). Let z = l - 1/15. Let g be -1*(0 - (-1)/(-4)). Is g bigger than z?
True
Let m = 0.3 - 0.4. Let v = m - 0.1. Which is greater: v or 0?
0
Let u be (4/(-6) + 1)*3. Let a(g) = g**2 + 8*g + 3. Let b be a(-8). Suppose 0 = b*r - 3. Is r at most as big as u?
True
Let u be (-3)/(-18) - 447/2574. Is 0 at most u?
False
Let r(h) = h**2 - h - 11. Let i be r(4). Let s = 96/287 + -2/41. Does s = i?
False
Let u = -14 + 13. Let i be u - 1*(-4)/2. Is i smaller than 0?
False
Let j = 111 - 110. Let u = -0.502 - 2.508. Let v = -0.01 - u. Which is smaller: j or v?
j
Let u = 66 - 862/13. Let r(w) = w**2 + 5*w - 7. Let b be r(-6). Is b not equal to u?
True
Suppose 3*r + n - 3 - 13 = 0, -40 = -5*r - 5*n. Suppose -10 = r*x + 2. Let u = -8 + 6. Which is greater: u or x?
u
Let o = 4 - 2. Let u be o*(7/4)/7. Let l be (-8)/(-6)*2/12. Which is greater: l or u?
u
Let g = 38 + -24. Does g = 1/3?
False
Let v = -125 - -125.8. Are v and -0.1 non-equal?
True
Let f(n) = 3*n**2 - 23*n - 10. Let j be f(8). Do j and -2 have the same value?
True
Let i be -4 + (-2)/(1 - 0). Let l(u) = -19*u - 75. Let v be l(-4). Is i > v?
False
Let s be 10/((1 - 3)*-1). Suppose -b = -5*b, 0 = -5*j + b + 15. Does s = j?
False
Let a = 1.48 - 1.3. Let f = -3.68 + a. Let z = 0.5 + f. Which is smaller: z or -1?
z
Suppose -4*d - 3 - 9 = 0. Suppose 2*q = -0 + 2. Let i be (-65)/(-105) + q/d. Is 0 >= i?
False
Let o = 0.8 - 0. Let c = -11 - -11.7. Let y = c - o. Is 2/5 at least y?
True
Suppose 23 = -3*b + 8. Let y = b + 2. Is y at least -4?
True
Let r = 0.06 + 3.14. Let p = -3 + r. Let x = p - 0.1. Which is greater: x or 1?
1
Let c = 104 - 103. Let u = 5 + -7. Let j be (2/(-20))/(u/4). Is c greater than j?
True
Let k(n) = 0*n**3 + 0 + 3*n**2 - 2*n + 3 - n**3. Suppose 2*c + 10 = 0, 0 = m + m + 5*c + 19. Let d be k(m). Does d = -1/4?
False
Let q = 1 + -2.2. Let m = q + 1. Let g be -2 - 9/(-6)*2. Is g at least as big as m?
True
Let k(b) be the first derivative of b**4/4 + 14*b**3/3 + 13*b**2/2 + b - 2. Let m be k(-13). Which is smaller: m or -2/13?
-2/13
Let c(p) = p**2 + 7*p - 10. Let b be c(-8). Which is greater: b or -12?
b
Let y = 5.4 - 5. Does y = -2/23?
False
Suppose 5*s - 2*i - 456 = 0, 2*i + 2*i = -s + 78. Let l be 26/s + 4/(-10). Let g be -2*(10/4 + -2). Which is bigger: g or l?
l
Let l = -0.5 - -0.4. Let p = -0.2 - l. Let b(r) = r**3 + 7*r**2 - 8*r. Let d be b(-8). Which is greater: p or d?
d
Let m be (1 + (-5)/3)/(2/(-6)). Let n be (-1)/(-1) - (-1)/(-2). Which is greater: m or n?
m
Suppose 4*l + 2*w - 1 = 5, -26 = -4*l + 2*w. Suppose 5 = -3*f - y, -2*y + 5 = -5*f + l. Let b(o) = o**3 - 2*o - 1. Let a be b(f). Which is smaller: -2/11 or a?
-2/11
Suppose 71 = -3*r - 5*v, 4*r - v + 45 + 65 = 0. Which is smaller: -25 or r?
r
Let h = -10/3 + 323/96. Suppose -2*u - 2*q + 1 = -u, -4*q - 1 = -u. Which is greater: h or u?
u
Let h = -4302/7 + 882. Let d = h - 268. Is d at least -2?
True
Let k(q) = 20*q + 84. Let y be k(-4). Let d = -3 + 5. Suppose -4*v = 2*m - 16, 2*v - 4 = v + d*m. Is v at least as big as y?
True
Suppose 0 = 18*g - 20*g + 140. Are 70 and g unequal?
False
Let y be 0 + (9493/30)/(-11). Let x = y - -138/5. Is x equal to -1?
False
Suppose -4*a + 29 = -2*r + 7*r, a + 4 = r. Which is smaller: 2/21 or a?
2/21
Let l = 0.5 + 0.5. Suppose -6*n = -1 - 5. Is l bigger than n?
False
Suppose 3*q - 7*q - 344 = 5*j, -2*q + 4*j - 172 = 0. Let o be q/30 - (-1 + -2). Is 0 bigger than o?
False
Suppose 0 = 3*d + 70 + 8. Let v = 36 + d. Are -1/4 and v unequal?
True
Suppose 0*z = 2*z + 8. Are 8 and z non-equal?
True
Let c = -11 - -12.2. Let s = c - -1.8. Is s at least 0?
True
Suppose 4*m - 3*c - 128 = 163, -2*m = 5*c - 139. Let k be 2/(-11) + m/(-88). Which is bigger: -1/5 or k?
-1/5
Suppose -2 - 4 = -2*n. Let l = n - 1. Let m be 1/(l + 5/(-3)). Which is smaller: 2 or m?
2
Let x(k) = -k**2 + 7*k - 3. Let q be x(6). Suppose 2 = q*d + 5. Let z be (3 - 93/30)*-2. Is z bigger than d?
True
Let v be 4/(-6)*(6 - (-72)/(-16)). Which is smaller: v or -1/90?
v
Suppose 5*b - 8*b = 3. Let w(y) = -y**2 + y + 2. Let x be w(2). Is b at most x?
True
Suppose -q - 4*w = 18, 2*q - 4*w = 5*q + 14. Suppose k - q = 3*k. Is k < 1?
True
Let h = 6.17 - 1.1. Let g = 0.07 - h. Let q = -421 - -420. Which is greater: g or q?
q
Let d = 8 + -7.8. Let g = d - 0.1. Which is smaller: -5 or g?
-5
Let d = 57/40 + -13/8. Which is bigger: d or -0.01?
-0.01
Suppose -28*c + 3 = -25*c. Are 3 and c unequal?
True
Suppose 2*x = -u + 6*u - 7, 2*x = 2*u - 4. Which is greater: x or -2/63?
-2/63
Suppose 4 = q - 4. Do q and 0 have different values?
True
Let c(h) = h**3 - 8*h**2 + 8*h - 1. Let d be c(7). Suppose d = g - 0. Let s be (8/(-10))/(g/(-5)). Which is greater: 2 or s?
2
Let r = 1.9 - 12.1. Let h = -53 - -63. Let o = r + h. Is -1 at most o?
True
Let q = 0.1 - -6.9. Is 0.1 <= q?
True
Let g be 17/(-19) + -2 + 3. Is g <= -1?
False
Let g be (9/(-21))/(3/2). Let w = -2 - -2.2. Is g bigger than w?
False
Let s be -24*(4 - 5)/2. Let q be 9*(-2 - s/(-4)). Is q greater than or equal to 8?
True
Let u(m) = m**2 - 4*m + 2. Let q(i) = -4*i**2 + 16*i - 7. Let r(b) = -2*q(b) - 9*u(b). Let v be r(4). Which is bigger: -5 or v?
v
Let o(c) = -9*c - 54. Let a be o(-6). Let b be 8/18 + 2/(-3). Is a <= b?
False
Let u = -5 + 7. Suppose 5*p + u*k = 66, 2*p + 6*k - k - 18 = 0. Suppose -3*a + 0 = -2*v - 6, 2*v - 5*a = -p. Is 4 not equal to v?
True
Let n be 4/(-10) + 26/(-10). Let l = 11 - 6. Suppose -5 - 10 = l*z. Is n greater than or