
Suppose -20*p + 7*p = -13. Is p - -1384 - 0/17 a prime number?
False
Suppose -2*k = -4*w + 3*k + 8707, 2*w - 5*k = 4341. Is w a prime number?
False
Let c(u) = -1034*u + 57. Is c(-4) prime?
False
Suppose u + 65036 = 5*u. Suppose u + 11109 = 8*t. Let l = -2306 + t. Is l composite?
True
Suppose 8*h = 6*h + 12. Let u be (422/h)/(5/(-135)). Is (4/(-12))/(3/u) a prime number?
True
Let f = 18 - -1. Suppose 4*d + f + 1 = 0. Let y(p) = -6*p**3 - 5*p**2 - 9*p + 3. Is y(d) prime?
True
Suppose -4*i - 8828 = -4*n, i = -n - 3*i + 2222. Suppose 2*g = 3*o + 1505, -4*g = -g + 5*o - n. Is g composite?
True
Suppose 10 = -2*j + 3*w - 35, 0 = 5*j + w + 70. Let t = 64 - j. Is t prime?
True
Let i(a) = -2*a + 4. Let p be 8/12 - (-4)/(-6). Let u be i(p). Is 16/(-4) - -221 - u a prime number?
False
Let d(y) = -1247*y + 296. Is d(-25) a prime number?
False
Let x(m) = -2*m**2 + 1. Let b be x(-2). Let w(n) = -n**2 - 7*n + 4. Let y be w(b). Suppose y*u - 42 = -6. Is u prime?
False
Suppose -5*j + 597 = 4*v - 9528, 0 = -2*j - 2*v + 4052. Is j prime?
False
Let a = -10319 + 28902. Is a composite?
False
Suppose 296*f - 10765 = 291*f. Is f prime?
True
Let b(g) be the first derivative of g**3/3 - 7*g**2/2 - 13*g - 1. Let t be (-1833)/312 - 2/16. Is b(t) prime?
False
Let v(x) = 1844*x - 379. Is v(19) prime?
False
Suppose 5*f + 12 = w, 6 = -0*w + 2*w - f. Suppose 0 = -w*b + b. Suppose b = 4*v - 3*q - 204, -204 = 2*v - 6*v - 2*q. Is v prime?
False
Suppose -f - x - 2 = f, 4*x = 5*f - 8. Let q(p) = -6*p + 7 - 2 - 13 + f*p. Is q(-7) composite?
True
Suppose 11*o - 30240 = -9*o. Let v = -253 + o. Is v composite?
False
Let o(c) = 3*c + 5077. Is o(0) prime?
True
Suppose 4*m + 4*i - 3224 = m, 3*m = -i + 3236. Suppose m = x + 5*w, 4*x - 5*w = -0*x + 4195. Is x composite?
True
Let y(f) = -f**3 - 15*f**2 - 18*f + 15. Let x be 3 + ((-1 + 20)*-1 - -2). Is y(x) prime?
True
Let f = -10 - -10. Suppose f = -4*i - 18 + 2. Let v(r) = -r**3 + 5*r**2 + 6*r + 1. Is v(i) prime?
False
Let d be -24*30/(-4)*2. Let z = d - 169. Is z prime?
True
Let d = 163051 - 81356. Is d prime?
False
Suppose 9*n - 3*n = 24. Is 3334/n + (-8)/(16/(-3)) composite?
True
Let y = 37 - 23. Is (y/(-21))/((-2)/249) a composite number?
False
Let b(y) = 7121*y**3 + y**2 + 7*y - 8. Is b(1) a prime number?
True
Suppose 5*z + 43 - 463 = 0. Suppose -4*a = -232 - z. Suppose 2*v - 461 = -a. Is v composite?
False
Let y be (108/(-2))/((-33)/22). Let p = y - 14. Is (-4)/p - (-409)/11 a composite number?
False
Is 9/(-18)*-2953 - 1/(-2) a composite number?
True
Let k(j) = 629*j + 36. Let v be k(6). Suppose -3*i + v = 1125. Is i a prime number?
False
Let r be (-19*1)/(20/860). Let f = 1370 + r. Is f prime?
False
Let p(y) = y**3 - 20*y**2 - 15*y - 49. Is p(30) composite?
False
Let w be 14/(-3)*6/(-7). Suppose -w*m + b = -b + 380, 5*m + 2*b = -493. Let x = 176 + m. Is x composite?
False
Let y = 11 + 3. Suppose 2 + y = 4*f. Suppose -f*x = x - 75. Is x prime?
False
Let g be ((-69)/6)/((-5)/(-10)). Is g + 19 + (-22)/(-2) composite?
False
Suppose -2*v - 137 = -l, -4*v + 52 - 335 = l. Suppose 4 = -4*q + 104. Is 5/(-2)*v/q a prime number?
True
Let n be 3324/10*(-25)/(-10). Suppose 4*k + 777 = -n. Let r = k + 619. Is r a prime number?
False
Let r(q) = 145*q + 19. Let g(s) = -291*s - 38. Let n(d) = 3*g(d) + 5*r(d). Is n(-6) a composite number?
True
Let j(q) = -2*q + q - 2 + 0 + 440*q**2 + 1. Let i be ((-1)/(-2))/(2/8). Is j(i) a prime number?
False
Let c = -7794 + -192. Is -10*(2 + c/12) prime?
False
Let g(h) = 3*h**3 - h**2 + 13853. Is g(0) prime?
False
Suppose 0 = y + 5*i - 398, 5*y - 4*y + 4*i - 401 = 0. Is y prime?
False
Is -1*(-198 + 5 - 1) composite?
True
Is (10/2 - 1366)*-1 composite?
False
Let u(p) = -224*p - 3. Let k be ((-27)/(-6))/(-3)*2. Is u(k) prime?
False
Suppose -3*c - 49 + 127 = 0. Let i be 0 + 2 - (0 - -1). Suppose -i = m - c. Is m composite?
True
Let t(a) = a**3 - a**2 + 11*a - 64. Is t(7) a composite number?
False
Suppose -4*l - 6*c + c = -19, 2*c = 6. Is l/(-4*3/(-4908)) a composite number?
False
Let p be -1 + 310/2 - 7/(-7). Suppose -3*c - 9 = -33. Suppose -3*l = -c*l + p. Is l prime?
True
Let u be (-6)/(-36)*15 - 2/4. Suppose u*i - 497 = -5*i. Is i a composite number?
False
Suppose -6*s = -9*s + 51. Let p be ((-9)/2)/(s/(-7446)). Let x = p + -997. Is x composite?
True
Let z = 11 - 12. Let f be z + 0 - (0 - 4). Suppose 116 = f*q - 1003. Is q a composite number?
False
Let i = 77 + -144. Let c be i/(-5) - 4/10. Is c + (1 - (-1)/1) a composite number?
True
Let f(u) = u**3 + 10*u**2 + 7*u - 8. Let b be f(-9). Let c be ((-156)/b)/((-24)/800). Suppose -c = -4*q - 148. Is q prime?
False
Let y = 5 - -22. Suppose y = 3*i + 4*u, 0 = -u + 3*u. Suppose l = 17 + i. Is l a composite number?
True
Let s(y) = 59*y - 19. Let u be s(16). Suppose 9*g = 4*g + u. Is g a prime number?
False
Let a be ((-7016)/20)/(8/(-10))*2. Suppose 0 = 3*l - 4*y - a, -3*l + 1154 - 247 = 2*y. Is l prime?
False
Suppose 337 = -2*c + 4109. Suppose -k + 54 = -5*p - 340, 3*p = -5*k + c. Is k a composite number?
False
Suppose 3*z - 1013 = z + 5*d, -5*d = 25. Suppose 0 = -5*y + q + 681 + 580, 2*y = 3*q + z. Is y composite?
True
Let k(p) = 8*p + 3. Let d be k(-1). Let n(q) = -359*q + 6. Is n(d) a composite number?
False
Let c(t) be the third derivative of 23*t**4/8 - 8*t**3/3 + 16*t**2. Is c(7) composite?
False
Let a(m) be the first derivative of 4*m + 5/2*m**2 + 5. Is a(2) prime?
False
Let s = -111 + 110. Let r(x) = -54*x**3 - 3*x**2 - 4*x - 2. Is r(s) composite?
False
Let u be (-255)/35 + (-8)/(-28). Let y(g) = -5*g**3 - 7*g**2 - 6*g - 15. Is y(u) prime?
True
Suppose -184*h = -186*h + 30410. Is h a prime number?
False
Let b be ((-2)/6)/((-4)/24). Let u be 8/(12/3) - b. Suppose u = -5*i + 80 + 185. Is i a prime number?
True
Suppose c + 2*c + 2076 = 0. Let m = c + 1333. Is m a composite number?
False
Let r(d) = -15029*d**3 + 2*d**2 + d. Let z be r(-1). Is ((-7)/(-14))/(z/(-7516) - -2) composite?
False
Let x(m) = -543*m**3 + m**2 - 2*m - 7. Is x(-3) a prime number?
True
Let a = 53 - 53. Suppose a = -8*t + 3847 + 817. Is t a composite number?
True
Suppose -553943 = 2*p - 15*p. Is p a composite number?
False
Let o = 39 - 23. Suppose 0*t = 8*t - o. Suppose -t*b = 3*a - 105, -4*b - 5*a + a = -208. Is b prime?
False
Is (-6)/8 + 1966753/92 composite?
False
Is 39990/8 + 37/148 prime?
True
Suppose 0 = 4*n + 3*j - 1 + 5, -5*n - 4*j = 6. Suppose 0 = -n*z + 6*z - 1420. Is z prime?
False
Is 1/((-8 - -6)/(-982)) a composite number?
False
Suppose 6057 = 4*n + t - 2*t, 0 = -4*n + 2*t + 6062. Is n prime?
False
Let f(k) = k**3 - 5*k**2 + 36*k + 233. Is f(29) prime?
False
Let m be 10*(-1)/4*-2. Suppose m*g = 50 + 270. Let o = g - -7. Is o a prime number?
True
Let h(y) = 5*y**3 - 5*y**2 - 6*y + 1. Let c(b) = 11*b**3 - 10*b**2 - 13*b + 2. Let q(i) = -2*c(i) + 5*h(i). Let n be q(-2). Let w = 86 + n. Is w prime?
False
Suppose p - 15 = -2. Let i(r) = 19*r + p*r + 3 + 1 - 17. Is i(7) prime?
True
Suppose -46 - 26 = 4*q + 3*o, q - 4*o - 1 = 0. Let k(g) = g**2 - 3*g + 1. Is k(q) composite?
False
Let f be 4/3 - 7892/(-12). Suppose -f = -2*v + 1305. Let u = -495 + v. Is u prime?
True
Let a(j) = -j**2 - 4*j - 5. Let q be a(-3). Let r be q/(-3) - 7210/(-21). Suppose 894 = 3*f + 5*u, 4*u - r = -4*f + 840. Is f composite?
False
Suppose -34005 = -29*m + 2042. Is m prime?
False
Suppose -26*y + 597933 = -5*y. Is y composite?
True
Suppose -3*v - 8*w + 3*w = -30668, 0 = -3*v + 2*w + 30661. Is v a composite number?
True
Is (-21)/7 + 10969 + 7 prime?
True
Suppose 2*o = 5*o - 54. Let f = 4 - o. Is (-662)/f + 4/(-14) a composite number?
False
Let i be (352/33)/(2/24). Let m(c) = -2*c - 8 + 145 + i. Is m(0) prime?
False
Let j(v) = -12*v**3 - 2*v**2 - 5*v + 2. Let d be (3/9 - -3)/(2/(-3)). Is j(d) a composite number?
True
Let c = -192 + 368. Let g = c - 105. Is g prime?
True
Suppose 0*i = -5*i - 6665. Let g = -426 - i. Is g a composite number?
False
Suppose 171997 = 4*g + 5*p - 0*p, 2*p + 86012 = 2*g. Is g composite?
False
Let z = -8 + 7. Let o(r) = -110*r**3 + 1. Let d be o(z). Is (3/9)/(1/d) prime?
True
Let i = -41 - -28. Let h be (i + 9)*(-1)/1. Suppose -8 = -h*o, -3*q - 2*o = -48 - 169. Is q a composite number?
False
Let b = 7 + -3. Suppose 0 = 3*l + m - 38, -5*l + 53 + 15 = b*m. Suppose 4*d - 16 = l. Is d a prime n