t derivative of -35*t**3/3 + 7*t**2 + 21. Let v be b(-9). Let p = v - -4156. Is p composite?
True
Suppose -33523 = -2*q - 2*f + 30345, 0 = -2*q + 3*f + 63853. Is q a composite number?
True
Let u be 7465/(-65) - (-4)/(-26). Let h = u - -117. Is (0 - 47/h)*-10 a prime number?
False
Let p(g) = 17*g**2 + 337*g - 317. Is p(79) composite?
False
Suppose v + 2*v - 3146794 = -11*v. Is v composite?
False
Let n = 283040 + -187183. Is n a prime number?
True
Is -4*5/(20/15901)*(-3 - -1) composite?
True
Let a(i) = -2*i**3 - 6*i + 3*i + 24 + i**3 + 2*i**2 - 20*i. Let h be a(-18). Suppose 4*r - 4*u - h = -1730, -3*u = -r + 1297. Is r a prime number?
True
Let z be 718/12 - 9/(-54). Suppose 0*w + z = 2*w. Let l = -8 + w. Is l a composite number?
True
Let x(f) = -f**2 + f - 2. Let p be x(4). Let w = 11 + p. Is 34/(-6) - -6 - 893/w a prime number?
False
Let q(p) = 8*p**2 + 122*p - 23. Is q(-36) prime?
True
Suppose -6 = -9*v + 12. Suppose 2632 + 1858 = v*f + 4*m, 2*f = -m + 4502. Is f a composite number?
True
Let p = -263 + 268. Suppose 5*w - 4*z = 154 + 6659, -4*z = p*w - 6797. Is w composite?
False
Let q(o) = o**3 - 8*o**2 - 14*o + 2. Let x(j) = j + 8. Let c be x(2). Let h be q(c). Suppose g = 3*g - h. Is g a prime number?
True
Let z(x) = 140*x - 51. Let k be z(37). Suppose -32*f + k = -31*f. Is f prime?
False
Let l = 235 + -231. Suppose 0 = p + 5*t - 1337, p + t - 1337 = l*t. Is p a prime number?
False
Let c be ((-8)/6)/((-4)/6). Suppose 0 = 7*x - c*x - 15. Is 4 + -5 - (-336)/x composite?
True
Let p(h) = 20322*h - 2369. Is p(4) prime?
True
Let j(b) = 18969*b + 6335. Is j(36) prime?
True
Let p(q) = -14*q + 153*q - 230 + 246*q. Is p(49) composite?
True
Is 544421 + 1 + 1 + (-437 - -443) prime?
True
Suppose -7*t - 12 = 2. Let w be (-3)/6 - 1/t. Let f(n) = -n + 674. Is f(w) composite?
True
Let s = 20509 + 7169. Suppose s = 39*x - 78831. Is x prime?
True
Suppose 4*d + 6008 = -2*u + 636, 5380 = -2*u - 2*d. Let j = u - -3947. Is j composite?
True
Let b be (2 - 3) + -2 + (4741 - -1). Suppose -3*s = 4*j - 0*s - b, 4*j + s - 4729 = 0. Is j prime?
True
Suppose -1994058 = -22*w + 1605164. Is w composite?
False
Suppose 43*o = 38*o + g + 92759, 0 = 2*o - 3*g - 37088. Is o composite?
False
Suppose 551*i = 564*i - 414401. Is i prime?
False
Let a(f) = 13*f - 85. Let t be a(0). Let h = 87 + t. Suppose 3*s = -h*b + 11240, -2*s + 37520 = 5*b + 9409. Is b a prime number?
True
Suppose -6*m + 469320 = 94890. Suppose 4*c + 6310 - m = -3*a, -4*a = -2*c - 74786. Is a a composite number?
True
Let d = 68951 - 7812. Suppose -26*z + 39*z - d = 0. Is z a composite number?
False
Let o = 678840 + -101929. Is o a composite number?
True
Let d = 310604 + -155853. Is d composite?
True
Suppose -5*s + 3*c = -194389, -2 = -2*c + 2. Is s a prime number?
False
Let n(i) = i**3 - 52*i**2 - 171*i + 279. Is n(76) prime?
False
Suppose 18 = -5*b + 3*i + 2, 5*b + 5*i + 40 = 0. Is 4146/6 + ((-30)/b - 6) a prime number?
True
Let m(f) = 2956*f**2 + 4 - 21 - 1 + 9 + 13*f. Is m(4) a prime number?
True
Is 21/(-15) - (-141392244)/185 - -4 a prime number?
False
Let s be (-2 - -3)*(3 - 6). Let z be 5 + (s - (2 - 4)). Suppose -l + 295 = -r, -z*r - 872 = -3*l + 15. Is l composite?
False
Let f(x) = 11*x**2 + 3*x + 5. Let r be f(3). Let k = -108 + r. Suppose -2*v - 2*d - 413 = -3*v, k*v = -d + 2043. Is v prime?
True
Let s(v) = 3*v - 42. Let a be s(14). Suppose 5*h + a*l = 5*l + 3400, -4*h + 2735 = l. Is h a composite number?
False
Suppose -y + 376 = -550. Suppose 4*d - 1886 = y. Is d a prime number?
False
Let k(g) = 9*g**3 - 7*g**2 + 5. Let j be (-1)/((-28)/(-10) + -3). Suppose w = -3*i + 17, -14 - 27 = -j*w - 4*i. Is k(w) a prime number?
False
Suppose -5 - 7 = -3*l. Let t be (6/l + -2)*(-6)/(-3). Is 375 - (-2 + (-6)/t - 2) composite?
False
Let a be (-8)/6*-1*3/2. Let d be (-11 + -2867)/(a*1). Let x = d + 2070. Is x composite?
False
Let m = 24 + -29. Let p(a) = -a**3 - 4*a**2 + 6*a + 5. Let j be p(m). Suppose j = 2*v - 2, -q - 4*v + 162 = 9. Is q prime?
True
Suppose -18*y = -23*y + 15. Suppose -z - 3*g = -4349, -y*g - 3 + 15 = 0. Is z a composite number?
False
Let w = -43 - -46. Suppose -w*b - 2*b - 390 = 0. Let f = -1 - b. Is f prime?
False
Is (-291)/(-1261) - 323710/(-13) a prime number?
False
Is ((-41757)/62)/(1 - (-100)/(-88)) prime?
False
Let u = -236279 + 382818. Is u composite?
False
Let f(m) = 31059*m - 2911. Is f(24) prime?
False
Let z = 5 + 2. Let b = z + -5. Suppose -3*j + 1171 = -b*j. Is j composite?
False
Suppose 5*t - 1 = 19. Suppose -2*y = 5*b + 7 - 38, -t*b + 35 = 5*y. Suppose -4*u = 4*r - 1032, -4*u = b*r - 2*u - 1275. Is r a composite number?
True
Suppose 0 = -8*q - 2*q + 22*q - 8004. Is q composite?
True
Is (-392321*1/(-3))/((-2)/(-12)*2) a prime number?
True
Let p(i) be the third derivative of -865*i**4/24 + 2*i**3 + 8*i**2 - 2*i. Is p(-1) composite?
False
Suppose 781 + 847 = u - 2*m, 0 = -3*m - 12. Suppose 0 = -3*o + 5*l + 14277, 3*o + 425 = -2*l + 14744. Let s = u + o. Is s composite?
False
Let n be (-2761)/(-33)*(12 + 3). Is (n/(-25))/(3/(-30)) prime?
False
Let n be (-2)/(24012/83944 + 10/(-35)). Is (n/(-2))/(6/3) composite?
False
Let o = 3422 - 1583. Is (2 - o/(-6)) + 27/(-18) a prime number?
True
Suppose 4*z = 55 - 15. Let r(i) = 2*i - 15. Let u be r(z). Suppose -7675 = -u*b + 1810. Is b a prime number?
False
Let n(b) = 2748*b - 13. Let l = 32 - 28. Is n(l) a prime number?
True
Let y(k) = 17*k - 15. Let r be y(1). Suppose r*t - 6*t + 8604 = 2*q, 2*q + 6439 = 3*t. Is t a prime number?
False
Let h(c) = -4489*c**2 + c - 1. Let m(z) = 4490*z**2 - z + 1. Let q(s) = 2*h(s) + 3*m(s). Is q(4) a composite number?
True
Let q(b) be the second derivative of -161*b**3/3 + 75*b**2/2 + 127*b. Is q(-4) prime?
False
Let a = 388043 - -217026. Is a composite?
False
Suppose 5*s + 3*y = 1077617, 204*s + 2*y + 215513 = 205*s. Is s a composite number?
False
Suppose 3*s = 4*x - 6, s = x + 2 - 3. Suppose b = -s*b + 5*v + 1247, -v = -b + 413. Is b composite?
False
Suppose -3*f + 124 = 115. Suppose c + 60353 = 4*t, -2*c + 0*c = -f*t + 45261. Is t composite?
True
Let p(i) = -i**3 + 3*i**2 + 2*i + 81. Is p(-10) composite?
False
Let j = -864 + 962. Let f(t) = -t**3 - 5*t**2 + 3*t - 1. Let y be f(-4). Let k = j - y. Is k composite?
False
Let x(b) = -5*b + 15. Let r be x(-8). Let f = r + -113. Is (f + -1)/((-2)/74 - 0) prime?
False
Let p(q) = 7708*q + 2. Let x be p(1). Suppose -9*a = -4*a - x. Suppose -4*i - a + 3834 = 0. Is i prime?
False
Let a be 5772 + ((-12)/(-14) - (-2)/14). Suppose -10*q - 783 = -a. Is q composite?
False
Suppose -122*m + 20551 = -117*m - 2*r, 16448 = 4*m + 2*r. Is m a prime number?
True
Let u = -1302 - -4136. Suppose 5*a - 218 = 3*n + u, -1828 = -3*a + 5*n. Is a a composite number?
True
Suppose 3*n - 183396 + 43929 = 4*k, -5*n - 3*k = -232445. Is n a prime number?
True
Let c be (-4)/6*((-292)/(-4) - 1). Let k be (15/6)/((-20)/c). Let v(a) = 12*a**2 - 6*a + 11. Is v(k) a prime number?
False
Suppose -36*m + 14642804 = 8*m. Is m a composite number?
False
Suppose 2*v - 407034 = -14*r, -4*v + 7*v - 610583 = -5*r. Is v prime?
True
Let r(x) = 2*x**3 - 21*x**2 + 11*x - 5. Let k be r(10). Suppose 3*u - k*a - 40591 = 0, a + 4*a + 54128 = 4*u. Is u a prime number?
True
Suppose 7*h + 614 = -387. Let b(p) = -p**2 - 3. Let f be b(-7). Let l = f - h. Is l composite?
True
Suppose 7*s + 12 = 9*s, -3*s - 164327 = -5*h. Is h composite?
False
Let g = 141069 + -59458. Is g prime?
True
Let l be 1/(-3) + 7/3. Suppose 472*k + 17724 = 486*k. Suppose -2*j = 2*s - k, 537 = s + l*j - 98. Is s composite?
False
Let g(q) = -149126*q**3 - q**2 + q + 1. Let k be g(-1). Suppose -26*z + k = -z. Is z a composite number?
True
Is 375159/(-23*(-19)/437) composite?
True
Suppose -x - 1127 = -4*k, -1435 = -5*k - 8*x + 4*x. Suppose -v - 694 = -5*b, -2*b - 29*v + k = -24*v. Is b prime?
True
Let k = -1 - -1. Suppose -49*s + 19*s + 3776 = 2*s. Suppose k = 2*d - s - 264. Is d composite?
False
Let g(s) = s**3 - 10*s**2 + 56*s. Suppose -12*b + 180 - 48 = 0. Is g(b) prime?
False
Let a be -3*((-20)/5 + 1). Let x be 0/((-9)/(a/2)). Suppose -3*c = x, -4*w + 0*c + 932 = -5*c. Is w a prime number?
True
Suppose 64975472 = 149*z + 62468938 - 223264971. Is z composite?
True
Let z be (-2 + -5)*2/14*-2. Suppose 8 = -2*q, -14 + z = -4*g + q. Is 4 - -40 - 1/(g/(-