 p(-5). Is n less than j?
True
Let p = 516 + 717. Let b be p/(-885)*1/36. Let c = b + -2/177. Is c equal to 0?
False
Let y = -10124/5 + 1235273/610. Which is smaller: 1 or y?
y
Let b(c) = -c**3 - c**2 + 3*c + 1. Let a be b(-2). Let w be 29/1044*7473/(-22). Let n = 75/8 + w. Which is greater: a or n?
n
Let u = 162924/7 - 23319. Which is smaller: -0.1 or u?
u
Let t(m) be the third derivative of m**4/12 - m**3/6 + 2*m**2. Let d be t(-6). Let v(z) = -85*z - 1967. Let w be v(-23). Which is greater: w or d?
w
Let b = 3386158/5 - 684250. Let j = 6936 + b. Let d = j - -83. Which is greater: d or -1/2?
d
Let n = -33 - 7. Let m = n + 39.7. Let k = 3.4 - 3.51. Are k and m equal?
False
Let u = 714 + -612. Let g = 55 + u. Which is smaller: -2 or g?
-2
Let z = 117 - 113. Suppose -3*c = -4*c - 3*a - 5, 4*c + 4*a = -z. Let l = 23/14 + -29/18. Which is smaller: c or l?
l
Let h = -2/625 + 793/52500. Let q be 74165/(-3900)*1/49. Let d = q - h. Is 11 at most d?
False
Let k = 965/424 + 2430/53. Is k equal to 47?
False
Let g(s) = 5*s**3 - 44*s**2 - 12*s + 26. Let p be g(9). Which is greater: 7/575 or p?
7/575
Let t be 2/((-7 + 14)/14). Is t bigger than 43/11?
True
Let l = -150457 - -150466. Let s be (8/6)/(6/27). Which is bigger: l or s?
l
Let c(s) = 2*s**3 - 8*s**2 + 8*s - 1. Let o be c(7). Let z = 1.53237 + -1.43237. Do z and o have different values?
True
Suppose -8 = 2*a - 4*t, 5*a + 52 = 2*t + 8. Let g = 194 + -194. Suppose g = 19*b - 23*b - 32. Which is smaller: b or a?
a
Let n be 6/((2442/(-270) - -7) + 2). Which is greater: n or -0.6?
-0.6
Let f be (-3 - (-5 - 5))*((-796)/132 + 6). Suppose -5*h + b = -2*b + 7, 20 = 5*b. Is h at most f?
False
Suppose 0 = 101*l - 37934 - 29836 - 24039. Are l and 4 equal?
False
Let p = 4248 + -4243. Let b be 2/(-6) + 22/(-6). Which is bigger: p or b?
p
Let n = 1 - 1. Suppose 12*a - 9*a - 126 = n. Let c be a/(-28)*2/3*1. Is -2/41 greater than or equal to c?
True
Suppose 4*b - 5*d = -b - 305, -d + 4 = 0. Suppose -5*z + 2*z = 3*o + 15, o - 5*z = 25. Suppose -5*i = 5*k + 260, 0*k + 4*k - 4*i + 248 = o. Is k at most b?
True
Let p = 96.77 - 99. Let j = 1.33 + p. Which is greater: j or -13?
j
Let s = -19853/15 - -1323. Suppose -2*c + 15 - 17 = 3*z, -2*z + 8 = -c. Let k be 1/z*(-6 - -6)/(-6). Which is smaller: s or k?
s
Let a be (4 - 2)*(1139/(-136) - -1). Suppose 0 = r + 4, 5*z - 7*r - 60 = -2*r. Suppose -2*s + 3*v = -2*v + 3, 2*s = 4*v - z. Which is smaller: a or s?
a
Let w be ((-1)/(-3))/((-3)/(-9)) + 41. Let u be (w/9)/((-2)/(-12)). Suppose -17 = -y - u. Which is bigger: y or -12?
y
Let c be 4132/(-60) + 2 + 15/(-3). Let u = c - -215/3. Is u at least 1?
False
Let c = 2 - 5. Let y = 2 - c. Let p = 0.896 - 1.096. Is y equal to p?
False
Let p(k) = -554*k - 1861. Let x be p(-17). Is 7557 greater than or equal to x?
True
Let x = 0.95 + -0.11. Let u = x - 402.84. Which is smaller: 1 or u?
u
Let h = 273 + -191. Let r = 74.9 - h. Suppose -2*g - 31 = 3*j, -5*g + 744*j - 742*j = -27. Is g less than or equal to r?
False
Suppose -11 = -2*j - 0*x + x, 3*j = 3*x + 15. Suppose j*a = 3*a - 27. Let m be 12/(-4) + 4 + 0 + a. Does -8 = m?
True
Let x = -4521 - -4523. Let v = 237 - 485. Which is greater: v or x?
x
Let i = -5914 + 29572/5. Which is greater: i or 221?
221
Suppose -21 = 37*x - 16*x. Is x >= -6/3631?
False
Let l be ((-9272)/(-112))/19 + (-3 - 1). Suppose -22 = 4*n - 22. Is n equal to l?
False
Let f = 146 + -147.55. Let n = f - -1.45. Let r = 45 - 81. Do n and r have different values?
True
Let q(r) = 3*r**3 + 19*r**2 + 4*r - 13. Let u be q(-6). Let m be (u - -4)*1 + 40/(-6). Which is smaller: m or 0.2?
m
Let b = -6248 + 6184. Which is bigger: b or -75?
b
Suppose -4*i - 20 = -x, -3*x + 3*i + 27 = 3. Let w(s) = -s**3 - 21*s**2 - 20*s + 8. Let t be w(-20). Suppose 4*b - t = -k, 0*k + 5*b - 25 = -5*k. Does k = x?
True
Let d = 2034 - 2033. Let i = 6051 - 2735055/452. Is i != d?
True
Let n(x) = 34*x**3 + 93*x**2 + 357*x + 9. Let j be n(-4). Which is greater: -2106 or j?
-2106
Let y(p) = 87*p**3 - 6*p**2 - 9*p - 2. Let f(u) = -4*u**2 - 34*u + 16. Let a be f(-9). Let b be y(a). Is b at most as big as -704?
True
Let p be -1 + -3 + (-30086)/56. Which is smaller: p or -541?
p
Let s = -14382 + 58165/4. Let g be 797/5 + 3/5. Let d = s - g. Is 0.01 > d?
True
Let y be 3/(-2)*(-4 + 0). Suppose -s + 3*s = y. Suppose -4*k - s = -7*k. Is k greater than or equal to -1?
True
Suppose -6*h = 938 - 956. Let d be h/6*((-10)/5 + 4). Which is bigger: 6/193 or d?
d
Let q = 1.65 + 6.9. Let o = 3.55 - q. Is -13 at least o?
False
Let o be -22*6/48 + -1 + 3. Let p = -209.1 - -217.4. Which is smaller: o or p?
o
Let u(a) = -36*a + 184. Let d be u(5). Suppose -78*n + d = -79*n. Let y = 3307/5 + -666. Which is bigger: y or n?
n
Let z(g) = -4*g**3 + 586*g**2 - 293*g + 138. Let j be z(146). Which is smaller: -201/22 or j?
-201/22
Let l(f) = -4*f**3 + 18*f**2 - 8*f + 18. Let t be l(-12). Which is greater: t or 9620?
9620
Suppose -61 = -4*b + 3*b. Let u = b + -59. Let v be 0/((1 - u)*(-2)/2). Is v < 2/15?
True
Let n(j) = -31*j + 6. Let v be n(-4). Let l = 76 - v. Let p be l/135 + (-1 - (-94)/70). Which is smaller: 1 or p?
p
Let j be 4/(-6)*15/29. Let v = -2463.95 - -2464.05. Is v at least j?
True
Suppose 17*q - 6 = 13*q - 2*z, 2*q + 3*z - 9 = 0. Which is smaller: q or 12/655?
q
Let d = -155 + 155. Let r = 2603 + -2646.38. Let n = -43 - r. Which is smaller: d or n?
d
Let z = -2620 - -2368. Is z less than or equal to -255?
False
Let a(f) = f**3 - 24*f**2 + 22*f + 33. Let j be a(23). Suppose -h - 4*i + j = -i, 7 = -2*h + 3*i. Is 32/19 at most h?
False
Let f be 3*-4*((-26)/6 - -4). Suppose 0 = -f*d + d + 15, 24 = -c + 4*d. Let o = -0.1 + 0.4. Which is smaller: c or o?
c
Suppose 28*y = 22 + 6. Is y at most -6/341?
False
Suppose 0 = -583*v + 593*v + 5930. Which is greater: v or -579?
-579
Suppose 12*l + 38 = 242. Let i be (7 + -11)/(1/l). Which is bigger: -71 or i?
i
Let f = 4146 + -4144. Let i = -4852 - -140774/29. Which is bigger: i or f?
i
Let g be (26 + (-630140)/24240)*52. Is g bigger than 1?
False
Let t = 7996 - 95947/12. Let h(k) = -k**3 + 5*k**2 + 6*k + 4. Let o be h(6). Suppose 0 = 2*w + 9 + 1, -o*y = -w - 1. Which is bigger: t or y?
t
Suppose 4*s = 2*s. Let f = 7156 - 4830298/675. Is s less than or equal to f?
True
Let t be 1 + 0 - (-19 - (0 - 2)). Suppose -13*q = -t*q + 25. Suppose -q*i = -5*v - 130, -25 = -6*v + v. Is 31 <= i?
True
Let q be 1/2 - (-147)/(-293). Let n(t) = -17*t**2 + 400*t + 624. Let i be n(25). Which is greater: i or q?
q
Suppose 0 = g - 8*g + 35. Suppose -g*z = 22 + 18. Let m be 10/z*8/(-80). Are m and 2/3 unequal?
True
Let r(o) = -o**2 + 7*o + 56. Let m be r(14). Let p be 4*(m/8 + 22/44). Which is smaller: p or -58/3?
-58/3
Let o be (-52728)/(-11820)*2/4. Let y = o + -6/197. Let a = 41 + -40. Is y less than a?
False
Let n be (-27)/((-50)/(-220)*21/245). Is n at least -1385?
False
Let f = 0.1 + 0. Let k = 6/3425 + 133551/13700. Is f greater than k?
False
Let z be ((-42)/(-126))/(-1 + 2/24)*5. Which is smaller: -1 or z?
z
Let a = 21326 + -17351. Which is bigger: a or 3973?
a
Let a be -2*1/3*-3. Suppose q + a = -2. Let h be (43/4 + -9)/(15/20). Is q < h?
True
Let g = 17795 - 17784. Which is smaller: 0.159 or g?
0.159
Suppose -373*p + 371*p + 26410 = 0. Is 13205 smaller than p?
False
Let p be 2 - 0/4 - 256/96. Is 430 bigger than p?
True
Let j(o) = 6*o**2 + o + 5. Let m be j(3). Let p be ((-196)/6)/(-7)*(-108)/(-8). Which is smaller: m or p?
m
Suppose 10*s + 33701 + 7150 = -71159. Is s at least as big as -11200?
False
Let g be (2/(-64))/(3/230) + (-213)/(-639). Which is bigger: -1/4 or g?
-1/4
Let p(j) = -15*j**2 - 59*j + 230. Let k be p(5). Which is bigger: k or -439?
-439
Let a = -0.651 + -413.449. Let m = 414 + a. Is 0.89 <= m?
False
Let j = -27474 + 27515.3. Which is greater: 0.07 or j?
j
Suppose 26*t - 27*t - 4*o + 1227 = 0, -2*t + 2466 = 5*o. Which is greater: t or 13686/11?
13686/11
Let p = -3550.86 + 3512. Which is bigger: p or -1?
-1
Let s(x) = x**2 - 74*x + 1365. Let y be s(39). Is y less than -12654?
False
Let r(n) be the third derivative of -n**6/120 + n**5/12 - n**4/6 + n**3/2 + 2*n**2. Let q be r(4). Let f be 6/7 - (-1656)/322 - -1. Which is smaller: q or f?
q
Let g be (-6)/(-96)*-4 + 33/164. Suppose 37 = 3*p - 5. Suppose 4*x + 0*s = -5*s + 