2507. Is c a composite number?
True
Suppose 0 = -173*t + 500801 + 9326810. Is t composite?
False
Is 6499610/150 + (-8)/(-30) prime?
True
Let c(d) = -2831*d + 12. Let u(o) = 1414*o - 5. Let r(m) = -4*c(m) - 9*u(m). Let s(a) = -a**2 - 9*a - 1. Let p be s(-9). Is r(p) a composite number?
False
Suppose f + 669256 = 3*w, 58783 + 610468 = 3*w - 2*f. Is w prime?
True
Let t = 12 - -16. Let p = t + -22. Suppose p*x + 1004 = 10*x. Is x composite?
False
Let s(c) = 262182*c**2 - 1813*c - 1814. Is s(-1) a composite number?
True
Suppose -4*s + 1 = 9, 0 = 3*x + 4*s - 13. Let k(m) = 131*m - 3. Is k(x) a prime number?
False
Let g(z) = 261*z - 37. Let w(y) = -260*y + 35. Let a(d) = -4*g(d) - 5*w(d). Is a(10) a composite number?
True
Let j(a) = 17*a - 92. Let t be j(6). Suppose -t*c = -25864 - 32466. Is c a composite number?
True
Let s(c) = -c**3 + 5*c**2 + 4*c + 12. Let v(x) = x**3 - 22*x**2 - 2*x + 50. Let q be v(22). Let m be s(q). Suppose m = -42*r + 44*r - 794. Is r composite?
False
Let i(m) = -201*m**3 + 6*m**2 + m - 1. Is i(-4) composite?
True
Let c(k) be the second derivative of 17*k**3/2 + 31*k**2/2 - 18*k + 2. Is c(10) composite?
False
Let i = 163667 - 57406. Is i a composite number?
False
Is ((-6968)/6 + 6)/(4/(-6)) composite?
False
Let z(q) = 34297*q**2 - 909*q - 2719. Is z(-3) a prime number?
True
Let j(f) = -54*f**2 + 6. Let n be j(4). Let k = n - -5117. Suppose 4*q + q - k = -3*r, -3*q - r + 2557 = 0. Is q a composite number?
False
Let p be (-10224)/10*(-20)/3. Suppose -16374 = -6*c + p. Is c a prime number?
False
Let j(h) = 87*h**2 + 7*h + 7. Let l = 75 - 81. Is j(l) a prime number?
False
Let a(j) = -5514*j**3 + 7*j**2 + 6*j - 6. Let g(o) = o**3 - o**2 - o + 1. Let s(l) = a(l) + 5*g(l). Is s(-1) composite?
True
Is (-23 + (-8969197)/114)*-6 a composite number?
True
Suppose -62228 = -4*j - 2*d, 3227*j - 3225*j + 5*d = 31146. Is j composite?
True
Let q(l) = 616*l - 4. Let h be q(6). Let d be 68030/55 - 3/(-33). Let f = h - d. Is f composite?
True
Suppose 26*y - 23352 = -2*y. Let o be (6/(-8))/(2/(-8)). Suppose 2*v - 5*t = y, -5*t = o*v - 0*v - 1301. Is v prime?
False
Suppose 0*j - 3873 = j + a, 0 = 4*j - 5*a + 15510. Let u = j + 5469. Is (0 - (-2)/(-2))*u/(-2) composite?
False
Suppose -17*n - 16190 = -22*n. Is (-7 - -4) + 2/2*n composite?
True
Let s(c) = 12*c + c**3 - 3*c**2 - 3*c**2 + 35 - 48. Let r be s(4). Suppose -x + r*x - 3346 = 0. Is x composite?
True
Suppose 4*l + 3434 - 127810 = -2*k, 2*l - 62206 = -4*k. Is l prime?
True
Is 63258/2 - (8/(-4) + -1 + -5) a prime number?
False
Let r = 1519 - 614. Let t(w) = -2*w - 44. Let i be t(-24). Suppose -i*b + 5715 = -r. Is b prime?
False
Suppose 60997 + 79315 = 8*q - 37664. Is q composite?
False
Suppose -x + 5*v + 91 = 0, -4*x + 3*v = -0*v - 449. Let g = -106 + x. Suppose -2589 = -g*h + 1501. Is h a prime number?
True
Suppose 5*q + 3*u = 840573, -4605*u = 4*q - 4603*u - 672460. Is q composite?
True
Suppose -453*o - 415265330 = -1123*o. Is o prime?
False
Let v(l) = l**2 + 11*l + 30. Let k be v(-4). Is ((-12)/k)/((8/(-1154))/2) a prime number?
False
Let n be 1/(-4) - (-7563)/12. Suppose -28 = 4*p, 7*c + 2667 = 14*p - 12*p. Let i = n + c. Is i composite?
True
Let r(p) = p**2 - 48*p + 865. Let h be r(32). Let m be 1/(-4) + 1/4. Suppose 0 = -m*a - a + h. Is a composite?
False
Let y = 743 - 120. Let b = y + -115. Suppose 0 = 5*r - 9*r + b. Is r composite?
False
Suppose -u - 16*u + 22984 = 0. Let a = 1983 - u. Is a composite?
False
Let z(d) = 7018*d - 1765. Is z(6) a prime number?
True
Let y = 144122 - 62223. Is y a prime number?
True
Let t be (-146)/10 + (-237)/(-395). Is (-5442)/(-1)*(0 - t/28) composite?
True
Let k = -4275 + -6289. Let p = -5019 - k. Is p composite?
True
Is (74 - 79) + (-286280)/(-4) + 2 prime?
False
Let h(k) = 2*k**3 - 15*k**2 + 15*k - 10. Let n be h(13). Let f = n - 1425. Is f a composite number?
False
Let i = 268095 + -119546. Is i a composite number?
False
Suppose 12 = -2*t, -18315 = -4*g + 4*t + 15121. Is g prime?
True
Let m(q) = -183 + 76 + 83 - 21*q - 644*q. Is m(-19) a composite number?
False
Let p = -33 + 41. Suppose -p*j - 12 = -44. Suppose 2288 = j*y + 324. Is y a prime number?
True
Let s(a) = -a - 7. Let t(d) = d + 6. Let o(i) = 3*s(i) + 2*t(i). Let z be o(-13). Suppose 7*y = z*y + 5517. Is y composite?
True
Let t be (-2)/1 + 1/1 + 1. Let y be 52/130 + (15377/(-5) - t). Let i = 5278 + y. Is i prime?
True
Let u = 2160 + -1478. Let c = 93 - u. Let k = c + 1398. Is k a prime number?
True
Suppose 4*g = -3*g + 2*g. Suppose -3*w + 6*w - 59 = -4*i, g = -w - 2*i + 23. Suppose q + 39156 = w*q. Is q a prime number?
False
Let u(l) = 103*l - l**3 + 98*l + 101*l - 298*l + 8*l**2 + 6. Suppose 0*w + 14 = 2*w. Is u(w) composite?
False
Suppose -3*j = j + 5*t - 13560, t = -2*j + 6780. Suppose 0 = -45*p + 47*p - j. Suppose 3*c - 3*k - p = 0, -3*k = 4*c - 0*k - 2246. Is c a composite number?
False
Suppose -1081*q + 1114*q = 4694217. Is q prime?
False
Let x = -296114 + 427543. Is x composite?
True
Let p = 250928 - 146193. Is p composite?
True
Let b(i) = 59280*i**2 - 2362*i - 7. Is b(3) a prime number?
False
Let d = 97 - -33. Suppose d + 79 = 11*m. Is m prime?
True
Suppose 3272 = -2*x - 13080. Let r = x + 15563. Is r a prime number?
False
Let h be -5 + -2 + 3 - -5. Let w(l) = -9*l + 1. Let g(k) = -k. Let s(f) = h*w(f) - g(f). Is s(-14) composite?
False
Let l be (2 - (-1 + 341))/((-16)/552). Suppose l = -5*o + 8*o. Let h = o + 378. Is h a composite number?
True
Suppose 33*d + 29536 = 34*d. Suppose -10*f = -d - 79534. Is f prime?
False
Suppose 14*w + 2722619 = 10557957. Is w prime?
True
Let k(z) = 4*z + 1543 - 18*z + 3*z + 10*z. Let r be 4/20 + (-1)/5. Is k(r) a composite number?
False
Let c(l) be the third derivative of -3*l**6/4 + l**5/60 + 5*l**4/24 + 5*l**3/6 - 2*l**2 - 572. Suppose 3*i + 18 = -5*h, 0*h - 5*h - 17 = 2*i. Is c(h) prime?
False
Let l(f) = -f**3 - 19*f**2 + f + 28. Let q be l(-19). Is q/(9/2) - (-10843 - 2) a composite number?
False
Let g(b) = 5*b**3 - 11*b**2 - 3*b + 3. Let v(i) = 2*i**3 - 6*i**2 - i + 2. Let t(n) = -6*g(n) + 11*v(n). Is t(-3) prime?
True
Suppose 7748*h = 7710*h + 5145884. Is h prime?
False
Let c = 40127 - -14300. Is c prime?
False
Let a(h) = 99*h**2 + 6*h + 32. Suppose -6*g + 25 = o, -6 + 16 = 2*g. Is a(o) prime?
True
Suppose -4*c - 5*o + 42 = -23, c = -2*o + 17. Is 5/c + (-21320)/(-12) a prime number?
True
Let w = -5524 + 11639. Suppose 0 = -24*u + 29*u - w. Suppose -3*s + u = 2*a, 7*s = 3*s - 4*a + 1624. Is s a prime number?
False
Let y be (-158)/(-32) + (-2)/(-32). Suppose 4*z + 23923 = y*g, -2*g = -5*z - 10695 + 1119. Is g prime?
True
Let s(q) = 134*q**3 + 20*q**2 + 3*q + 19. Is s(4) a prime number?
False
Suppose 159*x - 164*x + 72445 = 5*r, 20 = -5*r. Is x a prime number?
False
Let t(l) = l**3 - 14*l**2 - 71*l + 2. Let y be t(18). Suppose 4*m = -y, 44597 = 5*u - 5*m + 137. Is u a prime number?
True
Is (1837311/14)/(63/42) composite?
False
Let k = 151575 - -85622. Is k a composite number?
True
Let h(v) = -4*v**2 + 21*v - 12. Let u be h(4). Suppose 4*m - 2*s - 8390 = 0, u*m + 4*s - 10507 = 3*m. Is m a composite number?
False
Suppose 3*f + 7*t = 4*t + 212808, -3*f + 212826 = 9*t. Is f a composite number?
True
Suppose -4*k - 28 = -4*u, 2*u + 0*k + 4*k = -10. Is 4 + (-261 + -2)/(u/(-33)) prime?
True
Suppose -13*k = 6599 + 356. Is k/(-2)*5248/320 composite?
True
Is (-15)/((-105)/(-91)) - -58844 prime?
True
Let h(g) = 6642*g + 1345. Is h(33) composite?
True
Let n(h) = 24*h**2 + 151*h - 495. Is n(44) a composite number?
True
Suppose -3*u = 6*u - 81. Suppose u*x - 4408 - 68915 = 0. Is x composite?
False
Suppose 12 = -3*o, -3*j + o - 4 = -23. Is 9327/(j - (-3 + 5)) a prime number?
True
Suppose 13518947 + 4369925 - 153417 = 95*q. Is q prime?
True
Let m = 9114 - 5507. Suppose 3*v + 4*c = 3577, 3*v + 6*c - 8*c = m. Is v composite?
True
Let d(n) = -16441*n + 33. Is d(-1) a prime number?
False
Suppose 3*o + 4*d - 12152 = 0, -5*o - 517 = 4*d - 20773. Let u be (((-21)/(-6))/(-7))/((-3)/18). Suppose -o + 419 = -u*h. Is h a prime number?
False
Let v(r) = -r**3 + 2*r**2 - 4*r + 12. Let m(u) = -u - 4. Let d be m(-7). Let g be v(d). Is (-538)/(g/(45/2)) prime?
False
Let s(h) = 2*h**3 + h**2 + 4*h - 7. Let p(b) = 11*b - 47. Let y be p(12). Let q = y - 79. Is s(q) a prime number?
