7*h - 1270. Is h prime?
False
Suppose -h - 5*h = -30. Suppose h = -b, 3*b + 210 = -p + 6*p. Is p prime?
False
Let a be (-39)/(-13)*10/(-3). Let s(l) = -l**3 - 7*l**2 + 5*l - 13. Is s(a) a prime number?
False
Suppose -4*v = -11*c + 15*c - 3600, 2*v - 1803 = c. Is v a prime number?
False
Let n(h) be the third derivative of -7*h**6/120 - h**5/30 - h**4/6 - 7*h**3/3 - 2*h**2. Is n(-3) a prime number?
False
Suppose 0 = 2*f - 8, 0 = 3*z - 0*z + 5*f - 12350. Suppose -12*c = -z - 15342. Is c prime?
True
Let m = 15 + -7. Let b(r) = m*r**2 - 3 - 2 - 3*r + 2 - 3*r. Is b(-4) composite?
False
Let y(m) = 4*m**2 + 2*m - 5. Let x be y(-11). Suppose 0 = -4*n + r + x, 3*r = 4*n - 48 - 403. Is n a composite number?
True
Let t(f) = -f**2 - 51*f + 79. Is t(-33) a composite number?
False
Let r = 131 + -131. Let u(l) = 8*l. Let w be u(1). Is (r + 222)/(-6 + w) a composite number?
True
Suppose -2*m - 11*n + 10*n = -47085, -5*n = 5. Is m composite?
True
Let j(g) = -8*g**3 + 2*g**2 - g. Let z(f) = -f**2 - f. Let v(k) = -j(k) - z(k). Is v(1) prime?
False
Let i(j) = -2*j + 1. Let b be i(1). Let a(x) be the second derivative of -217*x**5/20 - x. Is a(b) prime?
False
Is 13/(6/(398 - -4)) a prime number?
False
Suppose -4*l - 404 = -0*l. Let s = -667 - l. Let o = -363 - s. Is o composite?
True
Let k = 643 - 336. Is k prime?
True
Suppose 0 = -3*m + 2*m + 40. Let s be 2/8 - (-70)/m. Suppose n = 2*n + 5*x - 2, -30 = -4*n + s*x. Is n prime?
True
Suppose -5*b + 61599 = -2*b + 4*c, 0 = -3*c - 9. Is b a prime number?
False
Let f(q) = 215*q - 11. Is f(2) a composite number?
False
Suppose 0 = 6*w - 3*w - 6. Suppose 18 = -4*b - 5*a, w*b + 12 = -0*b - a. Let h(x) = 6*x**2 - 5*x - 3. Is h(b) a prime number?
False
Suppose 2*d - 32171 = a, 0 = 116*d - 120*d - a + 64339. Is d prime?
False
Is 3722/(-7)*98/(-28) a composite number?
False
Suppose -231 = -2*v - 3*w, 2*w - 115 = 4*v - 5*v. Let r = v - -106. Is r a prime number?
True
Suppose 11 = 2*u - u. Suppose -285 = -4*b + u. Suppose -a + 57 + b = 0. Is a a composite number?
False
Let h be 2*(4 + 2829/6). Suppose -4*k + 7*k = h. Is k a composite number?
False
Let v = 4220 - 2226. Suppose -i - i = -v. Is i a composite number?
False
Let v be -1*9/1*-3. Is 27843/v + 12/(-54) a composite number?
False
Suppose 0*c - 2*c + 124 = 5*o, -2*c = 3*o - 72. Suppose o*z = 29*z - 741. Is z prime?
False
Is 382/(-2 + (-72)/(-34)) composite?
True
Let s = 3 - -1. Suppose -5*f = -2*q + 150, q = -s*f + 15 + 34. Is q prime?
False
Let z = 20 + -8. Let n be (-18)/((-20)/z + 1). Suppose -3*l = -3, -2*l + 43 = 2*x - n. Is x prime?
False
Let o(c) = c**2 - 4*c. Let s be o(4). Suppose -78 = -3*p - 3*h, 3*h + 2*h - 5 = s. Is p prime?
False
Is (-1)/((-6)/(-276788))*189/(-126) a prime number?
True
Let j(l) = -l**2 - 6*l - 2. Let m be j(-6). Suppose -6664 = 2*k - 1728. Is (-1)/(4/k) - m a composite number?
False
Let f(x) = x**3 + 3*x**2 + 36*x - 35. Is f(15) composite?
True
Let z = 12280 + -5477. Is z composite?
False
Suppose 16891 = m + 5392. Is m composite?
True
Let i(w) = 51*w**2 + 2*w - 3. Is i(4) a prime number?
True
Let y(z) = -5*z**3 - 4*z**2 + 2*z + 6. Let l = 78 - 83. Is y(l) a prime number?
True
Suppose -8757 = -8*c - c. Is c a prime number?
False
Suppose 4*w = -3*g + 38801 - 2652, 0 = -g + 2*w + 12043. Is g prime?
False
Let u(x) be the first derivative of -x**4/2 - x**3/3 - 3*x**2/2 - 7*x - 6. Is u(-5) a prime number?
True
Let s(o) = -5*o**3 - 128*o**2 - 147*o + 23. Is s(-45) composite?
True
Let z = -1967 + 421. Is 40/12 + -4 - z/6 a composite number?
False
Let w(n) = 836*n**2 + 5*n + 4. Is w(-1) a prime number?
False
Suppose 2*g - 4 = -8. Let y be g/7 - 25/35. Is (-5304)/(-30) + y/(-5) composite?
True
Suppose 0 = -3*n + 8*n. Let j = 3 + n. Suppose -j*h + 12 + 159 = -4*a, 0 = -h - 2*a + 57. Is h a prime number?
False
Suppose 0 = 3*p + r - 1422, 0 = -2*p + 5*r + 587 + 344. Suppose -p = -m + 414. Is m prime?
True
Suppose -10*v + 5*v = 5*a - 92980, -4*a + 74382 = 2*v. Is a composite?
True
Let f(u) = 29*u - 29. Suppose 0 = 2*q - 4*j - 32, 4*q + 2*j - 3*j - 36 = 0. Is f(q) a prime number?
False
Suppose 5*z - p = 91702, -2*z - 18467 = -5*p - 55134. Is z composite?
False
Suppose -382*a = -386*a + 4244. Is a a prime number?
True
Let r(n) = 4 - 2 - 2*n + 3*n. Let d be r(5). Suppose d*x - 431 = 6*x. Is x a composite number?
False
Let w(z) = 9944*z + 435. Is w(16) prime?
True
Suppose 3*o - 2*b + 1 = 0, -17 = 13*o - 14*o + 5*b. Is 254/8*(-12)/(-6 - o) prime?
True
Let x be ((-27)/(-6) - 3)*2. Suppose 8*o - 1895 = x*o. Is o a composite number?
False
Suppose -4 = -5*b + 16. Let p(h) = h**2 - 4*h. Let y be p(b). Suppose y*q + 5*q + 3*x - 601 = 0, 3*x = 6. Is q prime?
False
Let u = -17857 - -38718. Is u composite?
True
Let t = -20 - -27. Suppose -k + t*n + 1393 = 3*n, k + 4*n = 1377. Is k composite?
True
Suppose -14*i + 15*i = 3. Suppose -i*t + 1613 = -2*m, 5*t + 2*m - 756 = 1959. Is t a composite number?
False
Suppose -216*m - 16 = -208*m. Let f(c) be the third derivative of 3*c**5/10 + c**4/6 + c**3/2 - c**2. Is f(m) prime?
True
Suppose 0 = -2*s - 5*s + 13601. Is s a prime number?
False
Let k = 53759 + -31456. Is k a composite number?
False
Let z(m) = m**3 + 6*m**2 + 4*m - 5. Let n be z(-5). Suppose 3*g - i + 15 = -37, g - 5*i + 22 = n. Is 3/(-1)*g + 4 a prime number?
False
Let j = 413 + -66. Is j a prime number?
True
Let x(j) = 78*j**2 - 9*j - 13. Is x(-4) prime?
False
Suppose 0 = -6*i + 7*i + 174. Is (i/8)/(-3)*(31 - 3) a prime number?
False
Suppose 3*w - 17 = -5*s, -w + 2 = s - 1. Suppose 5*o - 5 = 6*o, s = -2*z + 4*o. Let c(n) = n**2 + 10*n - 9. Is c(z) a composite number?
True
Let s(c) = -523*c - 201. Is s(-14) composite?
False
Let c(t) = t**2 + 4*t - 8. Let s be c(-6). Suppose -x = -2*x + s. Suppose -x*r - 4445 = -9*r. Is r a composite number?
True
Let g = -84620 + 135201. Is g prime?
True
Let u(z) = -z**2 + 6*z + 8. Let s be u(8). Is (10/s)/((-1)/844) composite?
True
Let n(a) = -6*a + 39. Let o be n(6). Let s = -26 - -36. Suppose -j + o = -s. Is j a prime number?
True
Is -34*(-3033)/18*(-2)/(-2) prime?
False
Let w(l) = -3*l**3 - 4*l**2 - 3*l. Let f be w(-2). Let v = f - 12. Suppose 333 = v*u - 137. Is u prime?
False
Suppose -2307 = -3*q + 2*x, x = 2*x. Is q a composite number?
False
Suppose -70834 = -5*k - 2*v - v, -2*v + 56666 = 4*k. Is k composite?
True
Let j(v) = 2*v**2 - 4. Let m be j(2). Suppose 0 = m*r + 279 - 1479. Suppose -5*g - 110 = -r. Is g prime?
False
Let v(f) = -f**3 + 18*f**2 + 22*f + 13. Let k be v(16). Let p be (-18)/4*2/(-3). Suppose p*c + 4*h - k = 0, -3*c + 0*h - h = -883. Is c a composite number?
True
Let r(j) be the first derivative of -3*j**4/4 - j**3/3 + 11*j**2/2 - 15*j - 2. Let i be r(6). Is (12/(-18))/(2/i) composite?
False
Suppose 2*u - 16 + 6 = 0. Let d(p) be the second derivative of 3*p**5/20 + p**4/6 - 2*p**3/3 - 7*p**2/2 + 4*p + 5. Is d(u) composite?
True
Let d(k) = k**3 - 6*k**2 + 7*k - 7. Let x be d(5). Suppose 2 = -n, x*y - 533 = -2*n + 306. Let a = -136 + y. Is a composite?
True
Let m be (-14)/(2 - 4)*2. Suppose 12*j + 1746 = m*j - 5*g, 0 = -4*j - 3*g + 3440. Is j a prime number?
True
Suppose -a - 13562 = -2*k, 1035 + 32844 = 5*k + 4*a. Is k a prime number?
True
Let f(u) = 21*u - 19. Let x be (-9)/6 + (-15)/(-10). Let g = x + 8. Is f(g) a prime number?
True
Let f = 9 + 354. Let n = f - -80. Is n prime?
True
Let a be ((25/(-10))/(5/(-12)))/2. Suppose 0 = -4*y + 4, x - 1825 = -a*x + 3*y. Is x a prime number?
True
Suppose -4*h + 61364 = 12576. Is h a prime number?
True
Suppose -4*m = -0*m. Let g be 116 + (3 - 2) - m. Suppose 120 = 3*o - g. Is o composite?
False
Let t(q) = q**2 + 10*q + 10. Let f be t(-10). Let r = f - -59. Is r a composite number?
True
Suppose -4*d = -4*h + 12260, 28*h + 3*d = 33*h - 15329. Is h a prime number?
True
Suppose -172 = -5*d + 433. Suppose -3*r = -m + d - 23, 258 = 3*m + 3*r. Suppose b - m = 132. Is b composite?
True
Suppose -8*k - 3*b = -6*k - 173, -3*b + 82 = k. Suppose 49 - 1113 = 2*u. Let f = k - u. Is f prime?
False
Suppose v + 4*v = 30. Let a = v + -1. Suppose a*q = 9*q - 1580. Is q prime?
False
Is 3/((-1)/((6947/(-3))/1)) a composite number?
False
Let n be (-2)/(-10) - (-1645480)/100. Suppose 2*d - 17*d + n = 0. Is d composite?
False
Suppose -4*i - 9392 = -4*d, -5*d - 3*i + 11740 = -7*i. Is (5/(1 - 