- r = q. Let i = l + 1600. Is i composite?
False
Suppose 0 = -13*y + 21225 + 4034. Is y composite?
True
Let c(u) = 8*u**2 - 2*u + 3. Let f(o) = o**2 + 1. Let p(m) = c(m) - 6*f(m). Is p(11) a prime number?
False
Let c(i) be the second derivative of i**5/20 + i**4/6 - 2*i**3/3 + i**2 - 11*i. Is c(3) composite?
True
Let i be 0 + 11/((-55)/175380). Is (-2)/11 + i/(-44) a prime number?
True
Let i be (-346)/3 + (-2)/(-6). Let a = i + 528. Is a a composite number?
True
Suppose -10 = 5*q, 4*f - q - 23016 = q. Let x = -3250 + f. Is x a composite number?
False
Suppose 13*l = 137572 + 12825. Is l a prime number?
False
Suppose 2*b - 3514 = o, -6 - 10 = -4*o. Is b prime?
True
Let k(s) = -s**3 - s**2 + s + 2. Let t be k(-2). Let x be (-2 - 17) + t + -1. Let b = x + 35. Is b composite?
False
Let f = -2795 + 4268. Is f prime?
False
Suppose -t - 5*o + o - 3 = 0, -3*o - 6 = 0. Suppose -f - 1 = -a, t*a - 2*f = -0*f + 14. Is (-853)/(-2) - (-2)/a prime?
False
Suppose -3*u = -2*q + 6*q - 16, 0 = -3*q + 3*u + 12. Let n(x) = -49*x - 2. Let t be n(q). Let i = t - -533. Is i a prime number?
False
Is (18465 - 7)*(-5 + (-55)/(-10)) prime?
False
Suppose 5*g = -3*o + 15827 + 127541, -2*o = -4*g + 114690. Is g a prime number?
False
Suppose 4*s - 618 = s - 3*u, -5*s + 1018 = -u. Suppose -4*w + 488 = 4*y, 3*w - 154 = 5*y + s. Is w a composite number?
True
Let k be -2 + ((-2)/4 - (-1851)/6). Suppose -11*j = -1905 - k. Is j a composite number?
True
Suppose 0 = 4*q + 4*w - 18508, -7*w = -2*w + 20. Suppose -q = -3*m + 4366. Is m composite?
False
Suppose 124*n - 30*n = 173618. Is n prime?
True
Is ((-45)/(-60))/(-2 + (-811857)/(-405924)) prime?
True
Suppose -4*j = -9*j - 4*z + 30531, 5*j - 30507 = 2*z. Is j a composite number?
True
Let w = 443 + 38. Let t = 874 - w. Is t composite?
True
Suppose -7*t + 8*t - 920 = 0. Let h = -441 + t. Is h a composite number?
False
Let n(s) = -s**3 + 2*s**2 + 4*s - 5. Let o be n(2). Suppose -o*a - 60 = -0. Is (-2)/4 - 7590/a a prime number?
True
Let s(h) = 3276*h**2 + 20*h + 17. Is s(-5) composite?
False
Let n be 4*-3*(-3)/18. Let o(l) = -7*l + 4. Let d be o(n). Let z = d - -141. Is z a composite number?
False
Suppose 2*n + 3*q + 108 = -0*n, 0 = -q - 4. Let a be (1/7)/(4/14)*10. Let k = a - n. Is k composite?
False
Let h(f) = -1043*f. Is h(-1) a prime number?
False
Let m = -12553 - -21624. Is m prime?
False
Suppose 0 = -6*c + 13 + 5. Suppose 3*f - 172 = 2*f. Suppose -c*d + f = -n, -53 = -2*d + d - 4*n. Is d a composite number?
True
Let h(j) = -410*j + 2. Let y be (-4*1)/(-8)*-2. Let w be h(y). Suppose 6*x - w = 2*x. Is x prime?
True
Is (3/(-6))/(4*(-6)/767952) a prime number?
False
Suppose -3*z + 5*z = 46. Suppose -97 = 5*a - 32. Let o = z + a. Is o a composite number?
True
Let m be -10*1*(-129)/(-2). Let u = -352 - m. Is u prime?
True
Suppose 7250 - 87439 = -17*r. Is r prime?
False
Let o(k) = -k**2 + 7*k - 1. Let x(t) = t. Let j(b) = o(b) - x(b). Let q be j(5). Suppose -205 - 799 = -q*v. Is v a prime number?
True
Let w(k) = -1073*k**3 - k**2 + 7*k + 15. Is w(-2) composite?
False
Let w(t) = -34*t + 41. Let x be w(-30). Suppose x + 3109 = 10*u. Is u a prime number?
False
Let a = 15 + -9. Suppose -30 = -a*i + i. Suppose i*t - 7*t + 51 = 0. Is t prime?
False
Suppose 3*r + 1 + 62 = 0. Is (-14)/r*(-3489)/(-2) composite?
False
Suppose 2*b + 272 = 6*b. Let z = b + -172. Let c = z + 150. Is c a prime number?
False
Suppose -3*y - 2 = -2*t, 0 = 2*t - 15*y + 10*y + 2. Is (-6)/t - 7/(-4)*134 a composite number?
False
Suppose 3299 = f - 2*h, -h - 10 = -7. Is f a prime number?
False
Suppose 0 = 11*i + 4*i - 839955. Is i a prime number?
True
Let l = -4016 - -8217. Is l a prime number?
True
Is (-1 + 0)/(4/(-145292)) a prime number?
False
Let k(q) = -9*q + 10. Let u(w) = -w**3 + 2*w**2 + 2*w + 1. Let x be u(4). Let s = 20 + x. Is k(s) a composite number?
False
Let h be -24*(4 + 39/(-9)). Let z(j) = 2*j**2 - 9*j - 17. Is z(h) a prime number?
False
Let n = -21 + 10. Let j = 120 - n. Is j a prime number?
True
Suppose -13*u + 15*u = 14. Suppose -u*t + 6229 = 6. Is t prime?
False
Let c(h) = -7*h**3 - 4*h**2 - 6*h - 14. Is c(-11) a prime number?
False
Is (-2)/(-2)*-1 + (842 - 20) composite?
False
Suppose 3*b - 7*b = 0. Suppose 2*r - 16 = -b*r. Let a = 12 - r. Is a a prime number?
False
Let l be (-57)/(1/(52/6)). Suppose 5090 = -25*f - 3710. Let p = f - l. Is p a prime number?
False
Let q = 8 + -7. Suppose 0*j + 4*y = -j + 2, 2*j + 3*y + q = 0. Is 648/4 - j/(-2) prime?
False
Let s(o) = 4*o + 2. Let m(y) = y + 1. Let b(r) = -3*m(r) + s(r). Let c be b(4). Is -11*c*(-28)/12 a composite number?
True
Let j(v) = 2*v**2 - 3*v**2 - 7 + 3*v**2 + 7*v + 6*v**2. Is j(6) composite?
True
Let z = 12 + -10. Suppose -5*o = -5*n + 2335, -4*o = 6*n - z*n - 1900. Is n composite?
True
Let x = -1005 + 53432. Is x a prime number?
False
Let u(c) = c**3 - c**2 - 2*c - 4. Let j be u(3). Suppose -j = 4*b - 20. Suppose x - 140 = -b*x. Is x a composite number?
True
Let v(y) = y - 25. Let x be v(11). Let k be (-52)/x - 4/(-14). Suppose -2*g - 14 = -z, 2*z = 3*g + k + 24. Is z composite?
True
Suppose w = p - 1631 + 14731, w + 3*p = 13096. Is w a composite number?
False
Is 5/(-20) - (4 - 234765/20) prime?
False
Let q(d) = -3*d**3 + 7*d**2 + 11*d - 2. Let r be q(-10). Let y = r - 1597. Is y composite?
True
Suppose -3*o - 3633 = -3*h, -2*h - o + 2022 = -391. Suppose k = -91 + h. Is k a prime number?
True
Let h(r) = 2*r**2 - 61*r + 56. Is h(31) composite?
True
Let c be 13/(-4) + (-39)/52 + -4653. Let d = c + 8294. Is d composite?
False
Let p = -1928 + 1062. Let i be 4061/(-11) + 6/33. Let w = i - p. Is w composite?
True
Let v(r) = 75*r**2 - r - 1. Let b be v(-1). Suppose -2*p - 3*j = -b + 276, -485 = 5*p + 4*j. Let i = p + 146. Is i prime?
True
Suppose 4*g + 32 = -0. Let i be (-2518)/(-15) - g/60. Let k = i + -117. Is k prime?
False
Let p be (-143)/(-44) - (-2)/(-8). Suppose -4*w + 8 = w + 2*v, 0 = -3*v + 12. Suppose p*q - 172 + 1 = w. Is q composite?
True
Let y(x) = 161*x**2 - 4*x - 44. Is y(7) prime?
True
Suppose 4*s - 5*b - 5 = 0, 0 = -5*s + 2*s - 2*b + 21. Suppose s*g = 381 + 444. Suppose g = 17*z - 12*z. Is z a composite number?
True
Let q = 3 - -1. Suppose 3*c - q*o + 158 = 0, -c - c = 3*o + 111. Let i = 59 - c. Is i prime?
True
Suppose 14355975 = 26*b + 49*b. Is b a prime number?
True
Suppose 3*y = -5*m + 2677, 4*y = 2*y + 5*m + 1768. Is y a composite number?
True
Suppose 0 = 2*w - 4*w. Suppose 3*g = 5*b - 7011, 2*g = 2*b - w*b - 2802. Suppose -5*k = -3*n + 103 + 966, 4*n + 4*k - b = 0. Is n a prime number?
True
Let x = -2163 - -6070. Is x a prime number?
True
Let l(n) = -160*n**2 - n - 6. Let v(s) = s + 1. Let h be ((-11)/33)/((-2)/(-6)). Let y(g) = h*l(g) - 4*v(g). Is y(1) a composite number?
True
Let f(b) = -7*b - 4. Suppose -17 = 4*v + k, -3 = 3*v + 2*k + 2*k. Let n be f(v). Suppose -296 + n = -5*t. Is t a composite number?
False
Suppose -40*s = 42736 - 238296. Is s a prime number?
True
Suppose 12 = 4*l, -2*f - 58747 = -7*f + l. Let a = -5377 + f. Suppose -312 = -5*b + a. Is b a prime number?
False
Suppose 0 = 5*y + 5*v - 11 - 14, 5*v - 15 = 0. Let k = y + -6. Is ((-262)/4)/(2/k) composite?
False
Let m be -2 + (-9 - (-15)/5). Is 275/1 - m/(-8) prime?
False
Is (-38)/(-285) + (-82318)/(-15) - -5 a composite number?
True
Suppose -3*p - 4*k = -4*p, -2*k - 6 = -2*p. Suppose 2*d - 3082 = -p*h - d, 5*d + 1528 = 2*h. Is h prime?
True
Suppose -3*k + w + 9 = -2*k, k = -2*w - 3. Suppose -5*s = 5*d - 2*s + 16, -k*s + 10 = d. Is d/(-20) + (-1003)/(-4) composite?
False
Suppose 5392 = 5*k - 4263. Is k composite?
False
Suppose -7*j + 25445 = -2*j. Let v = j - 2694. Is v composite?
True
Let f(d) = 23*d**2 - 10. Let u(t) = 2*t + 19. Let o be u(-12). Is f(o) a composite number?
True
Suppose 65*l - 18*l - 3518467 = 0. Is l a composite number?
False
Suppose 4*d + 816 = -2*f, 3*f = 2*d + 10 + 398. Suppose 90 + 241 = x. Let t = x + d. Is t composite?
False
Let d(m) = 3349*m - 7. Is d(2) composite?
False
Suppose 4 = -i + 3*o - 14, 5*i + 2*o = -5. Let p be i*2*1/(-3). Is 2*p*(-415)/(-20) a composite number?
False
Suppose -3*s + 5*t + 245 = -s, -4*s + 3*t = -469. Let x = -57 + s. Suppose 2*h + 3*q + 5 = 21, -x = -3*h + 4*q. Is h composite?
True
Let f be 36/(-10)*35/(-14). Is 5 + -1 + 1107/f prime?
True
Suppose 6*n - 