7 = w. Let i = -5 - p. Is i a prime number?
True
Let a(q) = -q - 1. Let l be a(1). Let u(c) = 3*c + 3. Let f be u(l). Let n(d) = -17*d - 2. Is n(f) a composite number?
True
Let r = -163 - -324. Is r prime?
False
Suppose -t - 15 = -h - 4*h, -4*t + 15 = 5*h. Is t - -3 - (3 + -2) a prime number?
True
Suppose 5*x - 4*x = 153. Suppose -z + x = -2*z. Let n = 280 + z. Is n composite?
False
Let v be (10/(-15))/((-1)/8553). Suppose -5*p + 3408 = -3*m, 2*m + 3*m - p + v = 0. Is m/(-9) - 6/(-27) a composite number?
False
Suppose 2*p = -3*p + 545. Let i = p + -30. Is i prime?
True
Suppose 3*l - 2*q = -47, -3*l + 5*q = l + 65. Is (25/l)/(1/(-21)) prime?
False
Suppose 4437 = 7*y - 50. Is y a prime number?
True
Let a(x) = -x**3 + 3*x**2 + 3*x + 5. Let n be a(4). Is (n - -1)*1677/6 a prime number?
False
Let c be (26/(-4))/((-1)/(-40)). Let o = c - -387. Is o prime?
True
Let g = 4 - 0. Suppose 0 = -g*t + 3 + 9. Is t a prime number?
True
Let t = 163 - 263. Suppose 70 - 249 = -v. Let f = v + t. Is f a prime number?
True
Let c = -19 - -31. Is (56/(-6))/((-8)/c) composite?
True
Let b be (-3 + -3)/((-2)/1). Suppose 4*m + b*f + 0*f - 75 = 0, -4*m = f - 65. Is m a composite number?
True
Suppose 3*p + v = 331, 3*v - 6*v = -p + 97. Is p a prime number?
True
Suppose 0 = -4*o + 33 + 7. Let p be (-2)/o + (-2748)/(-15). Suppose 2 = 5*k - p. Is k a prime number?
True
Let p(h) = 3*h**2 + h - 9. Is p(4) a prime number?
True
Suppose 4 - 6 = -f. Let w(d) = 46*d**2 + 3*d - 3. Is w(f) prime?
False
Let o(f) = 20*f - 6. Let h be o(6). Let n = h + -76. Is n a composite number?
True
Suppose 3*v = 5 + 28. Let r = 15 - v. Is (r/12)/((-1)/(-57)) composite?
False
Let t = 211 + -108. Is t prime?
True
Let t = 48 - 69. Let g = -10 - t. Let q(m) = -m**2 + 22*m + 10. Is q(g) composite?
False
Let r = 1186 - 596. Suppose -p + 4*v = 3*p - 2336, v - r = -p. Is p prime?
True
Let o = -6 + 8. Suppose 7*i - 4*i = -3*z + 27, o*z - 13 = -i. Is z a composite number?
True
Let m be 2/(-11) + 2/11. Let i be (0 - (m - -2))/(-2). Is (1 + 12)*i + 1 a composite number?
True
Is 2 - 7/3 - 26672/(-24) composite?
True
Let r be (1 + 2)*(-570)/(-9). Let c = r - 133. Is c a composite number?
True
Suppose 0 = f + 3*f - 16. Suppose 0*p - 1963 = -5*t + 3*p, 2*t - f*p - 774 = 0. Is t prime?
False
Let q(l) = -2*l**3 - 24*l**2 - 3*l + 34. Is q(-13) prime?
False
Suppose -12*b + 106 = -11*b. Suppose 0 = -0*x + 2*x - b. Is x composite?
False
Suppose -5*a = 5*k - 70, 2*a + 0*k - k = 13. Let j(l) be the first derivative of l**3/3 + 7*l**2/2 + 5*l + 2. Is j(a) a prime number?
True
Let b(d) = 110*d - 33. Is b(16) a composite number?
True
Let x = -169 + 243. Is x composite?
True
Is (336/3)/2 - -3 prime?
True
Let o = 2 - 0. Suppose 3*a + 8 = -o*y, -4*a - 4*y + 3 = 15. Let g(d) = -24*d - 2. Is g(a) composite?
True
Suppose -3*p = g - 490, 0*g + g - 4 = 0. Let t = -103 + p. Is t composite?
False
Suppose -39*p + 34*p = -1655. Is p composite?
False
Is 184 - ((-6)/10 + (-4)/10) prime?
False
Suppose 4*m - 13 = 7. Suppose 0 = v - m*z - 155, 0 = -2*v + v + 3*z + 151. Is v composite?
True
Let x = -691 + 1534. Is x composite?
True
Let g be (-30)/(-20)*2/(-3). Let u = g + 20. Is u prime?
True
Suppose 200 = u + 13. Is u a prime number?
False
Suppose 263 = r + 4*w, 4*r + 6*w - 8*w = 980. Is r a composite number?
True
Let s = 1490 - 357. Is s composite?
True
Suppose 0 = -0*u + 2*u - 150. Suppose 0 = -c - u - 40. Is c/(-5)*1/1 prime?
True
Suppose 13 = 5*n + 3*p, -1 = 4*p - 5*p. Suppose -3*f - n*f + 265 = 0. Is f prime?
True
Suppose -2*t = -3*m - 3*t + 29, 0 = 3*m - 4*t - 4. Let x = m + -6. Is (-1782)/(-14) - x/7 prime?
True
Is (-4484)/(-12) + ((-12)/9)/2 a prime number?
True
Let p(h) = 52*h**2 - 8*h - 21. Is p(-5) a prime number?
True
Suppose 11 = -2*x + i, -1 = 2*x - 0*i + i. Let r = 53 + x. Is r + 1 + (0 - 2) a composite number?
True
Let c be (304 - 1)*(-8)/(-12). Let l be -2*1/(-2) - 121. Let v = c + l. Is v a prime number?
False
Suppose 909 + 1119 = 2*j + 2*h, 4*h - 3047 = -3*j. Is j a composite number?
False
Suppose 4*b - 478 = 3*b. Suppose 4*c - 2*h - b = 0, -5*c - 5*h + h + 617 = 0. Is c prime?
False
Let z(h) = h**2 + 9*h + 10. Let x be z(-8). Suppose -3*p - 261 = -5*u + x*u, 423 = 5*u - 2*p. Is u a prime number?
True
Let h(n) = n**2 - 10*n + 7. Let k be h(8). Let a be (-2841)/(-27) - (-2)/k. Is 8/10*a/6 a composite number?
True
Is (-2 - -104)/((-12)/(-6)) a composite number?
True
Suppose 0 = 2*i + 4*f - 2, -4*i + 0*i - f = -25. Suppose -3*d = -3*m + 9, 4 + i = -3*m - 2*d. Is -2 + -41*(m + -2) a prime number?
False
Let h be 7 + -1 - (-2 + 3). Is (62/(-2))/(-6 + h) composite?
False
Suppose -5*y + 21 = -4*d, 0 = y - 4*d - 0 - 1. Suppose -3*v = y*u - 253, u = 3*u + 2*v - 98. Is u prime?
True
Suppose 6*h - 10 = h. Let o(w) = w - 1. Let v be o(5). Suppose 3*l + 2*b = 20, l - v*b = -h*b + 4. Is l composite?
True
Is (1 - (1 + -1)) + 940 a prime number?
True
Suppose 66 = -2*y + 4*y. Let o = -50 + y. Let k = o + 68. Is k composite?
True
Let y(p) = -p**3 - 8*p**2 + 8*p - 9. Let n be y(-8). Let r = n + -34. Let q = -76 - r. Is q composite?
False
Suppose 2*s - 760 = 134. Is s prime?
False
Let v(a) = a + 647. Is v(0) a composite number?
False
Suppose -5*o + 6 = 16. Let r(p) = -73*p - 1. Is r(o) prime?
False
Let b be (1*(3 + -3))/2. Suppose -4*n + c + 25 = b, 0*c = 3*n - 5*c - 6. Is n a composite number?
False
Let f = -648 - -1003. Is f a prime number?
False
Let u = 43 + 72. Is u a prime number?
False
Suppose -3*j - 100 = j. Let a = -18 - j. Is a composite?
False
Let n be ((-6)/(-12))/(2/8). Let w be 1/n*(-4)/(-2). Suppose -9 + w = -4*q. Is q a prime number?
True
Is (0 - -1) + 2 - -512 a composite number?
True
Let d(i) = -120*i - 4. Let z be d(-3). Suppose z = 7*m - 3*m. Is m composite?
False
Let a(d) = d**3 + 36*d**2 - 6*d + 82. Is a(-33) a composite number?
False
Let x = -71 - -25. Let a = -9 - x. Is a prime?
True
Let m = 4 + -2. Let j be 9/2*40/12. Suppose j = m*g - g. Is g composite?
True
Let m(g) = -g**3 + 11*g**2 + 7*g + 1. Is m(9) a composite number?
True
Suppose 5*i + 1273 - 173 = 0. Let w = -29 - i. Is w a composite number?
False
Let l(v) be the third derivative of v**5/10 + v**4/3 - v**3 - v**2. Let f be l(-6). Suppose 5*x - f = -67. Is x a prime number?
True
Let z be 15/20*4*1. Suppose 16 = z*c + 2*k, -3*c - 14 = -5*k + k. Suppose 166 = 2*a + c*h, -3*a - 5*h = a - 336. Is a composite?
False
Let g(c) = -5*c**2 - 20*c - 32. Let o(y) = 2*y**2 + 7*y + 11. Let d(u) = 4*g(u) + 11*o(u). Is d(6) prime?
True
Let g be 30/195 + 2466/26. Is 3*g - (-8 + 4) a composite number?
True
Suppose k - 5*k + 28 = 5*i, 2*i + 3*k - 7 = 0. Let v = 45 + i. Is v prime?
True
Let z be (-378)/24*(-32)/6. Suppose 3*c + c + 2*o - z = 0, 5*c - 107 = -3*o. Is c composite?
False
Let u = 211 - 0. Is u a composite number?
False
Let u(q) = -10*q**3 - 3*q**2 - 2*q**2 + 3*q + 2 - 2*q. Let z be u(-5). Suppose -5*i + z = 377. Is i a composite number?
False
Let r(g) = 35*g - 11*g + 23*g - 1. Is r(1) prime?
False
Let t(m) be the third derivative of m**4/24 + 5*m**3/3 - 2*m**2. Let i be t(-7). Suppose -l + i = 2, -5*r - 4*l = -74. Is r a composite number?
True
Let j(b) = 86*b**3 - b**2. Is j(1) composite?
True
Let y(n) = -n**3 + 6*n**2 + 3*n - 5. Is y(6) composite?
False
Let p = 1467 - 894. Is p a prime number?
False
Let v = -2 - -6. Suppose v*y - 175 = -y. Is y a composite number?
True
Let q be (-75)/27 - 4/18. Let j be 3/(-9)*q - -1. Suppose -2*g + 56 = -0*g - j*z, 5*z = -2*g + 35. Is g a composite number?
True
Let f = -26 - -38. Is (1/((-3)/f))/(-1) a composite number?
True
Let r(j) = -8*j**3 + j**2 + 7*j + 3. Is r(-5) a composite number?
True
Suppose 6 + 6 = 4*w. Suppose w - 12 = -3*q. Suppose -c = 2*f - 19, -q*f + 13 = c + f. Is c a composite number?
True
Suppose -3*v + 3353 = 4*v. Is v prime?
True
Suppose 4*f + 8 = 2*l, 3*l - 1 = -4*f + 1. Suppose -55 = -l*m + 13. Is m prime?
False
Let i be 2/(3/(6 + -3)). Suppose 2*m = -3*w + 419, 3*w + i = w. Is m a composite number?
False
Let r be -2 - 2*75/6. Is 8/6*r/(-6) a prime number?
False
Let m = 0 - -1. Is (1 - 2)*(-288 - m) composite?
True
Suppose -148 = -2*o + 5*t + 47, 5*t - 230 = -3*o. Is o composite?
True
Let u be 1 + -4 - (-3 - -6). Is (178/3)/((-4)/u) composite?
False
Is ((-6)/9)/((-12)/12546) prime?
False
Let p = 11 - -111. I