Suppose m*d - 30 = 4*i, 0 = d - 2*d - 5*i + 10. Is q(d) composite?
True
Let r = -27 - -29. Suppose 9*x - r*x = 0. Suppose -a + 615 + 62 = x. Is a composite?
False
Suppose 2*j - 181111 = -h + 6*h, -j = 3*h - 90528. Is j a prime number?
False
Suppose 0*a + 3*t + 12 = -2*a, -16 = -4*a + 4*t. Suppose -g = -a*g - 808. Suppose 4*h + g - 3584 = 0. Is h a prime number?
False
Suppose 110 = 4*p - 6. Suppose 3*x = 2*x + p. Suppose -x + 108 = g. Is g prime?
True
Suppose i = 14 - 313. Let j = 242 - i. Is j prime?
True
Suppose d - 5 = 0, d = -5*p - 30 + 5. Let y(j) = 8*j - j**3 + 0*j**2 - 1 - 3*j**2 + 4*j**2. Is y(p) a composite number?
True
Let a = 4 + 4. Suppose -a*z + 10*z - 14 = 0. Suppose -2*o = -z*b + 4*b + 625, -5*b - 5*o = -1075. Is b composite?
False
Let n = 12 - 8. Suppose -397 + 3327 = 2*k. Suppose n*p = 9*p - k. Is p composite?
False
Let g(i) = -7*i + 4. Let o be g(-2). Suppose u - 30 = -4*u - 5*q, 3*u + 2*q = o. Is (-9)/6*(-296)/u a composite number?
True
Suppose 2*m + 39764 = 6*m. Is m prime?
True
Let c(r) = -r**2 - 13*r - 18. Let y be c(-12). Let f = -966 + -471. Is y/27 + f/(-27) prime?
True
Let o = 289 - 196. Suppose -5*x + 735 = -4*r, 4*r = -5*x - o + 788. Is x composite?
True
Suppose -32 = -5*v - 7, 3*u = 2*v + 10643. Is u composite?
True
Let v be 2/(-8) - (-6594)/8. Suppose v = y - 18. Is y composite?
True
Is 1/2 - (-335)/10*7 prime?
False
Suppose 5*y = 14*y. Let s = 183 + 289. Suppose y*z = 4*z - s. Is z a prime number?
False
Let o = 8004 - -44641. Is o prime?
False
Let g(b) = 465*b - 28. Is g(3) a composite number?
False
Let a(r) be the first derivative of -3*r**2/2 + 1279*r + 42. Is a(0) prime?
True
Is 53962 - (1 + 5 + 5) a composite number?
False
Let l be -1 + 1 + (-21 - -20). Let a = 18 - l. Is a a prime number?
True
Let m = -5515 - -11406. Is m prime?
False
Let h(g) = -g**2 + 3*g + 6. Let u be h(4). Suppose -u*d = 0, -5*t + 2740 = 2*d + 2*d. Let r = -222 + t. Is r composite?
True
Suppose -5*x = -7*x - 3*f, -3*f = 6. Suppose -3*n = -4*i + 4936, 17 = -5*n - x. Is i a composite number?
False
Let a be 22/5 + (-12)/30. Suppose -2*k + 2227 = 3*k - a*r, k - r = 446. Is k prime?
True
Let x be ((-2397)/(-3))/((-2)/(-8)). Suppose -6090 = -7*s - 693. Suppose 5*v - x = -s. Is v prime?
False
Is (5 - 3) + (3748 - -11) a composite number?
False
Let n(t) = -t**2 + 6*t - 7. Let b be n(6). Let j = b - -7. Suppose j = -5*x + i + 937, -3*x + 941 = 2*x - 3*i. Is x a prime number?
False
Suppose -5*f + 0*f + 5178 = 2*y, -7777 = -3*y - 5*f. Is y composite?
True
Let z(c) = -30241*c - 6. Is z(-1) a composite number?
True
Let v = 9 - 6. Let q(a) = -62*a + 1. Let j(y) = 186*y - 3. Let t(h) = 3*j(h) + 8*q(h). Is t(v) a prime number?
False
Let r be (-484)/20 - 5/(-25). Let p be 30/75 - r/(-10). Is 2/(p/(-29)) + 2 a composite number?
False
Let u = 701 - 1359. Let j = 1565 + u. Is j composite?
False
Let j be -1 - ((-3)/(-2))/((-9)/18). Suppose 5*w - 15347 = 2*s, 2*s + 6134 = j*w - 0*w. Is w composite?
True
Let r be (-1*6)/((-9)/(-6)). Let s = 1 - r. Suppose 4*z + 4*c - 564 = 0, s*c - 58 = -z + 75. Is z prime?
False
Let q(c) = 130*c**3 + 3*c**2 + c + 2. Let i be q(3). Suppose -j + i = 4*d + d, -3544 = -j - 3*d. Is j prime?
True
Let h(w) = 72*w + 19. Let b(j) = -72*j - 19. Let x(v) = -6*b(v) - 5*h(v). Is x(9) composite?
True
Suppose t + 60 = 5*t. Let a = t - 12. Suppose a*w - 60 = -w. Is w prime?
False
Suppose -5*h - 84 = -7*h. Suppose -4*j = 2*m - h, 3*m + 5*j - 10 = 52. Is m composite?
False
Let g = 3 - -6. Suppose 2*j + g = 4*a + 127, -5*a = 5*j - 235. Is j composite?
True
Suppose -2*f + 14 = -k + 2*f, 0 = 3*k + f + 29. Let d be 33/(-5) + k/25. Let i(l) = -2*l**3 - 8*l**2 - 2*l - 5. Is i(d) prime?
False
Is (-3015914)/(-286) - (-4)/(-26) - 4 composite?
True
Is 97774/4 + 210/140 composite?
True
Let w = -25 - -22. Let m(d) = -41*d**3 - 4*d - 4. Is m(w) a prime number?
False
Let u(q) = -6*q + 69. Let h be u(11). Suppose -4*b + 0*b - 184 = -4*n, 4*n + 3*b = 191. Suppose -l - 2*i + n = 0, l + h*l - 182 = -5*i. Is l prime?
True
Suppose 4*v - 5*t + 109 = 647, -t + 658 = 5*v. Suppose -v - 1096 = -4*q. Is q composite?
False
Let c = 14 - 20. Is ((-2)/c)/(16/4272) composite?
False
Suppose 3*l = -5*j - 2*l + 15, 4*l = 0. Suppose 5*t + 5405 = -3*k, -j*t = 5*k - 10*k + 3243. Let q = 1562 + t. Is q a composite number?
True
Suppose 2*y + 277835 = 5*r, 8*y - 6*y = 4*r - 222270. Is r a composite number?
True
Let v(i) = i**2 - 8*i + 10. Let u be v(7). Let g(k) = -k**2 - k + 1. Let c(z) = -4*z**2 - 6*z + 4. Let y(r) = u*c(r) - 15*g(r). Is y(-8) prime?
False
Let u = 11107 - 7316. Is u a composite number?
True
Is (2 + 6730/4)/((-6)/(-28)) composite?
True
Suppose -8*g + 5312 = 984. Is g prime?
True
Let s = 33 + -26. Is ((-1402)/(-8))/(s/28) a composite number?
False
Let g be -1 + (2 - 3) + -3 + 3. Is 446 - (g + (-1 - 0)) a composite number?
False
Suppose 56712 = 19*s - 5969. Is s composite?
False
Let i = 1313 - 2121. Let v = i + 1346. Is v a prime number?
False
Let g(p) = -p**2 + 10 - 8 + 5 + 0*p - p. Let j(w) = -w**2 + 3*w + 4. Let z be j(4). Is g(z) composite?
False
Let j be (1/(-3))/((-12)/(-612)). Let r = j - -138. Is r composite?
True
Suppose -4*r - 34155 + 8256 = -3*y, -4*r = 5*y - 43165. Is y a prime number?
False
Suppose -4*l - 296 = -0*v + 2*v, 4*l + 3*v + 300 = 0. Let x = 18 + 173. Let u = l + x. Is u a prime number?
False
Let v(g) = -g**3 + 12*g**2 - 41*g + 11. Is v(-12) composite?
True
Let r(o) = -o**2 + 2*o - 1. Let z be r(4). Let a = -13 + 25. Is z/6*(-4376)/a prime?
True
Let u = 15159 + -9882. Let y = u + -3656. Is y prime?
True
Let d(k) = -k**2 + 3*k + 2. Let y be d(3). Let g = y - -14. Is ((-238)/(-8))/(4/g) prime?
False
Let n(h) = -2*h**3 + 11*h**2 + 5*h + 6. Let r be n(6). Suppose 4*v - 5*k - 2039 = r, -4*v + k = v - 2554. Is v prime?
False
Let o(m) = m**2 + 16*m + 32. Is o(27) a prime number?
True
Suppose 2*t = 5*i - 11011, -16*i + 4*t = -18*i + 4414. Is i a composite number?
False
Let j(r) = -55*r - 21. Let l be j(-7). Suppose -2521 = -3*a - l. Is a prime?
True
Let q be (3 - 5)/(3/(-273)). Suppose 3*m = -79 - 20. Let w = q + m. Is w a composite number?
False
Let c(y) = -4*y**3 - 9*y**2 - 6*y - 2. Let a(d) = d**3 + 4*d**2 + 5*d + 13. Let t be a(-4). Is c(t) a composite number?
False
Let f be -6 - (-2 - 1) - (-263 - 0). Let n = 131 + f. Is n composite?
True
Let g(t) = -t**3 + 2*t**2 - 10 - 9*t**2 - 9*t + 0*t**2. Let q be ((-1)/(-2))/(6/(-108)). Is g(q) composite?
False
Suppose -4*u + 5*m - m = 16, -5*m + 29 = 4*u. Let r be (u*-2)/((-12)/18). Suppose 298 = 2*g + 4*q, 0 = 5*g - 0*q - r*q - 810. Is g a prime number?
False
Let p(u) = 211*u + 8. Is p(23) prime?
True
Let s = 18 - 12. Let v be s/(-15) - 24/(-10). Is ((-22)/(-33))/(v/129) a composite number?
False
Let z = 14 + -12. Let x = z + 0. Suppose x*q - 962 = -0*q. Is q composite?
True
Let j = 85141 + -45779. Is j a prime number?
False
Suppose s + 2*b - 191 = 0, -b - 3 + 2 = 0. Suppose -6*o = -2*o + 5*v - 546, 2*v + 264 = 2*o. Let w = s - o. Is w prime?
True
Suppose -4*s = 5*a - 19395, -5*a - 2*s + 5059 + 14346 = 0. Is a a prime number?
False
Suppose -o + 184 = 3*n, -2*o - 168 = -3*o + 5*n. Suppose -4*q + k = 105, q = -0*q - k - 20. Let s = o - q. Is s composite?
True
Suppose 5380 = 8*b - 23988. Is b a prime number?
True
Let h = -244 - -448. Suppose -32*k + 35*k - h = 0. Let s = 135 - k. Is s a prime number?
True
Suppose -1117*f = -1122*f + 184745. Is f a composite number?
True
Let s(i) = i**2 - i - 1. Let a(k) = 18*k**2 + k - 3. Let c(q) = a(q) - 6*s(q). Is c(4) composite?
False
Let g(l) = l + 17. Let w be g(-15). Suppose 0 = -2*o - 4*i + 408, o = -w*o + 5*i + 623. Is o composite?
True
Suppose i = 3*i - 12. Suppose i*d = 5473 - 871. Is d prime?
False
Let u(d) = -102 + 8*d**2 - 6*d - 104 + 215. Suppose 0*z = 4*z + 20, -2*y = -4*z - 36. Is u(y) a composite number?
True
Suppose 4*s = 5*s - 2. Suppose 9*v - s*v = 231. Is v composite?
True
Let u be (-9)/36 - 10/(-8). Let t be (2 + -1)*(u + 84). Is t + -6*(-4)/12 a prime number?
False
Is ((-29)/(-87))/(-1*1/(-10299)) prime?
True
Let f(z) = 8*z**3 + 2*z**2 - 2*z - 2. Let j be f(-2). Suppose -3*d = -d + 12. Is j/(-2)*(-2)/d a composite number?
True
Let c = -5839 - -13736. Is c composite?
True
Suppose 8*w = 3*w + 25. Suppose 4*q = 4*a + w*q - 13, 5*q + 15 = 0. Suppose -3