Let m = t + -635. Is m a prime number?
False
Suppose -19*c = -13*c + 726. Let r = c + 312. Is r prime?
True
Suppose 4*y = 8*y + 8. Is (4734/(-12))/(y/4) a prime number?
False
Suppose -732*o - 1563 = -735*o. Is o a composite number?
False
Suppose 4 + 26 = -2*v. Let d = v + 18. Suppose -d*z + z + 174 = 0. Is z prime?
False
Let t = 2 + 1. Let u(z) = 11*z**3 - 2*z**2 - 2*z + 3. Let x be u(t). Let g = x - 19. Is g a prime number?
True
Let v = 1266 - 2189. Let s = -482 - v. Suppose 2*g + 83 = 3*g - 3*y, -5*g + 2*y + s = 0. Is g a prime number?
True
Suppose 2506 - 475 = 3*u. Is u composite?
False
Let a = -3044 - -4751. Is a composite?
True
Suppose 3*p = 2*a + 70035, 3*a = -3*p + 26760 + 43290. Is p prime?
False
Let q(u) = 115*u**3 + 4*u**2 + 4*u + 3. Let y be q(-2). Let s = -545 - y. Suppose -4*j = -4*l - s, -131 = -2*j - l + 39. Is j a prime number?
False
Let o = 55843 + -32330. Is o prime?
False
Suppose 0 = 2*s - 6, 3*p + 4*s = 54 + 57. Suppose -p + 13 = -4*i. Suppose -b + 3*b - 2*l - 730 = 0, -1837 = -i*b - l. Is b composite?
False
Suppose 2*n = n + 3. Suppose -n*x = -976 - 518. Is (x/9*-3)/(-2) a composite number?
False
Is 0 + 6132 + (-44 - -43) a prime number?
True
Let m be ((-172)/6)/((-2)/33). Suppose -17*b = -16*b - m. Is b a composite number?
True
Suppose 5*x + 3*x + 16480 = 0. Is (-6)/(-18) + x/(-3) prime?
False
Suppose f = -88*z + 85*z + 329348, -f - 109776 = -z. Is z composite?
True
Let h(a) = -a - 15. Let u be h(-10). Let x be ((-4)/u)/(8/(-60)). Is (-45)/x*68/6 a composite number?
True
Suppose -60*n = -59*n - 4821. Is n prime?
False
Let m = 11590 - 6491. Is m a prime number?
True
Is (-5)/5*(-2 - -3)*-749 a prime number?
False
Let g = 215 - -832. Is g composite?
True
Suppose -12*p - 9488 = -4*p. Let i = -219 - p. Is i prime?
True
Suppose 0*d - 4*d = 40. Let q be ((-30)/75)/((-2)/d). Is 1 - 0 - 476/q prime?
True
Let x = 2865 - -7466. Is x a composite number?
False
Let i(q) = 4 + 1 - 2 - 191*q - 4. Is i(-4) a prime number?
False
Suppose -2*t + 0*t + 12 = -3*x, -4 = -t + x. Is (15 - t) + 4/1 composite?
False
Suppose 0 = -g - 2*m - 14, 0 = g + m - 4*m + 29. Let p be g + (-3 - -5) - 4. Is 4/p + 3009/33 a prime number?
False
Let w = 33683 + -12132. Is w a composite number?
True
Let k = -4241 + 2416. Let o = k + 5619. Is o/18 + (-42)/(-189) prime?
True
Let k = -98 + 285. Is k prime?
False
Suppose 3*n - 4*m - 28084 = -1735, 4*m + 43907 = 5*n. Is n prime?
True
Suppose -3*t + 155 = t - 5*d, -160 = -3*t - 5*d. Let s be -753*(-6)/t*-5. Let q = -299 - s. Is q prime?
False
Let p(i) = 1305*i**2 - 83*i + 389. Is p(5) composite?
True
Suppose 0 = -78*r + 95*r - 267359. Is r composite?
False
Let f = 2531 - -5458. Is f prime?
False
Let u = 13 + -11. Let k = u + 3. Suppose q - 151 - 53 = p, -2*q + 393 = -k*p. Is q composite?
True
Is (-52 - -51)*(-15350 + 1) prime?
True
Let p(d) = d**2 - 6*d - 6. Let w be p(4). Let c(n) = -n**3 - 13*n**2 + 2*n - 15. Let o be c(w). Suppose -5*q + o = -242. Is q a composite number?
False
Let s(a) = 16*a + 45. Is s(41) composite?
False
Let j = 13 - 10. Is 14/21*((-18477)/(-2))/j prime?
True
Suppose 7944 = -12*i + 20*i. Is i a prime number?
False
Let i(l) be the first derivative of 7*l**4/12 - 13*l**3/6 + 11*l**2/2 - 3. Let q(h) be the second derivative of i(h). Is q(7) composite?
True
Suppose t + 3*w - 1292 = -3*t, 2*t = -w + 644. Let g = -7 + 4. Let o = g + t. Is o a prime number?
True
Suppose -2*j + 2*w + 2304 = -1006, w - 3298 = -2*j. Is j composite?
True
Suppose -62*g + 10 = -64*g. Suppose -17 = q - 1. Let u = g - q. Is u a prime number?
True
Suppose 0 = -h - 0*h. Suppose h = -4*n + 526 + 762. Suppose w - n = -w. Is w prime?
False
Suppose 22 = -3*b + 7. Let q(t) = -t**3 - 5*t**2 + 5*t + 3. Let x be q(b). Is x/11*(-179)/2 composite?
False
Let t = -17073 - -34656. Is t prime?
False
Let v = 17 + -24. Is (v/21)/(((-2)/(-1))/(-276)) a prime number?
False
Suppose 0 = 3*z - 4*i - 26, -5*i - 19 = -0*z + 3*z. Suppose -3*c + 9 + 98 = 4*j, z*j = c - 29. Is c a prime number?
False
Is (-942 + -16)*1/(-2) a prime number?
True
Suppose 516163 + 1023027 = 38*r. Is r composite?
True
Let s be (3 - (0 + 3))/2. Suppose s = 3*a - a - 1154. Is a a composite number?
False
Is 8906 + -2 + 10 + -11 composite?
True
Let n be (-4)/(-10)*(0 + 5). Suppose 0*v = n*v + 300. Let b = v - -217. Is b a prime number?
True
Suppose -20*n + 19*n + 9578 = -3*z, 3*n + 2*z = 28767. Is n composite?
False
Suppose 3*v - 5*h + 33 = 7, -v - 5*h = 2. Let a be (-163)/(-2) - v/14. Let b = a - -273. Is b composite?
True
Suppose 5*s + 71 = -2*p, p + 52 = -4*s - 3*p. Let l be 11*(4 - s - -3). Suppose v + l = 3*v. Is v a composite number?
True
Let x = 50161 - 20688. Is x prime?
True
Suppose 8*v = 3*v + 25. Suppose v*k = 5*c + 45, 0 = c - 2*k + 13 + 1. Is (-14 + -150)*11/c a prime number?
False
Let v be (-70)/(-42) - 2/(-6). Suppose 4*w = -3*t + 1907, 0*w - v*w = -5*t + 3135. Is t a prime number?
False
Let j(v) = -6*v**3 - 6*v**2 - 9. Let o be j(-7). Suppose -w + 2 + 1 = 0. Suppose 2*p - 8 = 0, o - 92 = 5*h - w*p. Is h prime?
False
Suppose -8*j = -6*j + b - 19327, -j - 5*b + 9686 = 0. Is j a composite number?
False
Let b(o) = -397*o**3 + 4*o**2 + 3*o - 1. Is b(-1) composite?
False
Suppose -37*l = -19*l - 426582. Is l composite?
True
Let j = -31 - -35. Suppose -2*g + j*s = -16, 0 = g + g + 5*s - 7. Suppose 20 = 5*d, 2*d + 1637 = g*c - c. Is c a prime number?
False
Let u(v) = 145*v**2 + 6*v - 20. Is u(5) a composite number?
True
Let w(l) = -24*l + 5. Suppose 2*q + 3*x - 36 = 4*q, q + 5*x = 8. Is w(q) a composite number?
False
Suppose 4*k + 2*m - 4452 = 0, 2*k - 2210 = -6*m + m. Suppose -2*i + k = -167. Is i a prime number?
True
Suppose -78 = -8*v - 38. Suppose -v*u + 2413 = -12. Is u a composite number?
True
Suppose -4*h + 73706 = 2*l, l - 15*h - 36843 = -19*h. Is l a composite number?
True
Suppose 3*n + 2213 = 3*o - 1243, n = -5*o + 5754. Is o a composite number?
False
Suppose 198807 = 5*r - 2*o, -2*r - 3*o = -0*o - 79519. Is r prime?
True
Suppose 216620 = 6*s + 58802. Is s a composite number?
True
Suppose -12 = -15*q + 11*q. Suppose 256 + 215 = q*z. Is z composite?
False
Suppose 0 = 6*t - t. Suppose t = -2*l + 4*l - 132. Let p = l - 19. Is p a prime number?
True
Let v = 10 - 7. Let a = -1 + v. Suppose -3*r + 185 = -a*r. Is r prime?
False
Suppose 8 = -f - 2. Let m = 12 + f. Is -14*(-5)/m + -2 prime?
False
Let f = -9 - -10. Suppose -a + f = -1. Suppose 0 = -7*w + a*w - 2*m + 162, 22 = w + 3*m. Is w a composite number?
True
Let q(x) be the second derivative of x**4/12 - x**2/2 - x. Let p be q(4). Suppose -p = -d + 8. Is d a prime number?
True
Is (609/15)/(5/25) composite?
True
Suppose -5*p + 2*g + 42 = -99, 5*g = 5*p - 135. Let r = p - 27. Suppose 40 = -2*a - r*o + 106, 122 = 4*a - o. Is a prime?
True
Suppose -7239 = -2*k + 146575. Is k a composite number?
False
Let v(b) = b**2 + 2*b - 3. Let z be v(-3). Let u be 7 - (6 + -4 + 1). Suppose 2*f + u*h - 50 = 0, z*f = 3*f + 5*h - 79. Is f composite?
True
Suppose 10159 = 9*m - 9344. Is m composite?
True
Let z(v) be the third derivative of v**6/120 - v**5/12 - v**4/4 + v**3/6 - 13*v**2. Is z(8) a prime number?
False
Suppose -5*t - 2*p = 2*p - 209163, 3*p = 2*t - 83656. Is t a composite number?
True
Suppose 28*r = 17391 - 3335. Is r a prime number?
False
Suppose 0 = -c + 2*z + 8266 - 559, 0 = 2*c + 2*z - 15438. Is c a composite number?
True
Suppose -3*q - 4*z + 5*z + 3355 = 0, 0 = z + 4. Is q prime?
True
Let w = -13 + 17. Let q be -1 + 0/(w/4). Is (181 + 4)/(0 - q) composite?
True
Let i(n) = -550*n**3 - 4*n**2 - 8*n - 9. Let z = -74 - -72. Is i(z) prime?
True
Let g = 593 - 32353. Is g/(-35) + 3/(-7) a composite number?
False
Let o be ((-36)/45)/((-2)/1975). Suppose -o = -4*n + 17790. Is n/35 + 2/7 a composite number?
True
Let u = 41 + 58. Suppose 0 = 2*h - 4*g + 3*g - 703, -g - 1053 = -3*h. Let l = u + h. Is l prime?
True
Let f(k) = -k - 1. Let s(b) = -42*b - 42. Let z(d) = -35*f(d) + s(d). Let l = 10 + -14. Is z(l) composite?
True
Let i = -90365 - -189930. Is i composite?
True
Suppose -2*m + 3*r - 112 = -m, -r - 128 = m. Suppose 0*h = h - 5, 0 = -4*i + h + 27. Is m/i*8/(-4) a composite number?
False
Let i(a) be the third derivative of 31*a**5/30 - a**4/3 - 31*a**3/6 + 30*a**2. Is i(-4) a prime number?
False
Suppose -8*l - 9 = h - 4*l, 