mposite number?
True
Suppose -3*b - 4*u = -4097, 0 = 5*b - 9*b - 2*u + 5466. Is b prime?
True
Is (-2073)/(-9)*6*2/4 composite?
False
Let g(h) be the first derivative of -h**3/3 - 6*h**2 - h + 3. Is g(-8) composite?
False
Let m = -2 - -2. Let p = -5 + 7. Suppose -2*a + 40 - p = m. Is a a prime number?
True
Let a be (-510)/(-6) + 0 + 4. Suppose -10 = n - a. Is n a prime number?
True
Let r be (15/(-5))/(3/(-2)). Suppose -2*v + 2 + r = -2*x, 5 = -5*v. Is (1 + 276/(-9))*x a prime number?
True
Suppose g + 4*g - 2051 = 3*s, -3*g - 5*s = -1217. Is g prime?
True
Let n(c) = c**2 - 7*c + 2. Let z be n(9). Is (z/(-12) + 2)*201 a composite number?
False
Let c(s) = 4*s**2 + s + 1. Let y be c(-1). Suppose -r - 3*r - y = 0. Is r*(2 + -7) + -2 composite?
False
Suppose 0 = 4*f - 3*t + 9, 0 = -0*f - 5*f + 3*t - 9. Suppose -3*l + 4*z + 369 = 0, 2*z = -4*l - f*l + 470. Is l a composite number?
True
Let d = -3729 + 5464. Is d composite?
True
Is (-1 - (-568)/2) + 4 a prime number?
False
Suppose 0 = -0*s + 3*s + 3. Is s/(-2)*2 - -300 composite?
True
Let f(g) = 12*g + 1. Suppose -m + 4*m - 9 = 0. Is f(m) prime?
True
Let g(p) = -41*p**3 + 2*p**2 - p - 2. Let s be g(-2). Let q = s - 187. Is q composite?
False
Let x = 407 - -228. Is x prime?
False
Let n be (4/12)/(2/42). Suppose -127 - n = k. Let p = k - -187. Is p prime?
True
Let n = 3259 - 2241. Is n a prime number?
False
Let b be (-3)/(-3)*9*1. Let p = b - 4. Suppose 6*f - p*f = 21. Is f composite?
True
Suppose 3*r = -4*f + 44, 6*f = -r + 2*f + 4. Suppose -3*p - 64 = -4*a - 4*p, -5*p + r = 0. Is a a composite number?
True
Suppose -1144 = -3*a - 265. Is a a composite number?
False
Suppose 2*x = 5*f - 144, -1 = -4*x - 9. Suppose -3*s + 26 = 2. Suppose f = 2*k + s. Is k a composite number?
True
Suppose 5*v - 4944 = 4*c - 1563, -3*c - 685 = -v. Is v prime?
True
Suppose 7*p = 4*p + 177. Is p prime?
True
Let r = -11 + 24. Is r a composite number?
False
Suppose -2*f + 1 = -s - 4, 2 = -4*s - f. Let y(z) = -26*z - 1. Is y(s) composite?
True
Let j(k) = 4*k + 1. Let c(w) = -w. Let u(r) = -4*c(r) + j(r). Let l be u(-1). Is (-875)/l + (-1 - -3) a composite number?
False
Let y = 4 - 0. Suppose y*j = 6*j - 6. Is j prime?
True
Is (3/(-6))/((-3)/318) a composite number?
False
Let h = 212 + -25. Is h a prime number?
False
Suppose -m - 3*x = 2*x - 9, 2*m = 2*x + 42. Is m a composite number?
False
Let x be (1 + 0)*(-1 - -1). Suppose x*k = k - 107. Suppose -v + 4*d + k = 0, 5*v + 165 = -d + 805. Is v a prime number?
True
Suppose 5 = -5*z - 0. Let q be (6/4)/((-6)/(-8)). Is 122 - 1/(z + q) a composite number?
True
Let m be (-4)/1*1182/(-8). Let b = 314 + m. Is b composite?
True
Let f(a) be the first derivative of -a**4/4 + 10*a**3/3 - 7*a**2/2 + 8*a + 1. Is f(9) a prime number?
False
Let n(q) = -20*q + 17. Let m(x) = -10*x + 9. Let w(y) = 11*m(y) - 6*n(y). Let k be w(3). Is (-32)/(-18) + 6/k a composite number?
False
Let z be (10/4)/(4/8). Suppose -5*m = 4*x + 413, -2*m - 185 = -0*m - z*x. Let p = m + 120. Is p a composite number?
True
Let f = 19 + -16. Suppose 6*h = f*h + 3*a + 1206, -h + 427 = 4*a. Is h a composite number?
True
Let m(h) = h**3 - 8*h**2 - 3*h - 4. Suppose 4*u = u + 27. Let l be m(u). Suppose 0*c = -2*c + 2*a + l, a + 51 = 2*c. Is c prime?
False
Suppose -5*x = g - 15, -g + 4*g = 15. Suppose x*z = 222 + 104. Is z a prime number?
True
Suppose -3*r + 0*r + 8 = -4*t, 2*t - 40 = -4*r. Suppose 3*x - 31 - r = 0. Is x a prime number?
True
Suppose 2 = -m, f + 37 = 2*f + 5*m. Is f composite?
False
Let a(r) be the second derivative of 26*r**3/3 + r**2/2 + 6*r. Is a(3) a composite number?
False
Let h = 14 - 6. Suppose -2*d - h = 2*f, 5*d + 3 = 3*f - 1. Is (95 + 3)*f/(-4) a prime number?
False
Let q = 65 + 119. Let x = -105 + q. Is x a prime number?
True
Let v be (-840)/9 - 2/3. Let y = v - -135. Is 2/(-3) + y/3 composite?
False
Suppose 2*x = 6*x. Let q = x + 0. Let g = q - -25. Is g prime?
False
Suppose 107 = -2*t + 345. Suppose -5*q + 131 = w, -w - 4*q + t = -5*q. Is w composite?
True
Suppose 6*a - a = 70. Suppose -a - 21 = -5*l. Is l composite?
False
Is 8/10*3405/6 prime?
False
Let b = 484 + -137. Is b a composite number?
False
Suppose 6005 = 34*z - 29*z. Is z a prime number?
True
Let h(v) = v**2 + v + 3. Suppose o - 4 - 1 = 0. Let x = -10 + o. Is h(x) composite?
False
Suppose 4*h + 493 - 2253 = 0. Suppose h = 4*w + 4*z, -2*w + 440 = 2*w + 2*z. Suppose 5*y = 485 + w. Is y prime?
False
Suppose 0 = -2*v + 4*n + n + 133, -5*n = -4*v + 251. Is v prime?
True
Is ((-92)/8)/(4/(-104)) prime?
False
Suppose -j = -5*j + 380. Is j prime?
False
Let v(r) = 1248*r**3 - 3*r + 4. Is v(1) prime?
True
Let g = 15 - 11. Let s be 0/1 - (7 - 17). Suppose 2*z - s = 4*z, -g*z = -c + 33. Is c prime?
True
Let v(u) = 2*u**2 + 12*u - 12. Let m be v(-9). Suppose -n - 2*n + m = 0. Is n a prime number?
False
Suppose 2*n - 468 = -3*t - t, 4*t = 3*n + 488. Is t composite?
True
Is 1*((-1 - -1) + 157) a composite number?
False
Let p(s) = 18*s + 89. Is p(15) prime?
True
Suppose -2*n = 2*j - 5*n + 8, -18 = -5*j - 2*n. Let h be (-1 - 1)/(j/(-3)). Suppose 2*g - h*g + 14 = 0. Is g a prime number?
False
Let f = 45 + -12. Let z = -51 + f. Let t = z + 65. Is t composite?
False
Is (-1)/(2 - (0 - 3052/(-1524))) prime?
False
Let k be 2/(-6) + (-37)/(-3). Let t = 5 + k. Is 1 - t*-5 - -1 prime?
False
Suppose -4*a = 3*l - 8111, -5*a + 8110 = 3*l - 0*l. Is l prime?
False
Suppose -2*f + 4*b = -78, -14 = -2*f - 5*b + 28. Is f composite?
False
Let t = -37 + 347. Suppose t = -s + 6*s. Suppose 0*a + 2*a - s = 0. Is a prime?
True
Suppose -2*o - 2*d = 3*d - 362, 593 = 3*o - 5*d. Is o a composite number?
False
Let x(c) = c**3 - 5*c**2 - 2*c + 9. Let s be x(7). Suppose -t = 2*t - s. Is t a prime number?
True
Suppose -3333 = -7*o + 11738. Is o a prime number?
True
Let m = 4 + 1. Suppose 8 - 33 = m*y, -4*y - 32 = -4*n. Suppose -n*t + 28 = t. Is t a prime number?
True
Is 250 + (0 + 2)/2 prime?
True
Let d(j) = -j**3 - 2*j**2 - 2*j - 1. Let k be d(-2). Suppose -6*s + 255 = -k*s. Is s a composite number?
True
Suppose b = -11*b + 30972. Is b prime?
False
Is (-2 + 1)*3 - (-8824)/2 composite?
False
Suppose 0 = 2*j - 4*a + 2, 4*j - 1 + 18 = -5*a. Is (-670)/j - (-1)/(-3) a composite number?
False
Suppose 3*g + 12 = -4*h, 5*h = -2*g - 2*g - 15. Let f = -1 + g. Is (39 + -1)*f/(-2) composite?
False
Suppose -518 = -4*d + 2*f, -2*f - 3*f = -5*d + 660. Is d a prime number?
True
Suppose -23 = 5*i - 3*c - 4, 2*i - 3*c + 13 = 0. Let b be 0/i + (-1 - 71). Let m = 103 + b. Is m composite?
False
Is -1 + (-156)/(-9)*27 prime?
True
Let j be 5/2*(-6 - -4). Let p be ((-16)/(-6))/(j/(-15)). Suppose 4*y + 316 = p*y. Is y a composite number?
False
Suppose -4*y - 14 = -4*u + 6, -2*u + 5*y = -25. Suppose 0 = 4*a - 2*w - 94, -a + 2*a - 4*w - 34 = u. Is a prime?
False
Let t(a) = a**2 - a - 2. Let f be t(-2). Let u(n) = -n**3 - 4*n**2 + 2*n - 3. Let r be u(-5). Is (-1)/f - (-1431)/r composite?
True
Let b = 16 - 10. Suppose -4*x + b = -18. Suppose -3*f - 5*i = -19, -14 + x = 2*i. Is f a prime number?
True
Let j(n) be the third derivative of -5*n**4/24 - 2*n**3/3 - 3*n**2. Let h(v) = -10*v - 7. Let t(d) = -4*h(d) + 9*j(d). Is t(-9) a prime number?
True
Let i = 21 + 79. Let m = i + -63. Is m composite?
False
Let p be ((-2)/(-1) - 1) + 3. Suppose -a - 5*y + 382 = 0, -3*a = p*y - 5*y - 1146. Suppose -f - f = -a. Is f prime?
True
Suppose 2*s = 238 - 24. Let p = s - 74. Suppose -99 + p = -2*t. Is t prime?
False
Suppose 4*q + 99 = -i, -3*i - 3*q = -6*q + 357. Let o = i - -170. Is o a prime number?
False
Let t(k) = -4*k - 232. Let b(z) = -5*z - 231. Let x(u) = 3*b(u) - 4*t(u). Is x(0) a composite number?
True
Let w be (-72)/1*(-3)/4. Suppose w = 4*i + 2*c, -4*i = 3*c - 80 + 21. Is i composite?
False
Let p = 4 - 1. Suppose 0 = 3*i - p, -n - 2*i = -5*i. Suppose v - n + 1 = 0. Is v prime?
True
Let h = -4 + 7. Suppose h*q = 6*q. Is q + 52 + (-3)/(-3) a composite number?
False
Let p be 8/16 - 7/(-2). Is p*((-103)/(-4) - -3) a composite number?
True
Suppose 24 = 3*q - 9. Is q composite?
False
Is (-6066)/72*-1*4 prime?
True
Is -314*(6/(-4))/3 a prime number?
True
Let j be 0/(-3*2/3). Suppose 0 = -x - 2*w + 10, 4*x + w + j = 19. Suppose 21 = x*q - 3. Is q a composite number?
True
Let p = 6282 - 3079. Is p composite?
False
Let p = 607 + -