68 = m. Suppose -4*p - 130 = -m. Is p prime?
False
Suppose 146 = -4*f - 18. Suppose -3*w - 4*l - l = 248, 4*w + 320 = -4*l. Let d = f - w. Is d prime?
False
Let v = -52 - -57. Let p = -7 + 10. Suppose -v*u = -p*u - 114. Is u prime?
False
Let m(s) = 83*s + 3. Let y be m(5). Suppose -t + 3*t - y = 0. Is t a prime number?
False
Suppose n - 314 = -n. Is n composite?
False
Is 7 - (4 - 0) - (-1115 - -1) prime?
True
Let j be 6 + 0/(-2 - 1). Let y be 716/j - 2/(-3). Let c = -85 + y. Is c composite?
True
Let a(i) = -8*i. Let d be a(-1). Let p(j) = 6*j - 3. Let v be p(d). Let y = 82 - v. Is y a prime number?
True
Let o be 2/(-3)*6/4. Let f be (-1)/(-1)*(o - -5). Is ((-2)/(-4))/(f/1688) a prime number?
True
Let f(x) = x + 12. Let g be f(-7). Suppose t + 37 - 4 = 4*j, -5*j + 10 = g*t. Is j prime?
True
Suppose 0 = h - 6*h + 45. Let f be (3/h)/1*12. Suppose -f*c + m + 25 = -2*c, -3*c - 2*m + 55 = 0. Is c prime?
False
Suppose 0 = -3*m + 159 + 702. Is m prime?
False
Suppose 26 = 2*a - 0*u + 2*u, 38 = a - 4*u. Suppose -5*v = -20, 3*y - v + 4 = a. Is y composite?
True
Let k = -3 - -3. Suppose 4*t - 3*t - 5*x + 22 = 0, k = -2*t + 5*x - 19. Suppose -t*h = -a - 148, 0 = 2*h - 2*a - 13 - 87. Is h composite?
True
Let b = 27 + -17. Suppose -3*n + 4*n + 1 = 0. Let m = b + n. Is m prime?
False
Let k(g) = -4*g**3 + 5*g**2 - g - 1. Let f be k(-4). Let x = -154 + f. Is x a prime number?
False
Let g be (4/3)/((-4)/(-6)). Suppose -g*f + 23 = -7. Is f prime?
False
Let v = 7 - 0. Suppose -3*h + 8 = -v*h. Is (0/h)/(-3) - -35 composite?
True
Let u(w) = 17*w**2 - 1. Let j be u(1). Suppose v + 8*k - 17 = 3*k, 4*k = -2*v + j. Suppose -v*c + 28 = -14. Is c a composite number?
True
Let g(j) = -j + 5. Let d be g(5). Suppose y = -0*y - 3*o - 15, 2*y + 5*o + 25 = d. Is 4/(-2) - (-8 - y) a composite number?
True
Let v = 2278 - 417. Is v a prime number?
True
Let m(q) = q**3 - 3*q**2 - 3*q. Let s be m(4). Suppose 2*j = s, 62 + 178 = 2*c + 5*j. Is c composite?
True
Is (6/(-2) - -3649) + 3 composite?
True
Let h = 671 - 130. Is h prime?
True
Let s(k) = -52*k**3 + k**2 - 3*k + 3. Let i be s(2). Let o = 808 + i. Suppose j = -2*j + o. Is j prime?
True
Suppose -c = 3*y - 5387, 3*y - 5*c = 3408 + 2003. Is y composite?
True
Let n(b) be the first derivative of -b**5/60 + 7*b**4/12 + b**3 + 3*b**2/2 - 3. Let o(f) be the second derivative of n(f). Is o(7) composite?
True
Let d be 2/7 - 313/(-7). Let x = d + -31. Let n = x - -5. Is n a composite number?
False
Suppose 0 = 4*c + 2*m - 1230, 2*c + 2*m - 622 = -6. Suppose 2*t + 0*t - 3*i - c = 0, 3*t - 4*i = 463. Is t a prime number?
False
Let z(k) = -32*k**3 + 2*k + 1. Is z(-5) composite?
True
Suppose -3*g - 6 = 0, -3*n = -2*n - 2*g - 6. Is n a composite number?
False
Let q = -409 - -79. Let o = 493 + q. Is o prime?
True
Suppose -v = v + 4. Let m be v/(-1 - -2) - -63. Suppose m + 176 = 3*x. Is x prime?
True
Let b = 9 + -6. Suppose b*o = -4*h - 552, 5*o - 237 = -4*h - 781. Is (h/(-12))/((-2)/(-8)) composite?
False
Suppose 5*c = 8*c + 24. Is 2*1*(-804)/c composite?
True
Suppose 5*q - 10 = -2*f + 4, -5*q = 5*f - 20. Suppose -5*g = 3*y - 588, 4*g = -f*y + 72 + 322. Is y prime?
True
Suppose a + 3 = 3*t - 8*t, -5*t - 9 = 3*a. Suppose t = -4*p + s + 662 + 141, 3*p + 4*s = 607. Suppose -2*m + p = m. Is m a composite number?
False
Suppose -5 = 3*m + 1. Let w be (33/9 + m)*3. Suppose -w*a + 6 + 99 = 0. Is a composite?
True
Let q = 8 - 6. Suppose q*a + 3*a = 115. Is a a prime number?
True
Suppose -2*d - 2*d - 4*h = -168, 195 = 4*d - 5*h. Let v be 10/d + (-1598)/(-18). Suppose -6 = -5*k + v. Is k prime?
True
Suppose 3*d = 3, -2*d + 1079 = 3*b - 6*d. Is b composite?
True
Let s = 200 + 23. Is s composite?
False
Let f = 3999 - 2708. Suppose 6*k + f = 3*c + 2*k, -k = c - 442. Is c a prime number?
False
Suppose 4*a = 7*a - 48. Let k be 8/a*(0 - -6). Suppose -3*h = 4*o - 51, -8*o + 48 = k*h - 3*o. Is h composite?
True
Is (-2 - -4) + 1*545 prime?
True
Suppose -521 = -6*q - 173. Is q a prime number?
False
Let i be 10/4*24/20. Suppose -4*u + 92 = i*l, 0*u - l = -u + 23. Is u a prime number?
True
Let z(h) = -3*h - 12. Let j(g) = 5*g + 24. Let q(l) = 4*j(l) + 7*z(l). Is q(8) composite?
True
Suppose f + 451 = 2*f - 2*h, 1317 = 3*f + 3*h. Is f a composite number?
False
Suppose 0*f - 3*f + 22 = 2*y, -5 = -5*f + 3*y. Let n(c) = 3*c - 6. Let i be n(f). Let h(m) = m**2 - m - 8. Is h(i) prime?
False
Let i(v) = 2*v**2 + 4*v. Let k be i(-7). Suppose 0 = -w - w + k. Is w a composite number?
True
Suppose -10*b + 2596 = -6*b. Is b prime?
False
Let n = 763 - 276. Is n a prime number?
True
Let l = -87 + 338. Is l prime?
True
Suppose 2*k = 2*l + 2094, k + l = -3*l + 1027. Let h = k + -600. Is h a composite number?
False
Let o = 65 + 17. Let h(t) = -316*t + 1. Let f be h(-1). Suppose -5*c + f = o. Is c a composite number?
False
Is (-2154)/((-8)/(-32) - (-9)/(-4)) a prime number?
False
Suppose 4*c = -3*f + 2319, c - 577 = 3*f - f. Is c composite?
True
Suppose 4*b + 6 = 2*b. Suppose -5*a - 2*t = -68 + 222, 2*t - 56 = 2*a. Is -3 + 3 - b - a a prime number?
False
Let b = 12 + -7. Suppose -b*w + 296 = -499. Suppose -w = -s - 2*s. Is s a composite number?
False
Suppose 2*f - 3 = 1. Let x(i) = f*i - 2*i + 2*i**2 - 3. Is x(-3) a prime number?
False
Let a(x) be the second derivative of 5*x**4/12 + x**3/6 + x**2 + x. Let m(p) be the first derivative of a(p). Is m(3) composite?
False
Let o = 91 - 36. Is o a prime number?
False
Let s(t) = -26*t - 5. Let h(b) = b**2 + 14*b + 15. Let g be h(-13). Suppose -5*j + 3*c - c - 50 = 0, 0 = -j + g*c - 18. Is s(j) prime?
False
Suppose 0*v - 4 = 4*v. Let n be 2/(2*v) - -3. Suppose 0 = -h + n*c - c + 80, 0 = h + 4*c - 105. Is h prime?
False
Let u(l) = 46*l - 7. Is u(3) composite?
False
Let v be (1/1)/((-8)/(-208)). Let c be (-2)/6 - 32/(-6). Let h = v - c. Is h a prime number?
False
Is (-3)/(-6) - ((-182)/4 - -3) prime?
True
Let k = -1346 + 2019. Is k a composite number?
False
Let c = 13439 + -7860. Is c a composite number?
True
Let s(g) be the third derivative of g**5/30 - g**4/6 + g**3/2 - 2*g**2. Let q be s(2). Is (4 + q)*5*1 a prime number?
False
Let n(x) = -17*x + 1 - 3 + 5*x - 1. Let f = -7 - -4. Is n(f) composite?
True
Suppose -f = -2*j + 5, -2*j + 3*f = 2*j - 15. Suppose h + 924 = 4*s - 0*h, -4*h = j. Suppose 0*t = 3*t - s. Is t a prime number?
False
Suppose 4*t - 7*j - 2809 = -2*j, 2*j - 1400 = -2*t. Is t a composite number?
False
Let k = 1 - 0. Let f be k*(1 - (2 + -3)). Suppose 0 = -2*p + f + 24. Is p composite?
False
Suppose -4*k + 16 = -4*d, -4*k - d + 6 + 5 = 0. Let h(r) = -4 - 5 - r**k + 6*r - 5*r**2 + 0*r. Is h(-7) a prime number?
True
Suppose -3*z = -110 + 5. Is z prime?
False
Is (-582450)/(-270) - -4*1/(-18) prime?
False
Suppose u - 5*c - 178 = 0, 5*u - c = 873 - 103. Suppose 2*r = -r + u. Is r composite?
True
Suppose 3*y - 7 = r, -5*y + 9 = 2*r - 10. Let f = 0 + y. Is f a prime number?
True
Let s(q) = q**3 - 9*q**2 - 9*q + 1. Let c be s(8). Let l = -94 - c. Let z = -19 + l. Is z composite?
True
Let i = -1 - -4. Is (-719 - (3 - i))*-1 a composite number?
False
Suppose 50 = 2*s + 4*z, 3*s - 87 = -z - z. Let w = s - 53. Is w/(2/15*-3) a prime number?
False
Suppose -5*i = -349 - 66. Let w = 12 - -22. Let p = i - w. Is p a prime number?
False
Suppose -2*c - 2*c = 3*g - 1685, -c - 5*g = -434. Is c a composite number?
False
Let c = 24 + 102. Let h(i) = 11*i + 6. Let v be h(-5). Let w = v + c. Is w prime?
False
Let k = 7093 - 3380. Is k prime?
False
Suppose -3*n = 3*d + 3, -3*d - n + 1 + 6 = 0. Is 1/(-4) - (-233)/d a prime number?
False
Let v = 598 + -281. Is v prime?
True
Let o be -21*((-35)/(-15))/(-7). Let h(q) = q**3 + 5*q**2 - 7*q. Let i be h(5). Suppose -2*f + o*f = i. Is f prime?
True
Suppose -h + 1114 = 3*s, -4*s + 6*s + 5*h = 721. Is s a prime number?
True
Suppose i + 28 = 2*i. Suppose -5*g + 6 = 4*j - i, 3*g = -j + 19. Suppose -o + g*o = 485. Is o prime?
True
Let n(q) be the second derivative of q**4/3 - q**3/3 + 5*q**2/2 + 2*q - 17. Let i be 38/(-9) - (-2)/9. Is n(i) a prime number?
False
Suppose 1 + 3 = -2*o. Let u(z) = 10*z + 2 - 10*z - 12*z. Is u(o) a prime number?
False
Let v(b) = 7*b. Let f = 0 + 1. Let c be (6/f)/(1 + 1). Is v(c) composite?
True
Let k = -10 - -13. Suppose i - 6*i = k*l - 589, 0 = -5*l - 10. Is i a composite number?
Tr