prime?
False
Let t = -1153 + 1221. Suppose 2*y - 3 = y. Suppose -t + 227 = y*r. Is r a composite number?
False
Suppose -1691801 = -105*w + 2168314. Is w a prime number?
False
Suppose 0 = 5*m + 3*s - 672, -4*s - 363 = -3*m + 46. Let k = -95 + m. Suppose -2*g = -62 - k. Is g a prime number?
False
Suppose 6 = 2*w + w, j - 8 = -3*w. Let x(m) = 2137*m + 9. Is x(j) composite?
False
Suppose w = -4*p + 1602, 0 = 4*p - 5*w - 1884 + 294. Let r = p - -343. Is r composite?
False
Let x(y) be the first derivative of 73*y**4/2 - 4*y**3/3 + 3*y**2 - y - 105. Is x(2) prime?
True
Let p(o) = -6*o + 56. Let m be p(8). Suppose -m*c = -s - 10*c + 3463, c + 17282 = 5*s. Is s a composite number?
False
Is (-1 - (-130674)/9) + -6*17/(-153) a prime number?
True
Suppose -36 = 5*y + b + 13, 15 = -y + 5*b. Is (3676/y)/(10/75*-3) composite?
False
Suppose -1078895 = -13*d + 617540. Is d composite?
True
Let x(i) = i - 6. Let q be x(6). Suppose -s + 5*z + 7 = -0*s, s + 2*z - 14 = q. Is (s/12)/((-2)/(-634)) a composite number?
False
Suppose -15*w - 788922 = 37*w - 298*w. Is w a composite number?
True
Let d(q) = 119*q**2 - 5*q + 13. Let x(m) = -40*m + 154. Let l be x(4). Is d(l) prime?
True
Let q(n) = -20498*n - 21. Is q(-1) composite?
False
Let w = -9 + 11. Suppose 0*m + w*m = 4. Is (m - 1084)*(-3)/6 composite?
False
Suppose -44*q + 53*q - 1017099 = 0. Is q a prime number?
True
Let o = -2551 + 4722. Suppose 0*u + i = 5*u - 10891, u = 2*i + o. Is u a prime number?
True
Let f be (0 - -906)*2/6. Let a be (-3 + 5)*(-1 + (-105)/(-6)). Suppose -a = -i + f. Is i a prime number?
False
Is ((-4)/(-3) - 1)*(300385 - -2) a prime number?
True
Let f be -1*(-58)/(-8)*-4. Let x = -24 + f. Suppose 0*y - 1090 = -5*d + x*y, -2*y + 206 = d. Is d prime?
False
Let k(z) = -z**3 + 46*z**2 - 6*z + 443. Is k(26) composite?
False
Let m = -100 - -104. Suppose -m*q = 2*q - 29964. Suppose 5*v - q = 1401. Is v a prime number?
True
Suppose 0 = -5*l + 5*y + 30, -l + 15 = l - 5*y. Let h(p) = p**3 - 7*p**2 + 10*p + 10. Let w be h(l). Is 928/10 - ((-12)/w + 1) composite?
True
Suppose 0 = -4*d - 9 + 17. Suppose d*w + 10 = -5*o, -4*o - 2*w - 9 - 1 = 0. Suppose -479 = -o*t - t. Is t a composite number?
False
Let g = 190 + -77. Suppose 107 - 266 = -3*x. Let s = x + g. Is s composite?
True
Let h be (11 - -11122) + 3 + 2. Suppose -494 = 3*r - h. Let i = r - 487. Is i composite?
False
Suppose 99*g - 1533726 - 2359251 = 0. Is g composite?
False
Suppose 5*a + 252 + 5473 = 0. Let t = a - -1807. Is t a composite number?
True
Is (-23)/((-230)/150) + 45286 prime?
False
Let s = 11632 - 10935. Is s composite?
True
Is (-2011135)/(-148) + (-2)/(-8) a prime number?
False
Suppose -2*l + 386780 = 6*h, -145*l + 149*l + 5*h - 773581 = 0. Is l composite?
True
Let a(h) = 4*h**2 + 15*h + 18. Let g be a(8). Suppose -5*r - 3*s + 4940 = -1397, 2*r + s = 2534. Suppose 13*z + g = r. Is z a prime number?
True
Let m(v) = 8*v**2 + 5*v + 7. Let x be m(-5). Suppose 6*k - k + k = -414. Let t = k + x. Is t prime?
True
Let g(h) = -44841*h + 844. Is g(-3) composite?
False
Let r(y) = y**2 + 4*y - 10. Let z be r(2). Let t(d) = -116*d + 5. Let u(s) = -115*s + 5. Let m(v) = -5*t(v) + 4*u(v). Is m(z) prime?
False
Suppose -29 - 7 = -18*y. Suppose -3*o + 5*o = -6, -y*o = -3*s + 13419. Is s composite?
True
Let m(v) = -144*v + 26*v - 5 - 238*v - 9. Let q be m(-5). Suppose 3*l = q - 353. Is l a prime number?
False
Let v be -3 + 68 + 3 + -3 + 3. Let z = v + -65. Suppose z*y - 269 - 208 = 0. Is y a prime number?
False
Let o = -1170 - -1172. Let p = 2 - 2. Suppose a + o*k - 1391 = p, 2*k + 8 = -0. Is a prime?
True
Let o(j) = j + 1. Let i be o(3). Suppose -2*a + 3677 + 3181 = 4*k, 0 = i*a - 5*k - 13690. Suppose -5*w = -0*w - a. Is w composite?
True
Suppose -4*r + 946 + 1330 = 0. Suppose -y + 281 + 1352 = -5*t, -4*y = -12. Let k = r - t. Is k prime?
False
Suppose -m + 3*m = -4836. Let g = -1271 - m. Is g a prime number?
False
Suppose 0 = -q + 5*y + 19, 0 = 4*q - 2*y + y - 19. Let z be q + 190/(-45) + 4/18. Suppose z = -4*a + 2568 + 1340. Is a prime?
True
Let m = 151992 + 28407. Is m prime?
False
Suppose -2*x + 11 = -17. Suppose -5*w + 43 - 48 = 0. Is 2 - (882/12)/(w/x) a prime number?
True
Let n(g) = 3622*g**3 + g**2 - 3*g + 3. Let k be 4 - 12/(-6 - -10). Is n(k) composite?
False
Suppose -76327502 = -106*i - 17630320. Is i composite?
False
Let x(c) = c**2 + c - 4. Let w be x(2). Suppose -2*n - 250 + 1946 = 0. Suppose 0 = -0*v - w*v - 5*t + n, -3*v = -5*t - 1247. Is v a prime number?
True
Let x = 18 + -18. Suppose 0 = 2*q - 5*m - 4058, -3*q + 5*m + 6097 = -x*q. Is q a prime number?
True
Let q(h) = 72190*h**2 - 9*h + 4. Is q(-3) a composite number?
True
Let g(s) = -11*s**3 + 17*s**2 - 7*s + 179. Is g(-24) a composite number?
True
Is 96870/2 + ((-32)/(-16) - 0) a composite number?
False
Let s(n) = -4768*n + 1227. Is s(-10) prime?
True
Let i be (-8)/6*57/(-19). Suppose -i*h - 5*q + 499 = 0, -h + 6*h - 2*q = 665. Is h composite?
False
Suppose 1403661 = 144*u - 6252963. Is u a prime number?
True
Let j(x) = 28*x**2 - 3682*x + 218. Is j(178) composite?
True
Suppose -353*j = -89*j - 42464983 + 16380991. Is j a composite number?
True
Let u = 488295 - 214598. Is u a composite number?
False
Let b(q) = 158*q**3 - q**2 - 2*q + 3. Let y be 3/2*(1 + (-31)/1). Let s be y/30*((-8)/6 - 0). Is b(s) prime?
True
Let b = -95 - -121. Suppose -u = 3*u + 3*v + 18, v = 4*u + b. Is u - (-25508)/60 - (-2)/(-15) a prime number?
True
Let j = 56136 - -96715. Is j prime?
True
Let d(r) be the first derivative of r**3/3 + r**2/2 - r + 13. Let w be d(1). Is 217/w*(0 + 1) composite?
True
Let q be (1 + 3)*3/6. Suppose 4*z + 4*a + 7 = -9, 5*z = q*a - 34. Is (-2)/z*6 - -249 prime?
True
Let b be ((-24)/(-6))/4*-817. Suppose -6 = 6*n - 3*n. Is (1*(1 + -2) + b)/n prime?
True
Let h = -5185 + 14846. Is h composite?
False
Suppose 2*j + 334 = 374. Is ((-10180)/16)/((-5)/j) prime?
False
Let l(g) = 13*g**2 + 103*g - 943. Is l(73) a prime number?
True
Let p(w) be the third derivative of w**5/30 + w**4/24 + 5*w**3/3 - 13*w**2. Let c be p(0). Is (-9)/(-15) + (1964/c - -2) composite?
False
Let b(m) = -m**3 - 2*m + 3. Let y be b(3). Let r = y - 28. Is 138/12*(2 + -3)*r composite?
True
Suppose 7*u = -4*d + 2*u + 60, -2*d - 5*u + 30 = 0. Let k = 7 - d. Let o(p) = 7*p**2 + 12*p - 17. Is o(k) a composite number?
True
Is 12 - (34 - 8) - -57051 a composite number?
False
Let n(h) = 15*h + 18. Let v be n(7). Suppose 109*k = v*k - 30254. Is k a prime number?
True
Let c(n) = 12*n - 33. Let d(l) = -4*l + 11. Let m(k) = 2*c(k) + 7*d(k). Let j(x) = 13*x**3 - x. Let z be j(-1). Is m(z) composite?
False
Suppose -20 = -2*x - 2*x. Suppose 0 = -4*c + 1 - x. Is (384 - 6) + (c - -1 - -1) composite?
False
Is (18278505/(-20))/(-7) + (-9)/(-252)*7 a composite number?
True
Let i(w) = 79*w**2 - 135*w + 2993. Is i(30) a prime number?
False
Suppose -38*k = -33*k - 3*r - 18566, -7*k = 4*r - 25935. Is k prime?
True
Let a(b) be the third derivative of 0*b**4 + 7/6*b**3 - 12*b**2 + 3/20*b**5 + 0 + 0*b. Is a(-6) composite?
False
Let t(b) = -34560*b - 1009. Is t(-13) a composite number?
True
Let g(x) = 16*x**2 - 2*x + 47. Let t = -221 - -232. Is g(t) a composite number?
True
Let n(z) = -20*z**3 + 23*z**2 - 35*z + 31. Is n(-25) a prime number?
False
Let m(b) be the third derivative of -b**5/60 - b**4/12 + 617*b**3/2 - 67*b**2. Is m(0) a prime number?
False
Let t(w) = w**3 + 4*w**2 - 3*w - 6. Let i be t(-4). Suppose -2*b + 4 = -i. Suppose 695 - 60 = b*x. Is x composite?
False
Suppose 3*z = 2*b + 5 - 30, -5*z - 16 = -b. Suppose -u + 2*u - b = 0. Let h(s) = 3*s**3 - 28*s**2 + 15*s - 12. Is h(u) composite?
True
Let s = 499 + -569. Is (-99443)/(-3) - (1 - s/(-30)) a prime number?
True
Suppose -3*a - 4*m + 1872049 = 0, -154*a + 5*m = -159*a + 3120075. Is a composite?
True
Suppose 28*r = 14324552 + 3285852. Is r composite?
True
Suppose 0 = -5*l - 0*l + 786725. Is l prime?
False
Let r(o) = -4*o**3 - 8*o**2 + 14*o + 42. Let j be r(-17). Suppose j = 3*p - 2461. Is p prime?
False
Suppose 3*c + 3*c = -126. Let d = c + 24. Is (-6800)/(-12)*d - 1*-3 a composite number?
True
Let m = -11541 - -20006. Is m prime?
False
Let s = -125234 + 243987. Is s composite?
True
Is (-528)/(-24)*(-429508)/(-8) prime?
False
Let u = 67506 - 39725. Is u a prime number?
False
Let h 