and z equal?
False
Let m be (-5)/(-160)*58/(-5). Let v = 3/80 - m. Which is greater: -1 or v?
v
Let n be (-3*10/(-72))/((-6)/4). Which is greater: -1 or n?
n
Let p = -0.1 - 0. Let z = 14.01 - 14. Is p <= z?
True
Let m be 6/3 + -5 + 1. Is m greater than -2?
False
Let i = -5 - 0. Let f(h) = -h**3 + 5*h**2 + h - 4. Let s be f(5). Suppose s - 5 = z. Are i and z non-equal?
True
Let u be (((-4)/45)/(-1))/(-1 - 5). Which is bigger: -1 or u?
u
Let m be (-10)/45 + (-74)/(-9). Let z(k) = k**3 - 9*k**2 + 7*k + 10. Let c be z(m). Let s be (c/(-8))/(-4 - -3). Do -1 and s have the same value?
False
Suppose -18 = 3*t - 3*c + 117, 0 = -t + 4*c - 60. Is -39 less than t?
False
Let s(f) = -f - 8. Suppose -7*m - 5 = -6*m. Let p be s(m). Is p greater than or equal to -2?
False
Suppose 6*r - 2*r = 0. Suppose r = i + s - 4, i - 2*s - 1 = -3. Which is smaller: i or 3?
i
Let l = -14 - -15. Suppose -6 = -5*b - l. Is 2/29 != b?
True
Let a = -1/19 + 21/38. Which is smaller: -3/8 or a?
-3/8
Let g be (8036/(-390))/7*3. Let s = 120/13 + g. Which is bigger: 0.8 or s?
0.8
Suppose 0*y - y - 9 = 3*i, -4*y - 4*i - 12 = 0. Let l be (-1 - (7 - y))/(-2). Suppose 3*c + 3*k - 3 = 0, -l = -2*c - 5*k + 4. Do -2/5 and c have the same value?
False
Let x(j) = -j**3 + 5*j**2 + j - 5. Let i be x(5). Suppose d + d + 4 = i. Do -1 and d have the same value?
False
Suppose 3*d - 8 + 8 = 0. Are 1/10 and d equal?
False
Let x be ((-2)/(-8))/(7/16). Let o be -2 - 1*(-14)/6. Which is smaller: o or x?
o
Let h = 8.7 - -0.3. Let n = h + -9. Which is bigger: -0.1 or n?
n
Suppose 0 = 4*p - 2*i + 74, -2*p - 3*i - 33 = -0*p. Which is bigger: p or -16?
-16
Let t(m) = m - 3. Let k(x) = 3*x - 7. Let u(h) = 2*k(h) - 5*t(h). Let c be u(2). Let b = -7 + c. Which is smaller: b or -1?
b
Suppose 3*h - 5 = g, -5*h + 2*g = -0*h - 9. Is 1/13 at least h?
False
Let m(u) = u**2 - 2*u - 1. Let p be m(5). Let r be (96/p)/(-2) - -2. Which is smaller: r or -1?
r
Let s(h) = 1 + 2 + 5*h + h**3 + 1 - 7*h**2 + 3. Let x be s(6). Let c = -43 - -302/7. Which is smaller: x or c?
c
Let a be (-5)/2*(-2 - 0). Which is greater: a or 7?
7
Let b(v) = -v**3 - 2*v**2. Let j be b(-2). Let o be 54/(-11) - -2 - -2. Let f = o - -28/55. Which is smaller: j or f?
f
Let g = -14 - -12. Let a be (7/(7/g))/(-8). Which is smaller: 1 or a?
a
Let g = -66 + 94. Do g and 29 have the same value?
False
Let z(u) be the first derivative of 5*u - 7/3*u**3 + 3 + 3*u**2 + 1/4*u**4. Let k be z(6). Is k smaller than 4?
False
Suppose -l - 3*z - 2 = -9, 5*z = 3*l + 7. Is 0 less than l?
True
Let n be 3/2*(-4 + 16). Let v = 30 - n. Does 13 = v?
False
Let a(q) = -q**3 - 4*q**2 + 7*q + 2. Let c be a(-5). Is c at most as big as -9?
False
Let v be 8/(-10)*5/(-2). Suppose -v*d - 16 + 3 = -3*k, -5*k = -25. Let n be 0/(d*3/(-3)). Are -0.1 and n equal?
False
Let d = 0 + 4. Let a be (4 - 3)*1/d. Which is smaller: 3 or a?
a
Let t = 0.08 - 0.88. Let u = 0.5 + t. Is u at most 2/5?
True
Let i = 12 + -10. Is i less than 3/8?
False
Suppose -4*p - p - 2*c = -14, -9 = 3*c. Let i(j) = -j**3 + 4*j**2 - 3*j + 6. Let n be i(p). Let t be ((-1)/2)/(n/9). Which is smaller: 2 or t?
t
Suppose -3*b - 4*g + 4 = 0, 4*g - 4 = -0*b - b. Suppose b = 4*y - 2*y. Suppose y = -i + 4*i + 6. Which is bigger: -4 or i?
i
Let r = 0.4 - 0.4. Which is smaller: r or 40?
r
Let a be 0 - -5 - (2 - 3). Let u = -63 + 108. Let t be 235/u + (-4)/18. Which is bigger: a or t?
a
Let g be (-106)/(-22) - 8/(-44). Suppose q + 41 = 5*q + g*i, 0 = -3*q - 4*i + 32. Let f be 2 - (q + 2) - -3. Which is smaller: 2/17 or f?
f
Suppose -3*m + 2*m = 8. Which is greater: -7 or m?
-7
Suppose 0 = -5*j + 5*u + 14 + 6, u = 1. Let o = j + 1. Suppose -k = -o*k. Is -2 >= k?
False
Let z be (14 + -1)/1 + (-2 - 2). Does z = 0.06?
False
Let x = 18005/1743 - -2/581. Is x less than or equal to 11?
True
Let l(d) = 9*d**3 - 20*d**2 + 13*d - 19. Let h(i) = 5*i**3 - 10*i**2 + 6*i - 9. Let n(r) = -7*h(r) + 4*l(r). Let y be n(9). Which is smaller: -5/2 or y?
y
Suppose -3*q + 4*q = -15. Let u be 18/q - 4/(-20). Let m be (-1 + 3 + u)/1. Is m bigger than 1?
False
Let u = -0.31 + 0.4. Let c = u + -4.09. Which is smaller: c or -2/7?
c
Let c = 67 - 63.1. Let o = -3.89 + -0.11. Let i = o + c. Is -0.5 less than i?
True
Let s(d) = 22*d + 1. Let o be s(4). Suppose 29 - o = -4*a. Let c be (2*2/a)/(-2). Is c less than or equal to 0?
True
Suppose 0 + 33 = -g. Let a = 97/3 + g. Which is bigger: 3/5 or a?
3/5
Let p be (-6)/(-14) - (-810)/21. Let a = p + -193/5. Which is greater: a or -1?
a
Let n(m) = 2*m - 13. Let u be n(7). Let w be 1/(-3)*6/8. Which is smaller: w or u?
w
Let f = 1/6 - 2/3. Let b be 1/4 + (-35)/4. Let r = b + 9. Which is smaller: f or r?
f
Suppose -3*h + 146 = -22. Let f be (5/(-20))/(3/669). Let j = f + h. Which is greater: j or -5?
j
Let r = 590534537/472107085 + -2/1600363. Let c = r + -3/59. Is 0 < c?
True
Let r be (-91)/77 + (2 - 1). Is r bigger than -1?
True
Suppose 2*u - 5*z = -0*u - 26, 4*z - 16 = 0. Is 5 >= u?
True
Let c = 0 + 0.8. Let w = c + -1. Let s = 0.076 - 0.076. Are s and w non-equal?
True
Let r be 1*((-9)/15)/(3/15). Which is greater: 0 or r?
0
Suppose 4*h = 3*h - 15. Is h at least -16?
True
Let t = 47 - 34. Let f = 12 - t. Is f > 0.4?
False
Let n = 0 - -1. Let j = -9 + 4. Let x = j + 5. Is n less than or equal to x?
False
Let y = 1/53 - 694/265. Is -3 greater than or equal to y?
False
Let h = 22.66 + -0.66. Which is greater: h or 2?
h
Let i = -73 - -68.9. Let w = -4 - i. Which is smaller: 3 or w?
w
Suppose -5*y - 32 = -12, 0 = 3*v + 5*y + 89. Which is smaller: v or -24?
-24
Let o = -5 - -3.8. Is o equal to -4?
False
Let r = 86 + -175/2. Is -2 greater than or equal to r?
False
Let h = -123 + 145. Are 23 and h equal?
False
Let a = -42 - -27. Is a > -14?
False
Let c(s) = -s**2 - 6*s + 6. Let z be c(-7). Let j = -6/6367 - 579157/254680. Let b = j - -15/8. Is z greater than b?
False
Suppose -4*b + 30 = b. Let i be b/12*(-8)/10. Which is smaller: -1 or i?
-1
Suppose -4*r - 2*n = 78, 7*n = 3*r + 3*n + 53. Which is bigger: -20 or r?
r
Let s(r) = -2*r**2 + r + 5. Let x be s(3). Is x >= -12?
True
Let j be (-3)/12*-4 - 7. Let z = j + 13/2. Which is bigger: 5/2 or z?
5/2
Suppose 4 = h - 2*h. Let w be h/(-14) + (-16)/7. Are 0 and w non-equal?
True
Let t = 0.8 + -0.71. Which is smaller: -1 or t?
-1
Let i = 29 - 25. Which is smaller: i or 5?
i
Suppose 0*v - 2*v = 0. Does -1 = v?
False
Suppose -11 = 2*c + 3*k, 3*k + 6 + 0 = 3*c. Let y be (3/(-33))/((-1)/c). Do y and 1 have the same value?
False
Let q = 4/491 + -4978/8347. Is q equal to -2?
False
Let v = -0.1 - 2.9. Let n = 0 - 3. Let j = n - -3.1. Is j at least as big as v?
True
Let p = -31 - -26. Is -32/5 less than p?
True
Suppose -5*g = 0, 8 = p + g - 3*g. Suppose -7 = 3*w + p. Is w not equal to -6?
True
Let n be 1/(-7)*(1 - -1). Let t(q) = -q + 1. Let w be t(2). Which is smaller: w or n?
w
Let t = -0.45 + 0.35. Is t > -5?
True
Let b(j) = j**3 - 15*j**2 - 16*j + 2. Let f be b(16). Suppose -f*l + 3*h + 5 = -0*l, -2*h - 4 = -2*l. Which is smaller: l or 10/9?
l
Let t be -1 + (-3 - -5) + 0. Suppose 0 = r + 4*l - 1 + 58, 4*r = -2*l - 186. Let u be r/84 - 2/(-8). Is t smaller than u?
False
Let s(b) = b + 2. Let l be s(0). Suppose 4*u = l*u + 4. Let k be (0 + 6/(-4))*u. Is k greater than -3?
False
Let j be (6/(-8))/((-3)/(-2)). Suppose -5*t + 7 = -r, -18 = -0*r - 4*r - 3*t. Suppose r*p + 7 - 1 = 0. Are j and p equal?
False
Let p = -10 + 10. Which is bigger: p or 0.02?
0.02
Suppose 5*i = -5*a + 185, -2*a + 64 = -2*i - 10. Let v = 14 + -9. Suppose -v*k - 7 = -a. Which is greater: k or 5?
k
Let s = -6854/2795 - -32/13. Does s = 1?
False
Let r be (-39)/27 - -2 - 3/9. Let k = 1.1 + -1. Is r smaller than k?
False
Let u(z) = -z. Let q be u(-2). Do -1 and q have different values?
True
Let f be ((-6)/(-8))/((-2)/8). Let w be f/5*-3*5. Let k = -13 + w. Do k and -4 have the same value?
True
Let c(d) = d**2 + 3*d - 4. Let v be c(-4). Suppose 4*q - 5*q + 3 = v. Let g be ((-6)/(-3))/(1 - q). Is g less than -3/5?
True
Let v(q) = -2*q - 2. Let p be v(-2). Suppose 3*d - 2*k = 11, k = -3*d + p*k + 10. Is 4 < d?
False
Let m = 7 - 7.3. Let j = m - -0.2. Which is smaller: -2 or j?
-2
Let h = -3 + 3. Suppose -4*r + 9 + 23 = h. Is r greater than 8?
False
Let w(k) = -k**3 - 8*k**2 + 9*k - 10. Let d be w(-9). Are d and -10