05. Is i a prime number?
True
Suppose 3*r = 5*w + 65, -6 + 1 = -r + 5*w. Let o(s) = 4 + 28*s + 37*s + r*s. Is o(5) a composite number?
False
Suppose -21 = -x - 2*i, 4*x - 44 - 13 = i. Suppose 11*p = x*p + 4. Is 2 + 2/p + 115 composite?
True
Let m(q) = 580*q**2 - 3*q + 2. Let t(d) = -d**3 - 2*d**2 - 2*d - 3. Let l be t(-2). Is m(l) composite?
True
Is -4 - -10 - (-5083)/13 prime?
True
Let b(p) = p + 17. Let k be b(-13). Suppose -k*c + 8*c - 44 = 0. Suppose 2*u + c = 277. Is u a composite number?
True
Suppose 9 = 3*b - 2*b - 5*n, 0 = -5*b - 3*n + 17. Suppose 8 + 8 = 2*l. Is (-2)/l - (-741)/b composite?
True
Suppose 0 = 6*l - 1029 + 51. Is l a composite number?
False
Let n(l) = 34*l**2 + 233*l - 10. Is n(-11) composite?
True
Let s(h) = -140*h**3 - 2*h**2 + 10*h - 3. Is s(-4) prime?
False
Suppose 7*z = 2*z + 1360. Suppose o - z = 361. Is o a prime number?
False
Suppose 12*r - 22*r + 8180 = 0. Is r prime?
False
Suppose 0 = -f - 2*f + 438. Suppose s - 531 = -p - f, p = -4*s + 373. Is p a prime number?
True
Let s = -1704 + 2933. Is s prime?
True
Suppose -3*p = 5*d - 274, 6*p = -4*d + 2*p + 224. Suppose -14*l - 4*w + 28 = -9*l, 4*w - 24 = -4*l. Suppose 5*j + d = -2*x + 836, 4 = -l*x. Is j prime?
True
Let f = -17 + 20. Let b be 3/(3 - 12)*f. Is -2 - (b - (121 - -3)) a composite number?
True
Let r(d) = -4734*d + 199. Is r(-3) a prime number?
True
Is (-6894858)/236*20/(-6) composite?
True
Let u = -1721 - -10540. Is u a prime number?
True
Suppose 0 = -6*h + 10130 + 17182. Let t = h + -3017. Is t prime?
False
Let r(u) be the third derivative of u**5/60 - 23*u**4/24 - 4*u**3/3 - 3*u**2. Let o be r(10). Let k = -11 - o. Is k composite?
False
Let z(p) = -297*p + 544. Is z(-57) prime?
False
Let w = 109 - -208. Is w a prime number?
True
Let w be -2 + (-3)/((-9)/(-3)). Let n(i) = -4*i**3 + 4*i**2 + 5*i - 2. Is n(w) a prime number?
True
Suppose -8*n = -1665 - 519. Suppose 0 = -3*c - 9, -n = -3*d + c + 4*c. Is d a composite number?
True
Suppose 2*k = -4*d + 2442, -4834 = -k - 3*k + 2*d. Suppose k = 6*c - 775. Is c a composite number?
False
Let s be (-7)/(-2) - 4/8. Let t(k) = 137*k + 13. Let j be t(9). Suppose s*u - j + 73 = 0. Is u prime?
False
Let x(i) be the third derivative of -i**5/60 - i**4/8 + i**3/3 - 4*i**2. Let j be x(-4). Is (0 - 54)*j + 1 a composite number?
False
Suppose 7*f = -2*f + 112257. Is f prime?
True
Suppose 18*f - 4893 = -3*f. Is f prime?
True
Suppose -3*q + 5*g = -0*q + 12, 3*g = 5*q + 20. Is (-1150)/75*6/q a prime number?
True
Let a(r) = r**2 + 18*r - 15. Let t be a(-10). Let l = 178 + t. Is l a composite number?
False
Suppose 7*p - 2*p = -1520. Let i(y) = -3*y**2 - 7*y - 5. Let k be i(-8). Let x = k - p. Is x prime?
True
Suppose -4*s + 35 = 3*s. Suppose b + 4*k = 2*k + 495, s*k = 5*b - 2430. Is b prime?
False
Suppose -3*r - 3*d = -d - 2500, 3*r = -3*d + 2505. Suppose -41*f + 39*f = -r. Is f composite?
True
Suppose -3*s - 2488 = -7*s. Let g = s + -225. Is g a prime number?
True
Let t be (-2)/(-3) - 160448/48. Let z = -2131 - t. Is z a composite number?
True
Let d(l) = -2*l**3 - 4*l + 2429. Is d(0) prime?
False
Let n(b) be the first derivative of 17/3*b**3 - 12 + 2*b**2 + 17*b. Is n(12) prime?
False
Let p be -3 + (-1)/(-5) + 744/30. Suppose -18*a = -p*a + 2452. Is a prime?
True
Suppose -5*t - 3*a = -16480, 5*t = 3*a + 9066 + 7444. Is t a prime number?
True
Let t(p) = 286*p**2 - 4*p - 3. Suppose -2*o - o - 6 = 0. Is t(o) a composite number?
True
Let h(y) = -69*y + 14 - 10 + 7. Is h(-10) prime?
True
Suppose 3*h = -8654 + 39644. Suppose 0*p + 4*p - i - 8279 = 0, -5*p + h = 5*i. Suppose 5*r - p = -5*k + 671, -3*r = -2*k + 1121. Is k a prime number?
False
Suppose 4*v - 36743 = 4*p - 13159, -v = 3*p - 5900. Is v a composite number?
False
Is 7442*19/22 - (-14)/(-77) a prime number?
True
Suppose 76*v - 9*v = 1183957. Is v prime?
False
Let d(t) = t**2 - 4. Let j be d(-5). Suppose 3*n = j + 126. Is n a composite number?
True
Let i be 18/(-8)*840/(-45). Suppose -5*h = -r - 9, -2*r - h + i = h. Suppose -4*g - r = 0, -3*g = -3*t - g + 41. Is t prime?
True
Suppose 0 = -5*o + 18 - 3. Suppose -o*w + 5592 = 5*w. Is w a prime number?
False
Suppose -4*r + 37 = 5*i, 0 = -4*i - 5*r + 30 + 5. Suppose -2 = 9*y - 47. Suppose 2*g = y*o + 654 - 6401, i*g = 20. Is o composite?
False
Is 310*50/36 + (-4)/(-9) composite?
False
Let z(u) = 22*u**2 + 5*u - 2. Is z(5) composite?
True
Let v(t) = t**3 + 2*t**2 + 2*t + 2633. Is v(0) composite?
False
Is (-7208492)/(-930) + 2/(-30) a prime number?
False
Suppose 4541 = 2*d - d. Let s = d + -2886. Suppose -s = -30*x + 25*x. Is x prime?
True
Let w(m) = m**3 + 8*m**2 + 8*m + 6. Let a be w(-6). Let z = -1 + a. Suppose -5*u - 8 = -y + z, 3*u - 111 = -3*y. Is y prime?
True
Let k(p) be the first derivative of p**3/3 + p**2 - 2*p + 10. Is k(-11) composite?
False
Let u(f) = -f**2 - 3*f + 3. Let m be (0/(0 - -1))/(-2). Let p be u(m). Suppose 2*n + 1073 = p*k - 0*k, -1799 = -5*k - 2*n. Is k a composite number?
False
Suppose -l - 2*z = -2405, 2*l - 3*z + 4813 = 4*l. Is l prime?
True
Suppose -44 = -3*o + 4. Suppose 19*d = o*d + 639. Is d a prime number?
False
Suppose 3*q = 2*v + 12, 5*q = 3*v - 7 + 23. Let j = 1 - v. Suppose -65 = -j*t + 8*t. Is t a prime number?
True
Suppose -25 = -2*h - 5*t, -3*h - 2*t + 11 + 10 = 0. Suppose 5*q - 53 = h*s - 283, 0 = 3*s + 3*q - 168. Let k = 26 + s. Is k composite?
True
Let s = 226 - -2336. Suppose 7*z - z - s = 0. Is z a prime number?
False
Let p(o) = 3*o**2 - 3*o - 12. Let d be p(-6). Suppose 0 = 2*f - d - 218. Is f composite?
True
Suppose 5*r + 8 - 53 = 0. Is ((-42)/(-4))/(r/30) prime?
False
Let b(i) = -2558*i - 55. Is b(-7) a composite number?
False
Let j(m) = 960*m + 1019. Is j(23) composite?
False
Suppose -35*z = -9*z - 59462. Is z composite?
False
Suppose -2*p + 6 = -2. Suppose -3*m = -p*m. Is -3 + 9 + (3 - m) a composite number?
True
Suppose 3*y = 56 + 19. Let r be 5/y - (-38)/10. Suppose 129 = n + 5*q, -5*n - r*q + 561 = -0*n. Is n a prime number?
True
Let c = 1806 - -7874. Suppose c = n + 153. Is n composite?
True
Let v be 2/(-14) + 360/70. Suppose -6 = d - v*m, -4*m + 5 = m. Let b(g) = -168*g + 1. Is b(d) prime?
False
Let n be 447 - (-3 - 1/((-1)/6)). Suppose -2*z = -926 - n. Is z prime?
False
Suppose -4*m + 15 = m. Suppose 4*g = g + m. Is (-2 + g)/(2/(-78)) prime?
False
Let n(o) = -o. Let f(s) be the first derivative of 17*s**2 - 4*s - 6. Let p(h) = f(h) - 4*n(h). Is p(7) prime?
False
Suppose 0 = -4*g + 3*x + 891 + 340, -4*g + 1223 = 5*x. Let h = g - 98. Is h composite?
True
Suppose 0 = 5*g + 33*m - 31*m - 9721, 2*m = 6. Is g prime?
False
Suppose 0 = w + 3*d - 663, 2*w + 3*w = 5*d + 3355. Is w a composite number?
True
Let m(f) = 88582*f**2 + 20*f - 19. Is m(1) a prime number?
False
Let f(d) = -4 + 299*d**2 - 13*d**2 + 9 + 0. Is f(3) composite?
False
Suppose 0*t + 3*t = -186. Let n = t - -106. Let u = n - 23. Is u composite?
True
Let d(f) = 302*f + 35. Is d(6) a prime number?
True
Let f(d) = -29*d**3 - 16*d**2 - 3*d + 10. Is f(-9) prime?
False
Let l be ((-13)/(-26))/((-1)/(-4)). Suppose 337 = l*u - 5*s - 141, 4*s - 16 = 0. Is u prime?
False
Suppose 2*j + 5*p - 34976 = 0, -4*j + 12*p - 13*p = -69934. Is j a composite number?
False
Let q be 18/(-4)*(-2)/(-3). Let z(g) = -12*g - 6. Let n be z(q). Let o = n + 23. Is o a composite number?
False
Let f(z) = z**3 - 26*z**2 + 43*z - 109. Is f(26) composite?
False
Suppose 5*t - 5*j = 25, -7 + 22 = 2*t - 3*j. Let m(x) = x - 9. Let w be m(5). Is (1038 - w)/(t + 2) a composite number?
False
Let y = 4091 - 2290. Is y composite?
False
Let f(v) = 3*v - 4*v + 2*v + 4*v - 17. Suppose 5*s - 5*x = -6*x + 37, 31 = 2*s - 5*x. Is f(s) prime?
True
Let y be (-2322)/(-301) + 4/42*3. Suppose 12*i = y*i + 1884. Is i a prime number?
False
Suppose -7*f = -4*f + 18. Is f/(-14) + 1334/7 a prime number?
True
Let n = 2148 - 1489. Is n a prime number?
True
Let m = 10 - 3. Let u(g) = -g**2 + 8*g - 2. Let v be u(m). Suppose -20 = -v*w + 95. Is w a composite number?
False
Suppose 0 = 6*i + 33 - 105. Is ((-3)/i + (-1)/4)*-254 a prime number?
True
Let q(i) = -5*i - 7. Let d be q(-2). Suppose 3*o + 4*y + 0*y = -7, -21 = -d*o + 3*y. Is 379 + -6 + o + 3 a prime number?
True
Suppose 0 = -20*y + 6*y + 107324. Is y composite?
True
Let w = 114 + -228. Let v = w + 199. Is v a prime number?
