t z = 300 + g. Is z a prime number?
True
Suppose -200730 = -4*c - 2*v, 4*v - 51781 = -2*c + 48569. Is c prime?
False
Let n(c) = -116*c**3 - 544*c**2 - 19*c + 2. Is n(-9) composite?
True
Suppose 3*j = 11*j - 16120. Suppose -4 = -4*f, -3*d + 4*f + j = -0*f. Is d a composite number?
False
Let z(s) = -s**3 + 132. Let w be z(0). Let x be 12075/115*(-4)/(-6). Let b = w + x. Is b a prime number?
False
Suppose -167004 = -6*m + 32412. Let v = m - 22993. Is v a prime number?
True
Let d = -3271 - 2650. Let a = -3470 - d. Let n = -1348 + a. Is n prime?
True
Is (-25)/(25/4) - (0 - 150645) composite?
True
Let o = 11439 - -58438. Is o prime?
True
Let s(l) = -l**2 + 11*l + 14. Let z be s(8). Let p be z - 2/(6/3). Suppose -2*v = 2*a - 1354, -2*v - 2078 + p = -3*a. Is a prime?
False
Let x(s) = 10085*s - 6. Let g be x(-1). Let m = 15648 + g. Is m a composite number?
False
Suppose 9*y - 2299 = 1076. Let o = y + 1136. Is o a prime number?
True
Let t(i) = -12*i + 63. Let p = 1 - 24. Is t(p) a composite number?
True
Is (-1551)/(-77) + -21 - 6521030/(-14) prime?
False
Is (-13651164)/27*((-2)/10 + (-559)/430) composite?
True
Let y = -5 + 5. Suppose 2 = -y*k + k, 0 = -3*w - 3*k + 9546. Suppose -8*f + 1084 = -w. Is f a composite number?
True
Let u be 1/((1/(-2))/(-1)). Let o = -1448 - -2254. Suppose -u*l + o = 88. Is l prime?
True
Suppose 57*m - 117 = 48*m. Suppose -h - m = o + 1, -4*o + 3*h - 35 = 0. Is o + 7 - (-1211 + 0) prime?
False
Let n = -45 - -48. Suppose 4*s - 6*s = -n*i + 8, -14 = -5*i + 4*s. Suppose -3*d = -i*d - 179. Is d a composite number?
False
Suppose -35*x = -30*x - 16745. Suppose -k - x = -33690. Is k a composite number?
False
Suppose -5*c - 15 = -2*g, -3*g + 2*c = -c - 18. Suppose y = -g*w + 24, -y = -w - 6*y. Suppose w*n - h - 3279 = 0, -675 = -n + 2*h + 3*h. Is n a prime number?
False
Is 849852 - (7 + -18 + 32) composite?
True
Let r be 8060 + -6 + (-3)/(-1 + 0). Suppose 4*a + r = 5*a. Is a a prime number?
False
Suppose 5*v + 3*s = 17, -5*s - 22 + 5 = -3*v. Is v - 76/18 - (-97460)/36 prime?
True
Let y = 141405 - 76842. Suppose 0 = -5*t + 30602 + y. Is t a composite number?
True
Is (-1)/(-5) - ((-29)/435)/((-4)/(-1410888)) a composite number?
True
Let z(f) = -f**2 - 10*f - 10. Let p be z(-8). Let v be (-3)/((-3)/(-2)*p/(-9)). Suppose s = -2*b + 594, 8*s + b - 2934 = v*s. Is s a prime number?
False
Let i be (-1 - 1244/(-6))/((-1)/3). Let u(c) = -2*c**2 + 13*c - 31. Let r be u(7). Let p = r - i. Is p prime?
False
Let c(j) = 10*j**2 - 5*j + 37. Let v = -171 - -161. Is c(v) prime?
True
Suppose 70*s - 43*s = 782406. Is s prime?
False
Let p = 572 - 642. Is (-50)/p + -1 - (-52098)/14 prime?
False
Suppose -14*g + 69727 + 18781 = 0. Let x = -413 + g. Is x prime?
False
Let f be (-252)/(-8) + (-1 - 9/(-6)). Suppose 41*n - f = 37*n. Is 255 - 1/(2/n) composite?
False
Suppose 506*i = 505*i + 445. Suppose 447*o = i*o + 12778. Is o composite?
False
Suppose -2*z = 3*q - 5242, -q + 14253 - 3749 = 4*z. Let b = 18741 - z. Suppose b = -5*h + 19*h. Is h composite?
False
Let c = 148 - 127. Suppose -18 + c = r, -x + 24892 = -5*r. Is x a composite number?
False
Let z(x) be the second derivative of 17/2*x**2 + 71/3*x**3 + 0 - 12*x. Is z(10) composite?
True
Suppose -69222 = -4*t + 4*l + 98378, t - 41885 = -2*l. Suppose 0 = -14*r + t + 287791. Is r a prime number?
True
Let m(y) = -29*y. Let t be m(1). Let a(z) = 14*z**2 + 25*z + 165. Let i(o) = 9*o**2 + 16*o + 108. Let l(j) = 5*a(j) - 7*i(j). Is l(t) prime?
False
Let s(v) = 14*v**2 - 28*v + 7. Let c be (-32)/(-10) - (20/(-25) - -1). Suppose -p + c*z = -4*p + 21, 3*z + 6 = 0. Is s(p) prime?
False
Let h(c) = -4*c**3 + 32*c**2 - c + 8. Let w be h(8). Suppose w*l = -l + 8*l. Suppose 2*s - 3232 - 598 = l. Is s a composite number?
True
Suppose 2*s - 14 = -4*c, 4*s - 2*c = -3*c + 21. Suppose s*k - 915 = 2*f, 3*k + 0*f = -3*f + 549. Is k composite?
True
Let h be 262 - (0/(-3) - (-4 + 0)). Suppose 2*l - 2990 = -3*s, h = -4*l - 2*s + 6254. Is l a composite number?
True
Suppose 39*h = 38*h + 411. Is h/(-4)*80/(-12) a prime number?
False
Let s = 35086 - -41713. Is s a prime number?
False
Suppose -8*c + 2*c = 180. Let y be (-1)/6 - 5/c. Is 148/4 + y/(-2) composite?
False
Let q be (8*3)/(((-180)/(-8))/(-15)). Is (-16892)/q + (-33)/44 a prime number?
False
Let g(t) = t + 23. Let v be g(-18). Suppose 2*m = 4*r + 48, -v*m = 2*r - 19 - 41. Let z = 113 + m. Is z a composite number?
False
Let r(t) = 494*t**2 + 156*t - 27. Is r(11) composite?
False
Let l(m) = -2*m. Let d(f) = -49*f + 245. Let b(w) = d(w) + 6*l(w). Is b(-24) a composite number?
False
Let k(m) = 3*m. Let g be k(4). Suppose 4*h + 0*h - 3*u - 11 = 0, 4*u - g = 0. Suppose -p - 3*n + 47 = -5*n, 5*n = h*p - 215. Is p a prime number?
False
Suppose 22*l - 23*l + 1594 = h, 4*l + 3176 = 2*h. Suppose -r - 2*r - 5*p = -2440, -p = r - 810. Let x = h - r. Is x a prime number?
True
Suppose -i + 762 = 3*q, -142*i + 774 = 3*q - 145*i. Suppose 5*g + 4*s = -236, 3*g + 4*s = -56 - 92. Let d = q + g. Is d a composite number?
False
Let o = 6061 - 2977. Suppose -8*p + o = -4444. Is p prime?
True
Let g be (10 - 9)/((-2)/10334). Let a be (-7 - -2)/(-5) - g. Suppose 0 = -9*b + 43733 - a. Is b composite?
True
Is (-35620)/(-5)*(39 - 2) - 1 prime?
False
Suppose 0 = -24*k + 3*k + 79*k - 11244518. Is k prime?
True
Let r(l) = -l**3 - l**2 + l - 1. Let w(a) = -4*a**3 - 6*a**2 + a + 2. Let d(q) = 2*r(q) - w(q). Let j = 538 + -535. Is d(j) a prime number?
True
Let f = 7946 - 2695. Is f composite?
True
Suppose 6*x + 1140 = 3*x. Is (-13 - x) + 12/3 a composite number?
True
Let b(s) = 6*s**2 + 79*s + 494987. Is b(0) a prime number?
True
Let s(j) = j - 8. Let p be s(2). Let y be p/(1*(-6)/3). Is 4473/2 + y/6 prime?
True
Let k(g) = -2*g**3 + 12 - 3*g**3 + 5*g**3 + 2*g + g**3 + 15*g**2. Let h be k(-13). Suppose -2*b + 2*t + h = 0, -5*b + 800 = 3*t + 2*t. Is b a composite number?
True
Suppose -5*q - 5*g + 2*g = 12, 3*g = -q - 12. Suppose q = 34*m - 39*m. Suppose -5*c + 416 + 519 = m. Is c a composite number?
True
Suppose 70*p - 17352385 = 52053385. Is p a prime number?
True
Is -83 + 22930 - (1 + -7) a prime number?
True
Let d(v) = -15*v**3 + 4*v**2 + 35*v - 151. Is d(-34) composite?
False
Let n(o) = 3*o - 17. Let f be n(7). Suppose 0 = -f*l + 419 - 9131. Is 20/8 + l/(-4) composite?
False
Let m(y) = -y**3 + 76*y**2 - 223*y - 411. Is m(58) a composite number?
False
Let c(b) = b**3 + b**2 + 5*b + 25. Let h(o) = -5*o. Let j be h(0). Let u be c(j). Suppose -u*a + 20*a = -3155. Is a prime?
True
Suppose 0 = 7*s - 5*v - 3667449, 52*s + 3*v - 2095732 = 48*s. Is s prime?
True
Let n = -26 + 21. Let w be (n/(-3))/(3/1629). Let b = 1354 - w. Is b prime?
True
Let m(d) be the third derivative of -d**6/120 - d**5/30 + d**4/6 + 8039*d**3/6 + 5*d**2 + 4*d. Is m(0) a composite number?
False
Suppose 2*v - 49752 = -4*t - 510720, 2*t - v = -230484. Is (t/24)/((-1)/4) a prime number?
True
Let o(b) = 5396*b - 1399. Is o(7) composite?
False
Suppose -66*g - 450 = -57*g. Is 2500 - ((-2)/12 + g/60) composite?
True
Suppose 18*j - 2*j = 8*j. Suppose 2*d = 5*a + 11088, j*d + 4*a + 5547 = d. Is d composite?
True
Let t(o) be the third derivative of -107*o**6/180 - 11*o**5/60 + 3*o**4/2 - 14*o**2. Let d(s) be the second derivative of t(s). Is d(-3) a composite number?
True
Let j = 2146 - 6188. Let b = 8903 + j. Is b prime?
True
Let q(i) = 4*i + 1 - 2 - 2*i + i**2. Let s be q(-9). Let y = s - -69. Is y prime?
True
Suppose 0 = -2*d - 6, 9*m - 8*m = 4*d + 60453. Is m a composite number?
True
Let g(y) = -6*y + 28. Let d be g(4). Suppose -d*q + w = -3, 3*w + 2*w + 15 = -4*q. Suppose q = -9*m + 4*m + 1055. Is m a composite number?
False
Let x(z) = -24*z**3 - 33*z**2 + 4*z + 29. Let c be x(-18). Suppose -25*f + c = -12*f. Is f a composite number?
False
Suppose -2*v + 3*b = -198911, 5*b + 2471 = 2*v - 196454. Is v a composite number?
True
Let g be (-18)/1 + 6*1/2. Let x = g - -19. Suppose 0 = x*y - 0*y - 1804. Is y a prime number?
False
Let u(w) = -594*w**3 + 3*w**2 + 2*w + 13. Is u(-4) composite?
False
Let i(u) = -2159*u + 130. Is i(-3) a composite number?
False
Let d = -194 + 196. Suppose -d*w + 7334 = 4*y, 2*w + y + 11015 = 5*w. Is w a prime number?
True
Let a(h) = 1971*h**2 + 612*h + 3649. Is a(-6) composite?
True
Let f(s) = 92*s**2 - 9*s - 10. Let t = 51 +