1919 - (0 - -5 - -9) prime?
False
Suppose 1228 = -j - 3*j + 3*n, 0 = 2*n + 8. Suppose 14*w - 6691 - 2171 = 0. Let q = j + w. Is q a prime number?
False
Let n(f) = f - 10. Let t be (6 + -3)/(6/16). Let c be n(t). Is (2 - -4296) + (-3 - c) prime?
True
Is (-706601)/(-7 - (5 + -11)) prime?
False
Let l(x) = 5*x**2 + 71*x - 17. Suppose 4*d + 133 = -15. Is l(d) a prime number?
True
Let o = 1556 - -8700. Let w = 20335 - o. Is w a prime number?
True
Let c = 69463 - 25304. Is c prime?
True
Suppose o = -o + 2372. Suppose 206 = l + k, 211 = l - 6*k + 2*k. Let t = o - l. Is t a prime number?
False
Let c = 379 + 110. Suppose -2051 = -4*l + c. Is l composite?
True
Let p = 118 - 85. Let v(f) = -3 + 13 + p - 201*f. Is v(-6) a composite number?
False
Let d = 989718 + -263261. Is d a prime number?
True
Suppose 59506874 = 97*a - 26*a + 27*a. Is a a prime number?
True
Suppose -2*i - 2*h - 1 = -3, 3*h - 15 = 3*i. Is 6*i/16 + (-14639)/(-4) prime?
True
Let n = 474 + -155. Suppose -n - 525 = -4*p. Is p a prime number?
True
Suppose -2*o = 2, -2*j - 4*o - 212 = 132. Let s = j - -689. Is s a composite number?
True
Let t(a) = 484*a**2 - 48*a - 373. Is t(-6) a composite number?
True
Let f(g) = -1142*g - 883. Is f(-6) composite?
True
Suppose 13*k - 15*k - 6 = 0. Let x be 1/k*(-9)/(-6)*-14. Suppose -4*y - x = -587. Is y composite?
True
Let i be 4/18 - (-200)/72. Suppose i*m + 5 = d, -d + 10 = m + d. Suppose -3*q = -m*w - 4*w + 437, 5*q = 25. Is w a composite number?
False
Suppose 7*x = 2*x + 10. Suppose t = x*u - 2, -7*u = -5*t - 3*u - 4. Is (-1 + 0)*(-763 + t) a prime number?
False
Let h be 58 - ((-4)/(-5))/((-6)/(-30)). Let z = h + -31. Is z prime?
True
Suppose 2352*f - 2348*f = 31268. Is f a prime number?
True
Let k(b) = 12*b**2 - 38*b + 4. Let a be k(3). Is (-1)/a + (-2084850)/(-100) a composite number?
False
Suppose -i + 6*i + 2*y - 23754 = 0, -5*y + 10 = 0. Let a = 7455 - i. Is a a prime number?
False
Suppose -252*x + 36963093 = -183*x. Is x prime?
True
Is 319252 - 11/((-44)/(-60)) a prime number?
True
Suppose -23*k - 281980 + 1728933 = 0. Is k prime?
False
Let k = 3290 - 6197. Let r = 1460 - k. Is r composite?
True
Suppose 4*n = -32 + 16, 0 = -3*r + 4*n - 19361. Is (r/(-9))/(-2 + 35/15) a prime number?
True
Let d(b) = -4*b**3 - 7*b**2 + 26*b - 38. Let q be d(-22). Suppose 16*w + 30*w - q = 0. Is w prime?
True
Suppose 0 = l + 4*o + 2, -5*l + o + 13 = -2*o. Let x be 60/(-14)*(l + 5). Is (-61584)/x + 2/10 a composite number?
False
Suppose 159*d - 18913098 = -2239404. Is d a prime number?
False
Is -1 + (-9 - -1) - (2 - 161842) a composite number?
False
Let v be (-64736)/(-176) + (-2)/(-11). Let r be (-302 + 1/1)*-1. Suppose -v - r = -3*t. Is t a composite number?
False
Let p(u) = u**3 + 14*u**2 + u + 19. Suppose 2*g - 32 = 3*y, -14 - 25 = y + 5*g. Let j be p(y). Suppose -829 = -6*o + j. Is o a prime number?
True
Let h be (70924/(-112))/((3/4)/3). Let a = 9002 + h. Is a composite?
False
Is (180174/15)/((-15)/(375/(-10))) a prime number?
True
Let i be 1*3/(-6 - -3 - -4). Suppose 4*l - 2984 = i*j, 4*j - 7*j = 4*l - 2960. Is l a composite number?
False
Let r(h) = h**2 + h - 157. Let w be r(-29). Let f(u) = -40*u - 6. Let v be f(6). Let m = v + w. Is m composite?
False
Let l(p) = 101*p**2 + 12*p + 377. Is l(-60) a prime number?
True
Let f = 1433147 - 47874. Is f composite?
False
Let v be -5 + 0 + 2 - -52596*1. Suppose -v = -5*d + 15687. Is 1/2*(d/4 - -4) a composite number?
False
Is 64401/(-21)*1*1309/(-187) prime?
True
Is 117/13*21036/36 composite?
True
Let z be ((0/3)/3)/(6/(-3)). Let n be 35/(-5) - (z - -4). Is (44/12)/n*(-9814 - -1) composite?
False
Suppose -2*i = 5*k - 25, 4*k + 3*i - 5 = 3*k. Let b(j) = 62*j**2 - 12*j + 9. Is b(k) prime?
True
Let n(m) = 3018*m**3 + m**2 + 2*m - 2. Let w be (-15 - -3)/((-2)/(-12)). Let g = w + 73. Is n(g) a composite number?
False
Let k(a) = -8*a**3 + 9*a**2 + 38*a + 11. Is k(-10) composite?
True
Suppose -3*r = -4*g + 1134874, -4*g + g + 851157 = -2*r. Is g prime?
False
Let y(f) = f**3 - 2*f - 8. Let g be y(0). Let s(d) = d**2 + 9*d + 11. Let v be s(g). Suppose -4*m + 6635 = v*o, -4*m - m + 8302 = o. Is m a composite number?
True
Suppose -31 = -5*x + 4*x - 2*w, 2*x - 70 = -2*w. Let r be -4 - (-13)/(x/18). Suppose -102 = -r*o + 124. Is o prime?
True
Let r = -6 - -7. Let g be (-4865)/(-35) + (r - 1)/(-1). Is -2 + ((3 + 0)*g - 2) composite?
True
Suppose 0 = -3*j - 12, -2*h + 3533 + 5609 = j. Is h prime?
False
Suppose 1078 = -5*k - 9*x + 10*x, 0 = -2*k - 3*x - 438. Let d = k + 1123. Is d a prime number?
True
Let z(f) = f**3 - 7*f**2 - 12*f + 5. Suppose -8*o = -12*o + 160. Let d = 52 - o. Is z(d) prime?
False
Let l(r) = 5*r**3 - 30*r**2 + 45*r + 21. Let y be l(21). Suppose 50*w = 47*w + y. Is w a composite number?
True
Let z be 5/(-15)*(0 - 0). Suppose 4*t + 25792 = 3*o, 4*t + 4 + 12 = z. Suppose 0 = -u - 4*j + 1993, 3*j - 1339 - o = -5*u. Is u prime?
False
Let w = -1199 + 3172. Is w a composite number?
False
Let n be -17609*(180/(-16) - 5/(-20)). Suppose 84*l - 95*l = -n. Is l composite?
False
Suppose -2*l = 20*l - 5*l. Let s(b) = 1787*b + 1755*b + l - 1109*b + 4. Is s(1) a composite number?
False
Let d = 246 - 241. Is ((3798/(-21))/(-3))/(d/35) a prime number?
False
Suppose 0 = 6*f - 10*f + 1968. Let n = f - 205. Suppose 5*l + 303 = o, 3*o - 3*l = 4*o - n. Is o prime?
True
Let h = 2645 - 4449. Let s = 5915 + h. Is s a prime number?
True
Let l(d) = -d. Let b be l(-8). Suppose 3*a - 1130 = b*a. Let h = -59 - a. Is h a prime number?
True
Suppose 12*p = 15*p + 11286. Let t = -79 - p. Suppose -t = -9*d + 3004. Is d a composite number?
False
Let n(b) = 8599*b + 1201. Is n(70) prime?
True
Suppose -5*l + 732 = -l - 2*x, 4*x - 571 = -3*l. Suppose -2523 = 182*h - l*h. Is h prime?
False
Suppose 9 = 3*t, 5*q = -8*t + 3*t - 650. Is (-1735308)/q + (-6)/14 - 4 a composite number?
False
Suppose -30 + 6 = -8*q. Suppose 6*k - 29 = 5*c + 4*k, c - q*k = -11. Is ((-1)/c)/(6/11370) prime?
True
Let m = 850926 - 407981. Is m prime?
False
Let u(a) be the first derivative of 379*a**3/3 - 23*a**2/2 + 23*a - 120. Is u(5) composite?
True
Let l(o) = -69*o - 1. Let u be l(3). Suppose 5*m + 407 = c, -109 = c - 4*m - 518. Let z = c + u. Is z a composite number?
True
Is (40 - (-10 - -47)) + 1*1971202 a composite number?
True
Suppose 3*w - 40 - 68 = 0. Let o be ((-8)/3)/((-24)/w). Suppose 2*n - 349 = 2*i + 171, o*i - 538 = -2*n. Is n a composite number?
False
Let v(m) = -878*m**2 + 3*m + 2. Let h be v(-1). Suppose 0 = -o - 4, 0 = 5*p + o + 4570 - 21446. Let d = h + p. Is d a composite number?
True
Let u(r) = -r**3 - 26*r**2 - 3*r + 56. Let n be u(-26). Suppose 9*i = n + 352. Is (-20626)/(-10) - (i/(-10) - -5) a composite number?
False
Let s = 2745 + 21448. Is s a prime number?
False
Let x be 0*(0 - -1) + 252/12. Suppose 169702 + 83285 = x*u. Is u prime?
False
Is -2*221239*(213/(-142))/((-3)/(-1)) a prime number?
True
Let q = -49 + 51. Suppose 0 = -2*s + 4*b + 10, 0 = 4*s + q*b + 5 - 15. Suppose 4*u - s*u = 2707. Is u composite?
False
Let t be 2/(0 + (-2)/(-4)). Suppose 5*c + 5*x = -0*c + 160, -16 = t*x. Let n = 11 + c. Is n prime?
True
Let c(d) = -3*d + 4*d - d**3 - d**3 - 3*d**2 + 6 - 3. Let t be 210/(-63) - ((-1)/3 - -1). Is c(t) prime?
True
Let q(n) = 27*n + 42. Let l be 605/15 - 1*(-14)/21. Is q(l) composite?
True
Suppose 4*m = -5*h + 25, -3*m + 25 = 5*h - 0*h. Suppose -6*c = -11*c - 4*f + 18653, 3*c - 2*f - 11205 = m. Is c a prime number?
True
Let c = -45969 - -99028. Is c a composite number?
True
Let r = -439 - -444. Suppose 0 = 4*f - 2*u - 34004, -3008 = f - r*u - 11509. Is f prime?
True
Suppose 13*i - 184 = 336. Let l = i - -439. Is l a prime number?
True
Let v = -314 - -544. Suppose -2*l + v + 1368 = 0. Is l a composite number?
True
Let p(b) = -2*b**2 + 43*b + 25. Let l be p(22). Suppose 6941 = l*d + 8*d. Is d a composite number?
False
Suppose 6*d - 4*d = 6. Let b be (280/(-980))/((-2)/14). Suppose 0 = -b*r - r - d, -4*r + 42 = s. Is s a prime number?
False
Suppose 8*m - 17 = 5*m - 4*d, -5*m - 4*d = -23. Suppose -m*o - 3*v = -5*v - 12145, 5*o + 2*v - 20247 = 0. Is o prime?
True
Is (-11)/((-33)/21270) - (-2 - -1) a composite number?
True
Suppose 24*w - 19*w + 2*m = 11173, 0 = 4*m + 24. Is w composite?
False
Suppose -y = c - 14, 22*y - 4*c - 88 = 17*y. Let i(k) = 