257/10. Let i = -411/170 + o. Are 1 and i nonequal?
True
Let k be (0 - 0)/(0 + 1). Suppose k = c - 1 - 1. Suppose 2*p = -c*p + 8. Is p at most 1?
False
Suppose 3*g - 1078 - 20 = 0. Let a = g + -5492/15. Is a at most as big as -1?
False
Let o be 1 - (-958)/(-5) - 2. Let j = 192 + o. Is -3 smaller than j?
True
Let h(w) = -w**2 + 10*w - 18. Let i be h(8). Are i and -2 non-equal?
False
Let u(n) be the third derivative of n**4/12 + n**3 - 5*n**2. Let y be u(-3). Are 8/7 and y nonequal?
True
Suppose -4*b + 2*k = 2, k - 1 = 5*b - 0. Which is smaller: -2/7 or b?
-2/7
Let f = 1109 - 4413/4. Which is bigger: f or 7?
7
Let o be (-10)/4*8/(-5). Suppose -2*p - 8 = -h, 0*h + 32 = -o*p - 2*h. Which is bigger: p or 0?
0
Suppose -r - 5*v = -27, -2*r + 26 = 4*v + 2. Let f = r - -4. Let l = -8 + f. Which is smaller: -4 or l?
-4
Suppose 0 = 4*l - 2*l - 26. Is l greater than or equal to 12?
True
Suppose 0 = 2*g + 3*g. Let x = -896 - -42114/47. Which is bigger: g or x?
x
Let u(j) = 3*j + 1. Let c be 9/(-7) - 8/(-28). Let n be u(c). Let x be -1 - 3*1/n. Are x and 2 non-equal?
True
Let i(o) = 6*o**2 + 3*o - 14. Let v(x) = -5*x**2 - 4*x + 13. Let c(y) = 4*i(y) + 5*v(y). Let u be c(-9). Suppose -m + u - 1 = 0. Are m and -1 equal?
True
Let k(m) = 2*m**2 + 2*m - 2. Let f be k(-2). Let x be 364/35 + 4/(-10). Suppose -q - t - x = t, -q + t + 5 = 0. Is q less than or equal to f?
True
Let p = 2/1607 - -17671/4821. Does 3 = p?
False
Let j = 40 + -34. Which is greater: 40/7 or j?
j
Suppose r - 2*k - 6 = 0, 3*k - 20 = -2*r - k. Let y be r/6*27/6. Suppose -4*f - y = -f. Is f < -1?
True
Let n(w) = w**3 + 6*w**2 + 6*w + 6. Let t be n(-5). Suppose 0 = 3*p + t + 5. Let l be (5/25)/((-6)/15). Which is smaller: l or p?
p
Let j = -0.31 - -0.97. Let z = 0 - -0.6. Let n = j - z. Which is greater: n or -2/5?
n
Let o = -47 - -48. Which is smaller: -9 or o?
-9
Let u = -33 - -58. Is u < 25?
False
Suppose 43*j - 47*j + 8 = 0. Is 21/8 at most as big as j?
False
Let a = -56427 + 395693/7. Let b = 101 - a. Do 2/9 and b have the same value?
False
Suppose -3*z = 2*z. Which is greater: z or -4/7?
z
Let q be (-1)/(-4)*(-96)/30. Suppose -5*f + 24 = 4. Suppose f*u + 0*u = 0. Are u and q equal?
False
Let g(f) = -3*f - 9. Let n be g(-3). Is n at least as big as 2/7?
False
Let i = 1955/9 - 217. Which is bigger: -1 or i?
i
Suppose -2*l = -3*j - 1, -5*l = 3*j + 8 - 0. Is -1/6 smaller than j?
False
Suppose 4*k - 4 = 5*l - 2*l, l = 5*k - 5. Let n = 0.29 - -0.01. Let d = -0.1 + n. Which is bigger: k or d?
k
Suppose -v - 3 = -6. Let z(q) = -q**3 - 5*q**2 - 4*q + 1. Let b be z(-4). Let u = v + b. Which is smaller: 5 or u?
u
Let g = 3/7 - 16/21. Let s = 0.01 + 0.19. Which is bigger: s or g?
s
Let m = -3 - -9. Let o(n) = -1 - 6*n**2 - n**3 + 7*n + 2 + 0*n**3 + 5. Let j be o(-7). Does m = j?
True
Let f(q) be the first derivative of q**2/2 + 2*q + 3. Let s be f(2). Let p be (s/(-6) - -2)/(-10). Which is greater: p or 0?
0
Let i = -114 - -103. Let l be (-1)/(-2) - (-50)/(-4). Which is smaller: l or i?
l
Suppose -2*h + 10 = 5*n, -4*n - h + 3*h = -26. Is n bigger than 4?
False
Let i = 1/115 + -233/345. Are -13 and i nonequal?
True
Suppose 2*c - 84 = 3*c - 5*z, 69 = -c + 2*z. Which is smaller: -60 or c?
-60
Suppose -8 = -2*z, -3*z - 2 = -4*u - 6. Suppose -3*r + 10 = u*r. Let c(x) = -x**2 + 2*x - 2. Let p be c(r). Is 0 <= p?
False
Let t = -12 - -18. Let o be (t/9)/((-2)/(-3)). Is 2/19 at least as big as o?
False
Suppose -14*d + 10*d = 0. Let g = -3 + 4. Let z be 1 + -1 - g - -2. Which is smaller: z or d?
d
Suppose -4*s = 2*l - 18, -4*s + 18 - 1 = l. Let h = 0 + l. Which is smaller: 8/5 or h?
h
Let n be (-24)/100*25/20. Does n = 0?
False
Suppose 3*j + 25 = -2*j. Let t = 1 - 7. Is t < j?
True
Let u = -25/44 + 9/11. Let r be 256/12 - (-4)/6. Suppose 3*t - r = -2*f - t, t - 4 = f. Which is greater: f or u?
f
Let u(j) = -j**3 + 2*j**2 - j + 2. Let h be u(2). Let d = h + 4. Which is smaller: d or 2?
2
Let x = -4 - -4.2. Let h = -0.3 + x. Let w = 43 - 171/4. Is h < w?
True
Suppose 0 = -7*t + 78 + 55. Does 18 = t?
False
Let u be (-1)/2 + (-49)/14. Let t be 2*2/(u/9). Is -10 less than t?
True
Let x be 1/((-15)/85) - -5. Is x greater than 4?
False
Let l = -0.8 - -0.5. Let p = -0.32 + -0.68. Which is smaller: l or p?
p
Let z = -32793/35 + 937. Is -2/7 at least z?
False
Let d(h) = h**2 - h + 60. Let b be d(0). Let l = -178/3 + b. Are l and 1 unequal?
True
Suppose 3 - 8 = -m. Suppose c + 4*c - m = 0. Suppose -4*h + 10 = -5*s, -5*s + 3*h + c - 11 = 0. Is -1 > s?
True
Suppose -10*r - 2 = -8*r. Is r smaller than 4/105?
True
Let j(n) = n + 7. Let m be j(-6). Let z = m - 6. Let t = z + 6. Is 1 not equal to t?
False
Suppose -c + 7*c = 0. Is c equal to -7/8?
False
Let m = -3 + 3.2. Let w = -0.1 + 0. Let t = m + w. Which is greater: t or 1?
1
Let d be 2 - (-1*2 + 4). Let f be d/((-4)/(-6)*-3). Does f = -1/5?
False
Let p be (-6)/19*(-2)/(-18). Are 1 and p nonequal?
True
Let k = 49 - 49. Which is smaller: 1/10 or k?
k
Let p(w) = -7*w**3 + w + 1. Let m be p(-1). Suppose 32 = -3*h + m*h. Which is bigger: 7 or h?
h
Let l(i) = -i**3 - 21*i**2 + 48*i + 47. Let q be l(-23). Which is bigger: q or 4/25?
q
Let z = -22 - -24. Let s(n) = n**3 - 3*n**2 - 2*n + 3. Let p be s(3). Let o be z + -3 + (2 - p). Is o not equal to 4?
False
Let s = -2/67 + 172/1273. Is -1 at least s?
False
Let g be (2 + -4)/(2/(-12)). Suppose -g*s = -8*s + 4. Is -2 at least s?
False
Suppose 0*j = 4*j. Let p = j + 1. Let r be (1/(-5))/(14/(-42)). Are p and r unequal?
True
Let j = 4 + -7. Let o be 2/(-8) + j/12. Which is bigger: o or -1?
o
Let j be (-8)/(-6) - (-2)/(-1). Is j < 3?
True
Let c(y) = 3*y**3 - y**2 + y - 1. Let f be c(1). Suppose 0*o + f*o - 10 = 0, -3*u + o = 5. Which is smaller: 1 or u?
u
Let p = -0.14 + 0.15. Let w = -0.19 - p. Let y = 6/13 + 1/26. Is y at most as big as w?
False
Let u(q) = q**3 + q**2 + q + 2. Let j(v) = -v**3 - 4*v**2 + 4*v - 5. Let h be j(-5). Let n be u(h). Is n >= 3?
False
Let p(n) be the second derivative of -n**3/6 + n**2/2 - n. Let b be p(-4). Suppose -b*u = -f - 3, 0*u - 5*f - 15 = 2*u. Are 2/11 and u non-equal?
True
Let g(o) = o**3 + 11*o**2 + 8*o + 9. Let h be g(-10). Which is bigger: h or 28?
h
Let w = 1264 - 7559/6. Is 0.1 greater than w?
False
Let y be (-28)/5*2/(-3). Let t = -18/5 + y. Suppose 2 = k - 0*z + 3*z, -3*k = 4*z - 1. Is k equal to t?
False
Let q = 2/145 + 284/435. Let r = 7 + -3. Is q != r?
True
Let c be 2/(-3)*6/4. Let i be 1/(c/(-4)) + -1. Suppose -2*w + 3*t = w - 6, -3 = -2*w + i*t. Which is greater: w or 5/2?
w
Suppose -2*x + 195 = -2*k - 67, -369 = -3*x - 5*k. Let n = x - 638/5. Is n at most as big as 2/5?
True
Let h = -0.4 - -8.2. Let f = -6 + h. Let l = -2 + f. Which is smaller: l or -2/5?
-2/5
Let x = -0.36 - -0.16. Which is smaller: x or -1/7?
x
Let z = -6.6 - -7.6. Let i = -3.07 - -0.07. Which is smaller: i or z?
i
Let k be 6*10/(-18)*-1. Which is greater: 2 or k?
k
Let r = 0.56 - -1.44. Which is smaller: r or 3?
r
Let s = -25/7 - -27/7. Which is greater: 1/4 or s?
s
Let v = -25 - -24. Which is greater: v or 2/7?
2/7
Suppose 3*p - 4*v - 14 = -3*v, 10 = -2*v. Let b = p + -6. Let i(s) = s**3 - 9*s**2 - 10*s - 4. Let a be i(10). Is a smaller than b?
True
Let j = 32 + -226/7. Which is smaller: 0 or j?
j
Let j be ((-10)/(-3))/((-20)/30). Suppose 0 = 3*t - 9. Suppose -3 = t*h + 9. Is j equal to h?
False
Let t = 332 + -2328/7. Suppose 5 = 2*r - 1. Suppose -2*a - r*s = -2, -a - 2*s - 2*s = -6. Which is bigger: t or a?
t
Let t be ((-12)/52)/(9/6). Does t = 1?
False
Suppose -5*i = -2*i + 69. Do i and -23 have different values?
False
Let d be -2 + -87 + 0 + -1. Let k be 16/d*(-3)/4. Which is smaller: k or -1?
-1
Let r be ((-6)/(-8) - (-5)/4)/(-118). Is r < 0?
True
Let k be (-16)/(-10) - 8/(-20). Suppose -4 + k = -n. Let m be (0 + 10)*4/70. Is n less than or equal to m?
False
Let y(v) = v + 2. Let l be y(-9). Let u be (-2)/(-7) - 208/l. Suppose 8*i = 3*i + u. Do 5 and i have the same value?
False
Let h(l) be the first derivative of -l**4/4 + 5*l**3/3 + 5*l**2/2 + 5*l + 2. Let t be h(6). Is -3 >= t?
False
Let i = 1.9 + -1.6. Let v = 0.05 + -0.35. Let s = v + i. Is 0 less than s?
False
Let z be 1 + 1 + 0 + 0. Suppose 3*k - 6 = 5*t, -2*t + z*k - 4 = -t. Let n = 1 - 2. Do n and t have the same value?
False
Let b(m) be the thir