
False
Suppose 37*p = -4*z + 34*p + 117061, -25 = 5*p. Is z prime?
True
Let w be ((-116)/10)/(17/(-10965)). Let v be w/(-10)*(-2 - 3). Suppose -r + v = 5*q + r, 3*r - 2990 = -4*q. Is q a composite number?
True
Suppose -4*n + 2 = -3*n. Let p be n/8 - 534/(-8). Let z = 122 - p. Is z prime?
False
Let i(j) = 145*j**2 + 90*j + 32. Is i(-15) a prime number?
True
Let q(w) be the first derivative of -8/3*w**3 - 9*w - 1/4*w**4 - 8 - 11/2*w**2. Is q(-10) prime?
False
Suppose 0 = y + 2*y. Suppose -4*l - 9892 = -4*j - y*j, j - 2475 = 2*l. Is j prime?
False
Let u(n) = 6*n - 21. Let w be u(6). Suppose 2*b + 12 = 4*l, 4*l + 4*b + w = 39. Suppose 358 = l*a - c + 3*c, 3*c + 191 = 2*a. Is a composite?
True
Suppose -2*c + 64 = -5*c - l, -5*c + l = 96. Let f be 33/4 - (-5)/c. Is 118/8*f/2 prime?
True
Suppose -6*g + 8*g + 3*o = 11, 6 = -3*g + 3*o. Is (g + 456)*(9 - 6) a composite number?
True
Suppose -4*d - 3*w = -2*d - 18, 0 = -2*w + 8. Suppose -d*f + 12 = -f. Is (131/3)/(2/f) a prime number?
True
Let h be ((80/35)/(-4))/(1/(-7)). Let x be (-2 + 3/(-6))*-218. Suppose -323 - x = -h*v. Is v a prime number?
False
Let j be (538/(-4))/(1/(-2) + 0). Suppose -g + j = -258. Is g prime?
False
Suppose 12*g = 16*g - 8. Suppose g*q = 3*q. Suppose q = d - 5*l - 188, 2*d - 80 = 5*l + 271. Is d a composite number?
False
Suppose 0 = -32*n + 225526 + 285418. Is n a prime number?
False
Suppose -6216 = -5*t - o, 5116 - 1389 = 3*t - 2*o. Is t composite?
True
Let g be -1 - (-3 - (3 + -1)). Let d be 0/3*2/g. Suppose v - 42 - 41 = d. Is v prime?
True
Suppose 110 = o + i, o - 2*i = -o + 224. Suppose -2*l = l - 9. Suppose 0*p - l*p = -o. Is p prime?
True
Let u(a) = 7*a**3 + 7*a**2 - 20*a - 9. Is u(8) a composite number?
False
Suppose 6 + 18 = 6*b. Suppose -3*g + q = 3*q - 199, g = b*q + 71. Is g prime?
True
Let c(s) = 7151*s - 21. Is c(2) prime?
True
Suppose -s + 6 = 380. Let d = 343 - s. Let k = -320 + d. Is k a prime number?
True
Let y be (-1)/((2/1224)/((-34)/6)). Suppose 1023 = 3*b - y. Is b composite?
True
Let h(u) = 0*u - 23 - 9*u + 5*u - 3*u + 4*u**2. Is h(10) prime?
True
Suppose 2*u + u + 12 = 0. Let n be (-17)/u + (-2)/8. Is 157/(n + -5 - -2) prime?
True
Let q(i) = 2285*i + 205. Is q(8) composite?
True
Let v(w) = -w**3 - 8*w**2 - 8*w + 10. Let s(u) = 2*u + 8. Let p = 8 + -16. Let z be s(p). Is v(z) prime?
False
Let c(u) = u**3 - 8*u**2 - 1. Let z be c(8). Is 6 - -14 - z*2 prime?
False
Let v = 502 + -818. Suppose -5*a = -9*a - 2772. Let d = v - a. Is d prime?
False
Suppose -1471 = -2*a - 3*q, a = -3*a - 2*q + 2946. Is a composite?
True
Let i(u) = -u**2 - 15*u - 10. Let w be i(-14). Suppose 0 = l - w*h - 599, 4*l + h - 1081 = 1264. Is l composite?
False
Let j be (-1)/2 - (-3)/(-2). Let c be -1 + j/(-2) - -3. Is (c + 94)*(-2)/(-2) prime?
True
Let g(o) = -18977*o**3 + o**2 - 5*o - 4. Is g(-1) prime?
True
Suppose -2*a + 3150 = -0*a. Let l = a + -903. Suppose z - 125 = l. Is z prime?
True
Suppose 0 = -3*s - 14 - 7. Let j be (6 + s)*11*-1. Let f = j - 0. Is f prime?
True
Let n be 14*(0 + 26/(-7) + 4). Suppose -4*v = -3*u - 6*v + 2975, 5*u - n*v - 4951 = 0. Is u prime?
True
Let o(j) = 45*j**2 + j - 9. Suppose 0*m - 4*m = -32. Suppose -m = 2*g - 0*g. Is o(g) composite?
True
Let t be 142/7 + (-4)/14. Suppose -4*n - n = -t. Suppose -4*x = y - n*y - 103, -y = 5. Is x a composite number?
True
Let a = 61941 - 26338. Is a prime?
True
Let n(a) = a**3 - 4*a**2 + 15*a + 8. Let u = 4 + 9. Let x be n(u). Is x/6 + (-3)/9 a composite number?
True
Let g(d) = 4*d**3 + 91*d**2 + 3*d - 25. Is g(-21) prime?
True
Is ((-2174)/8)/(-2*7/56) a prime number?
True
Suppose -3*l + 18293 = h, 0*h - l - 73198 = -4*h. Is h composite?
True
Let c = 196 + -64. Suppose 3*r + 27 + c = 5*g, -2*g = -4*r - 58. Is g a composite number?
True
Let f(h) = -513*h + 239. Is f(-4) a prime number?
False
Suppose 9*t + 10 = 4*t. Is t/(-9) + 45195/135 a prime number?
False
Suppose 4*k = -4*s - 16, -k = -2*s - 2*s - 21. Let l = -5 + k. Let j(h) = -51*h - 10. Is j(l) prime?
False
Suppose 24*d - 21*d + 9 = 0, 0 = 5*r - d - 132268. Is r prime?
False
Suppose -43 - 17 = -15*l. Suppose -3*a = 3*z + a + 4, 0 = 4*z - 2*a - 2. Suppose z = k + l*k - 230. Is k composite?
True
Let a(i) = -340*i - 42. Let j be a(-12). Let t = 5861 - j. Is t a composite number?
False
Let p be (-6)/(-15) + 17/(-5) - -8. Let d(i) = 5*i**2 - i - 7. Is d(p) a composite number?
False
Let y(z) = z**2 - z + 1. Let n(k) = 22*k**2 - 6*k - 3. Let i(r) = n(r) - 2*y(r). Is i(-7) prime?
False
Let q be (-156)/7 - 4/(-14). Let r = 22 + q. Suppose 2*k + 0*k - 1018 = r. Is k prime?
True
Suppose -6*m + m = 0. Let b = 1 - m. Is (b/2)/((-10)/(-1740)) a prime number?
False
Let n be (-5 - (-1 + -1))*-79. Let m = 28 + n. Is m a composite number?
True
Let x(g) be the first derivative of -9 - 1/2*g**2 + 771*g. Is x(0) composite?
True
Let u be 0 - 5/(10/(-966)). Let i = 1394 - u. Is i a prime number?
True
Suppose 0*c = -5*n + c + 13, -3*n + 2*c = -5. Let z be n - (1 - (0 + 2)). Is 16/z*(-21)/(-12) a prime number?
True
Let g(y) = -1530*y - 347. Is g(-31) prime?
False
Let f = -153 - -1240. Is f a composite number?
False
Let d be 0*((-20)/4 + 4). Suppose p + 3*z - 974 = d, p - 2*z - 980 = -3*z. Is p a prime number?
True
Is ((-6)/4)/(8 + 86995/(-10874)) composite?
False
Suppose -67491 = -20*b + 72529. Is b a composite number?
False
Let a(w) = -188*w + 3. Let i be a(1). Let k = -36 - i. Is k prime?
True
Suppose 2*t - 5*q - 6 = t, 5*q + 14 = -t. Let z(i) = i**3 - 3*i**2 - 5*i + 1. Let x be z(4). Is (t/(-12))/(x/(-2943)) a composite number?
True
Suppose 0 = 2*s - 691 - 1029. Let l = 181 + s. Is l a prime number?
False
Is (-10 - 43528)/2*(-3)/3 a prime number?
False
Let m = 17 - 9. Let a = 12 - m. Suppose 0 = -a*q + 3*j + 133, q - 47 = -0*q - 2*j. Is q composite?
False
Let b(c) = -3*c**2 - c + 1111. Let y be 0/(-5)*(-4 + 1)/6. Is b(y) a prime number?
False
Let o(i) = -31*i + 5. Let b be o(-4). Suppose -5*x = -2*k - 337, -2*x - 2*k - 3*k = -b. Is x a composite number?
False
Suppose -2*z - 14 = -5*y, 5*y - 28 = -3*z + 1. Suppose 0 = -z*w + 2*w + 71. Suppose 0 = -4*u - b + 61, -4*u + w = 4*b - b. Is u a prime number?
False
Let i(h) = 3*h**2 + 3*h + 5. Let y be i(10). Let v = y - 199. Let n = 251 - v. Is n composite?
True
Let i(g) = -7 - 3*g + 7*g + 6*g. Let u be (-2)/(-7) - (-594)/126. Is i(u) a prime number?
True
Suppose 3*h - 2*i = -h + 18, -4*i = -4*h + 24. Suppose -h*d = -4*a + 3*a - 8, 8 = -4*a. Suppose -2*n - y = -116, y = -n - d*n + 173. Is n a prime number?
False
Let r(y) = -3*y**3 - 17*y**2 - 43*y - 17. Let l(x) = x**3 + 8*x**2 + 21*x + 9. Let n(w) = 5*l(w) + 2*r(w). Is n(-7) a composite number?
True
Suppose 0 = -o + 178 + 591. Let u = 1236 - o. Is u prime?
True
Let s(z) be the second derivative of 0 + 15/2*z**2 - 12*z**3 - 9*z. Is s(-7) a composite number?
True
Let u(j) be the second derivative of -2*j**3/3 + 9*j**2/2 - j. Suppose r - 5*q + 26 = -0*r, -2*r = -2*q + 20. Is u(r) a prime number?
False
Let u = 99736 - 55937. Is u prime?
False
Let m = -67262 - -111503. Is m a composite number?
True
Let w be (-270)/(-6)*(-2)/5. Let g = 183 + -350. Let j = w - g. Is j a prime number?
True
Let q(u) = -u**2 - 15*u - 25. Let g be q(-13). Is (-3 - -2)/(g/(-19)) prime?
True
Suppose 8 = -6*t - 16. Is (-330)/t - (-6)/12 a prime number?
True
Let o = -3 + 0. Let a(n) = 4*n**3 + 7*n**2 - 6*n - 9. Let v be a(-6). Is (o/(-9))/((-3)/v) composite?
True
Let c(o) = 338*o**2 - 10*o - 155. Is c(-8) prime?
True
Suppose -32 = -m + 89. Suppose -4*p = 0, -3*p = -i + m + 202. Suppose 4*q = -o + i, -5*o + q + 1657 = -0*o. Is o composite?
False
Suppose 27445 + 898 = 7*j. Is j prime?
True
Let h = 1659 - 1366. Is h prime?
True
Let g be (0/4)/(4/(-2)). Suppose -m - 4 = -5*m. Suppose 2*a + 3*k - 236 = 125, k - m = g. Is a a prime number?
True
Let n(y) be the first derivative of -55*y**2/2 - 6*y + 21. Is n(-11) composite?
False
Let j(n) = 969*n + 26. Let h(q) = 485*q + 13. Let r(f) = 7*h(f) - 3*j(f). Is r(5) a composite number?
True
Let a(k) = k**3 + 25*k**2 - 25*k + 148. Is a(-21) prime?
True
Let t(k) = 27*k**3 + 4*k**2 + 2*k - 1. Is t(8) a composite number?
True
Let r = -15296 - -27951. Is r a prime number?
False
Let q = 90 + -93. Let i(t) be the second derivative of 65*t**4/12 - 2*t**2 + 2*t. Is i(q) prime?
False
Suppose t