 Which is smaller: -4 or k?
-4
Let q = 5 - 3. Let d be (-12)/2*1*q. Let n be ((-2)/3)/(d/(-9)). Which is bigger: n or 0?
0
Let v be 2/7 - (968/63)/4. Which is smaller: -4 or v?
-4
Suppose 5*v - 4*q + 23 = 0, -3*v + 2*q - 9 = 4. Which is smaller: v or -1?
v
Let h be (-2)/(-10) + (-19)/(-5). Suppose -h*j = q, q - 3*q = -3*j - 11. Suppose 3 = -3*a, q*a - 2*a + 3 = r. Which is greater: r or -0.1?
r
Let z = -338 + 319. Let t = 4 - 3. Which is bigger: t or z?
t
Let i = 0.8 + 0.2. Let y = 0.95 - i. Which is greater: 2 or y?
2
Let r = -17 + 15.4. Let j = 4 + -3.6. Let p = r - j. Which is bigger: -3 or p?
p
Let p be (-41)/(-3) - 2/(-6). Let m be (-15)/(-21) - (-4)/p. Let f = m - 2. Is 1/3 at most as big as f?
False
Let v be (3 - 4 - -1)/3. Suppose -r + 3 = -v. Suppose 5*k - 2*d - 8 = 0, -k + r*k - 2*d - 8 = 0. Which is smaller: -3 or k?
-3
Let f be 1/2*(-4)/18. Let v be 6/4*(-22)/(-33). Which is smaller: f or v?
f
Let s(f) = f**3 + 6*f**2 + 3*f - 6. Let o be s(-5). Suppose 3*b + 4*l + 1 = 4*b, 4*b - o = -3*l. Which is greater: b or -2/15?
b
Let p = 16 - 33. Suppose -11*n - 85 = -6*n. Is n at most as big as p?
True
Let g(m) = m**3 + 8*m**2 + 5*m - 10. Let a be g(-7). Which is greater: a or 2?
a
Let u = 37 - 19. Which is bigger: 19 or u?
19
Let z be -1*1*(-2)/2. Suppose z = w - 7. Let r = w + -7. Which is bigger: 1/8 or r?
r
Let v = -51.911 - 0.089. Is v at least 0.1?
False
Let c = 4 + -7. Let t be c/(-36)*8/3. Is t <= -3?
False
Let o be (2/(-5))/((-1)/5). Suppose -3 = l - o. Is 2/7 not equal to l?
True
Let d = -3/10 - -979/3230. Let f = 639/2261 + d. Suppose 0 = -0*q - 4*q + 2*n + 6, -2*q + 3*n = -1. Is q < f?
False
Let a be (-4)/7*12/(-60). Let w = -3/14 + a. Which is greater: 0 or w?
0
Let q = -56 + 54. Are -3 and q equal?
False
Let i = 1.4 - 1.39. Which is smaller: i or -1/4?
-1/4
Let o = 2 - 1. Let k = -1.32 + -0.08. Let q = -0.4 - k. Is o < q?
False
Suppose -5*s + 3*i + 21 = 0, -5 = -5*i - 15. Suppose 4*a + 20 = -v + s*v, -35 = -4*v + 3*a. Let m be (4/(-18))/(v/30). Which is greater: -1 or m?
m
Suppose 0*y - 7*y + 77 = 0. Is 11 less than or equal to y?
True
Let h = -10518/65425 - -2/2617. Is 0 at most h?
False
Suppose -3*j + 5 = 2*l - 2*j, 2*j + 18 = 3*l. Which is greater: l or 5?
5
Let b be 2 - -1 - (-3 + 4). Which is smaller: 3/5 or b?
3/5
Let w(x) = -x**2 - 7*x + 2. Let f be w(-7). Which is bigger: 3/4 or f?
f
Suppose 0 = 4*u + u - 275. Let p = -107/2 + u. Which is smaller: -1/3 or p?
-1/3
Let d = -307 + 2143/7. Let z = 14 - 16. Which is bigger: d or z?
d
Let n be 5/(-10)*(-6)/(-3). Let a = 7/53 - 249/1484. Is n <= a?
True
Let a be (-2)/4*0 + 3. Suppose -4 + a = -q. Which is smaller: 2/25 or q?
2/25
Suppose -n + 2*n = -4*w, n = 5*w. Let k = -4 - -7. Let h = 4 - k. Is n at least h?
False
Let p(z) = z**2 + 3*z - 1. Let u be p(-2). Suppose 1 = -5*v + 11. Suppose -v*x = -2*w + 4, 2*w - x - 4*x = 13. Which is smaller: w or u?
u
Let y = -7 - -1. Let r be y/(-21) + 6/(-21). Is r smaller than 2/15?
True
Let b(q) = -3*q - 2*q - 5 + 4*q. Let w be b(-7). Let n be (w - 57/24) + 0. Is 0 at most as big as n?
False
Let y(n) = 0 + 1 + 8 - 1 + n**2 + 9*n. Let u be y(-8). Which is bigger: u or -2/13?
u
Let w = -1072 - -3689/4. Let r = w - -149. Which is greater: -1 or r?
r
Let v = 0.1 - 0.1. Let h = v + 1. Let s = -0.36 + -0.64. Is h at least as big as s?
True
Let g = 0 - -8. Is 13 equal to g?
False
Suppose 4 = 2*t + 2*z + 14, -3*t = -4*z - 13. Is t <= -1/5?
True
Let a = 1900 - 43693/23. Is 1 less than a?
False
Suppose -5*h - 2*q = 1 - 19, -2*q = -4*h. Which is smaller: -0.2 or h?
-0.2
Suppose -11 = -2*w + w. Are w and 12 non-equal?
True
Suppose f = 4*f - 18. Let m be 1 - (1 - (-26)/f). Is m bigger than -5?
True
Let w(q) = 2*q**2 - 2*q + 4. Let a be w(6). Let z = -255/4 + a. Suppose x - 2 = -x. Which is smaller: z or x?
z
Suppose -19 = -5*x + 3*f, f - 2*f - 7 = -2*x. Let y(i) = i**2 - 16*i - 12. Let c be y(17). Does c = x?
False
Suppose 4*u - 10 = 2*u. Suppose 5*t = -5*d - 50, -3*d + 0*t - 40 = u*t. Let x be d + 3 + 0/(-3). Is -3 <= x?
True
Let h = 13.48 - 13. Which is smaller: h or 1?
h
Suppose -2*p + 5*l = -22, -3*p + 0 = -4*l - 19. Are p and 1/14 equal?
False
Let j = 0.0559 + 7.8841. Let z = -8 + j. Let w = -0.04 + z. Are w and 2 equal?
False
Let p(u) = 2*u**2 - 2. Let c be p(-2). Let t be 4/(-12) + 2/c. Is t < -1?
False
Let w(i) = 3*i + 10. Let x be w(-4). Let l = -14 - -12. Is x at least as big as l?
True
Let f = 1.5 - 7.5. Let g = -112 + 142.1. Let m = g + -30. Do m and f have the same value?
False
Let u = 17 + -12. Suppose -8 = -0*w + 2*w, 0 = 2*s - 4*w + 6. Let x = s - -15. Are u and x non-equal?
True
Let r be 3/(-4)*8/(-27). Let v = 0.1 - 0.2. Let n = v + -0.9. Is n >= r?
False
Let r = -13 - -12. Suppose 4*k = -2*l + 4, 0*l - 4*k + 18 = -5*l. Are r and l equal?
False
Let f = -0.91 + -0.09. Which is greater: 1 or f?
1
Let y be 1/1*(-5 + 6). Suppose -4*p = 2*c - 26, 1 = p - 2. Let i be -2 - c/(-3)*y. Is 1 less than or equal to i?
False
Let x(b) = 4*b + 108. Let l be x(-27). Is 9/22 <= l?
False
Suppose p = -0*y + y - 9, y = 2*p + 14. Let f = -154 - -299/2. Are p and f nonequal?
True
Let q be -2 + 5 + (-1137)/381. Which is bigger: 1 or q?
1
Let a = -1428/11 - -130. Let c(q) = q + 1. Let k be c(-2). Is a smaller than k?
False
Suppose 4*g + 8 = 2*g. Let b be -3 + (70/g)/(-7). Let m = 2 + -2. Which is bigger: b or m?
m
Let d be 0 + (1 - 0) + 4. Suppose j = d*j. Let c be (1 + j)*(2 + -1). Which is bigger: 0 or c?
c
Suppose -3*r = r. Suppose 4*k - 16 = -r*k. Which is smaller: k or 3?
3
Suppose 29 = 5*t - 4*x, -2*t + t + 5*x = -10. Let l(h) = -h**2 + 0 + 9 - 3 + 3*h. Let a be l(t). Does -5 = a?
False
Let g be 3 - (-51)/(-2)*(-8)/(-92). Which is bigger: g or 1?
1
Let z(t) = 2*t + 6. Let k be z(-4). Let d(h) = -2*h**2 + 7*h + 2. Let a be d(4). Is k >= a?
True
Let s be (1 + -1)*(-1)/(-2). Let y(a) = 5 + 3*a - 4*a + 0. Let m be y(5). Is s > m?
False
Suppose -4*x + 5 = w, 0*x = -2*x + 2*w. Let c = -147 - -881/6. Is x <= c?
False
Suppose -5*m = f - 4*f + 20, -2*f - 8 = 2*m. Suppose k + 2*r = -14, -3*k = 2*r - 4*r + 2. Let s = m - k. Which is smaller: s or 1?
s
Suppose 3*c + 2 = 8. Are 1 and c unequal?
True
Suppose -2*n = -2*l - 2, -5*l - 8 = -4*n + 2*n. Let u be 6/(-20)*(-5)/(-2). Which is smaller: u or n?
n
Let b be 2/14*-12 - -2. Is b <= 3?
True
Let x(j) = -j**3 + 8*j + 2. Let d be x(-3). Suppose 60 + 18 = -3*m. Let b be (3 - d) + (-48)/m. Is b <= 0?
True
Suppose 1 = -2*v + 4*j - 3, v + 2*j = 10. Let u(t) = t**2 + 11*t + 44. Let i be u(-8). Suppose v*p + i = -p. Is p less than -3?
True
Let k be 5/10*-10 + 26. Which is bigger: 24 or k?
24
Let h = 12.1 - 11.09. Let w = 1 - h. Let r = 0.99 - w. Is 2 at most as big as r?
False
Let m = -7 - -12. Suppose 0 = 4*q + 2*s - m*s - 31, 20 = -4*s. Is 4 bigger than q?
False
Suppose 0 = 5*c - 49 + 4. Let b = c - 9. Which is greater: b or -1/9?
b
Let n = 0.49 - 0.49. Is n greater than or equal to 12/7?
False
Let c(h) = -h**2 - h - 5. Let k be c(0). Let y = 8 + k. Suppose -4*p - p + 4*q = -27, q = 2*p - 9. Is p not equal to y?
False
Suppose -4 - 6 = -2*y. Suppose 2*l = 4*r + 46, y*r + 4*l + 25 = -0*r. Which is smaller: -8 or r?
r
Let x be (2 + 0)*(-1 - 3). Let s = -7 - x. Which is smaller: 0.01 or s?
0.01
Let o = -0.26 - 0.04. Let m = o - -0.1. Is m at least as big as 1?
False
Let n = -2 - -3. Suppose 5 = 2*k + n. Suppose 2*h - j = 6*h + 8, 3*h + k*j = -11. Is h greater than or equal to -1?
True
Let n(d) = 46*d**2 - d - 2. Let b be n(2). Let w be 4/10 - 82/b. Let o = w + 7/45. Is o at most as big as -1?
False
Suppose -14 = y + 5*r, -3*y + 4*r = 8*r + 20. Suppose 3*h - 2*d + 3*d - 3 = 0, 4*d + 1 = h. Is y != h?
True
Let a(v) = -v**3 + v + 3. Let r be a(0). Let c = -2 + 5. Suppose -2*d = -c*z - 32 + 12, -d - 4 = 2*z. Is r at most d?
True
Let c(n) be the second derivative of n**4/12 + 13*n**3/6 + 13*n**2/2 - 9*n. Let q be c(-13). Which is smaller: 14 or q?
q
Let s be 8/(-140)*(-5)/4. Let t be 0/(1*(4 + -2)). Which is bigger: t or s?
s
Let p(t) = t**3 - 3*t**2 + 2*t. Let l be p(2). Suppose 0 = -5*r - 5 - l. Which is greater: r or 1/3?
1/3
Suppose 0 = 3*b - c + 29, -4*b - 8 - 4 = 4*c. Let g be b/4 + (-39)/(-18). Which is bigger: g or 2/9?
2/9
Let w = -0.054 - 0.046. Which is bigger: -0.19 or w?
w
Suppose 2*p = p. Is p < 2/121?
True
Su