r?
True
Suppose -2*x + 3878 = -0*x. Let j = x - 44. Is j a prime number?
False
Let f(b) = b + 17. Let x be f(-10). Suppose -x*i - 2*i + 2826 = 0. Is i a composite number?
True
Let p(i) = -222*i**3 - i**2 + 3*i + 2. Let z be p(-2). Suppose -5*n + 2217 = -z. Is n a prime number?
True
Let t = 2 + -2. Suppose -2*u - 4*v = 8, t = -3*u - 0*v - 4*v - 8. Suppose 3*o - 78 = -u*o + 3*b, 104 = 4*o + 3*b. Is o composite?
True
Let x be ((-12)/(-14))/(14/49). Let r be x/(-6)*6 + 527. Let b = -301 + r. Is b composite?
False
Let g = -40 + 36. Let b be -17 - -2*(-3)/(-2). Is 46*(b/g)/1 composite?
True
Suppose 4*r = 4*l - 8968, 4*l = -3*r - r + 8928. Is l a prime number?
True
Suppose s - 953 = -0*o - 5*o, -3*s - 4*o = -2859. Is s prime?
True
Let a(w) = 6*w**3 - w**2 - 8*w - 3. Let b(l) = -11*l**3 + l**2 + 15*l + 5. Let j(x) = -7*a(x) - 4*b(x). Let m be j(-4). Is ((-22)/3)/(14/m) a composite number?
True
Let b = 578 + 260. Is b prime?
False
Let x be 66/24 - (-2)/8. Suppose -p + 192 = x*p. Suppose p - 13 = t. Is t a composite number?
True
Let y(l) = 2*l**2 + 8*l + 0*l**2 + 13 - 3*l**2. Let p be y(9). Suppose -8*h + p*h + 356 = 0. Is h prime?
True
Let u = -437 - -629. Suppose u = a - 3*a. Let v = a - -187. Is v prime?
False
Let p(h) = -h**3 - 7*h**2 - 10*h - 12. Let i be p(-6). Let l = 22 - i. Is (-4 + l)*314/4 prime?
False
Let j = 1165 - 168. Is j a composite number?
False
Let u be ((-100)/8)/(-5)*2. Suppose 0 = u*f - 7*f + 110. Is f a composite number?
True
Suppose -2*u = 2, u - 7801 = -4*g + 6*u. Is g prime?
True
Let z(k) be the second derivative of -k**4/12 - k**3/3 + 7*k**2/2 + 6*k. Let a be z(-4). Is a - (-337 + (-4 - -3)) a prime number?
True
Let n be 3 - ((-6)/3 + -20). Suppose n = -k - 437. Is k/(-28)*4/3 composite?
True
Let n(t) = -3*t + 4*t - 2*t + 131. Let c(j) = -j**2 - 7*j + 8. Let f be c(-8). Is n(f) prime?
True
Let t be (-4)/(-12)*1*15. Let k(m) = 3*m - 10. Let j be k(t). Suppose 4*q = j*a + 542, 2*q - a = q + 135. Is q composite?
True
Let c be 10/(-25) + 13/(-5). Is 34800/12 - c*1/(-1) a prime number?
True
Let t be 0*(6/(-4) + 2). Suppose 5*c + 328 - 1793 = t. Is c a prime number?
True
Suppose -5*a + 13*a - 10888 = 0. Is a composite?
False
Let o = 35721 - 21208. Is o prime?
False
Let r(p) = p**3 + 15*p**2 - p - 13. Let z be r(-15). Let s be z*((-12)/8 - -2). Let x(i) = 1987*i - 2. Is x(s) prime?
False
Suppose -26083 = -13*j - 7896. Is j prime?
True
Let t be (-3193)/((-4)/(-8)*-1). Is (-3)/(-4) + t/8 composite?
True
Let o = -10266 - -28433. Is o a composite number?
True
Let d be (6/(-3) - -5) + -3. Suppose d*i - i = 0. Suppose i = 2*h - 3*m - 174, 3*h + m = -2*h + 435. Is h prime?
False
Let v(a) = 34*a**2 + 96*a + 3. Is v(-13) a composite number?
True
Suppose 2*o + 8857 - 50861 = 3*z, 0 = -5*o - 2*z + 105029. Is o composite?
True
Suppose -4*y + 2*y = -3*g + 23, 4*g = -5*y - 46. Is (-4426)/y - (-12)/30 composite?
False
Suppose -3*d + 5*p = -1307, -3*d + 2165 = 2*d - 5*p. Let u = 104 + d. Is 10/(-45) + u/9 a prime number?
True
Is (1/2)/(((-4)/(-4))/72586) a prime number?
True
Suppose 6756 = 5*l + d - 13490, 0 = -3*d + 3. Is l a composite number?
False
Let a(k) = -k**2 + 10*k - 16. Let f be a(8). Let z be 3*4/3 - f. Is z/(-14) - 8175/(-21) a prime number?
True
Let k(p) = p - 6. Let w(v) = 2*v**3 - 2*v**2 + 2*v - 2. Let x be w(2). Let b be k(x). Suppose 0 = b*t - 712 + 268. Is t a prime number?
False
Suppose -3*y + 4 = s - 5*s, 2 = -2*s. Let t(c) = 22*c - 7 + 2*c + y. Is t(3) a prime number?
False
Let b(z) be the first derivative of -47*z**2/2 + 5*z - 4. Suppose -50*r = -54*r - 24. Is b(r) a composite number?
True
Let g(t) = -t - 7*t**3 - t**2 + 6*t**3 + 3 + 5*t - 2. Let k be g(-4). Suppose -2*r + 41 = -k. Is r a prime number?
True
Suppose 15317 + 4478 = 5*r. Is r a composite number?
True
Let y(v) = -6*v**2 - 4*v + 107443. Is y(0) a composite number?
True
Let y be -1 + 7 + 3 + -4. Suppose y*m - 345 = 2*n, m + 3*n - 124 = -38. Is m a prime number?
True
Suppose 2*c = 3*n - 2*c - 8, -5*n - c - 2 = 0. Suppose 38 + 693 = 4*w - j, -w + 3*j + 180 = n. Is w prime?
False
Suppose -812 = -4*f - 4316. Let h = -241 - f. Is h prime?
False
Suppose 0 = 12*l - 6*l - 65508. Is l/3 - (-3)/(-9) composite?
True
Suppose -4 = -2*r + 2. Suppose 422 = -w + r*w. Is w composite?
False
Let w = -34 + 19. Let m(a) = -66*a - 19. Is m(w) composite?
False
Let l = 13559 - 6456. Is l prime?
True
Let h(p) = 9197*p**3 - 6*p**2 + p + 5. Is h(1) a composite number?
True
Let r(b) = b + 3. Let l be r(0). Suppose -l*n + 77 = -2*n. Is n composite?
True
Let u(i) be the first derivative of 7*i**3/3 - 3*i**2 - 23*i - 42. Is u(-7) a prime number?
False
Let q = 2781 + 799. Is (9/(18/q))/2 a prime number?
False
Suppose -j = 5*a - 0*j + 479, -111 = a + 4*j. Let b = -160 - a. Is 8/(-10) - 41717/b composite?
False
Let h(r) = 43*r + 11777. Is h(0) a prime number?
True
Let m = -344 + 353. Let q = -481 + 1113. Is m/(18/q) + 1 a prime number?
True
Let q(g) = 12*g**3 + 19*g**2 + 42*g - 56. Is q(15) a composite number?
True
Let m be (-4)/12*0 + -2. Let r(t) = 125*t**2 + 7*t + 1. Is r(m) a prime number?
True
Suppose 19*c - 22*c + 9267 = 0. Is c prime?
True
Let d = -477 - 635. Let q = d - -2331. Is q a prime number?
False
Suppose 0 = 2*u + 2*r - 24900, r + 2 = 3*r. Is u a composite number?
True
Let p be ((-4)/(-1))/(5/(30/12)). Suppose 0 = l + p*l - 2289. Is l prime?
False
Let q = 9366 + 3211. Is q prime?
True
Let q(w) = w**3 + 9*w**2 - 10*w - 3. Let l be q(-10). Let c(b) = -303*b - 20. Is c(l) prime?
False
Let x = -653 - -1135. Suppose -x - 983 = -5*l. Is l a composite number?
False
Suppose 5*l + 32 = -4*m, 0 = -3*m - 6*l + l - 29. Is (2/m)/(10/(-705)) a prime number?
True
Is -1 - ((-537)/(-6))/(10/(-680)) prime?
False
Suppose -14*z + 703240 = 6*z. Is z composite?
True
Let f(c) = -c**3 + 3*c**2 - 2*c. Suppose 14 - 4 = 5*u. Let h be f(u). Suppose 4*v + 226 - 1038 = h. Is v a composite number?
True
Suppose 622 = -y + 17805. Is y prime?
True
Let m = 28474 - 5945. Is m a composite number?
True
Suppose 15*f = 37438 - 10783. Is f a prime number?
True
Suppose 2*u = -5*m + 30939, 7*m - 5*m - 12364 = 5*u. Is m a prime number?
False
Suppose -2*k = -n + 666, 0 = -2*n + 2*k + 459 + 871. Suppose -4*x + n = -768. Is x prime?
False
Suppose -12*i = -15*i + 23451. Is i a composite number?
False
Suppose -2*w = 5*t + 50, 4*t + 0*w + 40 = -w. Let p = t + 12. Suppose -124 - 666 = -p*q. Is q composite?
True
Let j be (-124)/(-3) - (-4)/6. Let r be (j/12)/(1/14). Let k = r - 6. Is k a prime number?
True
Suppose 39*d + 28*d - 301634 = 0. Is d prime?
False
Suppose -14*y = 3*y. Suppose 19*j - 11467 - 41904 = y. Is j prime?
False
Let m = -5 - -5. Suppose 0*u - 5*u + 25 = m. Suppose -u*x = 2*c - 885, -4*x - 4*c = -0*x - 708. Is x a prime number?
False
Suppose 0 = -5*j + 4*j + 2001. Suppose 0 = -z - 2*z + j. Is z a prime number?
False
Suppose -3*j - s = -11045, 2*j + 2*s - 3685 = j. Is ((-2)/3)/(((-20)/j)/10) prime?
False
Let l = -7 - -9. Let q(n) = -3*n + 2 + 4*n**l + 5 + 11*n**3 - 2. Is q(4) prime?
True
Let v = -39 - -52. Suppose 0 = -14*s + v*s + 379. Is s a prime number?
True
Let u(a) = -2*a + 17. Let k be u(7). Suppose 0 = -q - 5*r + 218, 2*r = k*q - 197 - 406. Is q prime?
False
Let d be 3*16/(-18)*3. Let f be 3/6 + 4/d. Suppose f = 4*b + 5*t - 291, 4*b = 3*b + 3*t + 94. Is b a composite number?
False
Is (-88762)/(-11) + 39/(-143) prime?
True
Suppose 0 = -3*k + 4*p + 8797, 0*k + 4*k - 4*p = 11724. Is k prime?
True
Let l(x) = -2*x**2 + 15*x + 17. Let b be l(12). Let a = b + 510. Is a a prime number?
True
Let j(y) = 11*y. Let m be j(-1). Let p = -6 - m. Suppose 497 = p*a + 72. Is a composite?
True
Let a(l) = l**3 - 8*l**2 - 9*l - 4. Let f be a(9). Let x be (1 + 0)*(-3 - f). Is (2 - -704)/(1 + x) a prime number?
True
Let z(p) = 5*p**2 + 7*p + 9. Is z(14) prime?
True
Let m be 94/6 + (-18)/27. Suppose 0 = -f + 47 - m. Suppose -5*z + 3*i + 182 = -0*i, -z = -5*i - f. Is z composite?
False
Suppose j - 5*p = 7632, 77*p + 38133 = 5*j + 79*p. Is j a prime number?
False
Suppose k + 2 = -2, 2*d + 42 = -4*k. Let a = d + 18. Suppose t + t = -a*o + 329, 4*o = t + 271. Is o prime?
True
Suppose -2*t = c - 2, t - 2*c + 8 = -7*c. Let v be (-4)/2 + (t - -171). Suppose -v - 146 = -n. Is n prime?
True
Suppose 2*t - 4 = -12. Is 268/4 - (t - -2) a compos