number?
True
Let s = 22 - 27. Let k be (-1)/s + (-84)/(-30). Let x(h) = 50*h - 5. Is x(k) prime?
False
Let s(h) = 246*h - 2. Let u be s(1). Let b = -77 + u. Is b composite?
False
Let z be 2 + 4*(-12)/(-16). Suppose -f = l - 134, -3*l + 3*f + 401 = z*f. Is l a prime number?
False
Is 36483 - (-32)/32*2*1 prime?
False
Let h(t) = 28*t**3 + 2*t**2 - 4*t + 3. Let r(x) = 29*x**3 + 2*x**2 - 5*x + 3. Let d(c) = -4*h(c) + 3*r(c). Is d(-4) a prime number?
False
Let s = 30 + -29. Is -211*(s - 0)*(-3 - -2) a composite number?
False
Suppose 0 = -14*h + 40316 + 26310. Is h composite?
False
Let g be -2*(-3)/2 - 0. Suppose 2*d + 926 = 2*k, -4*d + g*d = -4*k + 1864. Is k prime?
True
Suppose 0 = 28*g - 25*g - 3093. Is g a prime number?
True
Suppose 0 = -5*l + 4*r + 2414, -1924 = -4*l - 4*r - 0*r. Let p = 1023 - l. Is p composite?
False
Let o = 27 - 25. Suppose o*x - 64 = 154. Is x prime?
True
Suppose o = -3*x + 173693, 3*x + 4*o - 56047 = 117634. Is x prime?
True
Let g(n) = -220*n**2 - 9*n + 27. Let y(h) = 73*h**2 + 3*h - 9. Let w(d) = 2*g(d) + 7*y(d). Is w(-4) composite?
True
Let g(z) = -125*z**2 + 19*z + 19. Let v be g(-9). Let q = -1336 - v. Is q prime?
True
Let c be (-168)/(-78) - (-4)/(-26). Suppose -c*k = -3*k - u + 329, 2*k - 658 = 3*u. Is k a composite number?
True
Suppose -u + 5*s - 10 = 0, 5*s = -u + 5*u - 5. Suppose u*r = -d + 3066, -2*d - 4 = 4. Is r composite?
True
Let y(p) = p**2 + 12*p + 1. Let d be y(-13). Is (-9)/21 - (-4696)/d a prime number?
False
Let p(u) = -2*u - 20. Let j be p(-15). Is (-4)/j - (-1 + 43834/(-35)) composite?
True
Suppose -6*p + 98930 = -49636. Is p a prime number?
False
Let y(c) = 3*c**2 + 7*c**2 - 17 - 23*c + 0*c**2 - 5*c**2. Is y(14) prime?
True
Suppose 0*p = -3*p - j + 3, 2*p + 3 = j. Suppose p*g = 4*g - 3916. Is g a composite number?
True
Suppose 2*i = -4*g + 34, 0*g + 5*g = -4*i + 59. Let z(w) = w**3 - 12*w**2 + 2*w + 3. Let o be z(i). Let k = 61 - o. Is k a prime number?
True
Suppose 40 = 4*m + 4*k, 3*m - k = 2*k + 6. Let g(a) = -m*a**2 + 6*a**2 + 5*a + 1 + a**2. Is g(7) prime?
False
Let c be 36/(-21) + 6/(-21). Let y be 0 + -1 - c/2. Suppose -2*i + 64 = -q - 44, y = -5*i + 5*q + 265. Is i a prime number?
False
Let q(y) = -34*y. Let m be q(-6). Is 2 + 1 - (2 - m) composite?
True
Suppose 2*s - 48 = 5*p, -4*p = -s - 4*s + 52. Let y = p - -8. Is y - 3/(-1) - -1 prime?
False
Suppose -7*v - 4 = -8*v. Suppose -2*b = -h - 1382, 0*h = b + v*h - 691. Is b prime?
True
Let i(d) = 3*d**2 - 10*d + 2. Let n(k) = -7*k - 7. Let j(p) = -20*p - 20. Let u(m) = 6*j(m) - 17*n(m). Let l be u(-8). Is i(l) prime?
True
Let g = 602 + -545. Is g a prime number?
False
Let o be 14 + -4 + 4 - 0. Suppose -3*s = -o*s + 4301. Is s prime?
False
Let m be (-6)/(1 + 4/8). Let g = m + 9. Suppose g*h = -2*o + 783, h + 2*o = 2*h - 159. Is h a composite number?
False
Let l(s) = 120*s - 1. Let h(f) = -2*f + 33. Let j be h(16). Is l(j) composite?
True
Suppose 3100*s - 3105*s + 419675 = 0. Is s composite?
True
Let h = 141 - 93. Let b = h - 11. Suppose 2*w + m = b, 3*w - 80 = -w + 4*m. Is w prime?
True
Suppose -38*g + 39*g = 297. Suppose 3*p = 2*l + 2*p - 612, 5*p + g = l. Is l prime?
True
Let x be 13774/18 - (-12)/(-54). Let s = 2344 - x. Is s a composite number?
False
Suppose -4*z + 4*z = -3*z. Suppose 2*r - 258 - 370 = z. Is r composite?
True
Let d = 53983 + -38556. Is d a prime number?
True
Suppose -9 = 4*y - 1. Is 2 + y*(-66)/4 a prime number?
False
Suppose -3*i - 4*h + 12103 = 0, -7*i + 9*i = -2*h + 8070. Is i composite?
True
Let y(u) = -48*u - 7. Let v = 58 - 34. Suppose 2*g + 7 = -x, 0*g - 3*x = -3*g - v. Is y(g) a composite number?
False
Let w be 1/2*(-5008)/4. Let j = w + 2779. Is j a composite number?
False
Suppose -2*h - 1 = 3*v - 13, -3*v - 4*h = -12. Suppose -11 - v = -q. Is (-3)/q + 1998/15 a prime number?
False
Let m(x) = 714*x + 451. Is m(12) composite?
True
Let o(p) = 5859*p - 44. Is o(3) a prime number?
False
Suppose -35 = m - 39. Let w(h) = 138*h - 9. Is w(m) prime?
False
Let l(k) = 61*k**2 - 10*k - 4. Is l(5) a prime number?
True
Let t = -44464 - -67863. Is t a prime number?
True
Let n(b) = -b - 8. Let x be n(-7). Is (x/2)/((0 + -5)/7870) a prime number?
True
Let u(m) = m**2 - 25*m - 183. Is u(-52) a composite number?
False
Let y = 7 + -4. Suppose 7502 - 1997 = y*f. Is f a composite number?
True
Let r = -1203 - -2452. Is r composite?
False
Suppose p + 4*i = 15626 + 30571, p + 3*i = 46196. Is p a composite number?
True
Let g(k) = 54*k**2 + 11*k - 67. Is g(12) a composite number?
False
Suppose 6*h - 38516 + 6578 = 0. Is h prime?
True
Suppose 0 = 5*g + 3*j - 75460, 5*g - 68859 = 2*j + 6576. Is g a prime number?
False
Let i(z) = 334*z**2 - 9*z - 42. Is i(5) a prime number?
True
Suppose 0*h = -4*h + 5*r + 44, 2*r + 8 = 0. Suppose 0 = -3*u - 24 + h. Let f = 121 + u. Is f a prime number?
False
Suppose 5*v + 2830 = -0*v. Let a be v - (-8)/(-12)*6. Let j = -313 - a. Is j a composite number?
False
Let a = -1046 - -6825. Let x = a - 3912. Is x prime?
True
Let a be ((-15)/(-10))/((-3)/(-26)). Suppose 0 = -r + 2*i - 6*i + a, 0 = 3*r + 3*i - 12. Let o(c) = 20*c**3 + 2*c**2 - c. Is o(r) a composite number?
True
Let s(c) = 3*c**2 - 4*c - 7. Let r = -23 + 13. Let x = -4 - r. Is s(x) a composite number?
True
Let y = -915 + 917. Let x(o) = 20*o - 3 - 3 + 0. Is x(y) composite?
True
Let q(o) = 721*o**2 + 66*o + 318. Is q(-5) a composite number?
False
Let i = 6 - 1. Suppose 40*m - 37*m - 537 = 0. Suppose m = i*r - 156. Is r a prime number?
True
Let s be 4 - (3 - 1) - 6. Let i be ((-131)/(-2))/(2/s). Is (-6 - -5)/(1/i) prime?
True
Let l be -2 - 150/((-4)/2). Suppose 4*q - 1536 = -o - 3*o, 763 = 2*o - 3*q. Suppose -d = -2*v - o, 0 = 2*d + 2*v - 827 + l. Is d composite?
False
Let y = -2125 + 4086. Is y prime?
False
Let a(p) = 6908*p - 85. Is a(3) a composite number?
False
Suppose -2*a + 5*r = -5936, r + 2*r + 14821 = 5*a. Is a a prime number?
True
Suppose 0 = -4*l + 9 + 3. Suppose 2*h = 3 + l. Suppose h*z - 248 - 671 = -4*c, 0 = 2*z + 2*c - 610. Is z prime?
False
Let d = 54 - 50. Suppose 3*q - d*x = 2622 + 2100, 5*q + 4*x = 7870. Is q a prime number?
False
Let w = 345 - 49. Suppose -8*y = -w - 1232. Is y composite?
False
Let k(c) = 3*c**3 - 8*c**2 + 6*c - 12. Let h be k(5). Let t = 324 - h. Is t a composite number?
False
Let l = -2538 - -4441. Is l prime?
False
Suppose q - 466 = 107. Suppose -8*u = -11*u + q. Is u composite?
False
Suppose 0 = -5*l - p - 1 + 11, -5*p - 37 = -4*l. Suppose 2*q = 5*f + 19, 2*f + 14 = q + f. Let z = q - l. Is z a prime number?
False
Let p = -377 - -385. Suppose 0 = q - 0*q + l - 420, 4*l - 417 = -q. Is 8/p*(-2 + q) a composite number?
False
Is (-7 - -1) + (11 - -1 - -2153) a prime number?
False
Let l be ((-502)/(-4))/((-44)/2112). Suppose 2*x = 4*z + 18, 4*z + 4 = -4*x + 2*z. Is l/(-6)*x/4 composite?
False
Suppose -4*s - 16 = 0, 2*s - 4536 = -4*p - 2*s. Is p composite?
True
Is (-12)/(3 - 7) + 11179 a prime number?
False
Let c be (-8)/(-4)*(-5 - 0) + 1. Let s(m) be the third derivative of m**5/60 - m**4/3 + 5*m**3/3 + m**2. Is s(c) a composite number?
False
Let m(f) = f**2 + 7*f + 9. Let x be 12*(14/4 - 4). Let t be m(x). Suppose -1014 + 2475 = t*y. Is y prime?
True
Let l(v) = 2*v**3 - 9*v**2 + 3*v + 11. Is l(10) composite?
True
Let w be 5 - 198/((-3)/3). Is 58/w + (-4289)/(-7) prime?
True
Let h(j) = -2*j**3 - 3*j**2 + 4*j + 6. Let y be h(-4). Let r = 228 - y. Let i = r - 31. Is i a composite number?
False
Let h(f) = 68*f + 70. Is h(11) a composite number?
True
Is (3 - 1052/(-10))/((-2)/(-10)) a prime number?
True
Let s(p) = 2824*p + 21. Is s(8) composite?
False
Let z(b) = -b**3 - 69*b**2 + 42*b - 711. Is z(-70) prime?
True
Let s = 2014 - -3141. Is s prime?
False
Let b = -12 - -12. Suppose h + h + 474 = b. Let s = 20 - h. Is s composite?
False
Let i(m) = m**3 - 5*m**2 - 4*m - 5. Let z be i(6). Let u(d) be the first derivative of 4*d**3/3 - 3*d**2 - 5*d + 2. Is u(z) composite?
False
Let k(n) = -n**3 - 9*n**2 - 6*n + 4. Let z be k(-8). Let h = z - -15. Suppose h*r - 892 = -r. Is r composite?
False
Suppose 4*c - q - 18806 = 0, -4*c + 12876 = -2*q - 5932. Is c composite?
True
Suppose -84*p = -98*p + 58268. Is p a composite number?
True
Suppose -c = 3*c + 20. Let a(v) be the first derivative of v**3 + 4*v**2 + 4*v - 57. Is a(c) a composite