v be (-35)/45 - (-2)/(-9). Let m be 8/8*(-1 - -1). Are v and m equal?
False
Let y(v) = -v + 8. Let t be y(9). Is t less than or equal to -2/111?
True
Suppose 0*l - 92 = 2*l. Let y = l - -320/7. Which is smaller: y or 6?
y
Let y = -0.102 + 0.002. Is -23 less than y?
True
Suppose 0 = -l - 5 + 1. Let w(g) = -g**2 - 3*g + 5. Let p be w(l). Let v be 5 - 6 - (p - 1). Is v less than or equal to 1/8?
True
Let g = 5 + -9. Let i = -6 - g. Is i less than or equal to -1?
True
Let o = -126 - -125.51. Which is smaller: o or -0.1?
o
Let w = 5/3 + 1. Which is smaller: 1 or w?
1
Let i(d) = -d**3 - 9*d**2 - 6. Let g be i(-9). Which is bigger: g or -1?
-1
Let b be -3 - ((-57)/21 + 0). Which is smaller: b or -3/5?
-3/5
Let u(z) = 9*z - 7. Let r(f) = 1. Let o(t) = -6*r(t) - u(t). Let b be o(5). Let i be (-2)/(-1) + 99/b. Which is smaller: 1 or i?
i
Suppose -5*k + 6*k = -20. Let m be 2/(-12)*(-30)/k. Is 1 greater than or equal to m?
True
Suppose 0*t + t - 5*d - 5 = 0, -2*t = -d - 10. Suppose -4*c + 0 + 16 = 0. Which is bigger: t or c?
t
Let j be 5 - 2 - (-99)/(-35). Let y = j - 88/105. Is 0.2 != y?
True
Suppose 0 = -0*q + q - 4. Is 5 at least as big as q?
True
Let f = -51/16 - 49/16. Which is bigger: f or -5?
-5
Let p = 0.1 - 0. Let b = 9 + -5. Suppose -b*g = -g. Which is greater: g or p?
p
Let d = -8 - 4. Let r = 17 + d. Suppose 0*p = r*p - 25. Is 4 at least p?
False
Let w = 8 + -9. Suppose 0*z = -z + 6. Suppose r = -r + z. Which is greater: w or r?
r
Let o = -88/3 - -29. Which is greater: -3 or o?
o
Suppose 2*z + 2*z = 0. Let n be z/((1 - 3) + 3). Let t be 1/(-6)*6/(-4). Is t greater than or equal to n?
True
Let o = 56 + -40. Does 16 = o?
True
Let z(t) = t + 3. Let u be z(-6). Let g be (-3*1/u)/1. Let s(i) = i**2 + 10*i - 1. Let v be s(-10). Is v less than or equal to g?
True
Let d(g) = -g**2 + 4*g - 11. Let u be d(8). Let n = u - -905/21. Which is bigger: n or 1?
1
Let k be (212/(-24) - 9/6)*-3. Which is smaller: 30 or k?
30
Let m = 5 + -5. Is 1/20 less than m?
False
Let s = 6/5 - 32/35. Let n = -3 - -2.9. Which is smaller: n or s?
n
Let h(t) = 6*t**3 + 1. Let f be (-2)/(-5) + 12/20. Let y be h(f). Which is bigger: y or 8?
8
Suppose 20 = -y - 6. Let s = -129/5 - y. Is 0.1 equal to s?
False
Let u(p) = -p**3 + 6*p**2 + 7*p + 2. Let n be u(7). Suppose -a = 4*k - 53, -k - n*a + 20 = -2. Which is bigger: k or 11?
k
Let c(d) = 3*d - 7. Let x be -1 + (2 - -7) + -2. Let q be c(x). Let p = q - 7. Are 4 and p non-equal?
False
Let c(r) be the first derivative of r**4/4 + 3*r**3 + 9*r**2/2 + 9*r - 5. Let i be c(-8). Is -1/16 at most as big as i?
True
Let d(b) be the first derivative of b**4/4 + 4*b**3/3 + b**2/2 + 3*b - 2. Let v be d(-4). Is -2/15 equal to v?
False
Let f be (-1 + (-1)/(-2))*0. Suppose f = 2*o - o + 1. Is -1/7 at least o?
True
Suppose 32 = -3*d + 7*d. Suppose -6*k + 9 = -3*k. Suppose -k*x = 4*i - 2*x + 1, -x = -3*i + d. Which is smaller: 1/3 or i?
1/3
Let d = 28 - 27. Is 3/4 greater than d?
False
Let v = 3.055 + -0.055. Is v < -4?
False
Let a be (3 - (3 - -3)) + 10. Let y = a + -4. Which is greater: y or 2?
y
Let s be 3/(-21)*12/4. Suppose 0 = -5*c - 4*o + 1, -5*o - 9 = -c - 3*c. Is c bigger than s?
True
Let d = -2 + 8. Is d <= 6?
True
Suppose 3*m + 0*m = 4*g + 29, 3*m = -2*g - 1. Suppose -3*f - m = 2*z + 4, -z = -f - 4. Which is smaller: -2 or f?
f
Let s be 6/4 + (-20)/8. Is -3 at least s?
False
Let b = 31 + -30.8. Which is greater: b or 16?
16
Suppose -6*b - 6 = -30. Which is smaller: 0 or b?
0
Let f(y) = -y**3 + 4*y**2 + 7*y - 9. Let c = 28 + -23. Let w be f(c). Let p = 29/8 - 23/8. Does w = p?
False
Let s be -1 + (0 - -2) - 1. Are s and 0 nonequal?
False
Suppose 6 = 3*s, 4*t - s + 2 = -0*s. Let n be ((-3)/(-4))/(t + 2). Let x = 7/40 - n. Which is bigger: 1 or x?
1
Let b = -117 + 133. Do 15 and b have the same value?
False
Let g = 0.3 - 0.3. Let k be 1 + (80/(-15))/8. Is k at least as big as g?
True
Let c be ((-4)/12)/((-4)/268). Is c != 22?
True
Let c = -63/5 - -72/5. Which is greater: 2 or c?
2
Suppose -15 = 3*t, 2*t - 4 = -p + 1. Suppose 0*y = -5*y + p. Let m(b) = b + 9. Let s be m(-6). Is y at least s?
True
Suppose -3 = -5*v + 7. Let u be v/(-10)*10/4. Let o be ((-6)/9)/(1 - -2). Is u greater than or equal to o?
False
Let s = 13 + -13.07. Let x = 19.97 - 20. Let h = s + x. Which is smaller: 2 or h?
h
Suppose -r + 28 = 3*r. Suppose w + r = 8. Which is smaller: 1/16 or w?
1/16
Let i be 10/6 + 1/(-1). Is i greater than 0?
True
Let n = -39/5 - -53/10. Are n and -3 unequal?
True
Let j = -24 + 145/6. Let s be 6/(-4)*4/(-3). Suppose -4*q - s = 2. Which is greater: j or q?
j
Suppose 2*j - 28 = 14. Is j smaller than 0.1?
False
Let x be 2 + (-2)/((-18)/(-33)). Suppose -q - 1 = 0, -2*k - 3*q = -0*q + 7. Is x at most k?
False
Let o be ((-12)/104)/((-6)/8). Which is smaller: o or -1?
-1
Let u(j) = j + 1. Let i be u(1). Let v be -1*i - 26/(-14). Which is smaller: v or 0?
v
Let l = 0.1 - 6.1. Let n = l - -1. Let w = n - -6. Is w not equal to -2?
True
Let l be -2 + 3 + (3 - (8 - 3)). Is l at most 1/15?
True
Let a be (-161)/10*2*-2. Let k = 64 - a. Which is bigger: -1 or k?
k
Suppose -4*k + f = 227, 5*k + 0*f = -2*f - 287. Is k at least -57?
True
Suppose -5*a + 2*p + 35 = 7*p, 2*a - p = 5. Let g be ((-10)/4 - 0)*a. Let o(q) = q**3 + 11*q**2 + 11*q + 15. Let k be o(g). Which is smaller: 4 or k?
4
Let t be ((-4)/(-6))/(5/90). Let f be -2 - ((-63)/t + 3). Let s = -0.1 + 0.3. Is f >= s?
True
Let d = -22/39 + 17/78. Let v = d - 2/13. Which is bigger: -2 or v?
v
Let h = 13 + -10. Which is greater: -1 or h?
h
Let h(p) = 2*p + 18. Let k be h(-9). Is -13 less than k?
True
Let o be (-6)/(-4)*(-2)/3. Do 1 and o have the same value?
False
Suppose -6 = 7*t + 36. Is -13 at most t?
True
Suppose -12 = -3*m + 7*m. Let l(i) = i**2 + 0*i**2 + 5*i - 6*i + i**3. Let x be l(-2). Which is smaller: m or x?
m
Let r = 233903591/33756 - -43/8439. Let a = -6982 + r. Let q = a + 52. Which is greater: q or -0.1?
-0.1
Suppose 0*q + 3*l = -2*q - 10, -4*q - 4 = 2*l. Suppose 4*m + q = 5. Is m bigger than 4/7?
True
Suppose 35 = 5*r + 5*g, -5*r + 9 + 20 = 3*g. Let k(z) = -4*z + 137. Let a be k(33). Is r at most as big as a?
True
Let d(p) = -p**2 - 15*p - 13. Let a be d(-14). Let b be (-2)/(-4) + 39/(-70). Is b at least a?
False
Let p = -4 - -9. Let q = 2 - p. Which is smaller: q or -6?
-6
Let t = 1 - 0. Let y = 1184 + -9485/8. Let x = y - -7/4. Which is smaller: t or x?
x
Suppose -2*z - 2*u = 16 + 2, -2*z - 4*u - 28 = 0. Which is greater: -1 or z?
-1
Let f(c) = -c + 7. Let z be (16/(-10))/((-2)/10). Let o be f(z). Let l be o/2 - 39/(-42). Is 0 bigger than l?
False
Let p(g) = g + 3. Let s be p(0). Let o(n) = -n + 2*n**3 - 3*n**s + 0*n**3 - 1. Let m be o(-1). Are m and -2 non-equal?
True
Let r be -1 - (-114)/(-42) - 0/(-1). Are r and -3 equal?
False
Let b(m) = m**2 - 7*m + 7. Let n be b(6). Do n and 2/355 have the same value?
False
Let i be (15869/42)/(133/(-9)). Let q = -9/133 - i. Let u = q + -25. Is 1 at most as big as u?
False
Suppose -49 = 2*q - 49. Is 3 greater than or equal to q?
True
Let y be (1/1)/(2 + -11). Let k = 260494/63 - 4135. Let j = y + k. Which is bigger: -1 or j?
j
Let d be (6*5/50)/((-4)/(-5)). Is d smaller than 0?
False
Suppose 24*i - 21*i + 3 = 0. Is i not equal to 2/15?
True
Let h = -0.02 - -0.06. Let z = h + 0.31. Let f = -0.05 + z. Which is smaller: f or -1?
-1
Suppose q + 3*q = -3*r + 18, -4*q + 4*r = -4. Suppose -q*l + 8 = 41. Let j be 2/l - (-19)/44. Is j > 1?
False
Let k be 78/8 - (-8)/32. Do 10 and k have different values?
False
Suppose -18 = 2*y - 4*y - 4*k, k - 8 = -4*y. Let h(m) = m**3 + m**2 - 3*m - 2. Let a be h(-2). Suppose a*j = -3*j + 9. Is y less than j?
True
Let w(d) = d**2 - 7*d + 9. Let a be w(6). Suppose a*l - 2*l = 0. Let r be ((-12)/75)/(12/(-10)). Do l and r have different values?
True
Suppose 5*j = -3*i + 17, 2*i + 2*i - 2*j = -12. Let h be (-69)/(-15) + (-6)/10. Suppose -m = a + h, -5*m + 2*a - a + 10 = 0. Which is smaller: i or m?
i
Suppose -5*y = 5*n, 4*n = 2*y - 4*y. Let a = -3.7 + 3.67. Which is bigger: a or n?
n
Let w = 0 + -6. Let i = w + 8. Let g = -567 - -565. Which is bigger: i or g?
i
Let b(l) = l**3 - 6*l**2 + 5*l. Let k be b(5). Suppose k = 5*j - 4*j. Is j bigger than -2/11?
True
Let p be 3 + (-3)/((-84)/(-82)). Let c = -6 + 6. Which is gre