14. Let l be (-2)/p + 4/(-14). Let f = -2/47 + -131/235. Which is greater: f or l?
l
Let l = -0.5 - -0.42. Are l and -0.2 unequal?
True
Let o be 5 - ((-16)/(-6) - (-2)/6). Suppose -2 - 2 = 2*f + 4*q, -2*q = 5*f - 14. Do f and o have different values?
True
Let x = -3 - -6. Let r = -2/247 - -251/494. Which is smaller: x or r?
r
Let y = 3 + -2. Which is smaller: y or 1/3?
1/3
Let l = 53 - 54. Are l and -1/63 equal?
False
Let y be 3/(39 + 3)*-2. Suppose 5*n = -9 + 4. Which is bigger: y or n?
y
Suppose j - 4*j + 6 = 0. Suppose -j*q - 6 = -q. Suppose -u + 6 = 13. Which is smaller: q or u?
u
Let i be (12/(-10))/(6/(-20)). Let p = i - 6. Does 0 = p?
False
Let s be 1 + (2 - 1)*3. Suppose -15 + 3 = -s*v. Which is smaller: v or 2?
2
Let y be 4/10 - (-6)/(-15). Is 4/65 greater than or equal to y?
True
Let z = 17 + -16. Is 3 greater than or equal to z?
True
Let u be -16*(1/(-8))/((-8)/336). Is -85 smaller than u?
True
Suppose -21 = 2*u + u. Let a be (-4)/(-14) - (-2)/u. Is 1 > a?
True
Let j = 11 + -5. Suppose j*k = k. Suppose 4*b + 3*q + k*q - 4 = 0, 24 = 5*b - q. Which is smaller: b or 5?
b
Let i(n) = n**3 + 3*n**2 - 3*n. Let x be i(-4). Suppose -3*h = -5*m - 29, -m - 17 = -2*h - 0*h. Let z be (-34)/h - x/16. Do -1 and z have different values?
True
Let l be ((-9)/(-45))/((-2)/(-50)). Is -0.4 != l?
True
Let v = -58.3 - -62. Let j = -1.3 - v. Is j at most -1?
True
Let a = 0 - 0.01. Let n = -1.7 + 1.61. Let w = n + a. Do -2 and w have the same value?
False
Let j = 0.7 - 2.7. Is j bigger than -2/7?
False
Let u = 245 + -242. Let q(g) = g**3 + 2*g**2 - 4*g + 1. Let d be q(-3). Which is smaller: u or d?
u
Let o be (16/54)/((-10)/(-3)). Let x be 104/(-6930) - 2/(-7). Let t = o - x. Which is greater: t or 1?
1
Suppose 3*u + 200 = -5*b - 115, u = 3*b - 91. Let n be (-308)/u + (-4 - -1). Which is bigger: -1 or n?
n
Let t = 2 + 2. Let g = t + -6. Let j be ((-4)/(-6))/(2/(-3)). Is g > j?
False
Let i be 2/(-8) - (-25)/20. Suppose -3*l + 2 = -i. Suppose 1 + l = -2*w. Which is bigger: w or 2/3?
2/3
Suppose 2*j = 2 - 10, -2*n = -3*j - 36. Let d be (n + 0)*10/15. Suppose 4*w - d = 0, 5*w = -2*k + 5 + 1. Which is smaller: k or 0.1?
k
Let z be 1 + 0 + -1 + 14. Let j be (10/35)/(10/z). Is j smaller than 1?
True
Let c = -28 + 85/3. Let t be 26/10 - (-2)/5. Let v be (t - 3) + 1 + 0. Is v equal to c?
False
Let o be 2/(1 + 0) - -1. Let v = 1 + o. Suppose -v*k - i - 5 = 0, 0*k + 10 = -3*k - 2*i. Are k and 0.1 nonequal?
True
Suppose -1 - 3 = v. Let q be 2/v + (-2)/(-4). Is 1/3 bigger than q?
True
Let v be -5 + 10/(-14) - -6. Let r = 3.4 - 4. Are v and r equal?
False
Let c = 0.02 + -0.07. Let i = -5.95 + c. Let p = i - -6. Which is bigger: p or 6?
6
Suppose -2*r = -r. Let d = 2 - r. Suppose 2*c + 0*c = d. Which is bigger: c or -2/15?
c
Let z = -1/87 + 533/957. Is 0 smaller than z?
True
Let b(t) = t**3 + 7*t**2 + 2*t + 17. Let y be b(-7). Suppose 5*q - 13 - 27 = 0. Suppose -x = 3*x - q, -2*u + 10 = y*x. Which is smaller: 1 or u?
1
Let t be -9*2*(-1)/6. Suppose t*o + 21 = -3*i, 7*o - 3*o - i = -8. Let y = o - -4. Does y = 0?
False
Suppose 4*u + 2*w + 1 = -3*w, -3*w = -u + 4. Let j = 2 - 2.2. Which is greater: j or u?
u
Let x = -1.9 + 2. Let z = 0.3 + -0.2. Let m = -1.1 + z. Is x at most as big as m?
False
Let a = 21154074/205 + -103190. Let u = a + 8/41. Which is bigger: u or 0?
u
Let d = -14 + 18. Is d less than 5?
True
Let x be 4 + (42/(-10) - -1). Do x and -4/3 have the same value?
False
Suppose -4*m = 2*f - 4, 2*f + 0 = m + 4. Is -2/45 >= m?
False
Let l be (35/(-21))/(2/(-6)). Suppose 0*c = 3*c - 3*v - 27, -c = -l*v + 3. Which is greater: c or 11?
c
Let k = -7.92 + 0.52. Let a = -8 - k. Which is smaller: a or -1?
-1
Suppose 4*w + 0*w = 0. Suppose w*c - 4*c = 4. Which is smaller: -2/7 or c?
c
Let t = 12 - 2. Let b = -473 - -482. Which is bigger: t or b?
t
Let c = 0.008 - -0.042. Is 1 less than or equal to c?
False
Let y = -71 + 62. Which is smaller: -7 or y?
y
Let z = 120 - 191. Is z < -71?
False
Let g be (-2 - -3)/(18 + -4). Is g at least 0?
True
Let c be ((-9)/(-21))/((-8)/14). Let t(o) = 2*o**3 - 6*o**2 + 3*o. Let b be t(2). Is c at least b?
True
Let v = -6 - -6.04. Let a = v - -0.06. Is a greater than 4?
False
Let h(z) = z**3 + 4*z**2 + 2*z + 3. Let c be h(-2). Let v = c + -8. Let x = -0.15 + -0.05. Does x = v?
False
Suppose 0 = 16*z - 11*z - 20. Suppose z*f - 1 = -5. Is f less than 3/11?
True
Let h = -102 - -637/6. Let u = h + -9/2. Is 2 less than or equal to u?
False
Let z(b) = 4*b - 4. Let f(x) = 2*x - 2. Let p(a) = -7*f(a) + 4*z(a). Let o be p(-2). Let y be 2*(0 + (-3)/o). Is y greater than 2/7?
True
Suppose 3*w - 4 = -13. Let g = w + 6. Which is smaller: g or -1?
-1
Let c be 1 + (-2 - -2) + (2 - 4). Are -48 and c non-equal?
True
Let r = -0.1 - 0.4. Let i = 943/2 - 490. Let y = 18 + i. Is r greater than or equal to y?
True
Let t = -18 - -16. Is t < -4/7?
True
Let w be 2/(((-4)/6)/((-16)/(-12))). Let c = 1 - 2. Is c equal to w?
False
Let q be (-2)/(-3)*(-21)/(-2). Let n = q - 4. Let z be 1/3 - n/9. Is z != -3/5?
True
Let i = 6 + 23. Is 29 != i?
False
Suppose 4*d = -2*n + 6, 0*d - 19 = 3*n - d. Is n smaller than -3?
True
Let u(f) = 2*f**2 - 2*f - 2. Let j be u(-2). Suppose 23 = 3*q - j. Suppose 2*z + 5*x + 13 = 0, -z - 7*x - q = -3*x. Which is smaller: -2/7 or z?
-2/7
Suppose 0 = -5*p + 15, 5*p - 4 = 2*r + 7. Let v = 2 - r. Which is greater: v or -1/10?
v
Suppose 3*o + r = -13, 4*o - 3*o - 2*r - 5 = 0. Is 0 at least as big as o?
True
Let o(w) = w**2 - w - 3. Let a be o(0). Let y = 18 + -19. Are a and y non-equal?
True
Let z(q) = -5*q. Let h be z(-1). Suppose -2*c = -0*c - 8. Suppose h*d - 10 = 6*a - a, 0 = -d + 2*a + c. Is 1 equal to d?
False
Let p be (-39)/33 - (-6)/33. Is -16/15 bigger than p?
False
Let c = 12 + 6. Let g = c - 17. Let y be (-1 - 0)*(-2)/(-4). Which is smaller: g or y?
y
Let q = 301222/9 + -33523. Let x = 54 + q. Does 1 = x?
False
Suppose 3*l + 5 = -2*l. Is -2/5 < l?
False
Let h = -10 + 11. Does 0 = h?
False
Suppose 5*w = -18 - 42. Let f be w/8*(-6)/(-4). Do -2 and f have the same value?
False
Let q be (-2)/(-8) + (-70)/248. Let j = 7452343/155 - 48080. Let m = j + q. Which is smaller: 0 or m?
m
Suppose -2*a + 7*a = 30. Suppose 4*l + a = l. Suppose -1 = 4*m + 7. Is l >= m?
True
Suppose 0 = 21*a - 24*a. Which is smaller: a or 1/250?
a
Let q = 10 - 15. Which is greater: q or -6?
q
Suppose -4*n - n - 15 = 0. Let h(p) = -p**3 - 5*p**2 - 2. Let j be h(-5). Is j >= n?
True
Let k = 18 - 12. Let c be k/14 - (-253)/847. Which is smaller: c or 1?
c
Let c = 2.3 + -0.3. Let l be (2/(-5))/((-2)/(-10)). Let b = l + 3. Which is smaller: b or c?
b
Suppose -4*f + 6 + 2 = 0. Suppose -4*n + 62 = 3*m - m, -5*m + 3*n = -129. Suppose m*u - 26*u = 0. Is f equal to u?
False
Let u be 2/(-4) - 99/(-126). Suppose -r = -4*r. Which is smaller: u or r?
r
Let w = -395/6 + 66. Which is smaller: w or 0.2?
w
Suppose 2*a + 3*a = 630. Let o be 0 + 0 + 12/a. Is o < 0?
False
Suppose 2*n = -n + 3. Let w be ((-18)/12)/(n/6). Is -9 at most w?
True
Let m be 314/234*3 - 4. Is 2 at most m?
False
Let s be (-63)/15 - (-12)/(-15). Suppose -f = -5 + 4. Suppose -7 + f = g. Which is smaller: s or g?
g
Suppose -2*d - 8 = -k + 28, -2*k - d = -77. Suppose 5*m + k = 4*t, -3*m = -8*m - 10. Suppose 0 = -2*q - t + 3, -3*q - 2 = a. Which is smaller: 1 or a?
1
Let w be (321/63 + -2)*-1. Let k = 24/7 + w. Is 0 <= k?
True
Let l be 1/(-1) - 0 - 0. Let g be 2/8*(2 - l). Let y(c) = -c**2 + 9*c + 11. Let q be y(10). Which is smaller: q or g?
g
Let p be 3/(-6) - (-3)/(-2). Let g = -2 - p. Is 1/13 at most g?
False
Let w be ((-2)/5)/((-12)/60). Are w and 4 non-equal?
True
Let c = 0 - -1.6. Let p = c - 0.6. Do -2/3 and p have different values?
True
Suppose -2*v = 4*g + 30, v - 2*v + 5 = 0. Let i be ((-2)/(-5))/(2/g). Which is smaller: -3 or i?
-3
Let r be (-14)/(-10) + (-4)/10. Let q be (-3)/2*(-4)/(-6). Let a be (-4)/(-88)*(q - 1). Which is smaller: r or a?
a
Let o = -35 + 34. Which is greater: o or 1/9?
1/9
Let k = -5 + 3. Suppose 4*u = -0*u. Suppose -2*r - 1 - 1 = u. Do k and r have the same value?
False
Suppose 5*q - 9 = 3*z - 0*q, -5*q = -15. Which is bigger: 7 or z?
7
Let j = 74 + -45. Let n = j + -21. Which is smaller: 1 or n?
1
Let o(p) = p**3 - 9*p**2 + 10*p - 10. Let x be o(8). Let u = -54 + 58. Which is bigger