big as -0.3?
True
Suppose 0 = -15*k + 11*k + 8. Suppose 4*c + 16 = -4*u + 2*u, 0 = u - k*c + 12. Which is bigger: -8 or u?
-8
Let h = -19 - -15. Is -1 greater than or equal to h?
True
Let l = -8495/24 + 354. Suppose -y - m = 2*y - 5, -y + 3*m = 5. Which is bigger: l or y?
y
Let b be ((-10)/(-70))/(2/12). Is b != 1?
True
Suppose 3 - 1 = -o. Suppose -6*w + 16 = -2*w. Suppose -k - 1 = 2*z, -k + 5*z - w = 4*z. Is k greater than o?
False
Suppose -14*h = -10*h + 32. Let c(g) = 5*g + 2. Let a be c(-2). Is a greater than or equal to h?
True
Let q be -1 - -1 - (-2)/24*4. Is q greater than -1/10?
True
Let x(s) = -2*s**2 + 6*s + 14. Let o be x(6). Do o and -22 have different values?
False
Let h = 27.94 + -28. Let d = 0.3 - 0.24. Let q = d + h. Is -1/2 not equal to q?
True
Let z = -533/54029 - -5/1671. Which is bigger: z or -1?
z
Let t = -4.05 - -4. Let q = t + 0.1. Let a be (-4)/6*(-3 + 2). Which is smaller: a or q?
q
Suppose -7 = 2*d - 9. Do -2/37 and d have different values?
True
Let j = -2325/8 - -291. Let b(q) be the second derivative of q**5/20 + q**4/6 - 2*q**3/3 - 2*q**2 + 4*q. Let p be b(-3). Which is smaller: p or j?
p
Let z be 10/15*10/4. Is z greater than 1?
True
Let y = 8 - 8.1. Which is greater: y or -9?
y
Let q(p) = -p**2 - 10*p - 12. Let o be q(-8). Suppose 5 = d + o*d. Which is smaller: 2/35 or d?
2/35
Let g(k) = -2*k. Let w be g(18). Are -36 and w unequal?
False
Let h = -17/5 - -367/105. Does h = 0.3?
False
Let g = -1/6 - 1/12. Is -1 smaller than g?
True
Let f = 26/15 + 28/5. Are f and -1 equal?
False
Suppose h - 23 = 4*x + 2*h, 0 = -4*x + 3*h - 27. Let c be 0/(3*x/9). Is c at least -1/7?
True
Let r = -1767 + 30048/17. Which is greater: 2 or r?
2
Let l = 97 + -108. Which is smaller: -2/5 or l?
l
Suppose 2*d + 1 - 5 = 0. Let a = 0 + -0.1. Which is smaller: d or a?
a
Let f = -12.9 + 13. Are 0.1 and f non-equal?
False
Let p = -119/689 + 1/53. Is 0 <= p?
False
Suppose 4*d + 8 - 32 = q, q - 16 = -4*d. Let z be (5*(-4)/(-30))/d. Let y be (1/2)/(1/(-2)). Is y >= z?
False
Let u(w) = -w + 5 - 4 + 0*w + 0*w. Let s be u(2). Which is bigger: s or 1/8?
1/8
Suppose n + 0 - 1 = 0. Let c be (-1)/n - (-3)/4. Which is greater: -3/2 or c?
c
Let r(o) = -o**3 + 13*o**2 - 17*o + 28. Let t be r(12). Do -32 and t have the same value?
True
Let a be (2/(-5))/((-21)/135). Which is greater: 4 or a?
4
Let t be 2/(-3)*(-9)/15. Let u be 1/(-3)*(-6 - 0). Suppose -2*c - 2*s + 4 = -3*c, u*c + 6 = 3*s. Which is smaller: t or c?
c
Let a = 14 - 14.02. Which is greater: -2/9 or a?
a
Let l = 28 + -29. Is l >= 1/59?
False
Let q = 0.06 - -0.24. Let g = 5.74 - -0.06. Let d = g - 6. Which is bigger: q or d?
q
Let b be (-11)/(-15) + 3/(-9). Let w = -2.4 - -2. Let f = w + 0.4. Which is smaller: f or b?
f
Let q = 134 + -1339/10. Is -0.3 > q?
False
Suppose 2*g + 3*m + m = -14, -3*g + 3*m + 6 = 0. Suppose 0*a - 2*a = 0. Is g equal to a?
False
Let s be 2/(-6) + (-112)/6. Let q(k) = -k**3 + 4*k**2 + 17*k + 8. Let d be q(7). Is s bigger than d?
True
Let v(a) = -a**2 + 4*a + 7. Let q be v(5). Let x = q - 7. Suppose 15 = -4*t + 3*i, 5*t + 3*i + 45 = -2*i. Which is bigger: x or t?
x
Let h be 6/(4 - 28/(-7)). Let r be (2/5)/((-2)/(-20)). Suppose -2*g = -6*g + r. Is g greater than h?
True
Let w be (10*(3 - 4))/1. Which is bigger: w or 0?
0
Let u(h) = h + 1. Let x(w) = -7*w - w - 6 + 3*w. Let q(k) = 6*u(k) + x(k). Let s be q(-3). Are s and -3 nonequal?
False
Let p = 85 - 83.4. Which is smaller: p or -0.2?
-0.2
Let j = 14 + -20. Let s = j - -3. Let v be ((-5)/15)/(1/s). Is v >= -3/7?
True
Suppose 0 = 2*b - 2*q + 4, 3*b = -2*b - 4*q - 37. Let x = -5 - b. Let m be ((-9)/(-15))/((-8)/5). Are m and x equal?
False
Let p be (93/(-42))/((-1)/(-2)). Which is greater: p or -5?
p
Let q(j) be the first derivative of -7*j - 1 - 1/2*j**2. Let t be q(-6). Is t > -2/3?
False
Suppose c + 3*y = -c + 7, -5*c - 5*y = -20. Let p be 1/c + (-63)/15. Are 1 and p non-equal?
True
Let o = -0.023 + 1.023. Is o less than or equal to 0.061?
False
Let g = -8 - -4. Let w = g + 8. Is 1 at least as big as w?
False
Suppose -3*l = 3*h - 3, -2*l + 4 = -4*h - 4. Let q(i) = -i - 1. Let k be q(l). Do -3 and k have the same value?
True
Suppose 4*y + 7 = 19. Suppose k = -2*k + y. Let x(l) = l**2 + 7*l + 1. Let m be x(-7). Is k greater than or equal to m?
True
Suppose 3*w - y - 41 = 0, -4*w - 29 + 87 = -2*y. Let a be -3 + (-8)/w - -3. Is a <= 0?
True
Let x = -0.05 + -0.95. Let q = x - -0.7. Let m = q - -0.3. Which is smaller: -0.4 or m?
-0.4
Let f = -12 + -36. Which is bigger: f or -1?
-1
Let w = 28 - 31. Is w at most 0.3?
True
Suppose 7 = 2*s - o - 5, 4*s - 18 = 5*o. Let b(i) = i**2 - 7*i - 5. Let z be b(8). Suppose 5*m + 1 = 4*u, -3*m - s = z*u + m. Is 0 greater than u?
True
Let p be ((-43)/(-4))/(10/(-40)). Is p smaller than -43?
False
Let j be (5/((-15)/(-12)))/22. Suppose -4*u - 6 = -5*d, -2*u = -0*d + 3*d - 8. Which is smaller: j or u?
j
Let u = 152 + -130. Which is bigger: 21 or u?
u
Let m be 0 - ((-4)/6 + 2). Suppose -4*g - g - 10 = 0. Is g at most as big as m?
True
Let f be ((-529)/(-5))/(36/(-45)). Let k = 134 + f. Which is smaller: 2 or k?
k
Let b = -3417/13 - -263. Let l be (-12)/((-5)/(30/(-9))). Let j = l - -7. Is j at most b?
True
Let i = -4 - -29. Suppose -a + s = -i, 3*a - a = -2*s + 46. Let j be 6/(-28)*a/(-9). Is 1 less than or equal to j?
False
Suppose 5*a + 30 = 5*h - 0*h, -h = -5*a - 10. Which is greater: a or -4/3?
a
Let c be (-10)/(-3) + 2/(-6). Suppose -27 + 12 = c*l, k = 3*l + 9. Let h = k - -6. Do 4 and h have the same value?
False
Suppose -2*d + 5*b + 25 = 0, -8*b + 3*b = 5*d + 25. Suppose d = -a - 11 + 3. Is a at least -7?
False
Let w be -1*((-6)/20 - (-2)/4). Which is smaller: w or 0?
w
Let f = -3.8 - -1.8. Is 1/2 at least f?
True
Let c be 10 + (-1 - (0 - 2)). Let v(t) = t**3 - 11*t**2 + 1. Let s be v(c). Let x be s*(1 - (0 + 2)). Is -1/2 > x?
True
Let l = 0.4 - -0.1. Let g = l + 1.5. Do g and 0.1 have the same value?
False
Let u(a) be the third derivative of -a**6/30 - a**5/60 + a**3/6 + a**2. Let g be u(-1). Let q be (-6)/((-6)/g*-1). Is -4 greater than or equal to q?
True
Let q = -0.36 + 0. Is 0 greater than q?
True
Let h = 5.09 - 5. Let k = h - 0.99. Let n = -0.9 - k. Which is bigger: n or -2?
n
Let r(c) = c. Let f be r(2). Let v = 1 + f. Is v not equal to 3?
False
Suppose -2*p - 5 = 5*f, -5*p - 3 = 4*f + 18. Is 2/7 smaller than f?
True
Suppose -5*c - 2*j = -0*j + 265, -190 = 3*c - 5*j. Is c < -55?
False
Let b(j) = j - 5. Let c be b(5). Suppose 3*a + a - 8 = c. Which is bigger: 5/4 or a?
a
Let y = 31 + -39. Is 1 less than y?
False
Let c = 19 - 19. Let h be -2 + ((-2)/(-23) - -2). Which is smaller: h or c?
c
Let a = 33/2 + -12. Is a less than or equal to 5?
True
Let m be (-5)/(-10) - (-51)/(-6). Let w = m + 9. Which is greater: w or 3/5?
w
Let i = 4 - 7. Let z be ((3/(-1))/1)/i. Does 1/5 = z?
False
Let i be 4 + (-3 + 1)*1. Which is greater: i or -3?
i
Let u be (-16)/684*(-3)/2. Which is bigger: -1 or u?
u
Let m = -60 - -58. Is 0 > m?
True
Let a be (1 + 5/1)/3. Is 4 greater than a?
True
Let w(g) be the third derivative of -g**6/120 + g**3/3 + 2*g**2. Let j be w(0). Let n be j*(-5)/(-2) + -1. Do n and 4 have the same value?
True
Let c = 0.4 + -0.8. Let o = c - -0.2. Which is greater: -3/8 or o?
o
Let j = -8 + 15. Let m = j - 7.6. Let w = -0.4 + m. Is w at least as big as -1?
True
Let q be 12/15*(-5)/(-2). Let v be ((-1)/2)/((-210)/202). Let g = 2/105 + v. Is g bigger than q?
False
Let p be (-2)/3 - 723/9. Let r be (-2 + (-156)/p)*-6. Let h = -7/9 + r. Is 6 >= h?
True
Let s = 21 - 18. Suppose -4*o = -7*o - 3. Which is greater: o or s?
s
Let f be (4 + -1 - 4) + -15. Let q = -8 - f. Is 8 greater than q?
False
Suppose -v - 2 + 4 = 0. Is v > 6/5?
True
Let m(f) = -f**2 - 4*f + 4. Let p be m(-4). Suppose 7*d = p*d + 3. Let s be (-1)/2 - (-1)/2. Which is smaller: d or s?
s
Let l be (2/(-4))/(3/(-102)). Let v = 14 - l. Which is greater: -5 or v?
v
Let p be (-23)/(-6) - 3/(-18). Suppose 39 = 4*x + d + 139, -p*x - 100 = 3*d. Let a be 10/x + 56/(-10). Which is greater: a or -5?
-5
Let w = 1 + 5. Which is bigger: w or 1?
w
Let p = -3.1 + 5.1. Is p > 5/4?
True
Let l = -188/55 - -42/11. Does 1/3 = l?
False
Let a = -86 - -772/9. Is -1.3 greater than a?
False
Let a = -15 - -15. Is 0 at most as big as a?
True
Let p(r)