Let w = m + 173/20. Is 0 at least w?
False
Let c = 225/8 - 28. Let n(q) = -2*q - 9. Let r be n(-6). Suppose -4*y = b - 0*y + 4, 3 = -r*b - 3*y. Is c less than or equal to b?
False
Suppose 3*t = -5*h - 4 - 4, -5*t = h + 6. Which is smaller: h or -4/21?
h
Suppose -2*r - 12 = 3*c, -2*r - 18 = 4*c - 0*r. Is -3 < c?
False
Suppose 7*m - 3*m - 36 = 0. Let y = m + -8. Does y = 0?
False
Let m = 1.5 - 1.5. Do m and 0.09 have the same value?
False
Suppose f - 4*g = -5, 0 = 3*f + g + 2. Let j be 688/40 + (-1)/5. Suppose 4*l + j = -5*z, 0*z + 14 = -2*z - 4*l. Is f at least as big as z?
True
Let k(p) = 8*p - 4. Let o(a) = 17*a - 8. Let v(f) = 13*k(f) - 6*o(f). Let r be v(3). Let d be (r/(-10))/((-4)/10). Which is smaller: 0 or d?
0
Suppose -5*l + 3*z - 5*z + 27 = 0, 0 = -2*l - 4*z + 14. Let r = -9 + l. Let o be (-34)/20 - r/20. Which is bigger: o or -1?
-1
Let x = -9.13 + 0.13. Let i = x + 10. Is -2 >= i?
False
Let f be (-20576)/130 - 3/(-15). Let m = -158 - f. Is 0 less than or equal to m?
True
Suppose 0 = -7*u + 3*u + 4*j + 24, 3*u + 4*j - 4 = 0. Suppose 2*l - a + 4 = 0, -u*l + a = l + 7. Is -2 < l?
True
Suppose -3*v - 3*g + 3 = -3, -4*v + 3*g - 6 = 0. Are v and 5/4 equal?
False
Let f be -23 - 7/(7/(-3)). Let y = f + 18. Is y not equal to -5/9?
True
Let s = -1334/423 + 28/9. Which is bigger: 1 or s?
1
Suppose -3*m + 21 = -3. Suppose -5*y = -4*p - 2*y + m, y = 4*p. Is 2/9 at least as big as p?
True
Let x = -7 + 4. Which is smaller: -2 or x?
x
Suppose 7*q - 40 = 2*q. Suppose o + 2*o - 3*u + 6 = 0, 4*o = 3*u - q. Are o and -3/5 nonequal?
True
Let l be 1 - (-1 - 22/(-8)). Let u(v) = v**2 + 16*v + 53. Let o be u(-5). Is o greater than or equal to l?
False
Suppose -3*p - 31 = -d, -3*p + 6*p + 2*d = -28. Is -9 smaller than p?
False
Let i = 1 - -7. Suppose i*o = 3*o. Which is greater: o or 3/5?
3/5
Let i(n) = -n**2 + 5*n - 2. Let c be i(4). Suppose 8 = c*q + 2*q - 5*m, -4*q + 4*m + 4 = 0. Is -4 at most as big as q?
True
Suppose 0 = -x + 5*x - 4. Which is smaller: x or -4/51?
-4/51
Let p = 1 + -1.06. Let z = p - -0.16. Which is bigger: 0.08 or z?
z
Let r be 1/(-5) + (-12)/15. Let v be ((-3)/18)/(r/3). Is 1 smaller than v?
False
Suppose -2*q = w - 10, -5*q - 5*w = -7 - 13. Is q equal to -0.1?
False
Let s be (-1 + -1)/(4/10). Let q be (-1 - s)/(-2) + 1. Suppose -4*o = o. Is q at least o?
False
Let l be ((-9)/36)/((-2)/(-148)). Which is greater: l or -19?
l
Let u(v) = -v**3 - v**2 - v + 25. Let z be u(0). Suppose 0 = x + 4*x + z. Are -3 and x equal?
False
Suppose -j - 24 = -24. Which is smaller: j or 1/13?
j
Suppose 2*a - 10 = 4. Let m(o) = -o**2 + 6*o + 4. Let k be m(a). Which is smaller: 1 or k?
k
Let w be 0 + (-1)/(-1) - 0. Let p = 1276/5 + -255. Are w and p nonequal?
True
Let s = 1/26 + 11/52. Let h = -5 + 4.95. Let n = h - -1.05. Which is smaller: s or n?
s
Let l be ((2754/84)/17)/(0 + 3). Is 0 greater than or equal to l?
False
Suppose -5*v = 2*c - 35, 0 = -4*v - 0*c - 4*c + 16. Let y(n) = 1 - 8 + 0 - 3 + n. Let l be y(v). Which is smaller: -4/5 or l?
l
Let n be 1/(-1) + 1 + 1. Let m = 4 + n. Suppose 15 = 3*c - 0*t + 3*t, -4*c = -m*t + 16. Is c at most 2/11?
False
Let m = 8 + -6. Let z = m + -4. Let s = 17 + -14. Which is bigger: z or s?
s
Let k(c) = -c**2 - 3*c. Let d be k(-2). Let s = -10 + 21/2. Which is greater: s or d?
d
Let u = -2547/4 - -647. Are 10 and u nonequal?
True
Let s = 0 + 5. Suppose -3*h + 24 = h + 2*q, 2*h = s*q + 36. Suppose -3*w = -h*w. Which is greater: w or 0.3?
0.3
Let z = -7 - -10. Suppose 6*r - z*w + 54 = 3*r, 2*w + 72 = -4*r. Let y be (-4)/r + 16/90. Which is bigger: y or 2?
2
Let f be 0 - (2/11 - (-8)/(-44)). Is f greater than or equal to -1/3?
True
Let h(u) = -30*u**2 + 2*u - 3*u - 7*u**3 + 32*u**2. Let t be h(1). Which is greater: -4 or t?
-4
Let c be 10*(4/10)/(8/4). Is 2/3 > c?
False
Let i = -5.06 + 5. Let x = -0.16 - i. Is x at most -0.04?
True
Let s be 6/420 + (-8)/(-28). Let k = 0 - 2. Let l = k + 1. Is l greater than s?
False
Let f = 0 - -0.1. Let q = -392 + 831/2. Let j = 23 - q. Do j and f have different values?
True
Let f be 2 + -1 + (-1 - -2). Suppose -20 = -f*n - 2*n. Which is bigger: n or 4?
n
Let c(o) = -o**3 - 3*o**2 - 2*o - 4. Let n be c(-3). Suppose -4*r = n*i + 20, r - 12 = 2*i - 3*r. Let h(a) = -a - 10. Let q be h(i). Which is smaller: q or -3?
-3
Let x = -54 - -54. Let l = -0.3 - 0.7. Let r = -4 + l. Which is greater: x or r?
x
Let i be (6/9)/(((-15)/(-54))/5). Which is greater: 13 or i?
13
Let o = 2 - 2. Let u be (-315)/(-309) - 1/1. Let l = u - 212/309. Is l < o?
True
Let f(d) = -d**3 + 6*d**2 - 5*d - 3. Let w be f(5). Let n = -6 + 2. Which is greater: w or n?
w
Let x = 1 + -9. Let h = x - -8.1. Which is bigger: h or 9?
9
Let h be (-2)/(-9) + (-91090)/450. Let j = 203 + h. Are j and 1 non-equal?
True
Suppose 0 = t + g - 2360, -428 + 7484 = 3*t - 5*g. Let q be t/20 + 2/(-8). Let k = -118 + q. Which is bigger: -1 or k?
k
Suppose 0 = -s + f + 6, -2*s - 2*f + 32 = -0*f. Is 10 at least as big as s?
False
Let w(d) be the third derivative of d**6/120 - d**5/12 + d**4/24 + 2*d**2. Let f be w(5). Let l(g) = -3*g - 6. Let u be l(-4). Which is smaller: f or u?
f
Let t = -5 - 3. Let o be (2*-1)/(2/9). Which is smaller: o or t?
o
Let o = 18 + -18. Let q be (4/17)/((-2)/(-3)). Which is smaller: o or q?
o
Let r = -5 - -9. Suppose -r = -6*h + 4*h. Let w = 0.2 + -0.3. Which is smaller: w or h?
w
Let i = -4 - -7. Let v = 2 + -4. Is i > v?
True
Let g(m) = 4*m**3 + 2*m + 1. Let z be g(-1). Let w(n) = -n**3 - 5*n**2 + n + 7. Let p be w(z). Let r be -3*1/(-12)*8. Are r and p nonequal?
False
Let w = -158 - -109.2. Let t = 44 + w. Let l = t - -0.8. Does l = -1?
False
Let z be 5 + -2 - (-6)/(-2). Let c = z - -2. Is c equal to 3?
False
Let n = 6.1 - -1.6. Let l = n - 7. Let s = l - 0.7. Which is smaller: s or 3?
s
Suppose -168 = -3*w + 2*i + 2*i, 3*w + i - 183 = 0. Let k be (9/w)/(2/8). Is 0 <= k?
True
Let u be (100/30)/(4/(-6)). Let h = u - -4. Which is greater: h or -2?
h
Let f = -2826288878427353/688313110599380 - -97/5108871220. Let a = f + 6/7091. Let g = 470/133 + a. Is g at most 0?
True
Let o = 4 + -2. Suppose 0 = 5*l - h - 36 + o, -5*l + 18 = 3*h. Let r be l/21 - 1/(-7). Is r less than or equal to 1?
True
Let f(c) = c - 4. Suppose -3*m = -2*m - 8. Suppose -5*s + 4*u + m = 0, -u = 3*s - 0*u - 15. Let n be f(s). Is n not equal to 3/7?
True
Suppose 0 = 3*p - 3 - 3, 16 = o + 4*p. Let b be ((-2)/1)/(5/(-10)). Let k be (-26)/14 + o/b. Is -1 less than k?
True
Let h = -0.3 + 0.1. Is h at least as big as -3?
True
Let p be 2/7 - (-4)/(-14). Suppose -2*m = 2 - p. Which is greater: 0 or m?
0
Let x = -17 + 50/3. Which is greater: x or 1?
1
Let p = 2/397 + 780/2779. Is p <= -2/9?
False
Let h be 46/24 - (2 + 0). Let a = 12 + -13. Is a at most h?
True
Let y(i) = -i - 4. Let h be y(-6). Suppose -2*q + 6 = -4. Is q <= h?
False
Suppose -3*f + x + 17 = -0*x, -2*f + x + 11 = 0. Is f less than 5?
False
Let z(p) = -p**2 - p + 5. Let t be z(0). Suppose 0 = -t*n - 47 + 2. Do n and -9 have the same value?
True
Suppose 24 = g - 3*t, 80 = g + 3*g - 4*t. Let c be 20/42 - 6/g. Which is smaller: c or 1?
c
Let n be ((-4)/(-5))/(12/(-60)). Suppose -3*z - 20 = 4*q, 0 = 5*q - 0*q + 4*z + 26. Let s be -4 + 2*(q - -3). Which is bigger: n or s?
s
Let c = -4 + 27. Suppose 0 = 4*h - 0*h - b - c, 2*b = -3*h + 9. Suppose -2*a = -5*m - 8, -m + h*m - a + 7 = 0. Is m != 1?
True
Suppose -b = -4*b. Let r = -2242/63 - -328/9. Is b not equal to r?
True
Let n = 53/60 - 3/4. Let m = -4 - -6. Let y(v) = -v + 1. Let k be y(m). Is k at most as big as n?
True
Let s = -1.3 - -4.3. Let l = 2 - 5. Is s not equal to l?
True
Let b be -2 - 0 - (0 - 2). Let k be 4/(-12) - (1 - 2). Which is smaller: b or k?
b
Let t = 2 - 7. Let o(a) = a**2 + 29*a - 6. Let k be o(-29). Which is smaller: k or t?
k
Let m be 1/(-2)*(-15 - -15). Is m bigger than 1/13?
False
Suppose 4*c + 4*n = 3*n + 173, 129 = 3*c + n. Let y be (3 + (-144)/c)/(-1). Let x = -4 + 5. Is x greater than y?
True
Let q be (7/((-21)/(-6)))/2. Does 2/7 = q?
False
Let g = -287659/58710 + -2/5871. Let j = -9/2 - g. Suppose 0 = 3*x - 6, 3*w - 6*x + 10 = -x. Is j < w?
False
Let f = 61 - 60. Is f less than 95?
True
Suppose -13*q = -10*q - 93. Which is smaller: q or 30?
30
Suppose -5*n + 24 = -2*w - 10, -n + w = -5. Is n smaller than 8?
Fal