 prime number?
True
Let l(h) = 4*h**3 + 1 + 38*h**3 + 10*h**3 + 0*h**2 - 2*h**2. Is l(1) prime?
False
Let w(d) = d**2 + 3*d + 3. Let q be -1 - (3 + 2 + -3). Let s be w(q). Suppose 0 = s*p - 16 - 17. Is p a composite number?
False
Suppose -35 = 4*y - 739. Suppose 4*v - 4*z = -12 + y, z = 4*v - 179. Suppose 2*t - 5 + 118 = 5*r, 2*r - t - v = 0. Is r a composite number?
True
Let y = 23 + -19. Suppose g + 208 = 4*s + 5*g, -y*s + 2*g + 238 = 0. Is s prime?
False
Let z = -14 + 14. Suppose 0 = -z*l - l + 257. Is l prime?
True
Let n = 5277 + -3361. Let j be 12/18 - n/(-6). Suppose -4*h + j = -0*s - 4*s, -2 = 2*s. Is h a composite number?
False
Let y = -50 + 145. Is y composite?
True
Is 8*4/(-8) + 4780 + 1 a composite number?
True
Let c(i) = 4*i**2 + 2*i - 1. Let q(s) be the second derivative of s**4/12 - 3*s**2/2 - s. Let a be q(-3). Is c(a) prime?
False
Is (-2)/(-1)*(-245)/(-14) a prime number?
False
Suppose 0*u + 518 = u. Let n = u + -313. Is n a prime number?
False
Let r = 469 + -246. Is r a composite number?
False
Let d = -387 - -970. Is d a composite number?
True
Suppose 2*i - u - 10522 = 0, i + 2*u = 6*i - 26305. Is i prime?
True
Let n = 11 + -4. Let d(r) = 6*r**2 + 7*r - 8. Is d(n) a composite number?
True
Let v be 1*(0 + 3 - 3). Let h(k) = -k**2 + 6*k + 2. Let d be h(5). Suppose 2*q - d - 55 = v. Is q a prime number?
True
Is 4/18 - (-939)/27 a composite number?
True
Let b = -513 - 1653. Is b/(-8) - (-11)/44 a prime number?
True
Let w = -27 - -63. Suppose p - 4*y + w = -2*y, 0 = -3*p + 4*y - 100. Is (p/6)/((-2)/51) composite?
True
Let b(v) = -v**2 - 6*v + 6. Let f be b(-6). Is ((-57)/f)/(1/(-2)) composite?
False
Let i = 0 - -2. Suppose i*c - 3*v = 539, 5*c - 3*c - v = 541. Suppose 6 = -5*d + c. Is d composite?
False
Suppose -d = 14 - 225. Is d composite?
False
Let o(d) = d**2 + 5*d - 3. Let f be o(-7). Let y be -118*(0 + (-1)/2). Suppose -f = -2*j + y. Is j a composite number?
True
Let a = 570 - -17. Is a a prime number?
True
Suppose 1011 - 60 = 3*a + 2*b, 5*a = 2*b + 1585. Is a prime?
True
Let i = 169 + -28. Is i a composite number?
True
Suppose -3*s = b - 178, 132 = b + 2*s - 46. Is b prime?
False
Let h = 94 - 150. Is 9/4*h/(-21) a composite number?
True
Let m = 218 + -107. Is m a prime number?
False
Let q = 276 + 22. Is q prime?
False
Suppose -3*h - y = 2*h - 5037, -3*h + 4*y = -3013. Let b = h + -637. Suppose t - 2*q - 125 = 0, b = 3*t + q - 2*q. Is t prime?
False
Suppose 0 = -4*x + 2*s + 1205 + 4933, -2*s - 4601 = -3*x. Is x prime?
False
Let k be (-3 + 1 - -1)*0. Suppose k = 4*n - 167 + 19. Is n prime?
True
Is (-3458)/(-42) + 2/(-6) a composite number?
True
Suppose 2 = -2*f, 4*f = 4*o + 2*f - 1222. Is o a composite number?
True
Let x(y) be the first derivative of 10*y**3/3 - 2*y**2 + 5*y - 4. Is x(4) a composite number?
False
Let h = 724 + -473. Is h prime?
True
Let g(i) = -i + 9. Let d be g(7). Let x be d*(10/4 + 0). Suppose x*c = c + 52. Is c a prime number?
True
Suppose -3*j + 3544 = 5*j. Is j composite?
False
Suppose 0 = t + 2*t - 15. Suppose 3*m = -4*p - 1 - 2, -t*m + 18 = -p. Let h(k) = 14*k**2 - 3*k + 4. Is h(m) a prime number?
False
Suppose -7 = i - 0*i. Let p = 60 + i. Is p a composite number?
False
Is 1 + (-6 - -3 - -333) prime?
True
Let i = -5 - 2. Let h = i - -11. Is h - (-4)/(-6)*3 a prime number?
True
Let h(y) be the third derivative of 8*y**6/5 - y**4/24 + 2*y**2. Is h(1) a prime number?
True
Let x be (-3)/(-2)*36/27. Suppose x*v = 608 - 94. Is v composite?
False
Let p = 82 + -927. Is (-6)/24 - p/4 a prime number?
True
Suppose 773 + 5 = 3*p - 2*l, -4*p + 1040 = -2*l. Is p prime?
False
Let s(n) = 8*n**3 + n**2 + 8*n - 2. Is s(3) composite?
True
Let h(t) = -12*t + 3 + 6 + 13*t. Let m be h(-7). Suppose 0 = 4*j + 4*v - 360, 70 + 17 = j - m*v. Is j prime?
True
Let r be (-2)/(-5)*30/3. Is (-3 + 1)*(-374)/r a composite number?
True
Let n = -1 + -12. Let w = n + 34. Suppose -5*y = -o + w, -3*y + 95 = 3*o - 2*y. Is o prime?
True
Let o(p) = 3*p**2 + 3*p - 2. Let s be o(-4). Suppose 0 = 3*l - l + s. Let x = -2 - l. Is x prime?
False
Let r(q) = q**3 - q**2 - q + 1193. Is r(0) a composite number?
False
Let u be ((-12)/30)/((-1)/135). Let k = u - 31. Is k a prime number?
True
Suppose -2*u - 757 = -3*o, -4*o + 0*u = u - 1002. Is o composite?
False
Let z = 24 + -21. Is (-4)/6 - (-419)/z a prime number?
True
Let x = -299 + 850. Is x prime?
False
Let z be -9*(-1)/(-9)*3. Is z - -4 - (-202 - 0) prime?
False
Suppose -16 = 2*h - 6*h. Suppose -h = i - 3*i. Suppose 4*n = 4*o - 640, -n = -3*n - i. Is o prime?
False
Let a = -1 - -1. Suppose 3*f - 4*j - 105 = 0, a*j = -4*f - 2*j + 118. Is f prime?
True
Suppose -v = -3*v - 42. Let q = v - -238. Is q a prime number?
False
Suppose -690 - 1458 = -6*p. Is p prime?
False
Suppose 0 = z + 4*v - 6 + 26, -20 = 5*v. Let i = -4 - z. Suppose 5*h = -3*k + 38, 0 = -4*k - i*h + 4*h + 8. Is k prime?
False
Let x(q) be the first derivative of 6*q**4 - 3*q**2/2 + q - 1. Is x(2) composite?
True
Let j be (-2 - 0) + -1 + 7. Suppose s - 3*p = -3*s + 560, p + 568 = j*s. Is s a prime number?
False
Let k be 2 - (1 + (88 - 0)). Let w(r) = r**3 - r**2 + r + 124. Let x be w(0). Let q = x + k. Is q a prime number?
True
Let q be 1*(-4 + -2 + 4). Is (-4 - q) + 3 + 33 a composite number?
True
Let l(s) = -s**2 + s. Let k(m) = m**3 - 4*m**2 - 3*m - 5. Let j(u) = -k(u) - 2*l(u). Is j(5) a composite number?
True
Let z(q) = -31*q - 3. Is z(-2) a prime number?
True
Let j = 4134 + -2661. Is j composite?
True
Let s(x) = x + 14. Let q be s(0). Suppose -2*y = -q - 16. Is y a prime number?
False
Suppose -4 = -2*g - 2*l, -5*g - l + 0*l = 6. Let h be 4*g/(-8)*-3. Is ((-332)/(-6))/((-2)/h) prime?
True
Suppose 550 = 2*s - 396. Is s prime?
False
Let l(n) = 14*n + 0*n + n**2 + 3 - 4 + 7. Is l(-16) a composite number?
True
Let u = -7 + 9. Suppose -13 = u*a - 57. Is a composite?
True
Let q be (-1)/((-3)/2)*39. Let j = q - 4. Is j a composite number?
True
Let z = 1316 - 247. Is z a composite number?
False
Suppose 26*d + 1049 = 27*d. Is d prime?
True
Let d(z) = -4 + 0 + 2*z + 5. Let v be d(2). Suppose -v = -u + 8. Is u composite?
False
Suppose 4*u + 26 = -38. Let g = 23 + u. Is g a prime number?
True
Suppose -320 + 48 = 2*i. Suppose -4*v + b = -934, 462 = 2*v - b + 3*b. Let u = v + i. Is u prime?
True
Let l = 5 - 5. Suppose -x + 5*x - 364 = l. Is x composite?
True
Let o = -24 + 26. Is o a prime number?
True
Is 336 - 1 - (2 + 4)/(-3) a prime number?
True
Let s(r) = 15*r**2 + 4*r + 10. Is s(-3) a composite number?
True
Let f be (3 - 6)/(1/(-3)). Let q be (8 + -4)*f/12. Suppose q*j - 6*j = -222. Is j a composite number?
True
Is 1480/14 - 22/(-77) composite?
True
Suppose 4*v + 9 = 49. Let k(f) = f**2 - 2 - f + 2 - 1. Is k(v) a prime number?
True
Let k = 50 - -87. Let r = k + 294. Is r a composite number?
False
Is 5 + -8 + (-332)/(-1) composite?
True
Suppose 0 = -4*a + 11 - 3. Let h(g) = g + 49 + 0*g**a + g**2 - 2*g. Is h(0) a prime number?
False
Suppose -4*v + 108 = -v + 3*l, -2*v = 3*l - 67. Let d be (6/4)/((-3)/(-4)). Is v/3 - d/(-6) composite?
True
Suppose 2*f - 229 - 76 = -5*l, -2*f = -l + 49. Is l a prime number?
True
Suppose 3*p + 4*x = -40, -2*p = -3*p + 3*x - 9. Let g(q) = -5*q - 9. Is g(p) prime?
False
Let o(p) = -p**3 - 7*p**2 + 7*p - 9. Let x be o(-8). Let i be x*1/(3/(-123)). Suppose 2*q = -2*d + q + 75, -d = 4*q - i. Is d prime?
True
Suppose 5*z - 2*u - 741 = 0, -2*z - 3*z + 753 = 4*u. Is z a prime number?
True
Suppose x = 0, 0 = 3*j + 2*x - 11 - 4. Let m = j + -3. Suppose m*w + w - a = 393, -2*w + 262 = 4*a. Is w prime?
True
Let k be 12/20 - (-554)/10. Let j = k - 35. Is j a composite number?
True
Let o be 216/28 + (-2)/(-7). Let b = 209 + o. Is b prime?
False
Is 47139/76*(-4)/(1*-1) a prime number?
False
Let u be -9*1/(9/(-6)). Is (-1)/((-4)/u)*14 composite?
True
Let b(r) = 50*r + 7. Is b(6) a prime number?
True
Suppose -996 = -3*z + z + u, 1990 = 4*z - 3*u. Is z composite?
False
Suppose 192 = 3*n + n. Suppose 441 = 3*z + n. Is z composite?
False
Let i be (8/(-6))/(2/6). Is 6/i*2 + 58 prime?
False
Let f be (10/3)/((-2)/(-3)). Suppose f*x + 6 - 41 = 4*w, 2*x + 2*w - 14 = 0. Suppose -8*q = -x*q - 37. Is q prime?
True
Let o be 3*(-1528)/(-12) - 3. Suppose -4*y - u + o = 0, -2*y + 5*u = y - 267. Is y a composite number?
True
Let m(v) = 0*v**2