 i be 7/2*(-12540)/(-1995). Suppose 2*p = -0*p + 48. Which is greater: p or i?
p
Let r = -7797/5 + 1559. Is 25 at most as big as r?
False
Let a(d) = -83*d - 6225. Let f be a(-75). Let l = 2083 + -114561/55. Which is bigger: l or f?
l
Let c(z) = 49*z - 231. Let h be c(5). Let l be 4 - (265/266 - (h + -17)). Is 0 bigger than l?
False
Let o = 0.17108 + -0.13208. Which is bigger: o or 26?
26
Let z(l) be the first derivative of -l**4/2 + 4*l**3/3 + 6*l**2 + 4*l - 108. Let k be z(5). Which is bigger: -88 or k?
k
Let o(k) = 2*k**3 + 10*k**2 - 4*k - 15. Let r be o(-5). Suppose -6*c + 561 = r*c. Do 50 and c have the same value?
False
Let q be 56/6*(-5)/(-6). Suppose 0 = 2*p - 4*u + 1423 - 1431, -4*u + 32 = 3*p. Which is bigger: p or q?
p
Suppose -69 + 65727 = 31*j. Is j at least 2119?
False
Let c = 54.3 + -55.4. Let n = 17 - 18.3. Let p = n + 0.3. Is c less than p?
True
Let m = -0.1134 - -0.4634. Is 14 < m?
False
Let f be 10 - -6*(-5)/15. Suppose -13*j + 435 = -8*j. Let d = j + -79. Is f greater than d?
False
Let k be 18/(-8) - (-3)/12. Let l(n) = n**2 + 0*n + 6*n + 5*n**3 + n - 6*n. Let v be l(k). Are -38 and v nonequal?
False
Let w be (-7)/(-3)*90/(-15). Let m = 14 + -30. Let l = -15.9 - m. Which is greater: w or l?
l
Let b = 424.7 + 1505.3. Which is smaller: 2/9 or b?
2/9
Suppose 130*u + 1620 = 139*u. Suppose u - 105 = -3*l. Which is bigger: -24 or l?
-24
Let q be 36/(-34)*5/45. Which is greater: -379 or q?
q
Let p be (3 - (-114)/(-36))/(6/(-4616)). Let j = p + -128. Do j and 1 have the same value?
False
Let z = -122.72 - -44.12. Are z and 0 non-equal?
True
Let a = 553 - 554. Let l = 2797/17 - 165. Which is bigger: l or a?
l
Let q(c) = 17*c + 39. Let l be q(-2). Suppose 2*t + l*h - 394 = 0, -4*t + 34*h + 788 = 30*h. Is t >= 2/5?
True
Let b be 0 + -2 + 1/(-1). Let q be ((-1)/1)/(b/(-9)). Let r be (-2)/(162/(-3))*q. Is r at most as big as 0.2?
True
Let z(s) = -s**3 - s - 1. Let a(r) = -3*r**3 - 3*r + 69. Let j(h) = -a(h) + 4*z(h). Let w be j(0). Does -75 = w?
False
Let v be 5 - 3/(-3) - 3. Let p = 15600 - 15499.09. Let i = p - 101. Is i greater than or equal to v?
False
Let m be 1/((-168)/210 + (-1)/5). Which is smaller: m or 2/5591?
m
Suppose -23*p - 1611 = -1634. Is -4/1101 smaller than p?
True
Suppose -m + 2*m - 45 = 0. Let f be (9 + -147)*(-2)/6. Let v = f - m. Do v and 1/3 have the same value?
False
Let k = -4.05 - -3.02. Which is smaller: k or 1/3?
k
Suppose -18282 = -457*j + 391*j. Do j and 276 have different values?
True
Let t = 3.145 - 3.345. Which is smaller: t or 0.502?
t
Let a = 1144/125 + -163794/125. Let i = 1281 + a. Is i smaller than -20?
True
Let z(p) be the second derivative of p**3/6 - 16*p**2 + p. Suppose 539*v - 536*v = 48. Let b be z(v). Is -17 smaller than b?
True
Let m be -4 + 31 + 27/(-3). Suppose a - s = -338, a + 350 = 16*s - m*s. Is -342 equal to a?
True
Suppose -119*y + 123*y = -16. Let m be -93 - (-10)/2 - (-1 + y). Which is bigger: m or -245/3?
-245/3
Let g be 32/14 - 2 - (-893619)/1155. Let z = g + -774. Does z = 1?
False
Suppose -2*s - 788 = b, 0 = -2*s + 4*b - 2*b - 800. Let p = -7526/19 - s. Is p smaller than -4?
False
Let t = -24/145 + 3213/22040. Let b(s) = s**2 + 328*s + 1616. Let i be b(-5). Which is smaller: i or t?
t
Let u(g) = g**2 + 9*g - 19. Let z be u(-11). Let a be (-92)/(-6)*z - 1. Let i be (-1 - -2) + 1 - 150/a. Which is smaller: 0.1 or i?
i
Let k = 56.035 + -56. Let d = 39.965 + k. Let a = -27 + d. Is a greater than -2/7?
True
Suppose 3498 = -21*t + 43*t. Let v be (t/2)/(1*(-2 - -5)). Which is bigger: v or 28?
28
Let a = -0.076 + 0.07. Let q = -11 + 11. Is q not equal to a?
True
Suppose 0 = -o + 2*x + 73, 0 = -4*o - 4*x + 115 + 225. Suppose 0 = -5*g - 0*g - 360. Let w = o + g. Are w and 7 equal?
False
Let w be -5*2/45 - (2 + (0 - 2)). Is w greater than 21/34?
False
Let p(y) = y**2 - 8*y + 3. Let t be p(6). Let u = t - -7. Let n be ((2 - u)/(-4))/((-2)/(-6)). Do n and -3 have different values?
False
Let c = -3135 - -3132. Which is bigger: c or -141/70?
-141/70
Let i be 56004054/(-1530) + (-4)/(-30). Let b = -36589 - i. Which is smaller: 16 or b?
b
Let v(n) = -36*n - 535. Let y be v(-5). Which is smaller: y or -351?
y
Let n = 200/3 + -1394/21. Let j = 143.122 + -143. Which is smaller: j or n?
j
Let x be (3 + -3)/(((-52)/156)/((-2)/(-6))). Which is smaller: 2/2565 or x?
x
Let a be -1 + (-2)/(-3) - 195/(-1209). Is a greater than 1?
False
Suppose 0 = 4*j + 2*r + 2, 5*j + 17*r + 5 = 12*r. Which is greater: 166/149 or j?
166/149
Let b = 26165/175118637 - 20/23979. Do b and 0 have the same value?
False
Suppose 6*s - 2*s - 30 = 3*o, 0 = -3*o + 2*s - 24. Let g be -1 + 208/3 + (-4)/o. Suppose 4*b - 73 + g = 0. Which is smaller: b or -2/17?
-2/17
Suppose 5*w = -2*a + 10*w + 31, 2*w - 2 = -a. Let j be a/10*(-17630)/164. Is -86 at least as big as j?
True
Let a = 14538 + -17717. Do a and -0.1 have the same value?
False
Let m = -10512 - -10511. Is m != 1092?
True
Suppose 2*k + 4*d = 0, 28*d - 3 = 25*d. Is k at least as big as 1303?
False
Let t(b) be the third derivative of b**6/120 + b**5/60 - 5*b**4/8 - 13*b**3/3 + 84*b**2. Let i be t(-3). Which is bigger: 1/277 or i?
i
Let w = 38.11 + -35.173. Let f = 5.004 - w. Let b = f + 0.033. Is b greater than or equal to 1?
True
Let j be (28/(-6))/((-3)/9 - 0). Let h be 14/15 + j/(-105). Let k(x) = -x**2 - 3*x - 1. Let f be k(-3). Are f and h equal?
False
Let v = -285 + 278. Is v at least as big as -98/15?
False
Let d = -406 - -188. Let c = d + 206. Which is bigger: c or -21/2?
-21/2
Let k = 3657 + -3656. Which is bigger: k or 14884?
14884
Let r(t) = t**3 - 69*t**2 - 149*t - 71. Let l be r(71). Which is smaller: -569 or l?
-569
Let o(f) = 3*f**3 + 11*f**2 + 18*f - 29. Let x be o(-19). Let p = -153031/9 - x. Which is smaller: -26 or p?
p
Suppose -c - 6*c = -35. Let h be ((-177)/10 - (-42)/(-28))*c. Let b = h + 2977/31. Which is greater: b or 0.1?
0.1
Let o(i) = -47*i + 6253. Let z be o(133). Which is smaller: z or 15/14?
15/14
Let g = -191767/4 + 48278. Is 335 smaller than g?
True
Let y = -0.3 - -0.2. Let u = -327420 - -327427. Is y less than or equal to u?
True
Let b be ((-7392)/(-196) + -36)*8596/6. Do b and 2459 have the same value?
False
Let r(b) = -b + 13. Let s be r(8). Suppose -s*z + 33 = -n - 0, 3*z + 73 = -n. Which is bigger: -60 or n?
n
Let l = 25.69 + 0.31. Let f = l - 31. Let h = -4.98 - f. Which is bigger: h or -0.1?
h
Let w(r) be the third derivative of r**6/120 - 11*r**5/60 - 7*r**4/6 + 13*r**3/3 - 7*r**2 - 5. Let i be w(13). Which is greater: 4/5 or i?
4/5
Let v(b) = 6*b**2 + 68*b + 35. Let y be v(-11). Which is greater: -34 or y?
y
Suppose -3*j = -4*w + 13724, -116*w + 113*w = -j - 4578. Let y be 0 + (-4)/38 + j/(-1197). Is 3 less than or equal to y?
True
Let o(w) = -5*w - 9. Let l be o(-7). Suppose l = -2*h - 4. Let t be (48/40)/(3/(-40)). Is t > h?
False
Let f be 3/(-5) + (7744/187)/((-350)/(-5)). Let l(u) = -4*u - 1. Let q(w) = -w**3 - w**2 - w. Let x(g) = -l(g) + q(g). Let n be x(-2). Which is smaller: n or f?
n
Let d(u) = -7*u + 352. Let o be d(51). Suppose -3*n + 8 = -n. Suppose n*b = -b - 10. Which is bigger: o or b?
b
Let u = 24 - 15. Suppose g = -2*p + 36, u = -g - p + 49. Suppose -4*j = -4*v - g, -j = -3*v - 2*v - 39. Is -4 > v?
True
Let p = -111 + 103. Let u = 18 + p. Let g = -3 + 2. Is u at least g?
True
Let d be 2 - 5*-3 - 3. Suppose 2*u = 2*j + 3*u + 10, 0 = 2*j - u + d. Suppose 3*c = -40 + 4. Is c not equal to j?
True
Suppose 6*g - 283 = -103. Let n be 5 + (-6)/g*23. Which is smaller: n or -9/4?
-9/4
Let v = 242 - 241.597. Let l = v + -0.503. Is -99 smaller than l?
True
Let k = -81.9 + 85.9. Is k at most -2561?
False
Let b(p) = -2*p**2 + 6*p + 4. Let n be b(5). Let r(a) = -a**3 - 15*a**2 - 53*a + 5. Let z be r(-9). Let w(s) = 16*s**2 + 66*s - 8. Let d be w(z). Is n != d?
False
Let i = 2715 + -2715. Is -1/2695 smaller than i?
True
Let z be ((-3)/7)/((-2)/22). Let g = -179/35 + z. Suppose -3*s = -m - m - 19, 36 = m + 5*s. Which is bigger: m or g?
m
Suppose 124*p + 10272 + 21984 = -20*p. Which is greater: p or -222?
-222
Let c be ((-20)/(-18)*27/(-45))/(6/27). Is c less than or equal to -598?
False
Let k = 29032 + -28576. Which is greater: 5 or k?
k
Let d = -7256 - -3884. Is -3375 <= d?
True
Let g = 53.657 - 51.057. Suppose 3*c + 2 + 4 = 0. Is g