osite?
False
Let x = 29 - 17. Let w = -8 + x. Is (-8)/(-12)*186/w a composite number?
False
Let u(k) = k**2 + 6*k + 10. Suppose -3*b + x - 20 = 7, 5*b - 5*x + 45 = 0. Is u(b) prime?
True
Let d be ((-4)/(-8))/((-2)/(-16)). Suppose 2*q = -5*r - q + d, 0 = 5*r + 2*q - 1. Is r*(2 - 1)*-53 prime?
True
Let x be (-75)/6*(-12)/15. Let i = 15 + x. Let u = 1 + i. Is u composite?
True
Let l(m) = 21*m**2 - 14*m + 43. Is l(-12) a prime number?
False
Let d = 17 - -17. Suppose 2*p = 6*p - 272. Let l = p - d. Is l prime?
False
Suppose -4*q = -0*q. Suppose -3*j + 7 = -d - q, 0 = 2*j - 8. Suppose -d*y + 1635 = r - 710, -5*y - 3*r = -2345. Is y a prime number?
False
Let k = 6 - 1. Suppose -128 = -k*n + 187. Suppose l - n = -3*d, 2*l - 5*d - 194 = -46. Is l a prime number?
False
Let k be (-2 - -18) + 2/(-2). Let w be 14 - (-2 - (2 - 2)). Let y = w + k. Is y composite?
False
Let l(t) = 2 - 1 + 9*t**2 - t**3 + 2 - 6*t. Is l(7) a prime number?
True
Let m be -16*(3 + -4)/1. Suppose 5*h - 14 - m = 0. Is (-2)/h - 202/(-3) prime?
True
Suppose -7968 = -4*w - 5*l, 0 = 4*w - 4*l - 9427 + 1495. Is w prime?
True
Let s(d) = -d**3 + 3*d**2 - 2*d + 1. Let y be s(2). Suppose 5*w - 3*n = -y, 4*w = 2*n - 3*n - 11. Is 2*(-2 + (-19)/w) prime?
False
Let p be 2/8 - 23/(-4). Let x(u) = -u**3 - p - 6 + 8*u + 8*u**2 - 2*u + 1. Is x(8) a prime number?
True
Suppose 443 = l - 102. Is l prime?
False
Let n be 2 + 0 - 1 - -1. Suppose -v - 2 = n*v - 4*t, 2*t = -v + 6. Suppose -b - 1 = -3*j - 14, -70 = -v*b - 5*j. Is b composite?
True
Let c = 240 - 163. Is c a composite number?
True
Suppose -55 = 5*a + u - 6, -5*a + 3*u = 53. Let g = a - -16. Is g a prime number?
False
Let i = 24 - 17. Let f = -4 + i. Suppose f*j + 0*j + 9 = 0, 5*n - 278 = j. Is n a composite number?
True
Suppose -2*f = -d - d - 1036, -f + 523 = 4*d. Is f composite?
True
Let f = 9228 + -6228. Is (-3)/7 - f/(-42) a prime number?
True
Let t be (-21)/(-2) + 4/(-8). Suppose 4*x + 12 = 0, -5*x + 7 = h - t*x. Let y(c) = c**2 + 5*c + 11. Is y(h) a prime number?
False
Let r(c) = 16*c**2 + 39*c. Let j(h) = -3*h**2 - 8*h. Let o(b) = -11*j(b) - 2*r(b). Is o(-11) a composite number?
False
Let u be ((-6)/(-4))/((-12)/(-32)). Suppose -74 = -5*q - 2*m, -u*m - 48 = -6*q + 2*q. Let a = -7 + q. Is a a composite number?
False
Let v = -715 + 1850. Is v prime?
False
Let a be ((-2)/(-8))/((-6)/(-24)). Is -2 + (-2 - -242) - a composite?
True
Suppose -t - t = i - 10, 0 = -2*i - 2*t + 10. Let f be i/1 - (-2 + 5). Is (f/2)/((-6)/40) composite?
True
Suppose p = -2*p + 213. Suppose -3*h + 184 = -p. Is h a prime number?
False
Suppose 0*m + 88 = 4*m. Let p be (-4)/m + 52/44. Is (-4)/(p - (4 + -1)) prime?
True
Suppose -6*p + 9017 = -5953. Is p composite?
True
Suppose 0 = 5*o - 3*a - 19, -o + a = -5*o + 22. Let w = o + 20. Is w a composite number?
True
Suppose 418 = 5*f + 8. Is 147/14*f/3 a prime number?
False
Let d = -280 - -437. Is d composite?
False
Let d be (-383)/2 + 1/2. Let t = -28 - d. Is t composite?
False
Let c(n) be the third derivative of n**6/30 + n**5/12 - n**4/12 - 2*n**3/3 - 5*n**2. Is c(3) prime?
False
Let i(c) = -c**2 - 3*c. Let f be i(-4). Suppose 0 = 3*u + 2*l - 1236, -3*u + 675 = 4*l - 555. Is u/(-12)*f/6 prime?
True
Let h = 16 + -10. Let n(u) be the second derivative of u**4/12 - 5*u**3/6 + u**2/2 + u. Is n(h) a prime number?
True
Let x = 1 + 3. Suppose h = -x*h. Suppose 19 = -h*k + k. Is k composite?
False
Let g(c) = -c**3 + 17*c**2 + 17*c - 26. Is g(11) a composite number?
False
Suppose -8 = -5*o - 3. Is 4/(-2) - (-17 + o) composite?
True
Let l(f) = -f**3 - 5*f**2 - 5*f + 5. Let r be 6/(-2*(-1)/(-2)). Is l(r) composite?
False
Let s(a) = -129*a + 23. Is s(-6) a prime number?
True
Let l(b) = b**2 + 6*b - 11. Let x be l(-8). Is 185 - ((1 - x) + 2) prime?
False
Let i(r) = 5 + 1 - r**3 - 11*r**2 + 4*r**2 + 0*r**3 + 13*r. Is i(-9) composite?
True
Suppose -9*x - 5*n = -4*x - 6410, 2*x - 3*n = 2564. Is x a composite number?
True
Let x = -10 + 10. Suppose x = j + 3*j - 236. Is j prime?
True
Suppose 3*u + 21 = 2*o, -5*o + 5*u - 5 = -50. Suppose -i + o = -4*i. Let w = 4 - i. Is w a composite number?
True
Suppose -7*p + 2*p - 10 = -5*z, 0 = 4*z - p - 20. Let v be ((-124)/z)/(2/(-9)). Let t = 170 - v. Is t a composite number?
True
Let t(z) = 2 - 3*z**2 + 4*z - 1 - 2 - 2*z**3. Let j be t(-3). Suppose -j = 2*x - 88. Is x prime?
True
Let a(p) = 102*p**2 - 9*p + 16. Is a(-7) prime?
True
Is (1*-2)/(4/(-322)) composite?
True
Let n(b) = -15*b + 9. Let g = -9 + 1. Is n(g) prime?
False
Let x be (2/4)/(7/42). Let r(w) = 21*w**2 - w + 1. Is r(x) prime?
False
Let p(v) = 93*v - 46. Is p(5) composite?
False
Suppose -i = -3, 2*j + 5*i - 58 = j. Is j a prime number?
True
Let b(u) = -34*u - 19. Is b(-29) composite?
False
Let u(r) = 2*r**2 - 6*r - 6. Let w be u(10). Is (0 + 1)/(2/w) a composite number?
False
Let n(q) = q**3 + 6*q**2 - 6*q. Let v be n(-7). Let r = -2 - v. Suppose r*t - 25 = 2*t + 4*p, 0 = -4*t - 5*p + 85. Is t prime?
False
Let h be 2/10 - 1881/5. Let r = -630 - h. Is r/(-4)*6/3 prime?
True
Let m be -1*(-6)/(-9)*15. Let d = m - -20. Is d composite?
True
Let p = 22 - 15. Let s = -4 + p. Suppose 0 = 4*x + 5*d - 152, -s*x - 5*d = 2*x - 185. Is x a composite number?
True
Let g be (2012/(-12))/(1/(-3)). Let p be g + (1 + -2)*-3. Let v = -283 + p. Is v a composite number?
False
Suppose -3*t = -5*t + 4. Suppose 85 = t*h - 3*a, 0*a - 2*a - 10 = 0. Is h a composite number?
True
Let g be 46/((0 - -1)*1). Let v = g + -27. Is v prime?
True
Let u be (6 - (1 - 1)) + -2. Suppose u*p = 65 + 267. Is p a prime number?
True
Suppose -4*g = 4*p - 3272, -3*p + 4*g + 2472 = g. Is p composite?
False
Let y be (66/(-12))/((-1)/2). Let j be (-11)/(-3) + 4/(-6). Suppose j*a - t + 0*t - 13 = 0, -3*a = t - y. Is a composite?
True
Let s(o) = -o**2 + 2*o + 1. Let m be s(3). Is m/3 - (-35)/3 prime?
True
Let l(c) = c**3 - 5*c**2 + 2*c + 5. Suppose -2*u = 2*u - 16. Let n be l(u). Is 19*(3 - 5 - n) composite?
False
Let b be ((-6)/2 - 0) + 0. Let m be ((-21)/(-5))/(b/(-105)). Let u = m + -78. Is u a prime number?
False
Suppose 2*r - b = -15 - 11, -5*b + 55 = -5*r. Let l = 68 + r. Is l composite?
False
Let p(i) = -51*i - 1. Let l be p(2). Let h be (-289 + -2)*(-16)/24. Let z = l + h. Is z composite?
True
Is 806/(-4)*30/(-15) prime?
False
Suppose -569 = 4*f - 1597. Is f prime?
True
Let i = 110 + -43. Is i a prime number?
True
Let r(y) = 83*y + 23. Is r(18) composite?
True
Suppose 5*q = 96 + 89. Is q a prime number?
True
Suppose 0 = 2*j - 8*j + 3246. Is j a prime number?
True
Let w(j) = j - 6. Let g be w(5). Let t = 12 + g. Is t a prime number?
True
Suppose 0*b - 3*b - 81 = 0. Let s = 6 + 26. Let j = s - b. Is j prime?
True
Let y(i) = 4*i**2 - i - 7. Suppose 14 = 4*c - 6. Let s be y(c). Suppose 0 = o - 5*o + s. Is o a prime number?
False
Suppose 3*t - 7*t - u + 2238 = 0, 3*t = -3*u + 1674. Let v = -223 + t. Is v composite?
False
Let a(b) = b + 1. Let t be a(2). Is (488 - (2 + 2)) + t a composite number?
False
Suppose -6*s + s + 10 = 0. Is 55/(2*1/s) a prime number?
False
Let a(k) = k + 2. Let n be a(-2). Suppose -3*s + 4 + 2 = n. Suppose 489 = s*v + v. Is v a composite number?
False
Suppose 0*u + 5*r = -u + 2, -2*r = -2. Let m = u + 7. Is 37/2 + 2/m composite?
False
Let r = -21 - 6. Let s be (-2 - -3)/(1/r). Let a = s - -49. Is a a composite number?
True
Let w be (25/15)/(1/3). Suppose -135 = w*u - 1070. Is u prime?
False
Let b(a) = -127*a - 8. Is b(-3) composite?
False
Let o(a) = -a + 6 - 3 + 4 + 0. Let w be o(5). Suppose -w*d - 2*d = -60. Is d prime?
False
Is 1/(-2) - (-2156)/8 composite?
False
Suppose 4*d = 4*n - 88, 2*n - 35 = 5*d + 3. Suppose n = 2*m - 2. Is m composite?
False
Let n(u) = 2*u**2 + 12*u - 1. Let f be (-3)/((-9)/3) + 1. Suppose s - 9 = f*s. Is n(s) prime?
True
Let w(o) = -o**3 + 7*o**2 - 5*o - 2. Suppose 0 = 2*q - 0*q - 10. Is w(q) a prime number?
True
Is 97/2*(4 - (-4)/(-2)) a composite number?
False
Let q(z) = -13*z**3 - 2*z**2 + 2*z - 1. Let p be q(1). Let i = -20 - p. Is ((-4)/5)/(i/255) a prime number?
False
Let s be 6/(-21) - (-2440)/14. Suppose s = 5*g + 19. Is g prime?
True
Let k(h) = -h + 5. Let u = 14 - 9. Let y be k(u). Suppose y = x + 10 - 31. Is x composite?
True
Let l(w) = 9*w**2 - 10*w - 8. Is l(-3) composite?
False
Suppose 314 = 2*p - 158. Suppose 3*x 