pose 2*u + 12 = 2*r, -4*r = -3*u - 17 - 2. Let h be (2/(-1) + 4)/((-2)/r). Are 1/35 and h non-equal?
True
Let r be 1/(-1)*5*(-26)/65. Is r equal to -1?
False
Suppose -52*b = -53*b - 1. Which is bigger: -3/148 or b?
-3/148
Let w = -2 - -3. Let s be ((-2 - -1)*(2/(-10) - -1))/42. Is w at least s?
True
Let r be ((-150)/35)/((-1)/7). Let a be ((41144/r)/(-4))/(-1). Let s = a + -343. Is 0 equal to s?
False
Let m be 786/4*(-6)/108*3. Is m less than -33?
False
Let j be (-18)/(-3) - (0 + 2). Suppose j*t - 2*t - 38 = -4*w, 42 = 3*t + 3*w. Suppose -2*d + t = s, 0*d + 3*d - 16 = -2*s. Is 1 at most as big as d?
True
Suppose u = -0*u + 2. Let t(k) be the first derivative of -k**3/3 + 5*k**2 - 15*k - 7. Let z be t(8). Which is smaller: u or z?
z
Let r be (1 - -2*(-10)/5) + 3. Let d be (-233)/(-840) - 2/7. Which is smaller: d or r?
d
Let t = 4155607/1578090 + 1/52603. Let v = -226/55 + 76/11. Let y = t - v. Which is smaller: -1 or y?
-1
Let v(t) = -t**3 + 14*t**2 + 15*t + 10. Let p be v(15). Suppose y + 10 = 3*y, -2*y = m - p. Let c be (-2 - -2)/(-1 - m). Is c greater than 0.06?
False
Let v = -34 + 33. Suppose -2*r + 4*q - 14 = 0, 2*r - 13 = -0*r - 5*q. Let i = r - 3. Do i and v have different values?
True
Suppose k + 13 = -4*j - j, 0 = -3*k + 5*j + 21. Let a(s) = k*s + 7 - 9*s + 4*s**2 - 5*s**2 - s**3 - 8*s**2. Let t be a(-8). Does -2 = t?
False
Let s = -0.045 + 0.035. Let x = 0.93 - 2.94. Let d = x - s. Does 2 = d?
False
Suppose -s = 5*y + 15, 3*s + y + 4 = 1. Which is greater: 40 or s?
40
Let j = -32818/7 - -4676. Is -11 greater than j?
True
Suppose -5*j + 2*m = -7833, -39*j + 3118 = -37*j + 3*m. Is j bigger than 1566?
False
Let v(t) = -2*t**2 - 20*t + 23. Let d be v(-11). Which is smaller: -12/349 or d?
-12/349
Suppose -5*j - d + 18 = -5*d, 5*j = -5*d. Is 17/5 at least j?
True
Let l be ((-6)/9)/(3 + (-156)/9). Let x be 2/((-4)/(-2))*-3. Let q = -3 - x. Which is bigger: l or q?
l
Let b = 0.7 - 7.7. Let c(v) = -v**3 + 12*v**2 - 10*v - 2. Let j be c(11). Let q be ((-1)/j)/((-5)/10). Is q at most b?
False
Let f(j) = -j**2 + 10*j - 14. Let k(a) = -a**3 + 5*a**2 - 4*a + 2. Let z be k(3). Let d be f(z). Is 30/13 > d?
True
Let u(o) be the third derivative of o**4/24 - o**3/3 - 26*o**2. Let m be u(0). Which is bigger: -24/11 or m?
m
Let p = -215/7 - -31. Let g be ((-90)/(-25))/(2 + -4). Which is greater: g or p?
p
Let p = -4 + 71. Suppose 3*v - 4*d = 173, 2*v + 2*d = 39 + p. Let l be (v/25 + -2)*6. Is 0 <= l?
True
Let w be (0/(-3))/(2*1). Suppose z - 86 = -5*b + 84, -898 = -5*z - b. Let n be (-1)/(-5) - (-24)/z. Which is greater: w or n?
n
Suppose -10791 = -3*g + 2001. Let n be (-864)/g - 2/(-13). Which is greater: 0 or n?
0
Let t be ((-7)/(-2) - 4) + 6/4. Let p be t/(-21)*36/42. Is 1 at most as big as p?
False
Suppose -7*w + 3*w = 0. Suppose w = -2*h + 3*r - 2, 5*h - 2*r = 3*r. Let o be (-2)/(-2 - h/1). Is 5 at least o?
True
Let f = -137/1570 - 2/157. Which is smaller: -1 or f?
-1
Suppose 61 = 5*o + 111. Is o < 8/7?
True
Let y be 5504/1101 - ((-15 - -16) + 4). Which is bigger: y or -1?
y
Suppose 22*j - 21*j = 2*z - 940, -2350 = -5*z - 2*j. Which is smaller: 471 or z?
z
Let s be -8 - (-2 + 0) - (15 + -13). Do -11 and s have different values?
True
Let j be (-15 - -10)*(-52)/150. Does j = 1?
False
Let m(b) = 3*b**3 + b**2 - 4*b - 3. Let w be m(-1). Which is bigger: w or 40?
40
Let o = 68043/17 - 3996. Which is smaller: o or 7?
o
Let y = 23 + -36. Let p be (2 - (-34)/(-4))*-2. Let n be (p/(-2))/(3/6). Is n greater than or equal to y?
True
Let d = -5 - 3. Let y(m) = m**2 + 5*m - 36. Let g be y(-9). Suppose 2*q + 4*a + 26 = g, q - 4*a = -0*q + 5. Which is greater: q or d?
q
Let d(p) = -p**3 + 11*p + 5. Let g be d(-4). Let u = g - 24. Is u less than or equal to -2/7?
False
Let u(h) = 5*h**3 + 2*h**2 + h. Let q be u(-1). Suppose -t - d - d - 4 = 0, 5*t + 3*d = -55. Let b = 8 + t. Are b and q equal?
False
Let x be (-2 - 16/(-10))*10. Let c be 6/(-2) - 4/x. Let q = -331 + 332. Is q greater than c?
True
Suppose -3*r = -122 + 119. Let z = -8 - -7.69. Which is greater: z or r?
r
Let h(f) = -f**2 + 6*f - 6. Let u be h(4). Suppose j = 3*s + 5, 5*s - u*j + 5 = -j. Let d be (-3 - -2)*3/(-1). Which is greater: s or d?
d
Suppose -5*v + b + 90 = 0, 4 = -v + 3*b + 8. Let s = v - 14. Suppose -3*c + 12 = 3*h, c - s = 5*h - 1. Is -2/17 less than or equal to h?
True
Suppose -2*s = -2*x + 572, 0*s - 15 = 5*s. Suppose -3*u + 237 = -3*t, -4*u + t + x = -39. Suppose -5*n + o + u = -2*n, 135 = 5*n - 4*o. Are n and 28 unequal?
True
Let x be -9*(14/6)/7. Is x less than or equal to -2?
True
Suppose 3 = o - 10. Let s = 58 + -43. Is o at least s?
False
Let g(v) = -v**2 - 12 - 14*v - 5*v + 10*v. Let l be g(-8). Let z = l - 0. Which is smaller: -5 or z?
-5
Let q = -0.237 + -14.763. Let v = -0.5 - -0.4. Does q = v?
False
Suppose -21*d + 3600 = 24*d. Which is greater: 77 or d?
d
Let r be (-2)/(-4) + -4 + 3/(-6). Let i be (-2)/r*(-6)/93. Is i at most 1?
True
Let y be 2/(-1*(-2)/(-3)). Let a = -9 - y. Let l be 120/126 + 4/a. Is l at most as big as 2/5?
True
Let d = -17 + 21. Suppose -2*n + m = -20 - 3, -49 = -d*n + 3*m. Which is bigger: n or 9?
n
Let f = 189/2 - 95. Are -15 and f unequal?
True
Let s = -41 - -77. Suppose -38*n + 42 = -s*n. Is 21 at least as big as n?
True
Suppose -30*x = 816 + 384. Which is smaller: x or 1?
x
Let j = -41 + 41. Are j and 1/328 equal?
False
Let j be ((-4)/(-314))/((-6)/(-24)). Which is greater: j or 1?
1
Let w(d) = -3*d - 8. Let a be w(-5). Let f(l) = -l**2 + 7*l. Let v be f(a). Suppose v = -b - b. Is -7/5 less than or equal to b?
True
Let x = -1 + 1. Let y = 7 - x. Let k = -6.9 + y. Is 0 at least as big as k?
False
Let a(p) = p**2 - 7. Let g be a(-7). Suppose -3*i = 4*n + 69, 2*n - 2 + g = 4*i. Which is bigger: n or -20?
n
Let x = 39 + -13. Let p = x + -17. Is -1 smaller than p?
True
Let i be 3*6/(-36)*(6 + -4). Is -133 not equal to i?
True
Let q be (-336)/(-180) + (-1)/(-3). Let j = 83/40 - q. Which is bigger: 1 or j?
1
Let n = 0 - -4. Let h = n - 2. Let a be ((5 - 6)*1)/(2/(-4)). Do h and a have different values?
False
Let z be (22/(-14) - -3)*(-70)/(-2). Is 50 at most as big as z?
True
Let g(y) = -2*y**2 + 41*y + 81. Let j be g(24). Which is bigger: j or -85?
-85
Let j = 15 + -11. Let m be 4/(-10)*j/(-1). Let c = 73.1 - 73.2. Is m <= c?
False
Let v = 40331/1374 + -9/458. Let i be 11/22*(-60)/(-1). Is v < i?
True
Let d = -39 + 42. Suppose d*n - 2 = 1. Let s = 85 - 763/9. Is n equal to s?
False
Let z(p) = 9*p**2 + 18*p + 1. Let o be z(-5). Which is smaller: 135 or o?
135
Let v(w) = 0 + 8 + 5*w - 2*w - 2*w. Let a be v(-6). Suppose a*k + 17 = 3. Is -7 smaller than k?
False
Let x = -401 + 416. Which is smaller: x or 21/2?
21/2
Let d(y) = -5*y + 1. Let n be (-4)/6*(-18)/12. Let z be d(n). Which is greater: z or -3?
-3
Suppose b + 4*b + 35 = 0. Let l = b - -23. Does 16 = l?
True
Suppose 2*z = 15*h - 17*h + 12, 4*h = 0. Which is smaller: z or 2?
2
Let d be (15/(-24))/(70/28). Let k = -90/13 - -2764/403. Which is greater: k or d?
k
Let n = -8 - 37. Let k = -46 - n. Let c = 95/6 + -17. Which is greater: c or k?
k
Suppose -6*i + 6 + 24 = 0. Suppose -7 = -4*a + i. Which is bigger: a or 5?
5
Let d = 126 - 126. Which is smaller: d or 1/3?
d
Suppose -3 = -4*g + g. Let x(w) = -w**3 + 13*w**2 + w - 13. Let i be x(13). Let f = i - g. Is f greater than 0?
False
Let l = 2.2 + -0.2. Let h = -1.96 + l. Let q be ((-492)/81 - -6)*(-1 + -8). Is h < q?
True
Let z = -38356/173667 + 4/2379. Is -1 at most z?
True
Suppose -v - 14*v = -300. Is v not equal to 22?
True
Let h = -0.107 - -0.067. Let c = 0.012 + h. Which is bigger: -2/7 or c?
c
Let v = -133198937/551 + 241741. Let u = -24/19 + v. Are u and -2 equal?
False
Let n = -346 - -346. Which is smaller: n or -37?
-37
Let s = 654 + -666. Which is smaller: -40/3 or s?
-40/3
Suppose -19*t = -18*t - 3*a - 516, 2*t - 1031 = 5*a. Which is smaller: t or 511?
511
Let g = 219 - 205. Let m(n) = n**3 + 4*n**2 - 7*n + 3. Let s be m(-5). Is s at most g?
True
Let c = 26 + -26.17. Let i = c - -0.37. Is 8 less than or equal to i?
False
Suppose -46*c - 51865 = 9*c. Are -943 and c nonequal?
False
Let r = -0.69 - -0.68. Is -27 at least r?
False
Suppose -5*v = -v + 4*x + 8, -3*v = 5*x + 2. Let a be (v/8*-28)/(-5). Which is smaller: a or -4?
-4
Suppose 3*h + 5*w