Let s be (-2*1)/q - 1. Is c less than s?
False
Let w be 3/(-2)*40/(-22). Which is smaller: 4 or w?
w
Suppose 0 = -0*f + 9*f - 27. Are 9 and f non-equal?
True
Suppose 0*c = 3*c. Suppose 4*i + 20 + c = 0. Which is smaller: 1/3 or i?
i
Let h(j) = -j - 9. Let w be h(-13). Are 2 and w non-equal?
True
Let f(j) = 10*j. Let c be f(4). Let o be c/24 - 2/3. Let z be 10/24 + (-1)/4. Are z and o non-equal?
True
Suppose 3 = 3*o - 5*g - 16, -15 = 3*g. Let a be 2/(-3) - 6/(-9). Let i = a + o. Is -2 greater than or equal to i?
True
Let v = 1.2 - -0.1. Let r = -0.6 + v. Which is greater: -2 or r?
r
Let w = 22 - 21.7. Is w greater than 2?
False
Suppose -l + 4*l = 4*o - 2, -3*l = o + 7. Which is smaller: -2/3 or o?
o
Suppose 0 = -5*b + 3*z - 9, 3*b - z + 12 = 3*z. Let j = -755/7 - -108. Is j <= b?
False
Let f = -4 + 9. Let h be 1*(f + -2 + -2). Let d = -1.1 + 0.1. Which is smaller: d or h?
d
Let m = 8 - 11. Let y be (14/4)/(2/8). Suppose y - 4 = -5*c. Which is greater: m or c?
c
Let p be (-2)/4*(2 - 6). Let j = -19 - -31. Let x be (-16)/12*j/(-8). Is p greater than or equal to x?
True
Suppose -i - 4*i = -20. Let q = -5 + i. Let r(f) = -7*f**2 - 2*f - 1. Let c be r(q). Which is smaller: -2 or c?
c
Suppose 0 = -4*b + 20, -2*m + 5 = -3*b + 8. Which is smaller: 44/9 or m?
44/9
Let x = 3 + -2. Let t(s) = s - 4. Let a be t(6). Which is smaller: x or a?
x
Let u = 5 + -8. Let r(i) = 2*i**3 + 32*i**2 + i + 11. Let z be r(-16). Which is bigger: z or u?
u
Let m = -2 - -2. Let s be 0*(1 + (m - 0)). Which is greater: 2 or s?
2
Suppose 10*s + 158 + 82 = 0. Which is smaller: -160/7 or s?
s
Suppose -s - 6 = 5*s. Which is bigger: 2/15 or s?
2/15
Let a be (5 - (-2)/(-1))*5. Let i be (-10)/a + (-22)/(-24). Is i bigger than -1?
True
Let a = -2.7 + 1.7. Are 0.1 and a unequal?
True
Let s = -1896/833 - -38/17. Which is smaller: s or -1?
-1
Suppose 2*d = -5*t - 9 - 5, -3*d + 2*t + 17 = 0. Suppose 0*i = d*i. Let z = 3 - 3. Do z and i have different values?
False
Let y = 0.1 + 0.9. Let p = -17 - -16. Is y < p?
False
Suppose -r - 3*p - 11 = 0, -2*p + 0*p = 4. Let d = 6 + r. Suppose -3*m - d - 9 = -i, -4*m = -2*i + 10. Is -3 != i?
True
Let w = 43/9 - 5. Let r = -1 - -2. Is r at most w?
False
Let k be 1*(2 - 14)/3. Suppose -4*w = -w - 12. Let i = w + k. Which is smaller: 1/2 or i?
i
Suppose 0 = 4*r + 2*n - n - 101, 2*r + 3*n = 43. Let d = r - 23. Is 5 greater than or equal to d?
True
Let n(r) = -4*r**2 + 9*r - 7. Let a(x) = -11*x**2 + 27*x - 20. Let g(f) = -3*a(f) + 8*n(f). Let m be g(9). Are 4 and m nonequal?
False
Let u = -20 - -21. Which is smaller: u or 2/5?
2/5
Suppose 0*y - 5*y - 20 = 0. Let s = y + 4. Is s greater than or equal to -2?
True
Let m be (1*2)/(-2) + 1. Let q = 6901/6 + -1153. Let r = 8/3 + q. Which is greater: r or m?
m
Suppose -2*z + 16 = 4*s, 4*s + 6 = 5*z - 6. Suppose -12 = 2*y - 4*d, -1 = s*d - 7. Does 0 = y?
True
Let j = 1.4 - 3.4. Is 2 at most j?
False
Let g = -8 - -16. Suppose -2 = 2*z + 3*o + 4, -2*z - 4*o = g. Let r be (-4)/6 + (-3)/(-9). Is z at most r?
False
Let f = 0 - -2. Suppose f*b - 15 = 5*b. Let c be ((-2)/b)/(3/(-15)). Is -3 at most as big as c?
True
Let g be ((-3)/9)/((-3)/45). Suppose 14 = 3*k + g. Which is smaller: 5/3 or k?
5/3
Let m = -163 + 161. Are -17/6 and m non-equal?
True
Let v(u) = u**3 + 3*u**2 - 10*u - 8. Let t be v(-6). Let c be ((-21)/t)/(3/(-2)). Which is smaller: c or 1?
c
Let j(x) = 2*x**3 + x**2 - 3*x + 2. Let f be j(2). Suppose p = f - 6. Let v be -1 + (p/6)/1. Which is smaller: v or -2/3?
-2/3
Let s(k) = k**3 + k**2 - k + 5. Let l be s(0). Suppose 3*t + 2*t + l = 0. Is t <= 1/25?
True
Let w = 4 - 2. Let u = 34 - 56. Let a = -112/5 - u. Is w at least as big as a?
True
Let k = -0.2 + 1.2. Let v be 3/9 + (-442)/714. Does k = v?
False
Let s(w) = -7*w + 1. Let a be s(-3). Let f be 2/(10/a + -1). Which is bigger: f or -4?
f
Let a be (1*(-3)/(-4))/3. Let t = -19 - -20. Are a and t nonequal?
True
Suppose -4*c - 5 = c. Let d be ((-3)/1 + 2)*0. Suppose d = 4*y + x + 1, -y + 2*y + 4*x = -19. Does c = y?
False
Let y be 4 - (-9)/21*-10. Let h = 0.03 + 0.02. Which is smaller: h or y?
y
Let o be (-36)/(-16) - 2/8. Suppose 3*w - 2*t = -2, o*t - 4*t - 8 = 2*w. Which is smaller: w or -1?
w
Suppose -3 - 90 = -4*y + t, -3*y - 3*t + 81 = 0. Let i = y + -19. Let j be (-32)/(-5) - 4/10. Is j greater than or equal to i?
True
Let r = -104 - -180. Is r > 76?
False
Let f = -3.2 - -3.1. Is f != -7?
True
Let h be (-2)/(-1)*(-9)/(-18). Let j = h + -7. Which is smaller: -7 or j?
-7
Let k(p) = -3*p - 7. Let v(b) = -2*b - 5. Let h(c) = -5*k(c) + 7*v(c). Let a be h(-5). Which is bigger: a or -3?
-3
Let x = 1 - 0.2. Let a = 3 - x. Let y = -0.2 + a. Is 0 less than y?
True
Let q(b) = -b**3 - b**2 + 2*b + 2. Let a be q(-2). Let s(d) = d. Let y(m) = -m**2 + 2*m - 2. Let g(k) = -s(k) - y(k). Let i be g(a). Which is smaller: 1/5 or i?
i
Let a = 4/9 + 1/18. Are a and -1 equal?
False
Suppose z = l, -5*z + 3*l = -3*z. Which is smaller: z or -2/35?
-2/35
Let l be (-305)/1800 - 4/(-32). Is l < 0?
True
Let s = 15 + -3. Is 99/8 greater than s?
True
Let c(w) = -w**3 - 9*w**2 - 9*w - 7. Let t be c(-8). Which is smaller: t or 8?
t
Let y = -10/13 + 17/39. Which is smaller: y or 7?
y
Let z(j) = -j - 6. Let a be z(-10). Let m be (4/8)/(2/a). Is 2 > m?
True
Let k = -13 + 15. Suppose -i = -3*j + 9 + k, 0 = -3*i + 3*j - 3. Is i greater than 4?
False
Let r = -2/3833 - 95817/15332. Which is greater: -7 or r?
r
Let r = 4 + -5. Are -1 and r unequal?
False
Let l = 146 + -144.8. Is 3 less than l?
False
Let z = 0 + 0.17. Let k = z - 0.27. Which is smaller: 16 or k?
k
Suppose 0 = 12*h - 6 - 6. Is h less than -2/109?
False
Suppose s - 1 - 1 = 0. Let c(v) be the first derivative of -v**2/2 - 4*v - 1. Let m be c(-6). Are s and m equal?
True
Let p = 0.6 + 1.4. Let s = 0 + 3. Is p less than or equal to s?
True
Let l = 6.5 - 15.5. Let r be 8/(-45) - (-8)/(-36). Which is smaller: l or r?
l
Let k = -0.6 - 1.4. Let q = k - -3. Let p = 8.9 - 8.5. Is q less than p?
False
Suppose 4*c - 2*h = 128, -2*c + 90 = 4*h + 36. Suppose 0 = -5*w + o - c, 0 = 2*w + 2*o - 15 + 37. Which is smaller: w or -8?
-8
Let n(p) = -3*p + 14. Let m be n(10). Let c be m/(-30)*(-3)/(-6). Is 1 at most c?
False
Suppose 2*k = -f - 33, 4*f + 2*k = -k - 157. Let n be (-6)/f*(-3)/(-9). Which is bigger: n or -1?
n
Let v = 0.6 + -0.4. Let t be 60/25 - (-2)/(-5). Suppose -t*p - 3*i + 9 = 0, -2*p + 6*p + 15 = 5*i. Is v less than p?
False
Let p be -1*(-5 - -3 - -21). Which is smaller: p or 0.1?
p
Let a be 1/((0 + -1)*1). Is 1/5 less than or equal to a?
False
Suppose 0 = -4*y - 3 - 1. Let a(g) = g + 6. Let d be a(-6). Let v = d + -1. Is v != y?
False
Let d(v) = v**3 + 4*v**2 - 2*v - 6. Let w be d(-4). Let t(s) = 2*s**2 - 10*s - 5. Let z be t(6). Suppose -z - 1 = -w*p. Are p and 4 equal?
True
Let r be (1/2)/(13/(-12)). Suppose 0 = -5*y - 3*b + 14, 4*b - 2 = 4*y + 2*b. Which is bigger: r or y?
y
Let g = 59/434 - 2/31. Suppose -5*a + 3*u + 17 = 0, -u - 3 = a - 0*u. Which is smaller: a or g?
g
Suppose 52 - 12 = 5*g. Suppose -6*z + 18 = -3*z. Is z less than or equal to g?
True
Suppose -3*a - 3 = 18. Let v = 10 + a. Is v not equal to 3?
False
Let z = 4/29 - -21/58. Let s be (-3)/12*54/(-6). Which is greater: z or s?
s
Let i = 139 - 143. Which is bigger: i or -8?
i
Let f = 306 + -278.9. Let u = f + -24. Let b = u - 3. Which is bigger: b or -1?
b
Let g = -0.024 - 0.526. Which is smaller: g or 0.1?
g
Let h(l) = l**2 + 11*l. Let i(b) = b - 1. Suppose -5 = -3*v + 7. Let c(k) = v*i(k) - h(k). Let g be c(-6). Is 0 less than or equal to g?
True
Let n = -0.77 - -0.07. Let h = 0.4 + n. Which is smaller: h or 1?
h
Let n(v) = v + 2. Let t be n(0). Suppose 5*h = 0, -t*y - h + 3 = y. Is -2/7 != y?
True
Let v(p) = p**3 + 3*p**2 - 3. Let l be v(-3). Let a be ((-3)/l + -6)/(-1). Suppose -t + 4*h = 2*t - 23, 0 = 5*t + a*h + 20. Is 3 smaller than t?
False
Suppose 2*g - 2 = 3*w + 12, 0 = 3*g - 3*w - 18. Suppose 2*s = -3*s + 25, -3*v + g*s - 20 = 0. Suppose 4*y = -y + 15, v = 3*l + y. Is -2 at most as big as l?
True
Let m(i) = -i**3 + 10*i**2. Let g be m(10). Does g = -1/13?
False
Let t = 0.3 + -1.3. Let f = 245 + -243.99. Let c = f - 0.01. Which is bigger: c or t?
c
Suppose m - 65 = -4*m. Suppose 3*y + 5*q = 2*y + m, -q + 5 = y. Let x = 0 + 3. Is y less than x?
Fals