 Is h(u) a prime number?
False
Let x(h) = -14*h + 13. Is x(-15) a prime number?
True
Suppose 0 = -0*v - v + 3. Suppose -2*j + 244 = 3*j - v*u, -5*j - u + 232 = 0. Is j a prime number?
True
Let u be (-1)/4 - (-65)/4. Suppose -7*t = -3*t - u. Is t*19 + (1 - 0) a composite number?
True
Suppose -20 = -6*g + g. Suppose -2*y + 18 = g. Is y composite?
False
Suppose 3*i + 8 - 32 = 0. Suppose o - 2*b = i, 0*b - 3*b - 19 = -5*o. Is (-2 + 0)/(o/(-57)) prime?
False
Let q(j) = j**2 - j - 5. Let y(d) be the first derivative of d**3/3 - 5*d**2/2 + 7*d - 2. Let s be y(5). Is q(s) composite?
False
Let c = -652 + 1815. Is c a composite number?
False
Suppose -2*j = -s + 163, 5*s + 8*j - 845 = 3*j. Let a = -102 + s. Let z = a - 39. Is z a composite number?
True
Let m be (-16)/((-312)/(-105) + -3). Let j = -231 + m. Is j a composite number?
True
Let l(b) = 167*b - 82. Is l(7) a prime number?
True
Suppose 3*a = 13 + 32. Suppose 0 = -k - a + 74. Is k composite?
False
Let j be 20*((-3)/2)/(-3). Suppose 0 = -2*z + 2. Suppose x - z = j. Is x prime?
True
Let k = -19 + 14. Let v = k + 64. Is v composite?
False
Is 19/(2*3/6) prime?
True
Let r(h) = -531*h + 2. Is r(-1) prime?
False
Let o = 19 + -13. Let w(p) = -5*p - 7 - p**3 + 10*p**2 + 2 - 2*p**2. Is w(o) prime?
True
Suppose g = -2*g - 63. Let l = 28 - g. Is l composite?
True
Suppose 4*i + 66 = 5*m - 3*m, 0 = -2*m + 2*i + 64. Suppose 0 = 2*x - 10, j + 0*x - 59 = -x. Let v = j - m. Is v a prime number?
True
Let b be (72/(-27))/((-4)/474). Suppose -i = 4*u + 219, 121 + 886 = -5*i + 2*u. Let l = i + b. Is l composite?
False
Let f = 74 - 51. Is f composite?
False
Suppose 0 = 2*v + 2*v. Suppose v = 2*z - 517 + 3. Is z/3 - 6/9 prime?
False
Let x(c) = 227*c - 19. Is x(6) composite?
True
Suppose -g = -2*g, 3*l - 12 = -3*g. Let w be l/2*(-5)/(-2). Suppose -4*b + 97 + 53 = 2*p, w*b = -2*p + 149. Is p a prime number?
False
Let g(l) = 6*l**2 - 3*l + 5. Let s = -1 + 10. Let q be g(s). Suppose q = 4*x - 0*x + 3*o, 5*o - 472 = -4*x. Is x composite?
False
Let i = 11 - 7. Suppose 0 = -d - 3*j + 121, -i*d + 502 = 3*j - 0*j. Is d prime?
True
Let g(i) = -9*i**2 - 1. Let z be g(1). Let w(c) = -c**2 - 8*c - 11. Let m be w(z). Let o = 122 + m. Is o a prime number?
False
Suppose l + 18 = 2*k - 2*l, 5*l + 10 = 0. Suppose 0 = 2*n + k*j - j - 1670, 5*n + 4*j = 4175. Is n composite?
True
Suppose 3*s = -4*b + 4408, -2*b - 3*s - 1087 = -3*b. Is b prime?
False
Suppose 3*s + 3*w = 1542, 1306 = -4*s - 2*w + 3356. Is s prime?
False
Let b be 2/((-2)/(-10)*2). Suppose -b*s + 113 = -t + 16, 2*t = 2*s - 42. Is s a prime number?
True
Let p(k) = -k. Let g(c) = -116*c + 5. Let d(m) = g(m) - 6*p(m). Is d(-3) prime?
False
Let l be 2/((-2)/(-1))*-7. Let q = l - -74. Is q a composite number?
False
Is -1*(-5)/(-5) + 12*1 prime?
True
Let u be (36/45)/(4/90). Let c = u + -5. Is c prime?
True
Suppose 3*l = 8*l + 10. Is -1 + 86/(l/(-2)) a prime number?
False
Let k = -11 - -59. Let d = k + -11. Is d prime?
True
Let s(i) = i**2 + 6*i + 15. Is s(14) a composite number?
True
Suppose -3*r - 10 = -31. Suppose -r - 8 = -5*h. Suppose 0 = h*i - 143 + 32. Is i prime?
True
Suppose -4 = -4*a + 8. Suppose 293 = 4*j - a. Is j prime?
False
Suppose h = 0, 2*h - 110 = -5*g - 2*h. Let y = 0 - 4. Is y/g - 70/(-22) prime?
True
Suppose -c + 324 + 527 = 0. Let d = c - 600. Is d a prime number?
True
Let j(d) = d**3 + 8*d**2 + 5*d + 3. Is j(-5) composite?
False
Let z(k) = 3*k**2 - 3*k - 13. Is z(5) a prime number?
True
Let u = 320 - 186. Is u a prime number?
False
Let z = -105 + 209. Suppose -4*l + 252 = -z. Is l a composite number?
False
Let o = -2 - 16. Let f = -12 - o. Let l = 19 - f. Is l prime?
True
Suppose 0 = -5*d - 2*a + 7801, -2*d = 3*a - 1746 - 1381. Is d composite?
False
Let r(o) = 54*o - 1. Let a be r(-1). Let y = 3 - a. Suppose 0 = -2*v - 4, -v + y = 4*p - 0*v. Is p a composite number?
True
Is (-1498)/4*(-7 - -5) a prime number?
False
Let o(h) = 15*h**2 - 3*h - 3. Is o(6) prime?
False
Suppose -s - 4*i + 489 = 0, 2*i = 3*s - i - 1392. Is s a prime number?
False
Suppose 0 = 42*z - 38*z - 11708. Is z composite?
False
Suppose 0*v = -3*v + 573. Is v composite?
False
Let p = 11 - 9. Is ((-52)/(-8))/(p/116) composite?
True
Suppose c + 13 = -0*q + 3*q, 0 = -4*c - 16. Suppose 4*g - 258 = y + 826, -q*y + 528 = 2*g. Suppose -5*o + 300 = 5*v, -2*o - g = -4*v - 0*o. Is v a prime number?
False
Let l(i) be the first derivative of 3*i**4/2 + i**2/2 - i - 1. Let d be l(1). Suppose -d*q = -q - 425. Is q a prime number?
False
Let k = 1181 + -808. Is k a composite number?
False
Let u be (-1*5)/(1/(-37)). Is u/((-4 + 3)/(-1)) composite?
True
Suppose -92 = -2*j - 0*j. Suppose -3*o + j = -233. Is o composite?
True
Let g = 3220 + -1859. Is g composite?
False
Let x(f) = f**2 + 14*f + 3. Let p be x(-13). Is (196/p)/((-18)/45) a composite number?
True
Suppose -2*u - b = -5*b + 22, -3*b = -4*u - 59. Is (u/(-3))/((-4)/(-132)) prime?
False
Suppose 0*i = -5*i. Suppose 5*l - 8 - 17 = 0. Suppose 0 = -i*c + 3*c - l*d - 95, -c - d = -37. Is c prime?
False
Let k(r) = r + 6. Let v(a) = -a + 4. Let m be v(4). Let s be k(m). Let w(z) = z**2 - 3*z + 5. Is w(s) composite?
False
Suppose -2774 = 5*d - 8779. Is d a composite number?
False
Suppose -5*y = -2*b - 15, -5*b - 7 = -3*y + 21. Suppose k = l + y, l - 5*k + 0 + 17 = 0. Suppose 4*s - 814 = -2*z, -l = 4*z - 7. Is s composite?
True
Suppose 2*s + 2*s = -28. Let f = 10 + s. Suppose f*j = 8*j - 445. Is j a prime number?
True
Suppose -k + 251 = 2*k - v, -5*v - 93 = -k. Is k a prime number?
True
Let c(i) = -5*i**2 - 5*i - 12. Let h(j) = 5*j**2 + 6*j + 11. Let k(p) = 4*c(p) + 5*h(p). Is k(-6) composite?
False
Let f(s) = 73*s - 23. Let m(z) = 37*z - 12. Let w(r) = -6*f(r) + 11*m(r). Is w(-7) composite?
False
Suppose -2*q = -3*t + 13, 9 + 9 = 4*t - 2*q. Let z be (-24)/(-5) - (-1)/t. Suppose -z*p - 2*j + 661 = 0, -4*p = -p - 4*j - 407. Is p composite?
True
Suppose -4*i - 6 = 4*t + 18, t - 10 = 3*i. Is (83 - t)*(-2)/(-5) a composite number?
True
Suppose 0 = -12*b + 7*b - 85. Is (-5 - -14)*b/(-3) a composite number?
True
Suppose 0 = -2*s + 12 - 0. Suppose -3*d - 231 = -s*d. Is d prime?
False
Let c(k) = -6*k - 4*k**2 + 0*k**2 + 7 - k**2 + k**3. Let j(f) = f**2 - 3. Let i be j(3). Is c(i) prime?
True
Suppose s + 3*w - 2 = -1, 5*w - 5 = -5*s. Let c = s - -3. Suppose -6*d = -c*d - 286. Is d a prime number?
False
Let x(j) = 3*j**2 - 3*j - 5. Is x(4) composite?
False
Let p be (-9)/(11/(-4) - -2). Let q be p/42 - (-915)/7. Suppose 0 = 5*i - 24 - q. Is i prime?
True
Let n(i) = 2*i**3 + 19*i**2 + 8*i - 9. Is n(-8) a prime number?
False
Suppose -b = 5*n - 2*n - 990, 1661 = 5*n - 2*b. Is n prime?
True
Let c(q) = q**3 - 7*q**2 + 6*q - 4. Suppose -2*a + 12 = -0*a. Let l be c(a). Is 18/l*(-4)/3 a prime number?
False
Let r = 11 - 8. Let i(v) = -26*v - 9 - 5*v + r. Is i(-7) a prime number?
True
Let s(y) = 3*y - y + 3 + 9 + 0*y. Let d be s(9). Let z = -15 + d. Is z composite?
True
Let m = -3168 + 5671. Is m a prime number?
True
Let h(x) = -140*x**3 + 3*x + 2. Let i be h(-2). Is 6/9*i/8 prime?
False
Suppose 0 = 4*k + o - 506, 3*k - 409 = -4*o - 36. Is k a composite number?
False
Let k(m) = m**2 + 10*m - 7. Let a be k(-9). Let t be 967/(-3) - a/(-24). Let b = -196 - t. Is b a composite number?
False
Let g = -1 + 4. Suppose -3*q = -r - 692, -g*q + 7*q - 920 = 2*r. Suppose -2*c + 7*c - q = 3*p, -3 = -3*p. Is c a composite number?
False
Suppose 2*o - 2*w - 75 = 87, 2*w = -4*o + 312. Is o a composite number?
False
Suppose 1 = -4*a - 4*c + 17, -c = 0. Suppose 3*j - 1109 = -3*v + 7*j, -4*v + a*j = -1480. Is v a prime number?
False
Let a = -8 + 13. Let g(f) = 2*f - 4 + 1 + a*f**2 + 4 - 2*f**2. Is g(-2) prime?
False
Let f(r) = 131*r - 10. Is f(7) prime?
True
Suppose -4*s + 3*s = 556. Let a = s + 893. Is a a prime number?
True
Let k = -1 + 5. Suppose k*h = -12, 3*f = 4*h + 12 + 18. Is (2/f)/(2/390) composite?
True
Let o(t) = -t**2 + 118. Is o(0) prime?
False
Suppose 4*i - 4*d - 20 + 0 = 0, -30 = -4*i - d. Let g = i + -7. Suppose f + 4*f - 635 = g. Is f a prime number?
True
Suppose -4*h = -5 - 23. Suppose 2*r = -4*i + 54, 3*i + h*r = 3*r + 33. Is i a prime number?
False
Let d(g) = 18*g - 9. Let p(z) = 5. Let h(m) = -3. Let j(l) = 7*h(l) + 4*p(l). Let q(x) = -d(x) + 4*j(x). Is q(-5) a prime number?
False
