prime number?
False
Let m(u) = -7*u**2 - 4*u - 8. Let s be m(-4). Let z(t) = -t**3 - t + 1. Let y be z(2). Let c = y - s. Is c prime?
False
Suppose 3*s - 1465 = -a + 419, 4*s = 3*a + 2525. Is s composite?
True
Suppose -13*r = -11*r + 5*n - 2538, 0 = 4*r + 2*n - 5044. Is r a prime number?
True
Is (-6962340)/(-100) + (-2)/5 prime?
True
Suppose 3*n - 1 = 4*t + 4*n, 0 = -t + 2*n + 2. Suppose 0 = -q + 5*h - t*h + 10149, -5*h = 4*q - 40496. Is q prime?
False
Suppose w - o - 4 = 0, 2 - 6 = -3*w + 5*o. Suppose -3*p - 4 = w. Is (2 + -55)/(4/p) a composite number?
False
Let w be 0/((-7)/((-14)/6)). Suppose -b + 863 + 975 = w. Is (-12)/(-3)*b/8 prime?
True
Let j = 3075 - 2010. Let z(c) = 2*c**2 + 68*c - 71. Let g be z(-35). Is g/4 + j/20 a composite number?
False
Is (-1)/(-3) - ((-2104685)/(-15))/(-17) composite?
True
Let h = 11 - 8. Suppose -h*z + 668 = -7*z. Is -2*(z/2 - 0) prime?
True
Let v(g) = -29*g + 2. Let y(t) = -t**2 + 11*t - 11. Let p be y(10). Is v(p) prime?
True
Let y(r) = -r. Let v(j) = 34*j - 3. Let h(x) = -v(x) + 3*y(x). Is h(-2) composite?
True
Let d be 3/(7 - 4 - 2). Suppose -4*r = d*r - 2429. Is r a prime number?
True
Suppose 0 = -7*g + 6*g + 41113. Is g prime?
True
Let d = -547 + 360. Let w = -397 + 671. Let z = w + d. Is z a composite number?
True
Suppose -4*h = -2*h - 6. Let s(w) = w. Let d be s(2). Suppose h*u + 0*u = q - 266, -d*u = q - 251. Is q composite?
False
Let i(o) = o**2 - 6*o + 5. Let s be i(6). Suppose -s*t = -3*t. Suppose -5*z + 984 + 881 = t. Is z composite?
False
Let t be 2/7 - 30/7. Is -4 + 3 - t - -424 prime?
False
Suppose 8 = 3*z - 4. Let a = z + 1. Suppose 2*c = 5*v - v - 88, a*v - c - 110 = 0. Is v prime?
False
Let s(p) = -7*p**3 + 3*p**2 + 12*p - 29. Is s(-10) a prime number?
True
Let b(m) = 44*m - 1. Let u = -6 - -9. Suppose 4*o = d, -2*o + u*d + 0*d - 10 = 0. Is b(o) prime?
True
Let q(b) = -15 - 7*b + 9*b + 37. Let t be q(0). Suppose -3*y - 4*s = -t, 5*s - 51 = -4*y - 20. Is y prime?
False
Suppose -14 = -3*f - 11. Is (34 + (-5 - -4))*f prime?
False
Let h(y) = 180*y + 11. Suppose -5*o + s = -13, 2*o - 23 = -3*o - 4*s. Is h(o) composite?
True
Suppose 0 = 4*k + 4, -3*h - k + 2759 = 3*k. Is h composite?
True
Let z(x) = x**3 - 10*x**2 + x + 8. Let t be z(6). Suppose 0 = 2*q - 6*q - 300. Let o = q - t. Is o composite?
True
Suppose j = -h + 9, h - 3*j = -5*j + 14. Let s be h/10 - (-144)/40. Suppose 0*y - s*y = -1348. Is y a prime number?
True
Suppose 0 = -4*b + f + 125104, -4*b - 5*f = -76901 - 48227. Is b composite?
False
Let c be (16/12)/(-4)*-15. Let t(x) = -2*x**3 + 7*x**2 - 10*x. Let s be t(c). Let n = 178 + s. Is n a prime number?
True
Let c(k) be the third derivative of 1/120*k**6 - 17/24*k**4 + 0*k + 0 + 5/3*k**3 - 11/60*k**5 + 6*k**2. Is c(13) composite?
False
Suppose -4*n = -680 - 340. Let x = -182 + n. Let i = x - -16. Is i composite?
False
Let d be 2/(-9) - (-47)/9. Suppose -13 = -4*v - p + 219, p = d*v - 290. Suppose -3*x + 4*y = -x - 18, 3*y = -5*x + v. Is x a composite number?
False
Suppose 5*x + 4*v - v - 7100 = 0, -v - 1428 = -x. Is x composite?
False
Suppose l - 4*l + 34 = 4*d, -49 = -3*l - d. Let t be 1/3 + 1200/l. Suppose o - t = -16. Is o a prime number?
False
Let l = 4 + 29. Suppose 3*x - 6 = -0*x, -5*f + l = 4*x. Suppose -4*h - f*j = -3*h - 474, 5*h = j + 2240. Is h prime?
True
Let k(h) = -h**3 - 9*h**2 - 2*h - 5. Let d be k(-9). Suppose 1 = -4*i + d. Suppose -i*q + 17 = 4*c - 59, 3*q + 76 = 4*c. Is c prime?
True
Suppose 47412 = -106*i + 110*i + 2*z, -i = 5*z - 11871. Is i a prime number?
False
Suppose 5*k = 4*k + 6. Let x(t) = -206*t**3 + 5*t**2 + 4*t - 8. Let u(j) = -j**3 - j**2 - j + 1. Let c(l) = k*u(l) + x(l). Is c(-1) prime?
True
Let u = -624 + 4337. Is u prime?
False
Suppose 0 = l - 6*b + 3*b - 18587, -5*l - 2*b + 93003 = 0. Is l a composite number?
True
Suppose -163*g + 8218 = -156*g. Is g a composite number?
True
Suppose 2*h + 5*x = 15671, -7993 = 3*h + 4*x - 31503. Is h composite?
True
Suppose -504 = -4*g + 312. Let x be (-1 + 0)*g - 1. Let o = x - -584. Is o a prime number?
True
Suppose -3*l - 5 + 11 = 0. Suppose 0 = l*m - 3*m - 1, 2771 = 2*d - m. Is d composite?
True
Let m(x) = x**3 + 7*x**2 + 3*x + 6. Let p be m(-6). Let l be (6/12)/(2/p). Suppose 2*z = l*z - 232. Is z composite?
True
Suppose 15 = -3*m, 43*b - 42*b - 2*m - 6957 = 0. Is b a composite number?
False
Suppose -5*y - f = -1155 + 4866, -4*y - 2967 = -f. Let h = y + 402. Is h/(-2 + 0) - 1 composite?
True
Let p = 47 + -42. Suppose -3*i = p*b - 1033 - 234, 3*b = -i + 761. Is b a composite number?
True
Let t = -5 + 3. Is 7 + -11 + (-114)/t prime?
True
Let o(f) = 2*f - 2. Let n be o(5). Let r(l) be the first derivative of -l**4/4 + 3*l**3 + 3*l**2 + 7*l + 2. Is r(n) a composite number?
True
Suppose 96 = 6*g - 84. Is ((-1155)/g)/((-1)/2) a prime number?
False
Let c(h) = 6*h**2 - 27 - h**2 - 2*h + 24. Is c(-2) a composite number?
True
Suppose 74867 = -13*z + 265954. Is z a prime number?
True
Suppose 8*j + 9 = 5*j. Is -3 - -2 - (j + -125) - 0 prime?
True
Suppose -3*s = -3*r - 8*s + 4, -3*r + 13 = -4*s. Let m(z) = 136*z + 8. Let d be m(6). Suppose -t = r*t - d. Is t composite?
True
Let v be -93 + 4 - -1*1. Let b = -267 + 452. Let i = v + b. Is i a prime number?
True
Suppose 3*a - 3*f = 624, -396 = -4*a + 2*a - 3*f. Suppose -5*y + 9*y - a = 0. Is (-4)/(-12)*0 + y a prime number?
False
Suppose 1820*u - 36678 = 1814*u. Is u composite?
False
Suppose 2*y + 0*y - 2 = 5*q, -14 = 3*q + 2*y. Let l be (6/(-4) - q)*74. Suppose f - 2*f = -l. Is f prime?
True
Let g be (11 - -1)/(4/2). Suppose -12127 = -5*f + 2*v + 1372, -g = -2*v. Is f a prime number?
False
Let m(p) = -p**2 - 2*p + 4. Let l be m(0). Suppose -l - 2 = -4*s - g, 2*g = -2*s. Suppose -2*q = s*q - 4388. Is q a prime number?
True
Suppose 2*h + 5220 = 5*h. Let c = -263 + h. Is c a prime number?
False
Suppose a - 261 = -0*z + z, 5*a - 1311 = 2*z. Is a a composite number?
False
Suppose -14*u + 4716 = -199558. Is u a prime number?
True
Suppose -v - 534 = 22*r - 20*r, 0 = 4*v + 2*r + 2142. Suppose -3*n - 410 = -n. Let c = n - v. Is c a prime number?
True
Is (3 + -2)/(-1*(-2)/6658) composite?
False
Suppose 6646 + 6740 = 6*p. Is p prime?
False
Let p = 18 + -22. Let d be (-3 + (-10)/p)*-6. Suppose 3*z + d*m = 54, -z - 4*m = -0*m - 3. Is z a composite number?
False
Suppose 3*v - v + 6 = 3*t, 20 = 4*v + 2*t. Is (-3 - -106) + 0/v a prime number?
True
Let z(w) be the second derivative of -3*w + 1/4*w**4 - 4*w**2 + 0 - 5/3*w**3. Is z(9) prime?
False
Is (-3 + -1178)*1*(-14)/2 composite?
True
Let m(c) = -67*c - 18. Let g = 25 + -30. Is m(g) composite?
False
Let v(a) = 13*a - 29. Let q(i) be the first derivative of 17*i**4/4 - i + 9. Let y be q(1). Is v(y) composite?
False
Suppose 2*m - 87011 = 3275. Is m a prime number?
False
Suppose 2*s - 40 = -6*s. Suppose s*d + 2525 = 3*z, -d + 4159 = 5*z + 3*d. Is z a composite number?
True
Let l(u) = -61*u - 27. Let g be l(-7). Is g - 0 - (3 - 0) prime?
True
Suppose 9*u = -11*u + 14*u. Suppose 5*s = -3*k + 1157, -4*k = -4*s - u*s - 1500. Is k composite?
False
Suppose -367*b + 12330 = -369*b. Suppose 9 - 114 = 5*w. Is b/w + (-16)/28 a prime number?
True
Suppose 0 = -4*y + 10*y - 54. Let m(i) = 3*i - 11. Let q be m(y). Suppose -k + 7 = -q. Is k composite?
False
Let s(b) = -132*b - 25. Is s(-14) prime?
True
Let f(g) be the third derivative of -g**8/6720 + g**7/315 + g**6/180 + g**5/120 - g**4/6 - 7*g**2. Let d(s) be the second derivative of f(s). Is d(6) composite?
False
Let n = -39 - -34. Let i = 11 + n. Suppose 4*b - i*b = -826. Is b a composite number?
True
Let x(a) = -1134*a + 743. Is x(-41) composite?
False
Let q be 728 + (-8)/4*-1. Let a = q + -517. Is a prime?
False
Let o be 14564*(-24)/(-32)*(-4)/(-6). Let a = o - -2863. Is a prime?
False
Is (-72)/(-9) + -3 + 8940 a prime number?
False
Let u(a) = 4832*a**2 + 3*a + 20. Is u(3) a composite number?
False
Suppose -76742 = -4*h - h - 3*n, -5*n = 3*h - 46042. Is h composite?
False
Let l = 621 - -9464. Is l prime?
False
Let t(j) = 31249*j - 72. Is t(1) composite?
False
Let j(k) = 3300*k - 28. Let f be j(-3). Is f/(-15) + 12/90 prime?
False
Suppose -2*s + 4 = -0, 0 = 2*y - s + 18. Let f(n) = -n**3 - 9*n**2 - 5*n - 9. Let j be f(y). Is ((-564)/(-18))/((-2)/j) composite?
True
Suppose m + 5*c = 439, 3*m + 2*c = 