(-36)/h)/(1/(-5)). Is j greater than or equal to -4?
True
Suppose 2*r + 6404 = -20004. Let w = 369619/28 + r. Let m = -32/7 - w. Which is smaller: -2/3 or m?
m
Let b = -46 - -47. Is b less than or equal to 1?
True
Let x(f) = f**3 - f**2 - 2*f - 4. Let a be x(3). Suppose -3 = -a*k + 9*k. Is -3 < k?
False
Suppose -5*g + 3*r - 17 = 0, 3*r - 5*r = -8. Let i = 469/90 + -46/9. Which is bigger: g or i?
i
Let b be (-64)/36 + 2/(-9). Suppose 4*f - 3*n = -11, -5*f = 2*n - 3*n + 11. Is b less than f?
False
Suppose 0 = 5*y - 20, -c + 0*c - 2*y = -11. Suppose 2*s - s = c*l - 10, 0 = -l - 2*s + 1. Is 3 < l?
False
Let x(o) = -o**3 - 2*o**2 + 6*o + 4. Let t be x(-3). Let h(i) = i**3 + 4*i**2 - 6*i - 8. Let g be h(t). Is -2 bigger than g?
True
Let b be ((-7)/(-35))/((-2)/(20/(-3))). Let a = 4 - 3. Is b > a?
False
Suppose -3*m + 0*m = 0. Suppose -2*b + 1 + 1 = m. Which is greater: 1/2 or b?
b
Let p be (-2)/5 + (-312)/(-855). Is p != 0?
True
Let c be (-1 + -3)/8*-8. Do 2 and c have the same value?
False
Let m = -2 + 2. Let x be 2 - (m/4 + 3). Is -2/15 equal to x?
False
Let g = 4/33 - 1/33. Let r = -3 - -4. Which is greater: g or r?
r
Let s be (-6)/(-21) + (-2)/7. Let k be (-1)/(-4) + -2 + 1. Which is smaller: k or s?
k
Let r = -1 + 1. Suppose 3*v + r*v - 6 = 0. Suppose 0*b = -2*i + 5*b - v, -5*i - 5 = -2*b. Are 0 and i non-equal?
True
Suppose -10 = 5*l - 3*l. Is -4 smaller than l?
False
Let g be ((-4)/(-3)*3)/1. Suppose g + 8 = 4*l. Let o be (-4)/l + (0 - -1). Which is smaller: -1/4 or o?
o
Let r = 1.2 - 9.2. Let m = -121 + 1087/9. Is r != m?
True
Let a = 277 - 8586/31. Is a smaller than 1?
True
Let g be (-23)/63 - 4/(-18). Let t be (-36)/(-10) - 2/(-5). Suppose -t*u + p + 2 = 0, -p + 6*p - 11 = -u. Is u <= g?
False
Suppose 0*c - 3*c + 63 = 0. Let u be 2/6 + 5/c. Suppose -15*v = -2*v - 26. Is v < u?
False
Suppose w = -4*w. Let g = 415 - 196. Let f = g + -2849/13. Which is greater: w or f?
w
Let o(i) = 3*i + 18. Let f be o(-6). Let t = 224/3 - 74. Which is greater: t or f?
t
Suppose 4*g = -v - 11, -2*v - 5*g - 22 - 6 = 0. Do v and -17 have different values?
True
Suppose 14 = 2*y + 6. Let w be (-4)/3 + y/(-6). Are w and -2 unequal?
False
Let q be (24/160)/((-6)/4). Suppose -2*a = -3*m - 7, 2 = 3*a - 4. Which is smaller: q or m?
m
Let c = 1 - 9. Which is bigger: -10 or c?
c
Let g = 6.6 - 6. Let z = -1.6 + g. Which is smaller: z or 0?
z
Suppose 0 = 4*m - 2*d - 4, -5*m = -d + 4 - 6. Let n = m - -2. Let p be 2*(-1)/n + -1. Is 0 less than or equal to p?
False
Let z = -2.1 + 2. Let n(r) = -r + 12. Let s be n(13). Is z != s?
True
Suppose -3*f + 6 = -3. Suppose 0 = 3*i + f. Which is smaller: i or 4/11?
i
Let t = -463892/141 - -3290. Which is bigger: 1 or t?
1
Suppose 0*j - 5 = j - 3*l, 3*j = 2*l - 1. Let f be j/(-164)*-2*-4. Which is greater: f or 1?
1
Let l = -2.1 + 2. Suppose -3 = 2*n - 5. Do n and l have different values?
True
Let t be (2/(-18))/(7/(-6)). Let v = -107 - -106. Is v < t?
True
Let n(s) = s**2 - 8*s - 7. Let q be n(9). Suppose -q*d + 0*d = 2. Is d at most 0?
True
Let y = -2 - -1.9. Which is bigger: 13 or y?
13
Let j = 10 - 5. Let f = -950/7 - -136. Which is greater: f or j?
j
Let h be 1/(22/(-2) + 0). Let t = 0.03 + 0.07. Which is bigger: h or t?
t
Let n be 2 + (-3)/(-10)*-8. Which is greater: 2/5 or n?
2/5
Suppose v + v - 6 = 0. Let m(u) = -u**3 - 4*u**2 - 5*u - 2. Let l be m(-3). Let a = v - l. Is a bigger than 1/6?
False
Let u = -31 - -30.9. Are 0.11 and u non-equal?
True
Let j(q) = q + 3. Let o be j(0). Suppose -x + 4 = -o*x. Let c(k) = -k**2 + 8. Let w be c(-3). Which is smaller: x or w?
x
Let g = -6 + 12. Let n be 3/g*(-4)/289. Let p = n + 877/1445. Which is bigger: p or 0?
p
Let k be (2 + -1)/((-1)/(-3)). Let j = k - 4. Let w be 0 + (-51)/(-21) + -3. Do w and j have the same value?
False
Let k = 8.8 + -1.8. Let i = k - 8. Is 6 > i?
True
Let n(u) be the second derivative of u**3/6 + 3*u**2/2 + u. Let q be n(-3). Suppose 4*l + 2*j = 8, 3*j + 4 = 2*l - q*j. Which is smaller: 4/7 or l?
4/7
Let h(b) = -b**2 + 12*b + 16. Let w be h(13). Suppose 0*c = w*c + 3. Let a be (-32)/(-55) - (-4)/(-10). Is c at least as big as a?
False
Let o = 0.8 - 5.8. Let n = o - 1. Let l = 6.4 + n. Is 0 equal to l?
False
Let v(y) be the second derivative of -y**3/6 - 9*y**2/2 - 2*y. Let h be v(-8). Which is bigger: 2 or h?
2
Suppose 19053 + 13781 = 2*w. Let j = w + -984989/60. Let a = j + 3/20. Which is smaller: a or 0?
0
Let b(c) = -c**2 - 179. Let l be b(0). Let m = l - -711/4. Let r = 1 + m. Does 1 = r?
False
Let i be -1 + -1 + 2 + 8. Suppose 2*x + 2*m - 5*m - 25 = 0, 4*x - 2*m = 38. Is x != i?
False
Suppose 4*s - 61 = 35. Suppose 3*o + 3*y - s - 3 = 0, -4*y - 9 = -5*o. Which is smaller: o or 1?
1
Let m(x) = x**3 + 16*x**2 + 14*x - 1. Let f be m(-15). Which is smaller: f or 16?
f
Let t = -3.99 + -0.01. Let g = t - -4. Let c = 0.4 - 1.4. Is c <= g?
True
Let b = 0.4 - -7.6. Is -1 < b?
True
Let b be (-189)/(-45) - (-4)/5. Let n(c) = c. Let u be n(b). Let p(x) = -x + 2. Let o be p(-2). Is u > o?
True
Suppose -2*c - 8 = -4*c. Let q = 1 + c. Let p = -4 - -7. Does p = q?
False
Suppose 0*h - 20 = -4*h. Suppose -h = -2*d - 1. Let b be (d/5)/((-1)/(-10)). Does 4 = b?
True
Let m be 1/(-4) + (-57)/(-4). Suppose -3*x - m = -z, -x - 4*z = -4*x - 29. Let l be (x - 0)*(-3)/(-9). Which is smaller: -2/5 or l?
l
Let m be (-1)/(1 + 0)*-15. Let h be (-6)/(-15)*m/21. Is 2/5 not equal to h?
True
Suppose 3 = -5*m + 6*m. Suppose 1 = -4*n - m. Are n and -1 unequal?
False
Let d = 25 + -49/2. Let b be 3/3 + 0 + 0. Let n(c) = c. Let y be n(b). Which is smaller: y or d?
d
Let f = -19 + 16. Let k = 4 + f. Suppose 0*x = x. Which is smaller: k or x?
x
Let l = -70 - -70.06. Which is bigger: l or 5?
5
Let y be 15/(-18)*9/(-30). Let f(l) = -l**3 - 8*l**2 - 7*l - 1. Let g be f(-7). Which is greater: y or g?
y
Let m be 2/2 + (-1)/(-19)*-21. Is m < -1?
False
Let d = -23 + 21. Are d and -0.3 non-equal?
True
Let d(q) = q**3 + 2*q**2 + 4*q + 5. Let g(y) = -3*y**3 - 5*y**2 - 13*y - 15. Let z(i) = 7*d(i) + 2*g(i). Let u be z(-4). Which is smaller: -2 or u?
u
Let i = -4.5 + 4.73. Let u = i - 0.53. Which is greater: -2/11 or u?
-2/11
Let j = -976900431/8455 + 577706/5. Let b = j - -5/89. Is 0 > b?
False
Let y = 36.1 + -28. Let n = 8 - y. Is n >= 5?
False
Let m = -17 - -11. Is -1 >= m?
True
Suppose 7*s - 4 = 6*s. Suppose 0 = -0*i + s*i. Which is greater: -2/7 or i?
i
Let v = -7.64 + 8. Let c = v - 0.4. Is c at least as big as 2/5?
False
Let j(y) be the second derivative of y**3/6 - 7*y**2/2 + y. Let q be j(5). Which is greater: -1 or q?
-1
Let r be (-2 + 20/(-4))*5. Which is smaller: 1/2 or r?
r
Let z = -3 + 2.9. Let q = z + -0.9. Let d = 1 + -1. Which is bigger: q or d?
d
Suppose -8 = -c + 7. Let f be 2*(3 + c/(-6)). Is 3/4 at most f?
True
Let g = 11/60 - 7/12. Let y = -15 - -23. Let n = y + -8.3. Is g smaller than n?
True
Let v be (-3)/(-6) + 15/42. Is v at least 2?
False
Let j be (-13)/((-52)/24) + -2. Is j at most as big as 5?
True
Let s = -4 - -2. Let w be s/8 - 55/(-60). Which is greater: w or 2?
2
Let u = 3/86 + 14/215. Which is greater: -1 or u?
u
Let s(y) = y - 1. Let k be s(3). Suppose q - 14 + k = 0. Suppose 8 = -5*r - q. Which is bigger: -0.1 or r?
-0.1
Suppose 0*m = -2*m. Let v = -2/181 - 1430/1629. Is v smaller than m?
True
Suppose -3*u = -8*u - y + 53, 3*u - 39 = -3*y. Which is greater: u or -1?
u
Let q = 48 - 29. Are q and 20 unequal?
True
Let v = 14 + -9. Suppose 4*z - 2*a = 10, 3*z + 0*z = a + 7. Which is smaller: z or v?
z
Let a(u) = 2*u - 4. Suppose 2*i + 30 = 6*b - 2*b, 6 = 2*i. Let n be a(b). Suppose 0 = 3*d + n - 5. Is -4 less than or equal to d?
True
Let p = -4 + 9. Suppose p*a - 3*u - 13 = -2*u, 4*u = 5*a - 22. Do a and 1 have the same value?
False
Let f(p) = -3*p + 4. Let c be f(8). Let m be (-1)/((-5)/2)*c. Is -8 less than m?
False
Suppose 2*t - 5*t + 2*m = -12, 0 = -2*m. Suppose -t*a = u + 11, -1 + 0 = -u. Are a and -5 non-equal?
True
Let w = -892/7437 + 10/111. Which is bigger: w or 0?
0
Suppose 0*w = -5*w + 20. Let s(y) = 8*y + 10 - 2*y + y**2 - w. Let o be s(-5). Which is smaller: 0 or o?
0
Let z = -432/7 - -62. Let h = z + -11/14. Let w = 0.1 - 0. Which is smaller: w or h?
h
Let c = 1658 + -38140/23. Suppose 2*i = -1 + 3. Which is smaller: c or i?
c
Let d = 142 - 140. Which is smaller