 34*k - 764. Let r be (-173)/(-55) + 2/5. Is r > k?
False
Let p = 694 + -694. Let h = -14 + -36. Let g be 2/(-4) + (-21)/h. Which is greater: p or g?
p
Suppose -9 = 7*g - 9. Which is greater: g or -2?
g
Let k(g) be the first derivative of g**4/4 - 2*g**3 + 7*g**2/2 - 5*g + 1. Let x be k(5). Suppose 5*a = 5*u - 5, a - 2 = x*u + 1. Is 0 at least as big as a?
True
Let t = -43.6 + -3.4. Which is greater: -4 or t?
-4
Suppose 8*n = -n + 81. Suppose n*g = -1 - 8. Is 3 less than or equal to g?
False
Suppose -17*g = -2*g - 30. Suppose 0 = -g*f + 3*u + 8, 2*u = 5*f - 2*u - 13. Which is bigger: 0.029 or f?
f
Let w = -2098 + 2106. Which is smaller: w or -9?
-9
Let l be -10 + (-7)/((-280)/384). Which is bigger: l or -21.1?
l
Suppose 4*v - 5*n - 55 = 0, 3*v - v + 3*n = 33. Suppose v*t = -188 - 97. Is t >= -21?
True
Suppose 5*c = -7 + 37. Suppose 26 = -5*u + c. Let i be ((-3)/6)/(2/u). Which is smaller: i or 4?
i
Let a = 4.6 - 5. Let k = a + 0.9. Suppose 19*r - 129 + 34 = 0. Which is bigger: k or r?
r
Let q(n) = n**2 - 6*n + 7. Let r be q(5). Suppose 0 = -r*o + 5*o + 15, 0 = -3*u + o - 43. Is u >= -17?
True
Suppose -2*b - 52 = -6*b. Let z = b + -11. Let n be (3 - 1)*1 - -6. Which is smaller: n or z?
z
Suppose 0 = 3*g - 2*w - 370, 3*w + 128 = g + 7*w. Let n be g/9 - 6/(-27). Let b be (-4)/n*(-4 + 1). Is b at most 1?
True
Suppose -a - 2*m - 1 = 0, 0*m - m = -2*a + 13. Suppose -5*q - 295 = -5*j, -j + 0*j - a*q = -53. Is 59 < j?
False
Suppose -6 = -8*g + 2. Are 2/197 and g unequal?
True
Suppose 3*s - d = -0*d + 26, d = 5*s - 46. Let y(f) = f**2 + 3*f + 5. Let t be y(0). Suppose 0*o = 4*k - t*o - 44, 2*k + 4*o - 22 = 0. Which is greater: k or s?
k
Suppose -1220 - 1006 = -2*j. Suppose 0 = -v + 1, v + j = 4*o + 6*v. Let m = 1667/6 - o. Which is smaller: m or 1?
m
Let c be 1/1*(-6 - 1). Let d be 4 - c/(7/(-2)). Suppose -2*f + 0*f = d. Which is greater: -5/8 or f?
-5/8
Let k = 48.956 + 0.044. Let l = 50.2 - k. Is l less than or equal to -5?
False
Let p = -27 + 30. Let l = -2 + p. Which is bigger: 2/69 or l?
l
Let n(f) = -12*f + 93. Let v be n(20). Is v less than or equal to -147?
True
Suppose -6*o + 26 = 32. Which is bigger: -2/499 or o?
-2/499
Let r = 75 + -113. Which is bigger: r or -36?
-36
Let z = -106 + 21. Let h = 84 + z. Is h > 0.07?
False
Let y be 80/96 - (-82)/(-12). Which is bigger: -4 or y?
-4
Let k be ((-3)/(-1925)*5)/((-6)/(-21)). Which is bigger: -1 or k?
k
Let m be (-1)/(-136)*2*(-1386)/(-27). Let x = m - 3/34. Which is greater: 44 or x?
44
Let k = 81 + -82. Let n = 4 - 3.9. Let l = 0.5 - n. Which is greater: k or l?
l
Let h = 106 - 71. Is 107/3 at most as big as h?
False
Let g = 663 - -855. Let j = 119926/79 - g. Does -1 = j?
False
Let t = -0.795 + -8.225. Let b = t + 9. Which is smaller: b or -1?
-1
Let z = 718/3707 + -4/337. Is z less than or equal to -1?
False
Let b be 1/(34/(-8) + 4). Let q be 0 - ((-3)/(-6))/((-1)/b). Is q at most -2?
True
Suppose -2*p - y = -11, 24 + 13 = 4*p + 5*y. Suppose 0 = 4*d + 5*x + p - 22, 3*d - 5*x + 12 = 0. Let o = -136/1815 + 1/121. Do o and d have the same value?
False
Let f = 47 + -42. Let g = -4.8 + f. Do -3/7 and g have different values?
True
Let p(j) = 3*j**3 - j**2 + 3*j - 1. Let c be p(1). Let q be ((c - 5) + -4)/(2/6). Is -15 at least q?
True
Suppose 3*r = 5*d + 64 + 26, 0 = -3*r - 2*d + 90. Let b be ((-6)/15)/((-88)/r). Do 0 and b have different values?
True
Let y be 2480/120 + (0 - 1/(-3)). Is y smaller than 24?
True
Suppose 20 = d + 3*f, 4*f = 5*d - d - 32. Let u be 8 + (-10 - -2 - -11). Is d smaller than u?
False
Let p be (-6)/10*4865/15 - 3. Is p smaller than -199?
False
Suppose 6*m = -m - 7. Let n = 2439/14 - 174. Is n at least m?
True
Let v = -1/347 + 711/5899. Let i = v + -76/357. Which is smaller: 0 or i?
i
Let l(d) be the second derivative of d**5/20 + 5*d**4/12 - d**3 + 3*d**2/2 - 18*d. Let a be l(-6). Are 2 and a non-equal?
True
Suppose -8*j = -4*j. Let p(g) = -g**3 - g**2 - g - 8. Let f be p(j). Suppose v + 3 = -5*h - 34, -5*h - 3*v - 41 = 0. Which is smaller: f or h?
f
Let z = -4657/5 + 928. Which is bigger: -3 or z?
-3
Suppose -z + 6*z = 30. Let q be ((-40)/12)/(z/9). Let y be q + 1 + 2 + 0. Which is bigger: y or 0.07?
0.07
Let k = -15 - -17. Let i be (-2 - -1)*k + 4. Let q be i/12*39/(-130). Do 1 and q have different values?
True
Let k = -6 + 9. Let c be 2/k*(-627)/(-38). Is c < 11?
False
Let z be (2*9/3)/(152/4255). Let c = 168 - z. Which is smaller: 1 or c?
c
Let i = -223 - -359. Let p = -28126 + 139948/5. Let s = p + i. Which is bigger: -0.05 or s?
-0.05
Let a(s) = -s**2 - 14*s + 45. Let i be a(8). Let d = -9479606/72585 + 1/14517. Let v = i - d. Is v smaller than -1?
False
Let a be 16/72 + (-1)/18. Let n = -29/102 + a. Let j(h) = h**3 + 8*h**2 + h + 9. Let k be j(-8). Which is greater: k or n?
k
Let p be 16 + -8 - 13 - -204. Which is smaller: p or 596/3?
596/3
Let g(z) = z**3 + 6*z**2 - 7*z. Let l be g(-7). Let j be 3 - ((-324)/(-3))/4. Let h be (4 - (-110)/j)*1/(-7). Which is smaller: h or l?
l
Let d = -663 - -662. Which is smaller: -2/157 or d?
d
Let s = 24 - 11. Suppose 4*h = 16, 3*g - h + 35 = s. Are g and -6 unequal?
False
Let l be -1*(-2 - -3)*18. Suppose -5*m = -5*h - 125, -2*m = -h - 29 - 1. Is l less than h?
False
Suppose -4*a + 20 = 4*o, 3*a + o = -4*o + 13. Let c be (-2)/(-4) - a/(-12). Let l be (c/3)/(24/(-18)). Is 8 at most as big as l?
False
Let z be ((-16)/7)/((-32)/112). Which is smaller: 47/7 or z?
47/7
Let i(t) = -3*t**2 + 1. Suppose -3*k = -0*k - 3*l + 54, 5*k - 4*l + 88 = 0. Let b = 17 + k. Let w be i(b). Which is smaller: -4 or w?
-4
Suppose -5 = 5*y - 0. Let f be ((-28)/13 - -2)/(-112 + 117). Which is smaller: y or f?
y
Let a = 46944/49 + -958. Let y(u) = -u**2 - 10*u - 21. Let l be y(-8). Let g be 0/(l/10*2). Is a at most g?
False
Let y = -8 - -5. Let k be 0*1*y/(-6). Let d be (0 - k)/(-2) + -8. Which is smaller: -15/2 or d?
d
Let c = 14 + -14. Let r be -28 + (-3)/9*c. Let b be (r/63)/((-2)/3). Is b > 0.4?
True
Let b(t) = -3*t**2 - 1. Let s be b(6). Let z be s - (-1 + (-5)/5). Which is smaller: z or -106?
z
Let n = 20 - 19. Let m be 154/(-10) + 2/5. Let k be (1*2)/((-20)/m). Are k and n equal?
False
Let d = -381.9 + 402. Let b = 20.005 + -0.005. Let f = b - d. Is 9 greater than or equal to f?
True
Let d(o) = o**3 + 5*o**2 - o. Let x be d(-5). Suppose -4*p - 4*m - 36 = -0*m, x*p + 3*m = -43. Let z be 8/(-18)*(-12)/p. Are z and -1 non-equal?
True
Let z(y) = -4*y - 23. Let f be z(-12). Suppose 3*i - 11 = f. Suppose 8*j - i*j - 8 = 0. Which is greater: j or 0?
0
Let r be (-17)/(306/12)*4178/(-4). Let l = r - 706. Is l bigger than -10?
True
Let s be (12 - 51) + 6/(-2). Let g = s - -44. Which is bigger: 9 or g?
9
Let x = -6.8 + -0.2. Let u = -17 + 10. Let s = u - x. Is s <= -2?
False
Suppose -21 = -3*p - 46*j + 51*j, -p = 3*j - 7. Which is greater: 46/7 or p?
p
Let g = 407 - 417. Are -24 and g equal?
False
Let t be -3 - (8/32)/(14/(-172)). Which is greater: 0 or t?
t
Suppose 45*m - 43*m - 139 = -5*x, 131 = 5*x - 2*m. Is 29 smaller than x?
False
Let r = 0 + 0. Let z = -39 + 42. Let l be 4/z - 518/294. Which is smaller: l or r?
l
Let a be 1/(-2)*26/(-1417). Is a less than or equal to 1?
True
Let a be (-4)/6 + 2448/3186. Let q = -389/236 - a. Is q >= -3?
True
Suppose b + 11 = 21. Suppose 0 = i - 1, -2*i = -3*r - 0*i + b. Does 0 = r?
False
Let n be 25808/(-48)*(-2)/22. Let h = 49 - n. Does 1 = h?
False
Suppose 5*u - 788 = -103. Let y = 403/3 - u. Suppose 2*s - 7 = -3*j, s - j = j - 14. Do y and s have different values?
True
Suppose 2*w - 380 = 4*o, 2*w - w = -3*o - 295. Let s be -3 + (7 - 117) + 17. Is s < o?
False
Let f(s) = s**2 - 7*s - 6. Let c(v) = -v**3 + v + 2. Let i be c(-2). Let m be f(i). Let o be -2*1/m*2. Which is smaller: o or -4/5?
o
Let i = -8 - 35. Is i <= -43?
True
Let l be 3/(114/4) + 0. Suppose -5*u = k + 19, -3*k = 2*u - 4*k + 9. Let h(p) = p + 5. Let r be h(u). Is r >= l?
True
Let x = -43 + 78. Let y = 74 + -68. Suppose y*t = t + x. Is 4 >= t?
False
Let r = -1/40 + 1213/520. Let b = -211/52 + r. Is b smaller than -1?
True
Let d be 8/(-18) + 27664/1008. Is -32 at least as big as d?
False
Let j be 17/102*(2 + -2). Which is smaller: 3/227 or j?
j
Let d = 1/6 - -1/6. Let i = -220.2 - -221.2. Are i and d equal?
False
Let l = 581 + -1714/3. Let p = l + -28/3.