- z = -2384 + 8775. Is b prime?
True
Is 6793152/32*(-5)/(-10) composite?
True
Let t = 183005 + -123852. Is t prime?
False
Suppose -13*b + 9249781 = -3217284. Is b prime?
False
Let s be (-11)/(-2) + (-30)/20. Suppose 2*w + 3*t = 453, -6*w + 221 = -5*w - s*t. Let v = w + 244. Is v a prime number?
False
Is 1*(9 + -5 + 7758 - (1 + -4)) prime?
False
Let k(r) = 13*r**2 + 21*r + 125. Let u be k(23). Suppose u = 3*h + d, 15*d = -3*h + 16*d + 7485. Is h composite?
True
Let s(y) = 7*y**2 + 11 - 55 - 48 + 21 - 18*y. Is s(-10) composite?
False
Let g = 24 + -19. Let f(q) = 26*q**2 - q + 9. Let x be f(7). Suppose y + x = g*y. Is y composite?
True
Let y = -5013 - -2110. Let j = y - -5104. Is j composite?
True
Let b = -39 - -44. Is 1*(4 - b)*-2503 prime?
True
Suppose 0 = 375*y - 274267313 - 315500062. Is y a composite number?
False
Is (87559065/1155)/((-6)/(-70)) a composite number?
True
Let m(b) = 3660*b - 13. Suppose -3*a - x = -14, 7*x - 9*x - 5 = -5*a. Is m(a) a composite number?
True
Let i be 2/(-5) - (108/5 - 4). Let y = -5 - i. Let f(s) = s**3 - 11*s**2 - 15*s + 18. Is f(y) a composite number?
True
Suppose 0 = -3*c - s + 490638, -2*c + 20*s - 19*s = -327092. Is c a composite number?
True
Let f(n) = 5*n**2 + 10 - 7 + 6*n + 26 + 18*n**2. Is f(10) prime?
True
Let h = -58 - -466. Suppose -h = -3*c + 3*g, -2*c + 6*g + 257 = g. Is c composite?
True
Let v = -91 + 97. Let d be 2/(-12) + v/36. Suppose 3*k - 23*k + 740 = d. Is k prime?
True
Suppose 96*z - 469453 = 94*z + g, -4*g + 234713 = z. Suppose -19*f - z = -44*f. Is f composite?
True
Let n(v) be the third derivative of -253*v**4/24 - 5*v**3/3 + 2*v**2 + 7*v. Is n(-5) composite?
True
Is 39436834/451 - (-1)/(-11) - 4 prime?
False
Let h = -56855 + 91624. Is h a prime number?
False
Let y = 164701 - 103610. Is y a prime number?
True
Suppose 7*p - 2033415 = -39*p + 74719. Is p a composite number?
True
Let q = 26971 + 192468. Is q a prime number?
False
Suppose 4*p + 4*l = p + 31, 2*p + l - 14 = 0. Let s = 22 + -18. Suppose s*f + p*q - 770 = -31, 899 = 5*f - 2*q. Is f a prime number?
True
Suppose 2*q = 26 - 28. Is ((-248300)/50)/(-3 - q) a prime number?
False
Let s(l) be the first derivative of 3248*l**2 + 27*l - 91. Is s(2) a prime number?
False
Let h(t) = 0*t + 2*t**2 + 2*t + 5*t - 15*t + 29. Is h(13) composite?
False
Suppose -f + 4*h + 39233 = 0, 2*f - 3*h - 79470 = -979. Is f a composite number?
True
Let b(k) = k**2 - 10*k + 8. Let q be b(7). Let l(j) = 2*j**2 + 24*j - 7. Let m(z) = -z**2 - 2*z - 1. Let r(v) = -l(v) - 3*m(v). Is r(q) a composite number?
True
Let l(t) = -293*t**2 + 9*t + 4. Let b be l(-10). Let k = 41249 + b. Is k prime?
True
Let r(j) = -40967*j**3 + j**2 + j. Is r(-1) a composite number?
True
Let m(t) = -7253*t - 5778. Is m(-69) a composite number?
True
Let l(b) = -444*b + 2. Let p be -9 + 1 - 4*(-5 + 4). Let d be l(p). Let v = -1027 + d. Is v a composite number?
False
Let i(p) = 9*p**2 + 4*p - 5. Let a be i(-4). Let s = 100 - 98. Suppose -3*y + 1575 = 3*d + a, -3*y - 993 = -s*d. Is d composite?
True
Let x be 5 - 1/(4/8*2). Suppose 2*k + 10 = 0, 0 = -4*u - x*k - 2049 + 6297. Is u a prime number?
False
Suppose 1329*p = 1361*p - 4374944. Is p a composite number?
True
Let v be (-527)/(((-2)/(-16) - 0)*-1). Let t = 8299 - v. Is t prime?
False
Let y(v) = v**2 - 5*v - 10. Let x be y(7). Suppose -2*b - 2146 = -3*b. Suppose q = -5*w + b, x*w = -5*q + q + 8632. Is q a prime number?
True
Suppose -11*m + 25*m - 126 = 0. Suppose 5631 = o + 2*k, -m*o = -13*o - 2*k + 22500. Is o composite?
False
Let r = -103111 + 155413. Suppose -63*q + 69*q - r = 0. Is q prime?
False
Suppose -5*u - 56 = 34. Is (-138969)/18*132/u a composite number?
True
Suppose 4139 = s - 3*s - 5*y, 5*y = -5*s - 10340. Let n(z) = 15*z**2 - 64*z + 75. Let p be n(7). Let b = p - s. Is b composite?
True
Suppose 0 = -67*u + 149244 + 325049. Is u composite?
False
Let i(r) = r**3 + 68*r**2 + 62*r + 62. Is i(-65) a composite number?
False
Suppose -21*y - 1032502 = -6099613. Is y prime?
True
Suppose -9*z + 14*z = 105. Suppose 0 = z*m - 20*m - 12. Suppose -914 = -m*a + 9514. Is a a composite number?
True
Let v(r) = 859*r - 1515. Is v(56) a composite number?
False
Let f be 3/5 + (-240)/(-100). Suppose -f*c - 5*z = -65492, 9989 + 33679 = 2*c + 2*z. Is c a prime number?
True
Suppose -2*a = 39 - 35, -2*a = o - 9. Suppose -62524 + 20157 = -o*s. Is s a prime number?
True
Let c(u) = -u**3 - 3*u**2 + 15*u - 8. Let x be c(-6). Let h(d) = 467*d**2 - 6*d - 81. Is h(x) a composite number?
False
Suppose 5*l - 2*a = 192, 2*a + 116 = 51*l - 48*l. Suppose 5*m - l*m = -167607. Is m a prime number?
False
Let w(c) = 542*c**2 - 141*c + 2036. Is w(21) composite?
True
Let q = -124 - -120. Let g(j) = 49*j**2 - 2*j - 5. Is g(q) prime?
True
Let m(s) = -1709*s + 217. Let p(g) = -856*g + 109. Let u(n) = 2*m(n) - 5*p(n). Is u(7) prime?
True
Let x be (56/147)/(-4) - 8150/(-21). Suppose 0 = 3*p - 0*p - 9. Suppose p*u - x = -u. Is u a composite number?
False
Suppose -7*s = -665453 - 560352. Is s a composite number?
True
Let f(q) = 3016*q - 437. Is f(25) a composite number?
True
Let o(g) = -g**3 + 3*g**2 - 4*g + 5. Let q be o(3). Is q - -2 - (-7)/(14/6336) a composite number?
False
Let f be 18/15 + (-96)/30. Is f/(-3) + ((-9380)/(-6) - 5) a prime number?
True
Suppose 7*k - 5*k + 25 = 5*r, -3*r = -5*k - 15. Suppose r*h - 11*n + 12*n = 21514, h - 5*n - 4308 = 0. Is h a prime number?
False
Suppose 0*u + 4*u - 8 = 0. Let c(j) = 5*j**2 - u*j**2 - 93*j**3 + 5*j + 2*j - 3*j + 3. Is c(-2) composite?
False
Let l = -69 + 63. Let d be 1 - l*(-1)/6*2. Is -1 + 540 - (-5 - -2 - d) a composite number?
False
Let q(h) = -h**3 + 9*h**2 - 2*h - 7. Let v be q(9). Is 13945*1/v*-5 prime?
True
Let u(l) = -l**3 + 5*l**2 - 3*l + 1. Let v(r) = r**3 - 4*r**2 + 2*r - 2. Let k(q) = 4*u(q) + 3*v(q). Let x be k(5). Suppose x*g - 1985 = 42*g. Is g prime?
False
Suppose 2*p - 5*p - 4*n = -60, 5*p - 74 = 2*n. Suppose -m + s = -19, 4*s - 24 = -2*m - s. Suppose 1277 = -p*q + m*q. Is q a prime number?
True
Suppose 0 = 2*t + 3*r - 165459 - 767762, 4*t = 3*r + 1866397. Is t composite?
False
Let v(q) = -257*q + 48. Let b(s) = 3*s + 1. Let l(n) = 5*b(n) + v(n). Is l(-18) prime?
True
Let j(m) = -41*m**3 + 46*m**2 + 563*m + 37. Is j(-16) composite?
False
Let k be (-8 - 90/(-12))/((-1)/(-24)). Is 33832/k*2/(20/(-15)) a prime number?
True
Suppose f = 3*t - 218217, -297*f - 72739 = -t - 299*f. Is t a prime number?
True
Suppose -6*n = -3*n + 30. Let r(g) = -244*g + 31. Is r(n) prime?
False
Let b(n) = 194*n - 17. Let m(y) = 391*y - 41. Let z(p) = -5*b(p) + 2*m(p). Suppose 4*a + 85 - 17 = 0. Is z(a) a composite number?
True
Let w = 257167 - 164370. Is w composite?
True
Suppose -4*b - 2*b = 162450. Let s = 38740 + b. Is s a prime number?
False
Is (-10)/(-5 - -10) + 0/(-2) + 38955 a prime number?
True
Let i(w) = -2*w + 27. Let x be i(-7). Suppose -8 = x*n - 39*n. Is (86/8)/((-7)/(7*n)) prime?
True
Suppose f + 2*a + 16753 = 0, -4*a + 19986 = -2*f - 13544. Let m = 38624 + f. Is m composite?
True
Let f(o) = o**3 + 12*o**2 + 14*o + 16. Let p be f(-11). Let b = 21 + p. Let n(d) = 25*d**2 - 3*d + 9. Is n(b) prime?
True
Let g(q) = 29*q**3 + 8*q**2 - 33*q - 45. Is g(13) a composite number?
False
Suppose 54*p - 50*p + 1388 = 0. Is (6 - p)/((-1)/(-2 + 1)) prime?
True
Let c(i) = -i**3 - 10*i**2 + 2*i + 53. Suppose 2*k - 38 = 5*r + 32, -r - 5*k = -13. Is c(r) composite?
False
Let r be 5*(3 + (-595)/(-25)). Let y = 439 - r. Is y a prime number?
False
Suppose -28*d = -281487 + 3754831. Is ((-17)/((-136)/d))/(-2) prime?
True
Suppose 9 = -3*k + 4*p + 1, -p + 2 = 0. Suppose -b + 2*b = -2*j - 9, k = 4*b - 3*j - 19. Is b + (-161)/(-5) - 2/10 a composite number?
True
Suppose -3*o - 3*p + 11 = -4, 4 = -4*o + 4*p. Suppose 4*z - o*r = -980, z + 231 = 2*r + 2*r. Let d = z + 425. Is d composite?
True
Let l(x) = 3*x**2 + 5*x - 2. Let o be l(-3). Suppose 960 = 5*s + o*s. Let u = s + -38. Is u a composite number?
True
Let y = 3 - -262. Let q be (19/95)/(-1*3/(-48855)). Suppose q = 6*k - y. Is k a prime number?
True
Suppose 3*u - 2 - 34 = 0. Suppose 8*t + 28132 = u*t. Let p = t + -4530. Is p prime?
True
Suppose 2*y + c + 3 = 0, y + 2*c - 1 = -7. Suppose y = -k + 4*a + 1121, 3*a + 2242 = 7*k - 5*k. Is k composite?
True
Let a(u) = 42323*u**3 + 27*u**2 + 26