54)/22 prime?
True
Let f(a) = 149*a**2 + 2*a + 2. Is f(-3) a prime number?
False
Suppose 0 = 2*p - 335 - 649. Let t be ((-4)/3)/((-2)/p). Suppose 0 = 4*v - 8*v + t. Is v prime?
False
Let s(n) = 38*n**2 - n - 5. Let u be s(-6). Let w = u - 452. Is w prime?
False
Let k be -405*(-1 + 2) + -2. Let b = 243 + k. Let j = -97 - b. Is j composite?
False
Let p(v) = v**2 + 6*v - 1. Let q be p(-6). Let b be (-6)/4*(q - 1). Is (-93)/9*(-9)/b prime?
True
Let u(s) = 29*s**3 - 42*s**2 - 41*s + 29. Is u(19) a composite number?
False
Suppose 1428 = 3*h - 2*r, -5*h + 6*r + 2375 = r. Suppose 0 = -2*u + 5*u - 5*k - h, 0 = -k + 1. Suppose -2*l + u = -l. Is l a prime number?
False
Let h(k) = -5 - 7 - 1 + 161*k + 10. Let z = -2 + 4. Is h(z) a composite number?
True
Suppose 1550 - 9829 = -3*t + 2*d, 5*d + 13800 = 5*t. Is t a composite number?
True
Suppose y - f - 574 = 53, -5*y = -3*f - 3137. Let a = y - 93. Is a composite?
True
Let q = 129 - 205. Let b be q/13 - 4/26. Let z(r) = r**3 + 13*r**2 + 7*r + 3. Is z(b) prime?
False
Suppose 4*r = 8, 5*v - v = -3*r + 54. Suppose -v*u = -10*u - 422. Is u prime?
True
Suppose o = -17 + 19. Let i(s) = s**2 - 2*s - 2. Let k be i(-3). Is (-3825)/(-65) + o/k composite?
False
Suppose 4*h + 14850 = 2*v, 5942 + 23785 = 4*v + h. Is v a composite number?
True
Suppose -4*d - 9 = w - 4*w, -d = -3*w + 18. Suppose -1457 = -3*t - 4*p, 0 = -w*p + 2*p - 20. Is t prime?
True
Let l(z) = -z**2 + z + 12. Let f be l(4). Suppose f = -17*s + 19*s - 4106. Is s prime?
True
Let d be 1 - 2*(-1283)/2. Let p be -18*(0 - (-5)/10)*-1. Suppose -p*r + 5*r = -d. Is r prime?
False
Is (-3)/((689500/98497 - 7)*-1) a composite number?
False
Let x be 2 + -19 - 8/(-4). Let i be -3 - x/(-6)*-2. Suppose -4*t = 5*h - 812, 0 = -3*t - h - i*h + 609. Is t composite?
True
Is (137 - -1) + -1 + 10/5 a prime number?
True
Let u(g) = -13*g + 16*g + 20*g**2 + 5*g - 2*g + 1. Let i be -12*(1/2)/1. Is u(i) prime?
False
Suppose 0 = -5*x + 2*x + 6. Let o(j) = -5*j**2 + 2 + x*j + 2*j**3 + 1 - 6. Is o(4) composite?
False
Let p(u) = -u**3 + 15*u**2 - 4. Let t be p(15). Is (41/t)/(3/(-132)) a composite number?
True
Suppose 2*u + 4 - 6 = 0. Let s(p) = 190*p**2 + 4*p - 3. Is s(u) composite?
False
Is (8/(-14) - (-320977)/(-357))*-3 a prime number?
True
Let c(a) = -3*a - 1. Let p be c(-7). Suppose -z + 3*i = -p, -3*z + 24 = -i + 4. Suppose z*o + 21 = 406. Is o a composite number?
True
Let r = -6582 + 368. Let k = 9361 + r. Is k prime?
False
Let r = 59 + -59. Suppose -2*x + 5*x - 1749 = r. Is x composite?
True
Let z(a) = a - 7. Suppose -2*v - 3 - 3 = 2*f, -2*f = -2*v + 6. Let c be z(v). Is 38 - (-4)/(-3 - c) composite?
True
Suppose 4*a - 16 = 0, 5*i = a + 8 + 8. Suppose 2*y = -1 - 3, 3*f + i*y - 6676 = 0. Suppose 0 = -5*w + 3*s + 2785, 0*w - 4*s = 4*w - f. Is w a composite number?
False
Suppose -c - 2*d + 2833 = -0*c, 0 = -4*c + 5*d + 11397. Is c prime?
True
Let l = 20010 + -8578. Suppose -4*o + 0*o + 9147 = -k, 0 = -5*o + 3*k + l. Is o composite?
False
Let r = 10450 - 6905. Is r prime?
False
Let h = 8207 - 3118. Is h a prime number?
False
Let t(z) = 50*z - 1 + 1 - 3 + 1. Let d be t(4). Let l = -71 + d. Is l prime?
True
Is 0/2 - (-6569 + 10) a composite number?
True
Let x be (-27)/18 + (-7)/2. Let g(m) = -7*m**3 - m**2 + 6*m - 5. Is g(x) composite?
True
Suppose 3*d + 1397 = -2*t, 617 = -3*t + 2*d - 1511. Let m = t - -1475. Is m prime?
True
Let h be (-14)/3*-3*4/14. Suppose -170 - 4434 = -h*a. Is a a composite number?
False
Let d = -15110 - -42703. Is d composite?
True
Let r be 2*((-84)/(-8) + 1). Let a(w) = 0 + 4*w + r*w**2 - 7*w**2 - 5. Is a(-4) composite?
True
Let f(l) = 213*l - 67. Is f(6) prime?
False
Let f(c) = 203*c**2 + 4*c - 4. Suppose 4*q = -q - 4*i - 5, 0 = -2*q + 5*i + 31. Is f(q) composite?
True
Let v(b) = -4*b + 1. Let s be v(-1). Suppose -4 = -i, -5*h + 5*i = 9*i - 3711. Suppose 4*z + f = 2*f + 2998, -h = -z - s*f. Is z composite?
True
Let n = 499 + 5404. Is n a composite number?
False
Suppose -582 = 3*j - 2649. Is j a composite number?
True
Suppose 5*h + 288 = -4*l, -h + 2*h - 5*l = -75. Let x = -307 - -138. Let z = h - x. Is z prime?
True
Let l be 9 + -763 + (1 - 0). Let i = -16 - l. Is i prime?
False
Let b(y) = -y**2 - 2*y - 337. Let x be b(0). Let w = x + 479. Let t = -21 + w. Is t a composite number?
True
Let s(i) = 3*i**2 - 8*i - 4. Let z be s(14). Let u = z + 1319. Suppose -3*d - l = -0*l - u, -3*d = 3*l - 1791. Is d a prime number?
False
Let g = 1515 + 2612. Is g composite?
False
Let f be 450/(-6)*1/(-3). Let h = -20 + f. Suppose -h*d + 3*d = -278. Is d prime?
True
Suppose -l - 2*n - 2 = 3*l, 5 = -5*l - 5*n. Suppose l*m - 3*z + 1133 = 4*m, -z = -5*m + 1421. Let y = 489 - m. Is y a prime number?
False
Suppose -8*k = -3*k - 25. Suppose k*z - g = 3495, -7*z + 2796 = -3*z + 3*g. Is z a prime number?
False
Is (1 + 0)*(-112 - -13863) a composite number?
False
Let c(h) be the first derivative of -38*h**6/15 - h**4/12 - h**3/6 + h**2/2 - 3. Let q(n) be the second derivative of c(n). Is q(-1) a prime number?
False
Let a be 3 + -1 + 6 + -3. Suppose -2*w = 3*w - a*b - 4270, -2 = 2*b. Is w prime?
True
Suppose -2*h + 3 = h. Suppose 5*z + 29 = -h. Is ((-148)/z)/(16/264) a composite number?
True
Let i(w) = -w**3 - 29*w**2 + 63*w + 33. Let y be i(-31). Suppose 0 = 4*k - 3*k - 26. Suppose -4*g + y*g + k = 0. Is g a prime number?
True
Suppose -4*w = r - 1218, -4*r + 0*r - 2*w = -4914. Let v = r + -343. Is v prime?
True
Let l(b) be the third derivative of b**6/120 + 2*b**5/15 - 11*b**4/24 - 8*b**3/3 - 5*b**2. Let c be l(-9). Is 4 + (-207)/(-3) - c composite?
False
Let z(g) = -2*g**3 - 18*g**2 + 8*g + 8. Let d be z(-14). Suppose 419 = -3*u + d. Is u composite?
False
Let q(i) = 441*i**2 + 8*i - 20. Is q(3) prime?
False
Let j = -1115 - -3274. Is j composite?
True
Is (55/(-5))/((-1)/397) composite?
True
Suppose -4*y + 12 = -8. Let b(f) = 3*f**3 + f + 1. Is b(y) composite?
True
Let p be (-3 + 3)/4 + 4. Suppose 3*m + 4*w = 2563, -3411 = -p*m + 3*w - 2*w. Is m composite?
False
Suppose 6*n - 8*n + 19058 = 4*z, 38134 = 4*n - z. Is n a prime number?
True
Is (-1 + 4/3)/((-28)/(-212772)) composite?
True
Is ((-24)/(-40))/((-6)/(-68630)) a prime number?
True
Let y be ((-36)/10)/((-15)/50). Suppose -5*u - 4*q - 18 = y, 4*u + 4*q = -28. Is u/4*-6 - -84 a prime number?
False
Let x = 9 - 5. Suppose 4*w + x*i - 12 = 0, w + w = 2*i + 14. Suppose 4*f + 2*j - 121 = 7*j, -w*f + 155 = -5*j. Is f composite?
True
Let g(r) = 5*r**2 - r - 15. Let h(t) = 3*t**3 + t**2 + t + 1. Let p be h(-1). Let x be 325/(-45) - p/9. Is g(x) a prime number?
False
Suppose 0 = 5*g - 3*j - 8291, 2*g + 3*j = g + 1651. Is g a composite number?
False
Let d = 25 - 21. Suppose -d*l + 8*l = 356. Is l a composite number?
False
Is 978495/140 + (-2)/8 a composite number?
True
Let y(j) = 2*j**3 + 5*j**2 - 10*j + 13. Suppose -3*l + 2 = 4*r, -2*l + 0*l + r + 16 = 0. Is y(l) prime?
False
Let h(w) = 4*w**3 - 2*w**2 - 10*w - 23. Is h(7) a prime number?
True
Is ((-844)/6 + -8)/((-4)/6) a prime number?
True
Let b(o) = -9*o**2 - 2 + o + 3*o**3 + 10*o - 2*o**2 - 5. Let g be b(8). Suppose -2*y + 81 = -g. Is y prime?
False
Is (5975/(-10) + 2)*-2 a composite number?
True
Suppose -17*y = 187155 - 861358. Is y prime?
True
Suppose 4*b = 15 - 3. Suppose -35 = 5*u + o, o + 3*o + 4 = -b*u. Is 7 - (u - (-1 - 3)) a prime number?
True
Suppose -3*t - 2*h = -1525 - 1334, -4*t + h = -3801. Is t a composite number?
True
Suppose -w + 7*w - 557214 = 0. Is w a composite number?
True
Let r = 75 - 37. Let m(t) = -t**2 - 10*t + 8. Let g be m(-10). Is r/(-4)*g/(-4) prime?
True
Let i(c) be the first derivative of c**5/20 + 5*c**2/2 + c - 7. Let g(j) be the first derivative of i(j). Is g(8) a composite number?
True
Let l be -3 + 0 + (-2 - -902). Suppose 10*k = 13*k - l. Let f = k - 100. Is f composite?
False
Let w(d) = 5*d**2 + 372*d**3 - 3*d**2 - 3*d**2 + 2*d**2. Is w(1) composite?
False
Let j(k) = -k**3 + 44*k**2 + 42*k - 34. Is j(29) a composite number?
False
Is (80 - -8211) + -1 + (-4 - -1) prime?
True
Let g(r) = -r**3 - 7*r**2 - 9*r + 7. Let f be g(-5). Suppose 116 = 4*m + 4*n - 948, n - 529 = -f*m. Is m a prime number?
True
Let h be 195/27 - (-4)/(-18). Let y = 11 - h. Suppose -38 - 110 = -y*o. Is o composite?
False
Let z(d) = 284*d**2 - 14*d + 7. Is z(-6) prime?
False
L