?
False
Let f be (-3)/6 - 1/2. Let l be (-1 - -2)/f - -9. Which is smaller: l or 7?
7
Let k be (-4 + 3)*(0 - 2). Let x = k + 1. Suppose -x*f = f. Which is greater: f or 4?
4
Suppose -2*t = 3*g, -4*t - 4*g = -9*g. Which is bigger: -1/136 or t?
t
Let o be 3/((-18)/10)*3. Let j = o + 3. Let f be -1 - ((2 - -1) + j). Is f < -3?
False
Let c(n) = n**3 + n**2 - 6*n - 4. Let m(l) = l**3 + l**2 - 5*l - 3. Let o = 15 + -10. Let y(p) = o*c(p) - 6*m(p). Let w be y(0). Is -2 less than or equal to w?
True
Let c = 0 - 2. Suppose 0 = -2*g - r - 2, -g = -5*r + 17 - 5. Is c equal to g?
True
Let s be (6/(-18))/((-1)/(-3)). Are s and -1/5 unequal?
True
Let s be ((-20)/5)/((-1)/(-2)). Let f(r) = -r**2 - 9*r - 3. Let u be f(s). Suppose 2*x - u = 1. Is 2 not equal to x?
True
Let l = 2 + -4. Suppose 3*k - 1 = 2*d + 3*d, 0 = k - 2*d. Let j be k/((-5)/(15/2)). Is j at least as big as l?
False
Suppose 0 = -3*x - 3 + 9. Suppose -q - 14 = -x*c, 5*q + 18 + 2 = 0. Is c != 3?
True
Let f = 6 - 7. Let b = 12/11 - 57/22. Which is smaller: b or f?
b
Let d = -53 - -33. Let o be (-1 - (-28)/20)*d. Is -9 less than o?
True
Let m(q) = q**2 - 5*q - 1. Let b be m(6). Suppose b*f = -0*f - 10. Is f greater than or equal to 1?
False
Let l be ((-6)/2)/3*0. Suppose -2*z = 3*y, 3*z + 2*y + 2*y + 2 = l. Is -7 <= z?
True
Let v(l) = -10*l - 2. Let b(n) = 5*n + 1. Let m(d) = 7*b(d) + 4*v(d). Let a be m(-1). Is 4 greater than a?
False
Let y be ((-538)/(-70) - 0) + 1. Let h = y - 58/7. Let i(m) = -m + 6. Let q be i(5). Is h >= q?
False
Let o be 3 + -2 - (-138)/(-140). Let l = -3/10 + o. Is l greater than or equal to 0?
False
Let d(k) = k + 8. Let j be d(-5). Suppose -j*o - 5*u = -15, o - 3*u + 9 = -3*o. Let s = -30 - -61/2. Is o <= s?
True
Let g(d) = d**2 - d - 29. Let x be g(7). Is x not equal to 14?
True
Let r = 3.98 - 4. Let f = r - -0.32. Are f and -2/7 nonequal?
True
Let n = -52 - -31. Let x = n + 21. Let y be 4/26*(-2)/(-4). Is x < y?
True
Let r(l) = -l**2 - l + 2. Let a be r(-2). Suppose -5*o = -20 - a. Let b = 67 + -63. Is o <= b?
True
Let h = 1.25 + -0.25. Let m = -1 + h. Are 5 and m non-equal?
True
Let g = 0.44 - 0.84. Which is smaller: 0.06 or g?
g
Let d = 44 - 50. Is -1/4 greater than d?
True
Suppose 116 = 2*a + 2*l, -5*a + 3*a - 3*l = -114. Let q = a - -66. Let d be (-120)/q - 2/(-3). Which is greater: d or 0?
0
Let l = -6 - 0. Let k be 5/4*(-8)/l. Which is smaller: 1 or k?
1
Let l be 3 - (0 - -3) - 1. Let o be 6/(-8) + (1 - l). Suppose 2*h - 2*r + 2 + 6 = 0, 0 = 4*h - 3*r + 11. Is h <= o?
True
Suppose -8 = -2*u, -r + 3*u + 28 = 3*r. Let p be (15/r)/(9/(-4)). Suppose 0 = d + 2*l + 9, 3*d + 2*l + 2*l = -19. Which is bigger: d or p?
p
Let y(f) = -f**2 - 8*f + 8. Let k be y(-9). Suppose 5*z + 15 = 5. Let j be z/(k/2*1). Which is smaller: j or 3?
3
Suppose -4*q + 3 = -13. Let i be (-5)/4 + 1/q. Let w(g) = g**2 - g - 29. Let l be w(6). Is i at least as big as l?
False
Suppose -t = -i - 0 + 1, 0 = -3*i + 15. Suppose -u - 2 = -2*w - 3, -w + 5 = 5*u. Suppose 0 = 4*a - w*a + t. Which is bigger: 1/8 or a?
1/8
Let q = 401/75 + 8/25. Is q at least as big as 7?
False
Suppose -4*q + r = -205, -8 = 3*r + 7. Is 50 greater than q?
False
Suppose 3*q + 7*q = 50. Is 5 at most q?
True
Let n be (6 - 7)*(1 + 0). Is n at most as big as -2/27?
True
Let u be 37/(-135) - 1/(-5). Which is smaller: 0 or u?
u
Let m = -3996 + 43992/11. Which is bigger: 4 or m?
4
Suppose 0 = -4*t - 3*h + 85, 2*t = 3*t - 4*h - 26. Suppose 2*v - 6 = 4*i + t, 3*i = 2*v - 22. Which is bigger: i or -1?
-1
Suppose -7 = f + 2*o + 7, 5*o - 10 = 5*f. Which is smaller: f or 0?
f
Let t = -36 + 35.9. Let h be 2/8 - 90/8. Do h and t have different values?
True
Let s = 1/358 - 745/10382. Is -1 greater than s?
False
Let k(u) = 2*u**2. Suppose -5*y - 5 + 0 = 0. Let j be k(y). Which is smaller: 1 or j?
1
Let t = 12 + -12. Let i(r) = -3*r - 2. Let l(o) = -o - 1. Let j(v) = -2*i(v) + 7*l(v). Let x be j(-4). Is t at least as big as x?
False
Let p(b) = -2*b - 29. Let n be p(-15). Which is bigger: n or -8/17?
n
Let h be -3 + (-1 - (-81)/30). Let i = h - -3/2. Suppose a + 3*a = 0. Which is smaller: i or a?
a
Let r = 28 - 27.92. Are r and -2 equal?
False
Let q = 60 - 61. Is q < -7/8?
True
Suppose -3*o = 4*g - 1, 2*g + 4*o + 16 = g. Suppose s = 8 - 5. Which is bigger: s or g?
g
Let j = 0 - 0. Suppose -5*r + 4*r - 5*g = -23, -3*r = -3*g + 21. Let t be 2/(27/(-1 + r)). Do t and j have the same value?
False
Let t(k) = -2*k**2 - 11*k - 13. Let s be t(-3). Is s less than 15/17?
False
Let n be 2 - 1/(-4)*-38*2. Is -19 not equal to n?
True
Let r = 6 + -3. Let w = -46.9 + 47. Which is greater: r or w?
r
Let f(z) = 4*z - 6*z + 3 - 2 + 4. Let o be f(4). Let a = o - -2. Is 3 > a?
True
Let z = 299/4428 + -5/164. Suppose 0 = -0*w + 2*w. Which is smaller: z or w?
w
Let s = 17 - 29. Let z be 9 - (-4)/(s/9). Is 6 not equal to z?
False
Let g be (12/36)/(2/(-6)). Let d be g - (-3 - (-1 - 0)). Are 3 and d nonequal?
True
Suppose 0 = 5*k - k - y - 9, -k + y = 0. Suppose -k = j - 5. Suppose 0 = r - 0*r - 3. Does j = r?
False
Suppose 0 = -2*t + v + 5, -5*t + 2*v + 1 = -9. Are -3 and t equal?
False
Let b = 3 + 0. Suppose 0 = -5*z + 2*z - b. Is z at most as big as -2/13?
True
Suppose 6*o - 2*o - 2*d = -12, 3*d = 6. Let w = o - 1. Is -1 greater than w?
True
Suppose -m - 15 = -5*i, m + 0 - 3 = -i. Let y = m + 4. Is y less than 5?
True
Let x(s) = -s**3 - 9*s**2 - 9*s + 8. Let y be x(-7). Is -27 equal to y?
True
Suppose 2*k + 5*b = -33, 2*k = -0*k - b - 21. Let m be 2/k*3 + 1. Which is greater: m or 1?
1
Let j(f) = f**2 - 2*f - 2. Let u be j(4). Let v be u/88 + 2/(-8). Is v < 0?
True
Let h(w) = -w**2 + w + 4. Let z be h(0). Let l be z/12 + (-16)/(-6). Suppose -l = -4*s - 7. Which is greater: s or 0?
0
Let f = -7.8 + 0.8. Which is bigger: 1 or f?
1
Let t be ((-588)/(-20))/7 + -4. Which is greater: -1 or t?
t
Let b(z) = z - 14. Let n be b(15). Which is bigger: -1 or n?
n
Let h = -15 + 26. Suppose 3*f - h = 2*u, f - 14 = -4*f - u. Let q be (-10)/(-3)*f/2. Which is greater: 6 or q?
6
Let a(r) be the third derivative of r**6/120 + r**5/12 + r**4/6 - r**3/6 + 8*r**2. Let l be a(-3). Which is smaller: -3 or l?
-3
Let k = -4 + 1. Let p = -4 - -3.97. Let f = p - -0.13. Is f less than k?
False
Suppose 5*n + 0*n = 65. Let d = -12 + n. Let w be ((-2)/(-28))/((-2)/4). Is w less than d?
True
Let i be 4 - (-7)/((-14)/8). Is i smaller than 2/21?
True
Suppose 6*f - 20 = 2*f. Suppose -15 = f*h + 4*o, 2*h = -5*o - 4 - 2. Let c = h - -2. Which is smaller: 1 or c?
c
Let g = 100 + -702/7. Which is smaller: g or 14?
g
Let z = 3390/11 - 308. Is -1/4 at least as big as z?
False
Let p be 3 - (0 + -1 - -2). Which is smaller: 1 or p?
1
Let g = 23 + -15. Let n = g - 8. Which is bigger: 2 or n?
2
Let v = 224 - 2468/11. Which is smaller: v or 2/3?
v
Suppose -14 = -2*k + 2*l, 7*k - 33 = 3*k + 5*l. Suppose 0 = -k*f + 7*f. Suppose w + 3*d = 5*d + 7, -4*d - 4 = f. Which is greater: w or 6?
6
Suppose -2 = 2*r - 4. Which is smaller: r or -38?
-38
Let w(v) = v + 8. Let h be w(-6). Suppose q + 2*r = -1, 3*r + h + 1 = 0. Let c(z) = -z + 1. Let i be c(q). Is i bigger than 0?
False
Let c be (-59)/6 - (-2)/4. Let i = -9 - c. Is 0 > i?
False
Let r be (-1)/4 - 4/(-16). Suppose r*n = -n + 1. Is -1 > n?
False
Let r be (-8)/(-4) + -1*4. Let m = -2 - -1. Which is smaller: r or m?
r
Let d(s) = s**2 - 8*s - 2. Suppose 15 = -4*u + 43. Let v be d(u). Which is greater: -10 or v?
v
Let z(a) = a**2 - 3*a - 3. Let o be (1/3)/((-3)/(-45)). Let b be z(o). Which is greater: 8 or b?
8
Let b be (-3)/(-6) + (-21)/(-6). Suppose 4*k = -b*d + 4, -4*d - k = k. Is d at least -2/7?
False
Let x(t) = 14*t - 2. Let k be x(1). Let c be (-1)/6 + (-42)/k. Which is smaller: c or -5?
-5
Let i = -4 + 5. Let c be -5*1*(-1)/i. Suppose c*z = z. Which is bigger: -2/13 or z?
z
Let u = 7 - 6. Let v = -8 + 12. Is v bigger than u?
True
Let n = -19 + 22. Suppose d - 6 = -4, -3*x = n*d - 3. Which is greater: -2 or x?
x
Let j = 0.06 - -0.02. Let n be ((-2 - -4) + -1)*1. Does n = j?
False
Let z(n) = -n**3 + 3*n**2 + n + 5. Let i be z(4). Let f = 7 + i. Suppose 4 = -f*h - 4*h. Is h bigger than -1/4?
False
Suppose 20*j = 16*j - 12. Is j < -10/3?
False
Let m be (-3)/(-24) + (-20)/(-32). Is m at most 2/5?
False
Suppose -2*f = 4*a - 2, -2*f = 5*a + 3 - 5. Is 3/11 at most a?