s d a composite number?
True
Suppose 20 + 13 = c. Suppose -3*s - c = -0*s. Is (s/(-33))/(2/66) a prime number?
True
Let p(d) = 79*d**3 + 14*d**2 - 74*d + 6. Is p(7) prime?
True
Let s(z) = -5*z + 3. Let j be s(3). Is 3/(j/(-8)) + 699 prime?
True
Is (68/51)/(2/1977) a prime number?
False
Suppose 7*o - 4*o = 18. Is -565*(o/3 - 3) composite?
True
Let q(p) = 329*p - 38. Is q(8) a prime number?
False
Let r(c) = -c**2 - c - 1. Let k(i) = -16*i**3 - 8*i**2 - 7*i - 9. Let y(n) = k(n) - 4*r(n). Suppose 22*z - 15*z = -28. Is y(z) prime?
True
Suppose 3*h - 121 - 104 = 3*k, -3*k + 160 = 2*h. Let i = h + -66. Is i composite?
False
Suppose 3*d + 2005 = -2567. Let o be 34/255 + 16/15*-2. Is o*(d/8 + 0) a composite number?
True
Let c(d) = -3*d**3 - 43*d**2 - 54*d - 5. Is c(-18) composite?
True
Let l(w) = -w**2 + 16*w + 2897. Is l(0) prime?
True
Suppose -8 = -4*b + 4*n, 2*n = 2*b - 3*n - 1. Suppose 2*g - y = 1056, -b*g - 7*y = -4*y - 1593. Is g a composite number?
True
Suppose -5*r = 4*i + 255, -3*i + 3*r - 264 + 39 = 0. Let t be (4/4 - 3) + i. Let y = 139 + t. Is y prime?
True
Suppose 5*r = -3 - 12, -y = -2*r - 362. Suppose 3*q + 3*p = -0*q - 597, -5*p + 814 = -4*q. Let h = q + y. Is h a composite number?
True
Let d = -27 - -29. Suppose -d*o + 1782 = 4*t - 0*t, -4*o - t + 3550 = 0. Is o composite?
False
Suppose 10 = 2*c - 2*i, 4*i + 20 = 2*c - 0*c. Suppose 4*y - 96 - 1468 = c. Is y a prime number?
False
Suppose -65628 = -5*m - 25243. Is m prime?
False
Let u be (-6)/4 - 9/(-2). Suppose -t = u*t - 476. Is t composite?
True
Let b be (-4 + 16/8)/(2*-1). Suppose k - 5*k + 24 = 0. Is (2/k)/(b/1041) prime?
True
Let z(c) = -c - 20 + 40 + 5245*c**3 + 0*c - 19. Is z(1) prime?
False
Let l = 18325 + -9266. Is l a composite number?
False
Let q be 0 + (0 - -2 - -2). Suppose 5*m = -q*p + 73, 4*m = 3*p + m - 21. Suppose -14*g + 290 = -p*g. Is g prime?
False
Suppose 0 = -11*m + 31458 + 15380. Is m a composite number?
True
Is (30/60)/(2/25684) composite?
False
Let w be (-232)/(-20) + (-6)/10. Suppose -4*b - w = -3*b. Let n = 8 - b. Is n a composite number?
False
Suppose 2*k = 5*w - 1 + 5, -k + 3*w + 4 = 0. Let p(j) = j**2 + 8*j + 2. Let y be p(k). Suppose y*v - 56 = 162. Is v a prime number?
True
Suppose -5*j + 45812 = 3*h - 103458, -3*j = -5*h - 89528. Is j prime?
True
Suppose 8 = 4*h - 0. Let i(n) = 89*n + 5. Is i(h) composite?
True
Suppose 0*a - 2*a = 0. Let l(q) = -q**2 + 2. Let j be l(a). Is -2*-62*j/8 a prime number?
True
Let w be (-2 - 40/(-22)) + (-1336)/(-88). Is (7 - 2)*13929/w a composite number?
False
Suppose -3*s - 4*m = m - 5086, -3*s - 3*m = -5094. Let j = 4019 - s. Is j prime?
False
Let u = 391 - 158. Is u prime?
True
Suppose 102*g - 36858 = 99*g. Is g a composite number?
True
Suppose -r - 5 = -3*c - 1, r + 2*c = 6. Suppose 0*w + 938 = r*w. Is w prime?
False
Let o(h) = -4*h**2 + h - 1. Let z be o(2). Let k(v) = -3*v**2 + 4*v + 20. Let x(f) = 7*f**2 - 9*f - 41. Let l(i) = -5*k(i) - 2*x(i). Is l(z) prime?
False
Let x(a) = 1482*a + 2. Let g be x(1). Suppose 2*c - 6*c = -g. Is c a prime number?
False
Suppose 4072 = 8*s + 1056. Is s a composite number?
True
Let k = -21704 - -36421. Is k prime?
True
Suppose -6*p + 302 = -4*p. Let u = 278 - p. Is u composite?
False
Suppose h + 4*u + 2 = -0, 3 = 3*h + 3*u. Let a(n) = 12*n**3 - 4*n + 9*n**3 - n**3 + 4 + n**2 + 0*n**h. Is a(3) composite?
False
Suppose o + 13 = 4*d, -o + 15 = -4*o. Suppose 11*h = -d*h + 6227. Is h a prime number?
True
Let j(h) = 4*h**2 + 34 - 3*h - 2 - 3*h**2 - 11. Is j(-15) composite?
True
Let u be 2 + 12/3 + -2. Suppose 21 = u*k - 3*b, -k + 6 = b - 2*b. Suppose -k*n + 668 = n. Is n composite?
False
Let a(o) = -35*o**3 - 4*o**2 - 2. Let d be a(-4). Suppose 5*t - r - 6 = 4*t, 5 = 5*r. Suppose 0 = -t*k + d + 199. Is k a composite number?
True
Suppose 2001 = 2*z + 3*u, 20*u - 1013 = -z + 16*u. Is z prime?
False
Let w = -1607 + 2326. Is w a prime number?
True
Let y = -93 - -98. Suppose -h - h + 245 = -y*k, -k + 572 = 5*h. Is h composite?
True
Let a(u) be the first derivative of u**4/2 + u**2 - u - 1. Let t be 28/(-7)*(-6)/(-8)*-1. Is a(t) composite?
False
Suppose 0 = -3*k - 16*k + 830509. Is k prime?
True
Suppose 5*s = 4*r - 3*r - 13, 0 = -5*s - 10. Suppose -z - 5*v - 10 + 1396 = 0, -r*z + 2*v = -4073. Is z a composite number?
False
Let f be 4/(-2) - -1 - (-2 - 746). Is f/4 - 4/(-16) a prime number?
False
Suppose 0 = i + 5 - 7. Suppose -c - c = -w + 168, -357 = -i*w - 3*c. Suppose -3*h + 262 = 5*m, w = 2*h + 2*m + 2*m. Is h composite?
False
Let l(c) = -189*c - 1. Let d be l(-1). Suppose 2*x - d = 240. Is x composite?
True
Suppose 10 = v - 5*t, -5*v - 2 = 5*t - 4*t. Let j(p) = -8*p - 2. Let d be j(-5). Suppose 0*y + d = 2*y - 2*x, v = -2*y + x + 33. Is y a prime number?
False
Let v be -3*(-5)/30*8. Suppose v*n - 5*s = 7, -4*n - 5*s = -3*n + 17. Is (8022/(-6))/(1 + n) a composite number?
True
Suppose 4*m + 55911 = 5*x, -2*m - 55903 = 43*x - 48*x. Is x composite?
True
Let c be (-7)/(-4) + (-2)/(-8). Let m be (-555)/((-7 + 2)/5). Is 1*(4/c + m) prime?
True
Suppose -31 = 5*l - 246. Suppose 4*x = 4*c - 8 + 40, 4*x = c + 23. Is l - (1 + 2 + c) composite?
False
Suppose i + i + 8 = 0. Let b(w) = w**3 + 5*w**2 - 7*w - 7. Is b(i) a prime number?
True
Let m(j) = 19*j**2 - j - 13. Let s(f) = f + 11. Let d be s(-7). Is m(d) prime?
False
Let z = 6 - 4. Let t(w) = -31*w + 7. Let s be t(-1). Suppose 0 = z*x - 2*h - s, 4*h + 54 = 3*x - 0*x. Is x a prime number?
False
Suppose 2*i - 156 = -152. Suppose 0 = -i*l - 10, 7*l + 3505 = 5*c + 3*l. Is c a prime number?
False
Suppose 0 = 3*r + 76 - 7. Is 5*(-2)/10*r a prime number?
True
Suppose 9*l + 3*r - 3203 = 7*l, 2*r = -l + 1603. Is l composite?
False
Let h = -1267 + 4014. Is h a prime number?
False
Let d = -72 + 74. Suppose -3*h - 2*v + 1015 = 0, 5*h + d*v = -0*v + 1685. Is h prime?
False
Suppose -5*k + z + 23 = 0, -1 = z - 3. Let l = 408 - 403. Suppose -k*s = l*n - 1090, s - 2*n = 313 - 80. Is s composite?
False
Suppose 11*y - 43059 = 5484. Is (-3 + 30/9)*y a prime number?
True
Let c be 58/(-7) - 12/(-42). Is -4 - (-4)/c*447*-2 a prime number?
True
Suppose -u + 10263 = -43*t + 38*t, 40968 = 4*u + t. Is u prime?
True
Let h(t) = 71*t**2 + 3*t - 1. Is h(12) composite?
False
Let v(i) = 8*i**3 + 0 - 2 - 2*i + 4*i**2 - 6*i - 9*i. Is v(9) prime?
False
Let p = -11 + 6. Let z(c) = c**3 + 5*c**2. Let n be z(p). Suppose -2*b + 0*l + 23 = l, n = l + 5. Is b composite?
True
Let s be (1371/2)/((-36)/(-48)). Suppose 5*a = 3*a - 2. Is s + 3/(-1)*a a prime number?
False
Is 2264128/170 + (-2)/20*-6 a composite number?
True
Let w(h) = -2*h**2 - 18*h + 19. Let m be w(-10). Is 1881 - (m*(2 + -4))/(-1) prime?
False
Suppose 0 = 5*d - o - 777, 0*o + 785 = 5*d - 5*o. Suppose -96 = k + 5*l, 4*k - 3*l + 199 + 93 = 0. Let r = d + k. Is r a composite number?
False
Suppose 303 - 9 = x - 2*t, -4*t = 2*x - 628. Let z = x - 107. Let j = z - 139. Is j a prime number?
False
Let d be (881/(-2) + -1 + 0)*-4. Let g = d - 927. Is g prime?
True
Let n = 107 + -41. Suppose n = -2*u + 2084. Is u a prime number?
True
Let w = -8817 + 22990. Is w prime?
True
Suppose -26*n = -29*n + 5205. Is n a prime number?
False
Let y(i) = -6*i - 24. Let q be y(-3). Let h = -3 - -2. Is 267*(h + (-8)/q) composite?
False
Let h be 0/2 + -1 + 1. Suppose h = 2*z - 5 - 3. Suppose -n - z*n - 535 = -5*f, 2*n + 541 = 5*f. Is f composite?
False
Let y = 14486 + 453. Is y prime?
True
Let m(a) = 2*a - 1 + a**3 + 2*a + 12*a**2 - 3*a. Suppose 5*n = -2*t - 41, -4*n + 3*t - 26 = n. Is m(n) a prime number?
False
Suppose 3*y - 2126 = 3667. Is y composite?
False
Let x(i) = -i**2 - 18*i - 16. Let r be x(-17). Let y be (-1)/(r + (-24)/20). Suppose y*c - 5*d = 315, -104 = -2*c - 3*d + 42. Is c composite?
False
Let v = -17042 + 49024. Is v prime?
False
Let j = 32 - 29. Suppose 3*f - 1440 = 3*h, 2*f - 3*f + j*h = -470. Is f prime?
False
Let k(d) be the third derivative of -11*d**4/8 - 29*d**3/6 - 3*d**2. Is k(-4) a composite number?
False
Let r(q) = 3*q + 25. Let y be r(-8). Is (y + 0/(-4))*437 a prime number?
False
Let y(j) = 6*j + 3*j**3 - 27*j + 7 + 4*j + 8*j - 5*j**2. Is y(8) prime?
True
Let w = -26 - -57. Let a = w - -26. Let u = a - 10. Is u prime?
True
Let i be ((-426)/(-15))/(-1)*(-10)/1. Suppose 2*w = 6*w - i. Is w prime?
True
Let p be (-4)/66 + 23695