q or s?
s
Let q(w) = w. Let c be q(-4). Let v = -1 - 0. Let y be -4*((v - 1) + 3). Are y and c unequal?
False
Suppose 0 = -3*k - 8*z + 3*z + 20, 2*k + 16 = 4*z. Suppose m + 3 = -3*p - 2*m, 0 = p + 5*m + 9. Suppose l = p - k. Is l greater than or equal to 2/3?
True
Let l be (-61)/(-3) + (-3)/1. Let u = 17 - l. Which is greater: 1 or u?
1
Let q(a) = a - 4. Let v(y) = -3. Let n(z) = 2*q(z) - 3*v(z). Let t be n(-1). Let k be (t - -1) + 0 + 0. Do -1 and k have different values?
True
Suppose -2*o + 0 = -2*q + 2, 5*q = -3*o + 29. Suppose -4*b = -4*k - 20, 2 + 13 = -q*b - 3*k. Which is smaller: 2 or b?
b
Let r = 6 + -10. Let c(z) = -3*z - 3. Let m be c(r). Let x = m + -8. Is x at most as big as -1?
False
Let l = 3 - 2.5. Let d = l + -0.1. Is d at least 2/3?
False
Suppose 0 = -2*c - 3*c. Let y be ((-3)/(-63)*3)/(-1). Is y at least as big as c?
False
Suppose -2*g - 3*g + 3*u = 0, 4*g - 2*u = 0. Let c be -2*(2 - g)/4. Are -2/23 and c equal?
False
Let v be 0/4 - (2 - 2). Let q be (2/(-4))/((-1)/2). Is v greater than q?
False
Suppose 9*r - 5*r = -40. Is r less than -15?
False
Let d be 4/18*18/(-84). Let j = 955/4 + -20035/84. Let r = j - d. Is r equal to 1?
False
Let t = 491/8 + -61. Is 0 < t?
True
Let r = 54 - 161/3. Which is greater: r or -1/2?
r
Let k(x) = -x**3 + 22*x**2 + 2*x - 45. Let y be k(22). Let f be (-8)/14*(1 + 1). Which is smaller: f or y?
f
Suppose -12 = a + 3*w, -3*a = 5*w + 20 + 4. Let v be (-1)/1 - (0 - -3). Which is bigger: a or v?
a
Let f be (-302)/18 - 2/9. Let d be 1/f*(-5 - -3). Which is smaller: -1 or d?
-1
Let q be (2/3)/((-16)/(-6)). Is q smaller than 0?
False
Let v be 27/(-36) - 19/(-20). Which is smaller: -0.2 or v?
-0.2
Suppose 5*m - 2*m = -15. Let q(o) = -o**3 - 4*o**2 + 4*o - 4. Let f be q(m). Is 1/2 >= f?
False
Let a(g) = -g**3 - 5*g**2 - 4. Let s be a(-5). Is s >= -4?
True
Let h be 472/(-220) + 2/(-5). Let y = -52/55 - h. Is 2 greater than y?
True
Suppose -4*l = 6 + 6, -b + 2*l + 5 = 0. Does -3/25 = b?
False
Let j be (-2 - -8 - 3) + -3. Suppose -2*f + j*f = 2. Let o be f/2 + (-33)/(-42). Is o greater than 2/3?
False
Let k(u) = u**3 - 18*u**2 - u + 33. Let x be k(18). Let c(q) = 5*q - 4. Let l be c(4). Is x greater than l?
False
Suppose 87 = -4*p - r + 7, -r + 53 = -3*p. Let u = p - -18. Do 1/3 and u have the same value?
False
Let q be (-20)/8*(-1 - (-19)/15). Which is smaller: q or 7?
q
Let w be -6*1/((-2)/2). Suppose u - w*u = -15. Suppose -3*f = 4*g - 8, -u*f = 2*f - 2*g + 4. Is f <= 0.4?
True
Let f be 5/(-12)*(-54)/(-60). Is f greater than or equal to -28?
True
Let k = 4.7 - 4.7. Let v = -3 - -4. Which is smaller: v or k?
k
Suppose -o + 4*s = -3 - 5, -3*o = -2*s - 4. Suppose 5*h + 18 = -2*g - 0*h, o = -2*g + 4*h + 18. Which is smaller: g or 3/5?
3/5
Let p(v) = v**2 - 8*v + 10. Let l be p(7). Suppose -3*i = -3*j - 1 - 2, 3 = 5*j + l*i. Which is smaller: -2 or j?
-2
Suppose 0 = 6*w - w - h - 290, -w = 5*h - 84. Let v = -237/4 + w. Which is smaller: v or -2?
-2
Let n be (7/1)/(-3 - (-7)/2). Does n = -0.1?
False
Let y(j) = j**2 + 13*j + 15. Let z be y(-11). Which is smaller: 1 or z?
z
Let a(d) = d. Let g be a(4). Suppose -3*v + 2 = -g*v. Which is bigger: -3/4 or v?
-3/4
Let a = -6.86 - 0.14. Let w = a - -11. Let i = -8 + w. Is i < -1/3?
True
Suppose 2 + 2 = 4*m. Let a = -56 - -279/5. Is m > a?
True
Suppose 5*c - 10 = m, -3*c + 5*c - 4 = 2*m. Are m and -6/67 nonequal?
True
Let k(m) = 5*m**2 - m - 1. Let q(t) = -t**2. Let u(j) = -2*k(j) - 9*q(j). Let p be u(4). Is -4 >= p?
True
Let i be (-23486)/(-76) + 18/(-9). Let w = i - 307. Which is smaller: w or -1?
-1
Let x be 9/3 + -2 - -2. Suppose h = x*h - 20. Let a be h/(-84) - 2/(-7). Which is bigger: a or 1?
1
Let v = 2.7 + -4. Let d = v - 0.6. Let j = 2 + d. Is j <= -2/3?
False
Let o = -1725 - -284626/165. Which is smaller: o or 1?
o
Let y = -1147/5 + 230. Suppose -4*g + 6 = -g - 5*k, 4*g = -2*k - 18. Let s = g - -4. Is y > s?
False
Suppose -5*b = 3*l - 10096, 4*b - 4*l - 2033 = 3*b. Suppose -b = 5*j - 466. Let p = -5907/19 - j. Does p = 1?
False
Let x = 22 + -12. Suppose -k = -4*q + 36, -3*k + 5 = q - 4. Which is greater: x or q?
x
Let l = -3 - -7. Let o = 36 + -33. Let u = l - o. Is -5 greater than u?
False
Let b be 50/(-4) + (-1)/(-2). Let z be (32/b)/(2/6). Which is smaller: -9 or z?
-9
Suppose -5*x - 3*k + 30 = 0, -6*x + 2*k = -x - 5. Let t(s) = 3*s**3 - s**2 + s. Let b be t(1). Is x less than b?
False
Let a = -50 + 62. Is 12 >= a?
True
Let u = -7.4 + -1.6. Which is smaller: u or 0.1?
u
Suppose -5*v = -0*v - g - 3, -g - 3 = 3*v. Suppose 5*w + 0*w = v. Does 2/3 = w?
False
Suppose 2*t + 4*u = -14, 0 = 2*t - u - 2*u. Let i(m) = -3*m + 4. Let k be i(3). Let o(v) = v**2 + 4*v - 6. Let s be o(k). Which is bigger: s or t?
s
Let h be (9 - 5) + 68/(-16). Is -6/43 smaller than h?
False
Let i be -5*(0 + (-8)/4). Let o be ((-2)/i)/((-12)/60). Let h(g) = -g**2 - 6*g - 5. Let z be h(-5). Is z equal to o?
False
Suppose -2*u + 3*o = 11, 2*o - 10 - 6 = 2*u. Let c = -13 - u. Which is smaller: c or 2/19?
c
Let q(l) = -l**2 + 2. Let u be q(3). Let h be (-2)/5*5/u. Let b = 5 + -6. Are b and h equal?
False
Suppose q = -6*n + 4*n + 12, -2*n - 12 = -5*q. Let d be (-4)/(-16) - (-39)/q. Let r = d + -5. Do 5 and r have the same value?
True
Let x(h) = -h**3 + 12*h**2 + 14*h - 14. Let f be x(13). Are f and -4/11 nonequal?
True
Let m be (-3 - -2)*(-2)/1. Suppose m*w = -3*w. Which is greater: w or 1/4?
1/4
Suppose 4*g + 5*x = 14 + 58, 0 = 2*x. Is 0.1 >= g?
False
Let b = -92 - -367/4. Is -15 at most b?
True
Let o = 7 - 2. Let z = o + -3. Suppose 5 = -z*a - 4*x - x, -a = -x - 1. Which is bigger: 1/2 or a?
1/2
Let u be 4/10 + 13/5. Let n be 56/12 - (-4)/(-6). Suppose -23 = -n*j - 3*l, -4*j - 5*l = 10 - 43. Do j and u have the same value?
False
Let d be 0 + 6 + -2 + -4. Is d less than 2/95?
True
Let d be 0*(1 - 3)/(-2). Let b be (-4)/(-12) + (-387)/999. Is d greater than b?
True
Let l = -97.9 - -98. Which is greater: l or 0.08?
l
Let c be (-21)/72 - 3*(-4)/(-32). Which is greater: -0.073 or c?
-0.073
Suppose 3*l - 5 = -2*l + 4*s, -4*l = -2*s + 2. Let u be (-9)/6*78/(-9). Suppose 2*d - 5*g - u = 3*d, -5*g = -2*d + 4. Is l at least as big as d?
True
Let m = -61.949 + 62. Is m <= 0.1?
True
Suppose 0 - 8 = -5*q - 4*f, 3*q - f = 15. Let o = -3 + 7. Is q greater than or equal to o?
True
Let l be ((-11932 + 0)/4)/10. Let c = l + 298. Is c < 1?
True
Suppose 4 = 2*h - 5*h + 4*k, 0 = 2*h - 2*k. Suppose h*r - 7 + 43 = 0. Which is smaller: r or -8?
r
Let o be (-1*1)/(14/(-28)). Is o greater than or equal to 5?
False
Let x be 3 + 0 + 0 + -1. Let n(o) = o**2 - 6*o. Let j be n(6). Let z be x + j - (-1 - -2). Which is smaller: z or 1/5?
1/5
Suppose 0 = 5*o + 2*s + 3*s - 35, 2*o = -3*s + 15. Suppose h = o*h - 20. Is h bigger than 11/4?
True
Let i = 40 + -43. Which is greater: -42/17 or i?
-42/17
Suppose 3*c - 4*a - 12 = 0, 0 = -5*c - 0*c - a + 20. Is c less than 4?
False
Let y(z) = -z - 8. Let r be y(-6). Let l be (16/(-20))/(56/(-20)). Is l != r?
True
Let r = -11 + 16. Let v = -6 + r. Which is bigger: 1 or v?
1
Let v be ((-1 + -1)/(-4))/(14/224). Suppose 3*n - 7 = 2*k - 3*k, 0 = 2*k - 5*n - 14. Which is smaller: k or v?
k
Let n(t) = -t - 2*t + t. Let r be n(-1). Suppose 5*v + 2*p + 10 = -2*p, -r*v = -2*p - 14. Do 3 and v have the same value?
False
Let d be (2 + -1)/(3/555*-5). Is d > -35?
False
Let i be 2/(-116)*4/22. Let o = 19975166885/957 - 20872695. Let q = o + i. Is -2 at most q?
False
Suppose 2*a = -3*a - 5. Let n be 0*(-5)/(-15)*3. Is a less than n?
True
Let p be (-3)/(2 + 0 + -1). Let c(t) = -2*t + 2. Let y be c(-5). Let v be 4/y + (-7)/3. Are p and v unequal?
True
Let d = 2 - 5. Let v = d + 5. Is v less than 2?
False
Let d be 1*1*-7 + 1. Let k = d + 5. Let f be 0/(1/(k/(-2))). Is f <= 0?
True
Let s = -140 + 2382/17. Let m = 2.1 - 2.1. Is s equal to m?
False
Let h(w) = w**2 - 4*w + 2. Let y be h(3). Let c = 1 + y. Which is bigger: c or -2/7?
c
Suppose 0 = 4*f + 2*i + 4, -f - i + 4*i = 8. Suppose -16 = -4*w, -2*z - 5*w = 2*z. Let b = f - z. Is 3/2 less than or equal to b?
True
Suppose j + c = 4, 2*c + c = 0. Suppose -2 = h - y, 0 = -j*h - 3*y - y. Is -2/13 < h?
False
Suppose -14 = 2*l + m, m - 6*m + 10 = 0. Which is greater: -9 or l?
l
Let t be 4/(-6)*6/22. Suppose 5*a = -4*y + 15, 3*a + 3*y - 12 = -3. Suppose 5 