4*k - 1917, k - 2768 = -5*i + 410. Is i a prime number?
False
Suppose a + 638 = 5*r, 2*r + r - 396 = 5*a. Let h = r - 76. Is h a prime number?
False
Let n be (-210)/48 + (-3)/(-8). Let q be (8/(-6))/(n/12). Is (1/3)/(q/948) prime?
True
Suppose -5*a + 124 = -a. Suppose -a = m - 147. Let f = m - -53. Is f prime?
False
Suppose -4*m + 5692 = 4*c, 0 = c - 3*m - 1575 + 172. Is c prime?
False
Suppose 0 = -3*u - 3*l - 24, u = -0*u - 4*l - 20. Let a(p) = -p - 4. Let w be a(u). Suppose -5*r + 3*r + 406 = w. Is r composite?
True
Suppose 4 = -4*b, -187905 = -4*h + b - 38188. Is h a composite number?
True
Let q(g) = -442*g + 57. Is q(-8) a prime number?
True
Suppose 0 = -4*g - 4*t + 98 - 1462, 4*t = 2*g + 676. Let z = 269 - g. Suppose z + 582 = 3*c. Is c prime?
True
Suppose 5*u - 5*x = 87690, 0 = 4*u - 3*x + 2*x - 70140. Is u/110 + ((-6)/5)/3 a composite number?
True
Let h be (-1)/4 + 2161/4. Let r = -323 + h. Is r a composite number?
True
Suppose 121*r - 125*r = -11064. Let k = -1975 + r. Is k a prime number?
False
Suppose i - 2*i + 18 = 0. Let a be i/(-4)*(-10)/15. Suppose b + 2662 = 4*b - 5*t, -2670 = -3*b - a*t. Is b prime?
False
Let k(i) = i**3 - 2*i**2 - i - 3. Let p be k(3). Let z = p + -1. Suppose 111 = z*o + o. Is o prime?
True
Suppose 15818 = 2*v - n, 3819 = v - 3*n - 4100. Is v a composite number?
False
Let j be 2*45/6*-1. Let u be j/(-6)*570/25. Suppose -u - 37 = -2*x. Is x composite?
False
Suppose -77454 = -8*x - 13142. Is x composite?
False
Let f(w) = -w**3 - 54*w**2 + 50*w - 453. Is f(-56) composite?
False
Suppose 2*l + 5*k + 20 = 0, -3*l - 2*k + 8 = -4*k. Suppose l = 2*y - 4*y + 1270. Is y composite?
True
Let z(b) = 3 - 2 + 1 + 11*b**2 + 4*b - 12*b**2. Let j be z(3). Suppose 601 + 1834 = j*x. Is x a composite number?
False
Let y(t) = 10*t - 1. Let j be (-32)/(2 + 2)*-1. Suppose -j*a + 3*a = -10. Is y(a) a composite number?
False
Let f(h) = 892*h + 455. Is f(6) a prime number?
True
Is 10*(-56313)/6*(-25)/75 a prime number?
False
Let q(v) = 86*v + 16. Let k(n) = -n**3 + 6*n**2 - 4*n - 9. Let g be k(4). Let y be q(g). Suppose -3459 - y = -5*b + d, b - 823 = 4*d. Is b a composite number?
True
Suppose 2*m - 2*u - 17232 = 0, 0 = m - 11*u + 7*u - 8601. Is m prime?
False
Suppose 2*l + 19301 = 5*b - 13702, -l = -b + 6603. Is b composite?
False
Let x(l) = 16*l**2 - 215*l + 35. Is x(-34) prime?
True
Let x be -4 - (-2 - -573) - -3. Let u = x - -919. Suppose -u = 2*k - 1737. Is k a composite number?
True
Let t = -22 - -23. Suppose 2*d + 5*o + 4 - t = 0, 0 = -d + 3*o - 18. Is ((-21)/d)/7*237 prime?
True
Suppose -180 = -0*q - 5*q - 4*j, q - 3*j - 17 = 0. Let u = 4 + q. Let p = u - -257. Is p a composite number?
False
Let p = 6397 + -2808. Is p composite?
True
Suppose 0 = -9*w + 391748 + 279373. Is w composite?
True
Let s = -30 + 16. Let c = s - -17. Suppose 15 = 5*j, j = -c*l - 0*j + 294. Is l a prime number?
True
Let o(h) = -107*h**3 + h**2 - 2*h - 1. Suppose -2*x - 2 - 6 = 2*v, 4*x = -5*v - 19. Is o(x) composite?
False
Let d be (-4)/(-14) - 96/(-56). Let a(b) = b**2 - 4*b + 3. Let w be a(d). Is w - ((-1872)/3)/1 composite?
True
Let z(x) = 11015*x + 184. Is z(9) a prime number?
False
Suppose 6*m - 129 = 771. Let g = 181 + m. Is g a prime number?
True
Suppose 8 + 4 = 3*v. Suppose 0 = 3*f + v*y + 91 - 442, -3*y - 330 = -3*f. Is f composite?
False
Is (8/(-10) - (-608)/(-160))*-1535 prime?
False
Suppose 0 = 15*z + 7*z - 87428. Is z composite?
True
Suppose 5*r = -3*s + 43 + 22, 0 = -3*s + 4*r + 29. Let d = s + -38. Is (1 + -11)/(2/d) prime?
False
Suppose 4 + 11 = m. Is ((-5)/m)/((-1)/8457) composite?
False
Let t be (-1)/(-1) + -19 + -594. Let f = 1579 + t. Is f a composite number?
False
Suppose 5*s - s = -2*q + 2116, -4*s - 2076 = -2*q. Suppose -3154 = -3*r + 4*g, r + 0*r = -2*g + q. Let w = r - 529. Is w prime?
True
Let c(o) = -3*o**3 - 8*o**2 - 22*o - 4. Is c(-11) a prime number?
False
Suppose -3*y = -y + 126. Is 18/y - (11640/(-21) - -3) prime?
False
Suppose -201 + 4956 = 15*n. Is n a composite number?
False
Is (-2)/((-12)/33447)*2 composite?
False
Suppose 28*q - 581 = 27*q. Is q composite?
True
Let a(z) = -z**2 - z. Let m(b) = 5*b**2 + 13*b - 11. Let h(r) = -6*a(r) - m(r). Is h(19) a composite number?
False
Let n(p) = 41 - 20 - 21 + 955*p**2 - 2*p. Is n(1) a prime number?
True
Let x(q) = 18*q**3 - 2*q**2 + 2*q + 2. Let c be x(-2). Let r = c - -267. Is r a composite number?
False
Suppose d - 323 = 283. Suppose -d = -3*b + 105. Is b a composite number?
True
Let i be ((-4)/4 - 0)*(-7 - -3). Suppose -5*f = z - 8183, -i*z + 2372 - 743 = f. Is f composite?
False
Let p(b) = -2*b**3 + 3*b**2 - 5*b - 4. Let h be (-8)/3*(-3)/(-1). Let y be p(h). Suppose -i + 384 = -5*z, 2*z = -3*i - 3*z + y. Is i prime?
True
Let a be (-819)/(-33) + (-4)/(-22). Suppose -2*h - 5*w = h - 248, -5*w - a = 0. Suppose 0 = 5*p - 24 - h. Is p a composite number?
False
Is ((-4677)/(-2))/(3/6) a prime number?
False
Let p(a) = 13*a - 12. Let r(j) = 2*j - 5 + 0 - 3*j + 3. Let n be r(-7). Is p(n) a composite number?
False
Is (-16357)/(6/24*-4) a composite number?
True
Let p(v) = 265*v**3 - 3*v**2 - 10*v - 1. Is p(4) prime?
True
Let w be (-2 + (-119)/2)*-4. Suppose 6*f = -4*f + 3*f. Suppose 3*a - 2*y + y - 355 = 0, f = 2*a + 4*y - w. Is a a prime number?
False
Let j = 82320 - 58169. Is j prime?
True
Is 8 - 2 - 10 - -3947 prime?
True
Let z = 5404 - 2861. Is z prime?
True
Suppose 178436 = 16*z - 152300. Is z composite?
True
Suppose 4*o + 0*c = -3*c + 86, 3*o = -2*c + 64. Let g = o + -25. Is 4/(20/g)*-53 a composite number?
False
Let l(s) = 129*s**2 - 20*s + 5. Let c(x) = -32*x**2 + 5*x - 1. Let v(p) = -9*c(p) - 2*l(p). Is v(-4) a composite number?
False
Let r(w) = -w**3 - 6*w**2 - 5*w - 4. Suppose -4*s - n - 12 = 7, s + 2 = -3*n. Let o be r(s). Let q = o - -39. Is q composite?
True
Is 66813/(6 + (2 - 7)) a prime number?
False
Is (136/(-12))/(-1*(-10)/(-1695)) a composite number?
True
Let z(v) = -120*v**3 - v**2 - v - 3. Let m be z(-2). Suppose 4*c - m = -c. Is c composite?
False
Suppose 2*v - 3*v = -12. Suppose 4*s + y = -0*y + 511, 4*y = v. Is s a composite number?
False
Suppose 0 = -448*a + 449*a - 8887. Is a composite?
False
Let m(g) = 11*g**2 - 13*g + 1. Is m(5) composite?
False
Is (-17)/((-238)/90064) + 2/(-14) prime?
False
Suppose 5*x = -3*y - 0*x + 12, 2*y + 14 = 4*x. Let p be y + 1 - -1*4. Suppose 4*l = p*c - 0*c - 376, 4*l = c - 85. Is c a prime number?
True
Suppose -132*q = -133*q - 5*g + 2438, -q = 3*g - 2428. Is q a composite number?
True
Let j(k) = 24453*k - 41. Is j(4) a composite number?
False
Let q = -18 - -22. Is q/(-20) - 5576/(-5) a composite number?
True
Suppose 21*a + 21962 = 23*a. Is a a prime number?
False
Suppose 5*v - 1006 = 4*v. Suppose d - 6*d + v = m, -3*m + 2958 = -5*d. Is m prime?
True
Suppose 10 = 2*n, -3*t - n + 12930 = -8528. Is t a prime number?
True
Suppose 3*t - 2*x = -3*x + 55869, -2*x = 3*t - 55869. Is t a prime number?
False
Let p(y) = 6*y**2 - 2*y - 34. Let z be p(10). Suppose 744 = 6*g - z. Is g prime?
False
Is 178*(-6 - -11)/10 a prime number?
True
Suppose 2*a - 3530 = 2240. Is a prime?
False
Suppose -2*w - 1092 = 1164. Suppose -14408 = 6*a + 2*a. Let n = w - a. Is n a composite number?
False
Let d(j) = 4*j**3 + 15*j**2 + 5*j + 32. Let w(o) = o**3 + 5*o**2 + 2*o + 11. Let c(b) = 2*d(b) - 7*w(b). Let q be c(6). Is q*(0 - 2 - 72) composite?
True
Suppose -19*z - 20915 = -24*z. Is z a composite number?
True
Let a(q) = -183*q - 154. Is a(-20) composite?
True
Let p(w) = 112*w + 20. Let z be p(-6). Let n = z + 3231. Is n prime?
True
Suppose 39*w = 38*w + 2. Suppose w*o = -129 + 539. Is o prime?
False
Let u = 651 - 1118. Let r be u/(-3*1/(-3)). Let p = r - -916. Is p composite?
False
Let z = 364 - 155. Is z prime?
False
Suppose 4*a + 5*g - 25450 = -a, 4*a - g = 20380. Let r = -3595 + a. Is r a prime number?
True
Let o be 5 + -9 - 18*1. Let g = o - -24. Is g prime?
True
Suppose 2 = 2*z, 3*z = -b + 152 + 11. Let d = b + -81. Is d composite?
False
Let r(y) = y**3 + 9*y**2 + 1. Let l be r(-9). Let z be 2 + -3 + (-15)/l. Is 2*(-2)/(z/524) a prime number?
True
Let t = -6670 - -13233. Is t a prime number?
True
Suppose 0 = -i - 5, -12*h + 3*i - 1958 = -13*h. Is h a prime number?
True
Let l(y) = 4*y + 11. Let p be l(-4). Let b = 1 - p. Suppose -5*v - 15 = -5*j, -5*j = 