t v = 350 - -286. Suppose -f*m + v = -0*m. Is m a composite number?
True
Let t = -159 - -475. Suppose 0 = -v - 2*y + 48 + 31, 0 = -4*v + 3*y + t. Is v composite?
False
Suppose 5*n = 5*k + 60, -2*k - 2*k - 12 = 0. Suppose -p = -n - 13. Suppose -1 - p = -y. Is y composite?
False
Let o be -1 - (0/(-3) + -8). Suppose -o = 4*u - 43. Is u a prime number?
False
Suppose -5*a = -13 - 2. Suppose 5*l = a*l + 154. Is l a prime number?
False
Let v be (-1 - 0)*(1 + 2). Let y(g) = g**2 - 4. Let i be y(v). Suppose i*d - 94 = -2*r, 0*d + 131 = 3*r + 5*d. Is r composite?
False
Suppose b + 5*x - 110 = 0, x + 0*x = 4*b - 335. Is b prime?
False
Suppose -70 = 4*q + m, 3*q - 4*m = -76 + 14. Let h be -1*10*q/4. Suppose 151 = 4*k - h. Is k prime?
False
Let n = -28 - -71. Is n prime?
True
Let n(f) be the second derivative of -f**4/12 - f**3/6 + 21*f**2/2 + f. Let p be -4 + 0 + 4/1. Is n(p) composite?
True
Let w(l) = -l**3 + 24*l**2 - 21*l + 5. Let d be w(23). Let f be 2/(-6) + (-14)/(-6). Suppose a + d = f*a. Is a prime?
False
Let l(y) be the first derivative of 7*y**3/3 - 14*y - 5. Is l(7) a composite number?
True
Suppose 3*b - o - 4*o = 1520, -3*b + 1570 = 5*o. Is b prime?
False
Let w = -40 + 28. Let u = 0 - w. Let t = u - 1. Is t composite?
False
Let d be 0 + (3*-3)/(-3). Is 1*(d - (-3 - -4)) prime?
True
Let z(r) be the second derivative of 25*r**4/12 - r**3/6 - r**2/2 - r. Let x(f) be the first derivative of z(f). Is x(1) a composite number?
True
Suppose 0*s - s = -3*t + 3212, 4*t + 4*s - 4256 = 0. Is t a composite number?
False
Suppose 3*a + 1 + 5 = 0. Let k be a*(3 - (-14)/(-4)). Is (1 - -133)*k/2 composite?
False
Let q(l) = 10*l**3 + 4*l**2 + 1. Is q(3) a composite number?
False
Let j(c) = 3*c**2 - 3*c + 5. Is j(7) a prime number?
True
Suppose 0 = -2*t + 4*q + 2346 - 164, 3*t + q - 3301 = 0. Is t prime?
False
Let k be (1 - -2) + (-2 - -3). Let v be 2/(-8) - (-9)/(-12). Let t = v + k. Is t a composite number?
False
Suppose -y + 5*q = -21, -3*q - 3 - 9 = 0. Is (35/(-3))/(y/(-3)) prime?
False
Suppose -5*n - 12 = -37. Suppose -5*d + 70 = -n*r, -44 = -2*d + d - 5*r. Is d prime?
True
Suppose -4*g + 0*h + 3*h = -5, 3*g = 4*h + 2. Suppose -g*n = 3*n - 335. Is n composite?
False
Let k = -5 - -5. Suppose 3*u + 12 = k, -4*u - 116 = -5*r + 165. Is r a prime number?
True
Let g = -22 - -40. Suppose 2*l + g = -4. Is (2 - l/(-2))*-10 composite?
True
Let o(i) = 3*i**2 + 12*i - 1. Is o(-12) prime?
False
Let r = -87 - -281. Is r a composite number?
True
Let m = 0 + 0. Let g(s) = 2 - 1 + m + 2*s + 22*s**2. Is g(-2) prime?
False
Suppose -2*b = 4*h - 5*b - 271, 3*b = -3*h + 198. Is h a composite number?
False
Let v = -5 + 5. Let c(w) = -w + 8. Let i be c(v). Is 46/i - 2/(-8) prime?
False
Suppose -3*q - 5*w = -142, -97 = -4*q + 2*q - w. Is q a composite number?
True
Suppose 4*d = -d + 255. Let u = d + 26. Is u a prime number?
False
Suppose 2*j + 3*b = 411 + 234, j - 5*b = 316. Is j prime?
False
Let p = -28 + 69. Let w = p + -18. Is w a prime number?
True
Suppose -4*l - 2*m + 6 = 0, -5*l + 3 = 3*m - 4. Is 459/4 - l/(-8) prime?
False
Is (-2 - -3)/(4/628) a prime number?
True
Let f(s) = s**2 - 1. Let w(i) = i**2 + i + 1. Let o be w(0). Let x be f(o). Suppose -a - 1 + 5 = x, 3*d - 10 = 5*a. Is d a prime number?
False
Is (-57)/(-12)*20/5 a prime number?
True
Let a(x) = 6*x**2 + 1. Let z be 6/18*1*3. Is a(z) a prime number?
True
Let z be (-6)/7*42/(-9). Let m = z - -7. Is m prime?
True
Let t = -3 + 4. Suppose 0 = 2*w + t - 29. Is w composite?
True
Suppose -2*m = -5*z - 0*m + 1103, -3*m = -5*z + 1107. Is z a prime number?
False
Let j be (0 - -8)/2 + 2. Let z be 0 - j/9*-6. Suppose 3*m - 6*m - z*i + 122 = 0, 0 = 2*m - 2*i - 58. Is m composite?
True
Suppose -5*z = -2*z - 21. Suppose -8 = -5*t + z. Suppose 2*w - t*w = -7. Is w prime?
True
Suppose 0 = 2*q + 4 + 4. Let r = 6 + q. Is r/4*(107 + -1) a composite number?
False
Suppose 3*m - 1733 = 988. Is m a prime number?
True
Let r(t) = 2*t**2 - t + 1. Let b be r(1). Suppose -a = b*a. Suppose a = 3*u - u - 30. Is u composite?
True
Suppose 6*t = -2*i + t - 10, 2*t = -3*i + 7. Let z be (-8)/20 - (-2)/i. Suppose z = 4*g - v - 104, 0*g + 4*v = -2*g + 34. Is g prime?
False
Let p(w) = 115*w + 10. Let x be (-2)/(-5) + (-66)/(-10). Let h be p(x). Suppose 0*l + h = 5*l. Is l a prime number?
True
Suppose 3*l + o - 612 = -0*l, 0 = 4*l - 5*o - 835. Is l prime?
False
Let a(n) = 4 + 2*n - 4 - 5*n. Let u be a(-2). Suppose u*g - 31 = g - k, -2*k - 29 = -3*g. Is g a prime number?
True
Let o = 16252 + -8819. Is o composite?
False
Let r = -1 - 17. Is (-6)/4*708/r a prime number?
True
Let u(i) = -i**3 + 7*i**2 + 11*i - 9. Suppose 0 = -4*n - n + 10. Let a be (((-32)/n)/2)/(-1). Is u(a) a composite number?
True
Is 1649/13 - (-6)/39 prime?
True
Let a = 49 + 70. Is a composite?
True
Let u = 52 - 80. Let l = u - -81. Is l prime?
True
Let o(q) = -q**3 - 2*q + 3. Let m be o(-3). Let r = -8 + m. Suppose -a + r = h, 2*h + 4*a = 92 - 26. Is h a prime number?
True
Suppose 6*w - 717 = 3*w. Is w a composite number?
False
Suppose -41*m = -42*m + 1541. Is m a composite number?
True
Let w(s) = -s**2 + 9*s - 4. Let i be w(6). Let h = -33 + i. Is h/(-3) + (-2)/(-3) a composite number?
False
Suppose 4*r - 5*o - 2052 + 524 = 0, 2*r - 764 = 2*o. Let k = -117 + r. Is k composite?
True
Suppose 4*z - 4*t - 385 = 5*z, -z - t = 397. Let a = z - -592. Is a composite?
False
Let i = 11 + -15. Is ((-190)/(-8))/(i/(-16)) prime?
False
Suppose -637 = -r + u, -4*r + 2*u - 649 = -5*r. Is r a composite number?
False
Suppose 3*z - 12 = -0*z. Let r(g) = -3 - 3*g**2 - 3*g - 2 + z*g**2. Is r(-6) a composite number?
True
Let x be (-2)/(-4)*(3 - 5). Let a be (2 + x)*(-249 - 0). Is (-5 + 3)*a/6 a composite number?
False
Suppose 4*a = -2*m - m + 3488, m + 4341 = 5*a. Suppose -2*c = 3*l - a, l = 4*l + 5*c - 854. Is l composite?
False
Let j be (-1)/(-4) + (-26)/8. Let y(d) = d + 1. Let f(t) = -t**3 - 5*t**2 - 7*t - 6. Let n(k) = -f(k) - 4*y(k). Is n(j) a prime number?
True
Let q = 164 - 81. Is q prime?
True
Let f(w) be the second derivative of 5*w**4/4 - 2*w**3/3 + 2*w**2 - 2*w. Is f(3) composite?
False
Let w = -33 + 88. Is w prime?
False
Let p = 12 + 7. Is p a composite number?
False
Let m(b) = b**2 + b + 5. Suppose 0 = -2*d + 5*d - 45. Suppose -3*g + g - h + d = 0, -2*g + 17 = -h. Is m(g) prime?
False
Suppose 0 = 2*a + 5*r - 1027, -5*a - 2*r + 7*r = -2550. Is a composite?
True
Let c be (-2)/6*0*-1. Suppose -5*w + 3*t = -2*t + 75, -2*w + t - 32 = c. Let d = w + 50. Is d composite?
True
Let w = 9 - 3. Is ((-4)/w)/((-10)/825) a prime number?
False
Suppose -6 = 3*r - 24. Let p(j) = 21*j + 1. Is p(r) a prime number?
True
Let t(h) = -1 - 5*h - 4*h + 5*h. Is t(-9) composite?
True
Suppose v = 5*i - 12, -i = 4*v + i + 4. Is (v/3)/(2/(-537)) prime?
True
Let d(p) be the second derivative of p**3/6 + 5*p**2/2 - 7*p. Is d(8) composite?
False
Let s(o) = -o**3 + 5*o**2 + 8*o - 7. Let l be s(6). Suppose -t + 239 - 669 = -3*h, 426 = 3*h + 3*t. Suppose -l*m = -h - 32. Is m a prime number?
False
Let s(v) = -13*v**3 - 6*v**2 - 21*v + 4. Is s(-6) a composite number?
True
Let u(o) = 4 - 347*o**2 - 2 + 4*o + 350*o**2. Is u(-5) a composite number?
True
Let k = -217 + 516. Suppose 4*n - 297 - 183 = 0. Let y = k - n. Is y a prime number?
True
Suppose -240 - 582 = -3*c. Suppose -l - c = -5*y, -3*y + 5*l + 212 = 52. Is y a prime number?
False
Let z(m) = 6*m**2 - 12*m + 13. Is z(7) a prime number?
True
Suppose -4*h + 5 = -15. Is 148/(-10)*h/(-2) prime?
True
Suppose 5*a - 183 = 422. Is a prime?
False
Suppose 0 = 2*t - 3*t + 3*c - 10, 4*c - 8 = -4*t. Let v = 7 + t. Is v a composite number?
True
Suppose -4*w = -4*i - 12, 12 = 3*w + w + 4*i. Suppose 2*y + w*y = 1245. Suppose -3*v + 6*v - y = 0. Is v a prime number?
True
Let f be (-1)/2*-2 - 36. Suppose -2*v + v - 2 = 0. Is 2*1*f/v prime?
False
Is -3 - (-13 - -19)/(3/(-406)) prime?
True
Suppose c = -3*z - 20, -3*z - 2*c + 0 = 19. Let t = -11 - z. Is 23/3 + t/6 a prime number?
True
Suppose -i + 0 + 5 = 0, -z - 4*i = -313. Is z prime?
True
Let t = 13 - 6. Let j(d) = 2*d**2 + 8*d - 6. Let k be j(-6). Let h = t + k. Is h prime?
False
Let c be (-75)/18 - (-1)/6. Is 399 + (c - (0 - 2)) prime?
True
Let v = 1 + 4. Suppose 5*d - x = 1119, v*d - 1031 = 3*x + 96. Is d prime?
True
Let o be -2 - (0 - (