l to -3/4?
True
Suppose p = 3*z + 5*p + 10, 11 = -5*z - p. Which is smaller: z or 3?
z
Suppose 0*j = -j. Let o = -8584/5893 - -100/71. Let v = o - 106/1245. Are v and j equal?
False
Let b = -16 + 49. Are 32 and b unequal?
True
Suppose 11 = -2*a - q + 6*q, -a = q - 12. Let b = a - 10. Let c = -4 - -2. Which is bigger: b or c?
c
Let r(f) = 2*f + 11. Let c be r(-4). Suppose 0*g + g + 3*j + 3 = 0, g = -4*j - 4. Suppose -2*q + g*q + 4 = 0. Which is smaller: c or q?
q
Let x = -14020/17 - -825. Does 0 = x?
False
Let l = 0.004 - -0.996. Is 1.2 >= l?
True
Let v = -481/7 + 69. Let y(q) = q**2 + 6*q + 2. Let a be y(-6). Let u be (a + -3)*(0 + -1). Is v != u?
True
Let n = 2.3 - 9. Which is smaller: 0.1 or n?
n
Let u be 8/4 + (-8)/3. Are u and 0 non-equal?
True
Let i be 12/12 - 7*1. Which is bigger: i or -3?
-3
Let n = -1.1 + 1.22. Let j = n - 0.22. Which is smaller: j or 1?
j
Let f = 60 + -72. Which is greater: f or -10?
-10
Suppose 5*p + 2 - 17 = 0. Let r = 8 + p. Let u = 21/2 - r. Is -1 greater than u?
False
Let d(r) = 3*r + 1 + 3*r - 5*r. Let c be (-2)/1 - 0/2. Let h be d(c). Is h <= -2/17?
True
Let g = -2 - -5. Let s = 0.86 - -0.14. Which is smaller: g or s?
s
Suppose 5*d - 3*j - 27 = -2, 3*j = -5*d - 5. Suppose -3*k = -2 - 1, d*k = -x + 6. Suppose 1 + 3 = -x*t. Are -0.2 and t equal?
False
Let u = -1 - -1. Suppose -o + 2 = -u. Suppose 3*l = -2*m - 1 - o, 5*l + 4*m + 5 = 0. Which is smaller: l or -1/8?
l
Let d(q) = q + 5. Let z be d(-6). Let h be z/(-2)*(-4)/22. Is -1 at most as big as h?
True
Let b(k) be the second derivative of -k**4/12 - 4*k**3/3 - 2*k**2 + 2*k. Let q be b(-8). Is -1/2 <= q?
False
Let f be (5 + -3)/2*-8. Is -6 greater than f?
True
Suppose -9*b = -3*b - 552. Let r be b/(-30) + 3 - 0. Which is smaller: r or 0?
r
Let v = 0.19 + -0.39. Let n = -1040/7 - -149. Is n <= v?
False
Let t = -4 + 3.8. Let m = -0.2 + t. Let i = m - -0.3. Is i > -0.1?
False
Let d(l) be the third derivative of -l**5/60 + l**4/12 - 2*l**2. Let a be d(2). Do a and 0 have the same value?
True
Let a = 242 + -715/3. Is 4 != a?
True
Let w be (-4)/6 - (-69)/9. Let l(a) = a**2 - 8*a + 8. Let o be l(w). Suppose -5*k + 25 = -5*q, 6 = 2*k - 4. Is o != q?
True
Let z = 19 - 17. Let n = 0.3 - 2.3. Let t = n + z. Which is bigger: t or 1/3?
1/3
Let p = 1.2 - 1.4. Let l = -8 + 8.3. Let n = p + l. Which is smaller: n or 1?
n
Suppose n - 4*z = -0*z - 20, -2*n - 4*z = -20. Let t be (3/(3/(-14)))/(-2). Suppose t*b - 3*b = -4. Are n and b unequal?
True
Let c = -64 + 34. Let p be 39/65*4/c. Is p smaller than 0?
True
Let t be 1/(-1*1*(8 + 30)). Which is smaller: t or 1?
t
Let t(q) = -q - 5. Suppose -2*x - 24 = x + 3*f, -2*x + 4*f = 4. Let z be t(x). Let h(r) = r**3 + 2*r**2 - 2*r + 1. Let d be h(-3). Which is bigger: z or d?
z
Let t(r) = -r**2 - 4*r + 1. Let v be t(-4). Suppose -i = 3*j - 0*i - v, j + 13 = 3*i. Let k = -7 + 22/3. Which is bigger: j or k?
k
Suppose a - 4*a = -45. Let f = 17 - a. Is 6/5 at least as big as f?
False
Let n be (-3 - 0)*1/8. Suppose 0 = q - 3*q - 2*p - 24, -2*q + 2*p - 36 = 0. Let r = q + 16. Which is smaller: n or r?
n
Let t = -13 - -19. Let w = t - 5. Which is smaller: -1/6 or w?
-1/6
Let n = 17 - 14. Which is bigger: n or 4?
4
Let x = -1 - 1. Let g be 8/3 + (-1)/(-3). Let n = g - 7. Is n != x?
True
Let g = -12 - -24. Suppose 5*h = -4*k + 7, -4*k + 1 + g = -h. Which is bigger: 0 or h?
0
Let j(v) = -v + 4. Let z(i) = 5*i - 19. Let k(o) = -11*j(o) - 2*z(o). Let q be k(0). Let h be (-1)/q - (-3)/(-6). Does -1 = h?
False
Suppose -5*l + 10 = -5. Suppose l*m - 5 = 4*m, -5*k = -4*m. Is k greater than -0.1?
False
Let z be ((-6)/10)/((-4)/(-20)). Let t be (-2 + -2)/((-3)/z). Let y = t + 2. Is -4 at most as big as y?
True
Let b = 284/595 - 54/119. Is 1 < b?
False
Let c(y) = y**3 + y**2 - 2*y - 9. Let z be c(0). Which is greater: -8 or z?
-8
Let a(u) = 10*u + 4. Let z be a(-2). Let t be -2*(-4)/z*0. Does t = 1/34?
False
Suppose 5*y + 4*l + 0 = 10, -3*l - 33 = -3*y. Suppose -4 = 2*n + 2*u, 0 = -2*n + u - y - 1. Let q be 1*6/n + 0. Which is greater: q or 1?
1
Let a = -4 - -5. Do -1/3 and a have the same value?
False
Let s(i) = -2*i + 4. Let u be s(-7). Is u at least 18?
True
Let z = 11 + -12. Suppose 4*w + 3 = 4*m - 25, -4*w - 10 = 2*m. Is w at least as big as z?
False
Let v = 1.003 - 0.003. Let q = -2 + 1. Is q less than or equal to v?
True
Suppose -4*d + 36 = 4*s, 4*d + s - 16 = 2*d. Which is smaller: 6 or d?
6
Suppose 9*c = 2 + 16. Let b be 1/1 + (1 - -1). Is c greater than b?
False
Let g be 4/30 + 517/(-165). Is g at least 3?
False
Let y(v) = v - 7. Let h = 11 + -8. Suppose 0 = h*i - 0*i - 27. Let t be y(i). Is 3 != t?
True
Let y(l) = l**3 - 6*l**2 - 8*l + 3. Let m be (-132)/(-20) - 2/(-5). Let g be y(m). Is -2 < g?
False
Let u = -13 - -16. Let s(b) = b**3 - 4*b**2 + 4*b. Let c be s(u). Is c >= 4?
False
Let l = 18418249/403688 - 365/8. Let j = l - -857991/3885497. Let u = -4/11 + j. Which is greater: u or 1?
1
Suppose -f + 4*c + 312 = f, 5*f = 4*c + 768. Let v be (f/36 + -4)*3. Which is greater: 0 or v?
v
Let s = 991/14790 - -1/510. Do s and -1 have the same value?
False
Let i = 39 + -42. Which is smaller: -1 or i?
i
Let z be 6/2 + 221/(-65). Is -1/3 less than or equal to z?
False
Let l = -15 + -1. Let f = 19 + l. Is f bigger than 2?
True
Let l(b) = -b**2 + 10*b - 15. Let o be l(8). Is o != 0?
True
Let j be (10/6)/((-3)/9). Let x = j - -4. Is x bigger than 1/4?
False
Suppose l - 4*o = 8, -l - 7*o + 2*o = 10. Let j be -3 + (-18)/(-8) - l. Suppose 3*y + 3 = -m, 2*m + 2*y + 2 = -0*m. Are m and j non-equal?
True
Let p be (9/12 + 0)*4/3. Is 1/43 >= p?
False
Let m = 0 + 0. Does m = -2/111?
False
Let j = -902077319/3261503490 + 3/2127530. Let p = j - 2/219. Is p <= 2?
True
Let u be (48/10)/((-1)/(-5)). Suppose -4*j - u = r, j - 4*j = 15. Let y be (-15)/(-40) - (-1)/r. Which is bigger: y or -1?
y
Let o = -61/2 - -139/6. Let d = o - -7. Is 0.4 at most d?
False
Let i be 5/(-4) - (-3)/(-4). Let g be (-2)/(-1 - 10/(-6)). Which is bigger: i or g?
i
Let i be (-4)/(-18) - (-312)/54. Suppose 2*f + i = 4. Let y = 0 + 0. Is f less than or equal to y?
True
Let c = -14 - -16. Is c at least as big as 5/2?
False
Let b(w) = -w + 15. Let g be b(9). Let d be (-155)/(-375) - 2/g. Let c = 0.1 - 0. Which is smaller: d or c?
d
Let b be (-2)/(-6) - 70/120. Let r(s) = -2*s - 4. Let v be r(-3). Let o be 0 + v - 16/9. Which is greater: o or b?
o
Let k = -9 + 19. Suppose -r + 0 = k. Which is bigger: r or -11?
r
Suppose -4*o + 4*m = -7*o - 11, 2*o + 6 = -2*m. Let c be (0 - (-2)/10) + -1. Which is bigger: o or c?
c
Let c = 5 - 4.5. Let a = 5 + -5.4. Let y = a + c. Is y at most as big as 2?
True
Suppose 0 = 2*t - 2 + 4. Let f = 31/4 + -845/108. Is f less than or equal to t?
False
Let y be 2378/(-3045) - (-3)/((-18)/(-4)). Does 0 = y?
False
Suppose p - 2*q = -5, -24 = -4*p + 4*q - 7*q. Let r be ((-62)/(-6) - -1)*p. Suppose -5*n - 7 + r = -3*m, 4*n + 4*m + 4 = 0. Which is smaller: n or 4?
n
Let o = 2.95 - -0.05. Let c = -3 + o. Which is bigger: 4 or c?
4
Suppose -62 = -2*s - 2. Let p = s - 15. Suppose 2*u = -5 + p, 0 = j - 3*u + 14. Which is bigger: j or -3?
j
Let a(r) = -r. Let z be a(-6). Suppose -2*y - y = -z. Is 3/2 not equal to y?
True
Suppose 10 = 2*f - 4*c, 4*f - 4*c + 17 = 33. Suppose -3*a + 16 = w, -4*a = w - 0*a - 20. Is w at least as big as f?
True
Suppose -3*p + w - 2*w = -16, 4*w + 11 = 3*p. Suppose -p*f = 15 + 15. Is -5 at least f?
True
Suppose -b - 5 = k, -k - 2*k = 6. Suppose 0 = -4*r - 0*r + 8. Let g = b + r. Which is greater: 0 or g?
0
Let a = -29135/48 + 607. Let u = -5/16 - a. Which is greater: 0 or u?
0
Let a = 0 + 4. Suppose 3*y = 3*f + 9, 0*y + f = -a*y + 7. Let j be 26/10 - 2/(-5). Which is smaller: j or y?
y
Let k(u) = u**3 + 3*u**2 - u - 3. Let b be k(-3). Let o = -107 + 1817/17. Is o < b?
True
Let v be (-2)/(-3)*15/2. Suppose v*z + 3*q = 35, 0*z - 11 = -4*z + q. Let p = z - 2. Which is smaller: 1 or p?
1
Let b = -1.4 - 0.6. Let k = -1.75 + 1.95. Does b = k?
False
Let j = -2036/1155 + -44/105. Is -1 bigger than j?
True
Let x(m) = -m**3 - 5*m**2 + 7. Let f be x(-3). Is f equal to -11?
True
Let k = 17 + -31. Which is bigger: k or -15?
k
Suppose 0 = -7*d + 3*d + 48. Which is greater: d or 4?
d
Let m = -7 - -1. Let o(p) = -p**3 - 6*p**2 - p - 5. Let a be o(m). Let n = 578/9 - 64.