pose 74*k = 43*k + 86459. Is k composite?
False
Suppose 3*f = 59*y - 62*y + 413733, -2*f + 3*y = -275812. Is f a composite number?
False
Let n = 93464 - 33630. Is n composite?
True
Let u be 11/((-231)/6) + (-37)/(-7). Let t(l) = l**2 - 5*l - 4. Let s be t(u). Is 2836 - -6*s/(-8) a prime number?
False
Let k = 610477 - 336908. Is k a composite number?
False
Suppose -5*v + 4*v + 6 = 0. Suppose v*t - 2611 = 3575. Is t prime?
True
Let z be (340/306)/(2/18). Let j(p) = 41*p**2 - 15*p + 23. Is j(z) composite?
True
Let g be (-1)/(-3) - (-2)/(6/29939). Let i = g - 6139. Is i a prime number?
False
Let d = 50270 + 6609. Is d composite?
True
Let s be (-4)/2*(-81)/54. Suppose s*k + 5*t = 43, -4*k = -t - 14 - 5. Suppose k*j - 1431 = 591. Is j prime?
True
Let m be (10/4)/(7 - 51/8). Is (829570/(-15))/(-7) - m/(-12) prime?
True
Suppose -l - 5 = -6*l, 5*t = 2*l + 8283. Is t composite?
False
Suppose 196168 = 6*x - 1113662. Is x prime?
False
Let x(p) be the third derivative of -25*p**6/8 + p**5/60 + p**4/12 - p**3/3 - 13*p**2. Let b be x(1). Let c = -197 - b. Is c a composite number?
True
Let m(p) = -5*p**3 - p**2 - 13*p + 138. Let q(i) = -14*i**3 - 3*i**2 - 40*i + 415. Let d(t) = 11*m(t) - 4*q(t). Is d(15) a prime number?
False
Let h be (-4)/20 - 36/(-5). Suppose q + 96 = -h*q. Is 1532 - -1 - (10 + q) a composite number?
True
Let s = 10654 - -48385. Is s a composite number?
True
Let q be (-5)/(-20) + 93388/16. Let s = q + -4096. Is s a prime number?
True
Let h = 78 - 103. Let w(m) = -m**3 - 26*m**2 - 28*m - 28. Let b be w(h). Suppose -46*z = -b*z + 139. Is z a prime number?
True
Suppose -1330238 = -116*k + 3153315 + 5256851. Is k composite?
False
Let h(a) = a - 2. Let p(s) = -1053*s - 6. Let z(x) = -2*h(x) + p(x). Is z(-3) composite?
False
Is ((-397)/(-2))/(-6*(-8)/5664) composite?
True
Let t be ((-196)/6)/((-20)/(-30)). Let c be 7 - (-357)/t - (-2)/7. Suppose -5*v + 2*k + 4969 = c, 2736 = 5*v + 3*k - 2223. Is v prime?
False
Suppose 5*u + 3*n - 171652 = 0, 1 = 2*n + 3. Let c = u + -19962. Is c composite?
False
Let h be 2 + 1 - (4 + -2). Let k be ((-264)/(-32))/(18/792). Is 3*k - h - 1 prime?
True
Let n(t) be the second derivative of 29*t**6/240 + t**5/30 + t**4/2 - 17*t. Let r(z) be the third derivative of n(z). Is r(3) composite?
True
Let u = 519 + -508. Suppose -3*v = u*v - 38626. Is v a prime number?
False
Suppose 4*z = 2*b - 9674, 5*z = -b + 2*b - 4846. Let r = b + -846. Is r prime?
False
Let x(p) = 22*p**3 + 21*p**2 - 25*p + 41. Is x(12) a composite number?
True
Suppose 5*i + y + 0*y - 4257 = 0, 3*i - 5*y = 2571. Suppose 4*h = -2*h + i. Suppose 402 = 3*x + b + h, -4*x - b + 345 = 0. Is x a prime number?
False
Let v be (-3 - -6) + (-2 - 1). Let p(t) = -51*t - 252. Let h be p(-5). Suppose 4*d - 28 = x, -21 = -h*d - v*d + 2*x. Is d composite?
False
Let n(g) be the third derivative of g**5/60 + 3*g**4/8 - 5*g**3/2 + 8*g**2. Let o be n(-11). Suppose -1497 = 4*j - o*j. Is j a composite number?
False
Suppose -4*c - 136445 = 25*c. Is -26 + 31 - (c + 1) a prime number?
False
Let w(b) = b - 4. Let h be w(15). Suppose -h = -i + 4*d, 0 = -3*d - 0*d - 6. Suppose -3*j = -2*q - q - 4389, 0 = -i*j - 4*q + 4403. Is j a composite number?
True
Let c(q) = -145436*q + 2075. Is c(-2) composite?
True
Suppose 7*m - 13*m + 12 = 0. Suppose 5*a + t - 27040 = a, 3*t = -m*a + 13530. Let y = a - 4436. Is y composite?
True
Suppose -2*d + 683082 = 5*l, -3*d = -2*l - 493003 - 531544. Is d a composite number?
False
Suppose 300686 = 4*l - 2*a, l = -3*a + 30871 + 44311. Is l a composite number?
True
Suppose 14760 + 840 = 10*y. Suppose y = -5*d + 5*t, 3*d + 938 = -0*t + 2*t. Is -4 + 8 - 1 - d composite?
False
Let w = 31 - 30. Suppose 71 + w = 2*b. Suppose b = -3*r + 567. Is r a prime number?
False
Let a(l) = -13078*l + 89. Let d be a(-6). Suppose 0 = 9*n - 26*n + d. Is n a prime number?
True
Suppose -4*m - 5*j = 0, -9*j = -5*m - 14*j. Suppose 2*k + 5*z - 1009 = m, 6*k + 3*z - 1500 = 3*k. Is k prime?
False
Suppose -2*d = -4*s + 1835340, 1679*s = 1684*s + d - 2294189. Is s composite?
True
Suppose 0 = -u - 5, 424824 = 3*k + 4*u - 361510. Is k composite?
True
Let q(y) = y**2 - y - 35. Let u be q(-10). Let w = u - -74. Is w a composite number?
False
Let q(y) = y**2 - 16*y + 3. Let a be q(16). Suppose 0 = 5*j - 2*j - 1758. Suppose a*l = l + j. Is l composite?
False
Let i = 1246 - 854. Let y be (-8)/(-48) - (-1 - (-18502)/(-12)). Let m = y - i. Is m prime?
True
Let m be 0 + 4755 + 2*(2 - 0). Suppose -5*q = 4*t - m, 2 + 1 = -3*q. Is t a prime number?
False
Let p = 5465 + 42468. Is p a composite number?
False
Is ((-7585)/2 + -4)*(42/9)/(-7) composite?
False
Suppose -39*t + 213 + 21 = 0. Let w(p) = 41*p - 2 + 7*p - 5 + 12*p. Is w(t) a composite number?
False
Suppose 2210524 = 4*b + 2*x, 579*x - 2763155 = -5*b + 576*x. Is b composite?
True
Let c = 37 + -34. Suppose 10*x - 14 = c*x. Suppose 3*w = -x*t + 2257, -1862 = 5*w + t - 5633. Is w a composite number?
True
Suppose -2*g + 2*j + 93332 = 0, 16*j - 20*j - 233327 = -5*g. Is g composite?
False
Suppose -5762 = -5*h + q, 0 = 4*h - 2*q - 476 - 4136. Let s = h + 1427. Is s a prime number?
True
Let m(s) = 46*s + 4. Let w be m(16). Let z = -511 + w. Suppose 11*y - 2682 = -z. Is y a prime number?
True
Is 9/45*10/2 + (-26 - -4738) a prime number?
False
Let q = 104 - 105. Let s be q + 1337 + (5 - 6). Suppose -s = -2*b + 599. Is b a prime number?
True
Let h(l) = 16574*l + 2373. Is h(14) a composite number?
True
Let d(c) be the first derivative of c**2/2 + 10*c + 14. Let h be d(5). Suppose -7*i - 6248 = -h*i. Is i a composite number?
True
Let m be (-2)/3 + (-5841)/27. Let u be 3/(-7) - m/49. Suppose 314 = u*r + 46. Is r a prime number?
True
Suppose 0 = 15*a - 521474 - 1568513 - 1156328. Is a prime?
True
Suppose 137660370 = 348*k - 242999082. Is k composite?
True
Let g = 145 - 139. Let k(q) = 2*q**3 - 8*q**2 + 9*q + 7. Is k(g) composite?
True
Let l(j) = -j + 13. Let h be l(9). Suppose 0 = -m - h + 6. Suppose 0 = x - m*x + 25. Is x a composite number?
True
Let j(k) = -9*k**3 + 2*k**2 + 6*k + 3. Let p be (-2)/6 + 0 + 330/18. Suppose -2*d - n - 1 = 9, -n + p = -5*d. Is j(d) a prime number?
True
Suppose 12021374 = 65*m + 9*m. Is m a composite number?
False
Let m be 45/(-51) - (-30)/(-255). Is 43944 - -70 - (m - 0) prime?
False
Let v(g) = -10*g + 29. Let f be 24/18*(-210)/(-4). Let i = f + -83. Is v(i) a composite number?
True
Let j = -265 - 30. Let t = -29419 - j. Is (t/16)/3*-2*2 composite?
True
Suppose 4*s = 38 - 14. Suppose -p = -s*t + 8*t - 198, -t = 2*p - 405. Let y = 683 - p. Is y a composite number?
False
Let l(q) = 15*q - 201. Let w be l(19). Is (-3)/(-7) + (-456)/w + 3556 a composite number?
True
Let x(l) be the second derivative of 8*l**4/3 - 2*l**3/3 + 7*l**2/2 - 14*l. Let h be 0 + -2 + 5 - (1 + 0). Is x(h) prime?
True
Let z(a) = -104*a**3 - 12*a**2 + 17*a - 107. Is z(-12) a composite number?
True
Let x = 19 + -5. Suppose q - 183735 = -x*q. Suppose -2*y - q = -11*y. Is y a prime number?
True
Let u be (-20)/(-12) + -1*(-20)/15. Let z(k) = 2224*k + 59. Is z(u) a prime number?
False
Suppose -2*w - 211 = -3*w. Suppose -783 = 201*i - 210*i. Let d = i + w. Is d a composite number?
True
Suppose 5*d = 3*a - a - 1091, 0 = -3*a + 4*d + 1633. Suppose a = -2*v + 5451. Suppose -4*c + v = 2*c. Is c a composite number?
False
Suppose -2*y + 5 - 6 = 3*p, 2*y + 7 = -5*p. Suppose -2*s + 2172 = -w, -y*w + 574 + 521 = s. Is s prime?
True
Suppose 3*w + 1578 = 5*j, 2*w + 28*j + 1052 = 32*j. Let d = w + 2729. Is d a prime number?
True
Let m(h) = 130*h**2 + 21*h - 5. Let v be m(11). Suppose -3*y + 7962 = -y + 2*r, 0 = -4*y + 4*r + v. Is y a prime number?
False
Let m = 12 + 36. Suppose 18 = -6*a + m. Is (-2)/(-5) + 9263/a a prime number?
False
Suppose 0 = 9*h - 20*h + 8635. Let p = h - -3762. Is p prime?
True
Is ((-84)/378)/((-3)/1901421) a composite number?
True
Let y(h) = 67*h + 539. Let w be y(-8). Suppose 4*l = 5*z - 3033, -l - 1405 = -5*z + 1622. Suppose -z = w*i - 3164. Is i a prime number?
True
Suppose -35*d - 12*d = -3971453. Is d a composite number?
False
Let f(z) = -2400*z**3 + 4*z**2 - 15*z - 32. Is f(-3) a composite number?
False
Let j be 58/3 + 8/12. Let z be (4/2)/(j/242570). Suppose -3036 - z = -7*n. Is n a composite number?
True
Suppose -16*r = -14*r - 2798. Suppo