 -241 - -3855/16. Which is smaller: p or 1?
p
Suppose -4*m - 21 = -5*a, 5*a - 25 = -0*a. Which is smaller: 2 or m?
m
Let u = 1 - -3. Which is bigger: 5 or u?
5
Let t = 32717/6040 - -44/755. Let v = -1/40 - t. Let b = -6 - v. Which is smaller: b or -1?
-1
Let k = -2.4 - -2.4. Which is smaller: -9 or k?
-9
Let d be -1 - (-28)/16 - (-764)/(-976). Is 0 at least d?
True
Suppose 5*h - 25 = -2*f, 4*f = 5*f. Suppose 9 = -h*n - 1. Let y be 1 - (-2)/(-1) - n. Which is greater: 4/5 or y?
y
Let t be 59 - ((-506)/121 - 2/(-11)). Is t at least as big as 63?
True
Suppose 21 = 4*x - 3*a, -5*a - 9 = 3*x - x. Which is smaller: x or 5?
x
Suppose -3*w + w = -10. Let f(k) = -k**2 + 5*k. Let t be f(w). Which is smaller: -3/4 or t?
-3/4
Let b be ((-1)/(-2))/(4/40). Is 0.1 < b?
True
Suppose 3*m + 26 = -3*r + 5, -3*m = -2*r - 9. Is r greater than -4?
False
Let z = 0.6 - 2.6. Is z >= 0.3?
False
Let i = -12 + 11. Let s be (-3)/((-18)/(-8))*-3. Suppose -12 = 4*h, -s*h = -k - h + 8. Is k greater than or equal to i?
True
Suppose -3*o + 18 = -3*z - 12, 5*o - 6 = z. Let f = 13 + z. Suppose 7*l - 5*l = -f. Is 1/4 <= l?
False
Let o = 8 - 4. Let u be 7/14*o/(-14). Which is greater: u or -1?
u
Let n(y) = y**2 + 4*y - 1. Let b be n(-5). Suppose -4*u + 36 = 2*z - 4*z, -58 = -5*u - b*z. Let t = u + -6. Do t and 4 have different values?
False
Let f = 7 + -5. Suppose -f*i = -7*i. Suppose i = 4*x + 4 - 0. Which is bigger: -2 or x?
x
Let j = -2 - -2.3. Are j and -9/2 equal?
False
Let k be ((-8)/(-6))/(8/36). Let h be ((-4)/(-12))/((-2)/k). Is h smaller than -1/5?
True
Let v = -28 + 34. Is 4 smaller than v?
True
Let w = 3 - 5. Is -4 > w?
False
Let r be (4/(-16))/((-1)/4). Suppose 2*g = r + 1. Which is smaller: 1/4 or g?
1/4
Let p be (-5520)/90 - (4/(-3) - -1). Is -60 < p?
False
Suppose 10 = 4*k - 2*v, -5*k - 2*v - v = 4. Suppose 3*s + 0 = 6. Let q be s + 34/(-7) + 3. Which is greater: q or k?
k
Let t = -3.2 + 4. Let u = t - 1.8. Do u and -3 have different values?
True
Let o be 27/30 - (-2)/(-5). Let b = -12 + 28. Let h be (-12)/b - (-2)/(-8). Which is smaller: o or h?
h
Let z(n) = n + 3. Let f be z(2). Suppose f*q + 8 = -7. Let i = 2 - 6. Which is greater: q or i?
q
Suppose 4*a = -29 - 67. Let d = a + 23. Is d at most as big as 2?
True
Let w = 21 + -20. Is -5 at least w?
False
Let h = 199/497 - -2/71. Let k be (66/9)/(-2) - -3. Is k > h?
False
Let b = 47 - 51. Let v = 4/5 + -17/15. Is b smaller than v?
True
Let a = -4 + 6. Let h = -3 + a. Let p be (-1)/(-3) + (-2)/42. Which is smaller: p or h?
h
Suppose -12*b + 8 = 44. Let c(k) = k**3 + 4*k**2 - 7*k - 7. Let r be c(-5). Which is smaller: r or b?
b
Let v(t) = -t**3 - 9*t**2 - 7*t + 9. Let h be v(-8). Let f be (-76)/56 + (-2)/(-4). Let j = f + 8/7. Which is smaller: h or j?
j
Let k be (10/6)/(5/18). Suppose -3*b = 2*x + 10, 2*x - k = -0*b + b. Is x smaller than 2/49?
False
Let u = 0 - -0.2. Let l = u + 0.8. Let o(m) = -m**2 + m - 1. Let g be o(1). Which is smaller: l or g?
g
Suppose 3*u = 3*y - 57, -1 = -u - 0*u - 4*y. Let b be (3/u - 0) + 0. Which is smaller: 1 or b?
b
Let q(d) = -d**2 + 11*d + 11. Let w be q(12). Let s be (2 + -2)/(-2 - -3). Is s at most w?
False
Suppose -r = -4*r + u + 16, 4*r - u = 21. Let d(z) = -2*z**2 + 10*z - 12. Let g(l) = -l**2 + 5*l - 6. Let w(b) = 4*d(b) - 9*g(b). Let q be w(r). Is 7 != q?
True
Suppose 4*x = -d + 22, -5*x = -4*d + 1 + 3. Is d greater than or equal to 2?
True
Let z = -0.108 - -0.008. Which is greater: -3/7 or z?
z
Let n = 57.9 - 59. Which is smaller: 1 or n?
n
Let b(j) = j + 7. Let z be b(5). Suppose -12 = 4*i, 1 = -r + 3*i + z. Suppose -r*y + 3 = -7. Is y smaller than 4?
False
Let d(h) = 3*h - 6. Let t be d(3). Which is greater: 2 or t?
t
Let o = 6 + -4. Suppose 4*i - 20 = -4*b, -3*i = i - 8. Is b > o?
True
Let m = 2 - 1.93. Is 1 at most as big as m?
False
Let k = 0.44 - 0.24. Is -8 equal to k?
False
Let j = 1.2 + -2.1. Let k = -3 - -2.9. Let w = j + k. Are -5 and w equal?
False
Suppose 2*d = -5*k + 64, 2*k + 2*d - 7 = 15. Do k and 14 have different values?
False
Let s(v) be the first derivative of -v**2/2 - v - 1. Let c(r) = 4*r + 2. Let n(z) = -c(z) - 3*s(z). Let a be n(1). Which is bigger: a or -2/7?
a
Suppose 5*p - 5 = -m, 1 = -0*p + p + 3*m. Which is bigger: -4/17 or p?
p
Let d = 14 - 0. Let b be d/4*(-8 - -10). Is b not equal to 8?
True
Let k = -59 - -86. Let a = k + -28. Let m be (-33)/(-42) + 1/(-2). Is m smaller than a?
False
Let r = -5 + 4. Let b be (-1 - -1)/(r + 3). Let o be 9/(-4) + (-2)/(-8). Is b smaller than o?
False
Let a be (-18)/6*(-4)/3. Suppose -4 = -0*w - w. Is a <= w?
True
Let b be 13/2 - (-9)/(-18). Which is bigger: 7 or b?
7
Let i be (2*5)/(-3 + 5). Suppose -l - 2 = -x, -5*l - 2*x = -i*x + 12. Is l bigger than -4?
True
Let s = -0.01 + -0.29. Let u = 6.3 + s. Which is greater: u or -1?
u
Suppose 4*x + 78 = x. Let m = 37 + x. Which is smaller: 9 or m?
9
Let b(l) = -l**3 + 2*l**2 + 2*l + 4. Let o = 4 + -1. Let r be b(o). Let i = r + 3. Which is bigger: 2 or i?
i
Let n(p) = p**2 - 3*p - 1. Let r be n(3). Let z = 0.37 - 0.04. Let s = 0.03 - z. Which is smaller: r or s?
r
Let t be (-22)/(-5) + (-4)/10. Let g be 2/(-2) - (-20)/t. Suppose 2*y + 0*x + 6 = 4*x, -g*y + 3*x - 2 = 0. Which is bigger: 0 or y?
y
Let f(h) = -h**2 - 7*h + 1. Let w be f(-7). Let t = 6 + -4.8. Let y = t - -0.8. Is y at least as big as w?
True
Suppose c + 14 = -5*a, -5*a - 23 = -3*c - 5. Let p be c/1 - (0 + 2). Is 1/9 at most as big as p?
False
Let h = -15 - -16. Which is smaller: h or 3/2?
h
Let u = 25 + -25.13. Let v = 0.2 + u. Let s = v - 0.07. Which is greater: 1 or s?
1
Let l(d) = d**2 + 5*d + 4. Let o be l(-5). Let p be 10/4 - (-2)/o. Let g = 0 + p. Is g <= 3?
True
Let m be (-20)/3 - (-3)/(-9). Is -2/3 less than m?
False
Let z = -10 - -8. Which is greater: -7/5 or z?
-7/5
Let h = 126 - 126. Is h less than or equal to 2/23?
True
Let c = -46406/51 - -910. Is -1 at most c?
True
Let b = 11.5 + -9.42. Let n = -1 - -0.92. Let c = n + b. Which is bigger: c or 3?
3
Let j = -327/830 - 1/166. Let t be 2 - (1*(-2)/(-2) - 0). Which is smaller: t or j?
j
Let o be 3/(-1) + 5 - 0. Suppose 4*t - 2*x - 12 = 0, 5*t - 2*x - 10 = o*t. Let g be (-3)/(-63)*-44 + t. Which is bigger: g or -1?
g
Let u = 244 - 3658/15. Do u and -1/2 have the same value?
False
Let g = 3.8 - -0.2. Suppose 0 = -4*l + 6*l + 5*t + 5, 2*l - 5 = 5*t. Which is bigger: g or l?
g
Suppose 0*h = -3*h - 27. Is h smaller than -7?
True
Suppose 0*t = -t. Suppose t = -0*j + 2*j - 2. Which is greater: j or -0.1?
j
Suppose 16 = -4*k, 5*n = 2*k + 12 + 6. Let c = 0 - n. Is c smaller than -1?
True
Let t = -3 - -2. Let d = 92 - 92.3. Does d = t?
False
Let q = -0.201 + 0.301. Is q bigger than 2.9?
False
Let q be ((-392)/188 + 2)/2. Which is greater: -1 or q?
q
Let o be (-35)/14*(-2)/8. Which is greater: o or 1?
1
Let d be 1*3/(6/8). Let k be (-6)/5*(-10)/d. Is 2 greater than or equal to k?
False
Let s be (-2)/(-12) - 5/(-6). Is -1 > s?
False
Suppose x = -3*s + 4*x, 0 = 2*x. Suppose 3*j + 19 = -0*d + 4*d, 5*d + 3*j + 10 = s. Suppose 0 = 2*b + 1 + d. Which is smaller: b or 0.1?
b
Let h be 2/12 - (-607)/(-1326). Let w = 179309/51 + -3516. Let i = w - h. Which is smaller: i or 0?
0
Let g = 2/81 - 184/891. Let b = 3 - 2. Which is greater: b or g?
b
Let u be 1/3 + 26/(-6). Let r = 1.2 - 1.4. Which is smaller: r or u?
u
Let p be 2 - 15/5 - -1. Are p and -5/6 equal?
False
Let b = -2 + 2.3. Let z be (1/(-8))/(10/20). Which is bigger: z or b?
b
Let t = 8 - 6. Suppose 3*y - 4 = t*y. Suppose 2 = -z, 2*i + 0*z = y*z + 10. Is i >= 1?
True
Let u = 6 - 6.4. Is u at most 0?
True
Let b be (-2)/(-7) - 64/28. Let u be 2/(-8) - 33/12. Is b greater than or equal to u?
True
Let o be (5/10)/(1/(-12)). Which is greater: o or -14/3?
-14/3
Suppose -q + 12 + 0 = 0. Suppose 5*a - 2*a - q = 0. Suppose -4*u - 6 = -2*b, 4*b = 5*u - 1 + a. Is b < -3?
False
Let t be (-2)/(0 + -2) - -135. Suppose -t = -2*n - m + 197, -3*n + 3*m + 495 = 0. Let x = n + -1160/7. Are -2 and x unequal?
True
Let r = 2 + -4. Let w(z) be the first derivative of -z**3/3 + 3*z**2 + 4*z + 5. Let t be w(7). Which is smaller: r or t?
t
Let t = 15/4 + -53/12. Suppose 0 = f + 3*f. Which is smaller: t or f?
t
Let r = -23 - -26. Which is bigger: r or -2/7?
r
Let g be 3*((-128)/(-42) + -3). Which is smaller: g or -0.4?
-0.4
Supp