s q prime?
True
Let a(m) = 112*m + 1. Suppose -3*k + 6 = 3. Is a(k) a prime number?
True
Suppose -11*o + 272 = -5393. Is o a prime number?
False
Let u = 73 + 24. Let r = u - 44. Is r a prime number?
True
Suppose -5*o + 422 = -3*o. Suppose -3*t + o = 40. Is t prime?
False
Suppose 5*l = -3*z + 124, -z + 2*l = -2*z + 41. Is z a composite number?
False
Let k(i) be the second derivative of -i**3/6 - 2*i. Let x be k(-2). Suppose -x*q - 3*j + 40 = -49, 4*j = -3*q + 133. Is q a composite number?
False
Let w(q) = -31*q + 4. Let u(l) = 124*l - 16. Let k(a) = -2*u(a) - 9*w(a). Is k(3) composite?
False
Let y = -1273 + 2424. Is y a prime number?
True
Suppose 2*w + 1 = 11. Suppose j = 4*x + 145, -w*x + 4*x + 435 = 3*j. Is j a composite number?
True
Let s = -80 - -333. Is s a composite number?
True
Suppose 0 = -2*z - 0 + 2. Let p be ((-1)/3)/(z/(-39)). Suppose 0 = 5*s - p - 252. Is s prime?
True
Suppose y - 11*y = -47650. Is y prime?
False
Let q = -376 + 749. Is q a prime number?
True
Let y be (-2)/3*(-90)/4. Suppose -a = -2*a + y. Let m = a + 74. Is m a composite number?
False
Let f = 6 - 4. Let l be 3/(f - (-15)/(-12)). Suppose -l*t + 5 = -23. Is t a prime number?
True
Let u = -248 - -1203. Is u prime?
False
Suppose 0 = 3*d - 41 + 2. Suppose v - d = -0. Is v composite?
False
Suppose 0 = 7*a - 8*a + 1009. Is a a composite number?
False
Suppose 0*d = 3*d - 2400. Suppose 2*n - 3*y = 591, d + 646 = 5*n + 3*y. Is n prime?
False
Let l = -48 + 68. Suppose 5*k = -0 + l. Suppose -n + 107 = 3*j - 312, 5*j + k*n - 703 = 0. Is j a prime number?
True
Suppose 0 = l - 1 - 4. Let n(j) = 3*j**2 - 6*j + 6. Is n(l) a composite number?
True
Suppose -2*g + z - 7 = -24, 4*z = 5*g - 41. Let k = 6 + g. Is k a composite number?
True
Let q = 0 + -5. Let x be (-6)/5*q/2. Is (-31)/(-3) - (-2)/x a composite number?
False
Let r(g) = 6*g - 15. Is r(6) prime?
False
Let w = -23 - -86. Let k = w + -24. Is k a composite number?
True
Suppose 27 + 47 = 2*f. Is f composite?
False
Let h be 0 - -7 - (-1 - -3). Suppose h = 5*l, -2*l - 3*l + 94 = k. Is k a composite number?
False
Suppose 2*u = -2*h + 14, 2*h - 23 = 2*u - 7*u. Suppose 0 = -u*a - 2*n + 519, -4*a + 384 = -5*n - 331. Is a/3 - (-2)/(-6) a prime number?
False
Let o(g) = g**3 - 3*g**2 - 2. Let k be o(3). Is (268/6)/(k/(-3)) a prime number?
True
Suppose -1955 = -8*y + 501. Is y a prime number?
True
Let j be 2/(-3)*(-3054)/4. Suppose 4*u - j = -3*l, 2*u - 27 = -l + 146. Is l a composite number?
False
Let z be (0/(6/(-2)))/(-2). Suppose -5*n + 230 - 35 = z. Suppose -4*h + 5*q = -2*h - n, 0 = 3*h - 4*q - 62. Is h prime?
False
Suppose 2*p + 11326 = 4*z + 1986, -3*z = -2*p - 7007. Is z prime?
True
Let f be (0/2)/(2 + -4). Let m(i) = i**3 - 4*i**2 + 4*i - 53. Let q(a) = -2*a**3 + 7*a**2 - 7*a + 105. Let h(s) = 7*m(s) + 4*q(s). Is h(f) composite?
True
Suppose -2 = 2*r - 0. Let p(y) be the third derivative of -y**4 - y**3/6 - 2*y**2. Is p(r) composite?
False
Let t = 62 + 25. Is t prime?
False
Let z(y) be the second derivative of y**5/6 - y**4/8 - y**3/6 + 4*y. Let a(w) be the second derivative of z(w). Is a(2) composite?
False
Let u(y) = y**3 - y**2 + 237. Suppose 4*c + 2*k = -10, -k + 5 = c + 10. Is u(c) prime?
False
Let x(p) = 137*p + 31. Is x(14) composite?
False
Suppose 3*y - 6 = 0, 2*d + 4*y - 4573 = -3*d. Is d a composite number?
True
Let t = -1 + 4. Is (-122)/(-6) - (-2)/t a prime number?
False
Let b = -13 + 42. Suppose -5*t + 14 = -4*a + 6, 7 = t + a. Let s = t + b. Is s prime?
False
Suppose -3*t = -t - 184. Suppose 3*i = -i + t. Is i a composite number?
False
Let q(r) = r**2 - 15*r + 3. Let l be q(7). Let z = 130 + l. Is z composite?
True
Let j(z) be the first derivative of z**4 - z - 1. Let c(g) = -g**3 - 5*g**2 - 2*g - 8. Let k be c(-5). Is j(k) composite?
False
Suppose 4468 = u + 3*u. Is u a prime number?
True
Let k = 45 - -176. Is k composite?
True
Let x = 15723 + -10964. Is x a prime number?
True
Let g = -15 + 19. Let f(y) = 15*y**2 + 5*y - 1. Is f(g) composite?
True
Let r = -5 + -3. Is 344/6 + r/24 composite?
True
Suppose -4*y - 2517 = -7*y. Is y a composite number?
False
Let o be -1*(-6 - 0) - 2. Suppose b + 807 = o*b. Is b a composite number?
False
Let k(b) = b + 3. Suppose 0 = 4*q - 5*d - 25, -5*d - 16 = -5*q + 9. Let a be k(q). Is 6/a - (-12 - 0) a composite number?
True
Let b(q) = q**2 + 9*q + 7. Let p be b(-8). Is (-1)/(p*1/37) a composite number?
False
Is (-847)/(-13) - 6/39 composite?
True
Suppose -2*h - 7*v + 2*v + 21 = 0, 5*h - 2*v = -20. Let d = -64 + 111. Is (d/(-3))/(h/6) prime?
True
Suppose 0*p + 4*p = 3164. Is p prime?
False
Suppose -2*n + n - 5*r = 65, 0 = -5*n - r - 397. Let h = n - -117. Is h a composite number?
False
Let b(f) = f**3 - f + 1. Let p be b(1). Is -5 + 2 + p + 37 composite?
True
Let f = 4 + 45. Suppose -r - f = -288. Is r a prime number?
True
Suppose 5*k = 3*y + 5, 0 = -5*k + y + y. Let t(a) be the third derivative of -a**6/20 - a**5/20 + a**3/6 - 16*a**2. Is t(k) a prime number?
True
Suppose 2*m + 5*s - 1190 = s, 0 = 4*m - s - 2344. Is m a prime number?
True
Let l(n) = -5*n - 2. Is l(-11) composite?
False
Suppose -10*x - 7*x = -4267. Is x prime?
True
Let n = 418 - 21. Is n composite?
False
Let b be 38/(3*(-3)/(-27)). Let r = -61 + b. Is r prime?
True
Let m be 2 + (6 - 2)*-1. Is ((-37)/m)/((-3)/(-6)) a prime number?
True
Suppose 4*s = 5*o + 1042, 3*s + o = -o + 793. Is s a composite number?
False
Let v(l) = 132*l**3 - 2*l + 1. Is v(1) a composite number?
False
Let w = 850 + -441. Is w a composite number?
False
Let n(c) = c**3 + 14*c**2 + 15*c + 3. Is n(-11) a prime number?
False
Let d(m) = -m**3 + 4*m**2 + 7*m - 7. Let n be d(5). Suppose -3*k - 6 = -n. Is k + 3*44/6 prime?
False
Suppose -5*u + 8*u - 75 = 0. Let q = u + 64. Is q a prime number?
True
Suppose 0*p + 2*p - 170 = 0. Is p prime?
False
Is 265 + (12/9)/(10/15) a prime number?
False
Suppose 3*s - 18306 + 4395 = 0. Is s a prime number?
True
Let l(b) = -b**3 + b - 8. Is l(-6) a composite number?
True
Suppose -4*s + 2*k = -20, -4*k + 14 = -2*s + 3*s. Suppose x + s = 3*x. Suppose -x*m + 15 + 51 = 0. Is m prime?
False
Let j(g) = -60*g - 13. Is j(-3) composite?
False
Is 1395/18*12/10 prime?
False
Suppose -3*l + 3*q + 0*q + 3 = 0, -3*l - 17 = 2*q. Let s(m) = m**2 + 2*m. Let u be s(l). Suppose y - u*r - 27 = -4*y, 2*y - 22 = 4*r. Is y a composite number?
False
Suppose 5375 = 3*u + 1355. Let b = -183 + -744. Let g = u + b. Is g composite?
True
Let g = 29 - 51. Is 0 + (-1 + 1 - g) prime?
False
Suppose 2*y = -40 - 10. Let v be (30/y)/(2/430). Is (10/(-15))/(4/v) a prime number?
True
Let s be (2628/(-21))/(1/(-7)). Let w be (1/3)/(2/s). Suppose j + 2*u - 3*u - 71 = 0, 4*u + w = 2*j. Is j a prime number?
False
Let u(l) = l**2 + 10. Let w(h) = -h**3 - 4*h**2 - h - 2. Let o be w(-4). Suppose -i - 25 = -4*x, o*i = 7 - 1. Is u(x) composite?
False
Suppose 14*x - 4756 + 1130 = 0. Is x a composite number?
True
Let h be 229/(-7) + 10/(-35). Let f = -17 - h. Let s = f + 21. Is s composite?
False
Let u(b) = b + 1 + 2*b + 15*b**2 + 0. Is u(4) composite?
True
Let o(h) = -h**3 - 4*h**2 - 2*h - 4. Let y be o(-4). Suppose 3 + 27 = s - 3*a, -y*s + 2*a = -70. Is s a composite number?
True
Suppose 0*c + 5622 = 2*c. Is c a prime number?
False
Suppose 4*k + 3*g - 2*g = 513, -2*g + 10 = 0. Is k prime?
True
Let p be 4/(-1 + 3)*-1. Is 1 + 156 + (-2 - p) a prime number?
True
Let h be 7/(-2)*8/(-14). Suppose h + 4 = 2*z. Suppose -z*p = -p - 30. Is p a prime number?
False
Suppose -12*j = -11*j - 1903. Is j a composite number?
True
Suppose -3*o - o = -248. Let m be o/(-22) + 4/(-22). Is 47/2*(-1 - m) composite?
False
Is ((-487)/2)/(2/(-4)) a prime number?
True
Suppose 5*d = d + 20. Suppose -d*p - 2 = -2*x, 9*p - x + 1 = 4*p. Suppose p*o - 44 = -2*o. Is o composite?
True
Suppose 8 + 0 = 2*m. Suppose m*v - x = 81, -34 = -3*v + 3*x + 38. Is v composite?
False
Let n = -8 + 11. Suppose -9 = 3*y, -3 = -n*i - i - 3*y. Suppose 5*o = 5*p + 398 + 32, 0 = -i*o - 4*p + 293. Is o prime?
False
Let t be (1 - (0 + 1))/2. Let w be 1 + t - (2 + -3). Is (-71)/2*(-4 + w) composite?
False
Let v(y) = y**3 - 9*y**2 + 5*y - 12. Suppose -19 + 46 = 3*t. Is v(t) composite?
True
Let c = -236 + 423. Is c prime?
False
Let g = 19 + 102. Let u = g + -70. Is u prime?
False
Let v(m) = m**3 - 7*m**2 - m + 9. Let 