Suppose -85*y + 44*y = -43*y + 2630882. Is y prime?
True
Let d(s) = -2*s. Let t be d(-3). Suppose 341 = -11*x - 440. Let l = t - x. Is l a prime number?
False
Suppose 3*m - 2*b = 8*m - 117382, 70429 = 3*m + b. Let v = m - 14133. Is v a composite number?
False
Let w be -7 + 8/4 - -5. Let l(v) = -13*v + 1843. Is l(w) a composite number?
True
Suppose 0 = 24*y - 98168 - 141856. Is y a prime number?
False
Suppose 4*x - 1512 = -c, -5*c = -2*x + 4*x - 7488. Let w = -652 + c. Suppose 4*i + i - w = -2*f, 4*f = -i + 1670. Is f a prime number?
False
Let u(n) be the third derivative of 4*n**2 + 1/60*n**5 + 5/3*n**3 + 1/120*n**6 + 0 + 0*n - 1/3*n**4. Is u(7) a composite number?
True
Suppose -22*i = -20*i - 12122. Suppose a + 2*z = 470 + 1555, 3*a - z - i = 0. Is a prime?
False
Let v = 142974 - 62967. Is v a composite number?
True
Suppose 0 = -4*m + 75707 + 52121. Is m prime?
True
Suppose -6*x - 54*d + 57*d + 1931793 = 0, 2*x + 5*d - 643877 = 0. Is x a composite number?
False
Let v(l) = -19*l + 14. Let o = 20 - 22. Let s(y) = -4*y + 3. Let z(r) = o*v(r) + 11*s(r). Is z(-8) prime?
True
Suppose 0 = -j - 3*w + 3270, 20*w = -2*j + 24*w + 6510. Is j prime?
False
Let c = 10420 + -2273. Is c composite?
False
Let c = -32227 + 59306. Is c prime?
False
Is (-585965085)/(-6954) + (-1)/38 composite?
False
Let m = 331 + -327. Suppose 4*f = -3*d + 60767, 0 = -m*f + 14*d - 16*d + 60766. Is f composite?
True
Let q(i) = -2 + 76 + 36*i**3 + 3*i**2 - 70 - 2*i**2 + 3*i. Is q(7) prime?
False
Let m(x) = -2*x**2 + 5*x - 5. Let j be m(1). Let r be j*(-1)/(-1) + (0 - -5348). Let h = -2237 + r. Is h a composite number?
False
Suppose 10*w - 6*w - 220 = 0. Suppose -64 = -7*y + w. Suppose -12*a = -y*a + 515. Is a prime?
True
Let t be (-3)/12 - (9 - 202/8). Suppose 3*d - 26999 = -w, 0 = t*d - 17*d - 3*w + 9005. Is d a prime number?
True
Suppose 123*c - 18*c - 691215 = 0. Is c prime?
False
Let s be (-50)/4*170/(-17). Suppose 116*q + 53307 = s*q. Is q a prime number?
True
Let i = 5 + -69. Let b = 214 + i. Suppose 2*r - b = 72. Is r composite?
True
Let s(x) = 9389*x + 908. Is s(11) a prime number?
False
Let n = 45 - 38. Suppose 11*q = n*q - 14088. Let g = -2419 - q. Is g a composite number?
False
Let g = -31491 + 55646. Is g a composite number?
True
Let m(p) = p + 170*p**2 - 8 - 142*p**2 - 15. Is m(10) a composite number?
True
Suppose k - 2*q - 130629 = -6076, 249101 = 2*k - 3*q. Is k a composite number?
False
Let u be 2/(-1)*50265/90. Let h = u + 1920. Is h prime?
False
Let m = -142 - -146. Is 6/(-9) + (11076/9)/m a prime number?
True
Is 15674 + (-108)/(-12) + 6 a composite number?
True
Let s = 69 + -65. Let r be -30*(6/(-24) - 5/s). Is (-31551)/r*-3 - (-4)/(-10) composite?
True
Suppose -5*i - 3*n = -93113, 0*n + 2*n = -i + 18624. Is i composite?
True
Suppose -2*x = 237*i - 236*i - 1479664, 5*x - 3*i - 3699127 = 0. Is x composite?
False
Let f be (-2*(-18)/24)/((-6)/(-36)). Suppose f*b - 19848 = -4*g + 5*b, g - 3*b = 4942. Is g prime?
True
Let v = 17 - 3. Suppose -10 = -19*f + v*f, -3*k + 4*f = -29929. Is k a prime number?
False
Let r(f) = f**3 + 12*f**2 + f + 16. Let w(n) = 4*n + 4. Let p be w(-4). Let a be r(p). Suppose z = 3*c - 0*c + 148, 3*z - 469 = a*c. Is z a composite number?
False
Let l(s) = s**2 + 8*s + 27. Let h be l(-5). Let a be 0 + (2/h - 622/(-12)). Suppose -a = -f + 147. Is f prime?
True
Suppose 4*s + 268107 = 3*r + 7*s, 5*r - s = 446809. Is r prime?
True
Let r = -73 - -71. Is r - (-1398 - (5 + -2)) prime?
True
Suppose 7520016 = 278*q + 58*q. Is q a prime number?
True
Let t(r) = -8*r - 19. Let g be t(-4). Let i = -70 - g. Let k = i + 189. Is k a composite number?
True
Suppose 0 = 7*y - 7. Let j be 1660 - 3/(-2 - y). Suppose 2*q = 3*m + 7*q - 1242, 5*q = -4*m + j. Is m a composite number?
False
Suppose -m = 3*p - 0*m - 21, -3*m - 9 = -3*p. Suppose -7*s + p*s - 411 = 0. Is (s/3 - -4)/(-1) a composite number?
True
Suppose 0 = -29*c + 4112433 + 1128824. Is c a composite number?
True
Let f(n) = 1 - 16 + 135*n**2 - 7 + 11*n + 39*n**2. Is f(7) a prime number?
True
Suppose 0 = 3*m + 3*n - 18750, 5 = -2*n + 11. Is m a prime number?
True
Let w = 1222867 + -519738. Is w a composite number?
True
Let g(o) = o**2 - 9*o + 13. Let k be g(5). Let d be 14/((-2)/k - (-16)/(-7)). Let j(x) = -12*x - 5. Is j(d) a composite number?
False
Let n = 28 - 34. Let k be (-3)/(-2*n/(-21404)) - 3. Suppose -k = 7*p - 11*p. Is p a prime number?
False
Let b be 34125/(-78)*(1 + 1). Let t = b + 1264. Is t a composite number?
False
Suppose 10*j + 4*j + 969476 = 82*j. Is j a prime number?
False
Is ((1/3)/((-4)/42))/((-4)/512648) a prime number?
False
Suppose -3*m = x - 377, -m + 0*x + 139 = -3*x. Suppose 61 = 2*k - z, 3*z + m = 3*k + k. Suppose -4*o + 0*o = -k. Is o a prime number?
True
Let i(u) = 376*u + 51. Suppose 15 = -415*f + 418*f. Is i(f) a composite number?
False
Let a be (-1 - (4 + -8))*23. Suppose -a - 75 = -6*s. Is (-1620)/(-32) + 9/s composite?
True
Let z(u) = -4*u + 126. Let c be z(35). Is ((201735/6)/(-5))/(7/c) prime?
False
Suppose -12*w - 10*w = 0. Suppose -9*t + 5831 + 1990 = w. Is t a prime number?
False
Is (-17)/(170/60) + 53305 a prime number?
True
Let c be 20/(-5) + 4146 - 5. Let f = -1415 + c. Is f a composite number?
True
Suppose 33 = -8*z + 1. Is (188 - (-7 - z))/((-3)/(-6)) a prime number?
False
Suppose 0 = -4*f + 5*u - 72791 + 369378, 3*f + 5*u = 222484. Is f a composite number?
True
Suppose -6*b + 4311203 = 15*b + 16*b. Is b a composite number?
True
Let q = -350 - -358. Suppose 8711 = -q*s + 56815. Is s a composite number?
True
Let b be ((-1)/(-3)*0)/(-2). Suppose s + 250 + 271 = b. Let z = s - -2418. Is z composite?
True
Suppose -4*j = -9*j, 12 = 4*k + 3*j. Suppose -5*s + o + 1038 = -3794, k*s - 2896 = -o. Let l = s + -437. Is l a prime number?
False
Is 38 + (18 - 37) - -868432 a composite number?
False
Let h(p) = 281*p**3 - p**2 + 6*p - 7. Let l(y) = -10*y - 8. Let x be l(-1). Is h(x) prime?
False
Let l(q) = q**2 - 16*q + 17. Let n be l(9). Is (-4)/n + (-318705)/(-69) prime?
False
Let f(t) = -297*t**3 + t**2 + 1. Let o(k) = -298*k**3 + 2*k**2 + k + 2. Let c = 1 + -4. Let u(l) = c*o(l) + 4*f(l). Is u(-1) composite?
False
Suppose -4*z = 3*j - 821, 3*j + j - 408 = -2*z. Suppose 220 = -9*y + 193. Is (z/y)/(12/(-18)) composite?
False
Let r(q) = -852*q**2 + 5*q - 138. Let p(s) = -213*s**2 + s - 35. Let v(c) = -9*p(c) + 2*r(c). Is v(7) prime?
False
Suppose -2*m = 4*f - 6*m + 40, -5*f - 70 = 5*m. Is 7/((-21)/f) + 2329*1 a prime number?
True
Suppose w - 3*w = 3*y + 2129, 3*y - 2*w + 2125 = 0. Let f = 1280 + y. Is f composite?
False
Is 7 + 2 + -4 + -46 + 116496 a composite number?
True
Suppose -44 = -2*a - 38. Suppose -a*j - 6 = 0, -3181 - 2413 = -4*z + 3*j. Is z prime?
False
Is ((-2070705)/(-55) - 6) + (-230)/55 + 4 a prime number?
True
Is 4 - (-117496 + (-7)/((-56)/(-12))*-2) composite?
False
Let t be 1/((-1)/(((-46542)/3)/(-2))). Let c = t + 11398. Is c a composite number?
True
Let u be (10/(-25))/((-10)/125) - 3. Suppose -3*g + 6*g = t + 302, 2*t - 4*g = -610. Is (2 + t/u)/((-2)/4) a prime number?
True
Let s = 1136828 + -480579. Is s a composite number?
True
Suppose 4*u - 125 - 15 = 0. Let h = u + -6. Let z = 100 - h. Is z a composite number?
False
Let u = 587 + 31904. Is u a composite number?
False
Suppose -2*y + 5*y - 3*r = -12, -4*r = -3*y - 10. Let i(s) = s**3 + 6*s**2 + s + 8. Let d be i(y). Is d*(-5)/(40/(-2228)) a composite number?
False
Let w(o) = -13*o**3 - 46*o**2 - 6*o + 59. Is w(-22) a composite number?
False
Let j(b) = -3*b + 2. Let v be j(-2). Suppose v*i + 16 = 48. Is (0 - (3 + -151)) + -3 + i a composite number?
False
Let w(y) be the third derivative of y**5/12 - y**4/4 + y**3/6 + 5*y**2. Let t be w(12). Is ((-16)/8)/((-2)/t) composite?
True
Let a be ((-575644)/(-92))/((-2)/6). Let x = a + 41668. Is x composite?
True
Suppose 290*w + 31*w - 47527581 = 0. Is w prime?
True
Let w(o) be the third derivative of 3/2*o**4 - 37*o**2 + 0 + 0*o + 7/6*o**3. Is w(16) a prime number?
False
Suppose -12*r - 49 = -493. Suppose -7*l + r*l - 2231670 = 0. Is l prime?
False
Let u = -12319 - -32132. Is u a prime number?
True
Let w(v) = 46*v**2 - 3*v - 8. Let d be w(4). Let f = d + 36. Suppose -f = 6*k - 2474. Is k a composite number?
True
Let u be 2668/((-4)/(-1))*8/8. Let o = u - 228. Is o 