?
True
Suppose 3*r = -9 + 99. Suppose 0 = -5*f + r + 10. Let u(b) = 13*b - 7. Is u(f) a composite number?
False
Suppose c - 96 = -10. Let f(y) = -y**3 + 5*y**2 - y + 1. Let s be f(2). Suppose c = j - s. Is j composite?
False
Let t be (5 - 3) + (2 - 4) + 311. Suppose 0*k + 2*k = 3*x + 323, 2*k + x = t. Is k a composite number?
False
Suppose -12 = -4*q - 4. Let z be ((-4)/6)/((-18)/81). Suppose -q*n - 459 = -6*n - 5*p, 0 = 2*n + z*p - 227. Is n prime?
False
Let c be (-2 + -4)*(-3)/6. Suppose m = -c*m + 788. Suppose 4*f + 5*r = 754, 2*f = 3*f - 3*r - m. Is f a composite number?
False
Let t be 72*5/((-40)/(-6)). Let x = t - -361. Is x prime?
False
Let b(y) = 12*y**2 + 13. Let q = -53 + 45. Is b(q) prime?
False
Let t(v) = 9*v**2 + 117*v + 41. Is t(40) composite?
False
Let h(w) = w**3 + 5*w**2 + 3*w. Let k be h(-4). Suppose -3*q - 119 - 263 = -5*i, k*q + 2*i + 492 = 0. Let o = -71 - q. Is o composite?
False
Let z be -3*-1*(-970)/(-30). Let h be 3*4*(-1 - -2). Suppose -h = -d + z. Is d composite?
False
Suppose 0 = -4*j + 2*c + 16, 4*j + 3*c = j + 21. Suppose -i = -j*i + 3272. Is i a composite number?
True
Let f(h) = 2*h + 13. Let l be f(-4). Suppose 0*v = -r + 5*v + 5, -l*r + 3*v + 91 = 0. Is 5/(r/508) + 2 a prime number?
False
Suppose m - 4*q + 6 = 19, 4*q + 16 = 4*m. Is -3 + 0 - m - -359 prime?
False
Let n be (-4)/14 - 48/(-21). Suppose n*k - 3*r - 10 = 0, 2*r - r = 4*k - 10. Suppose -2*s = 4*d - 1204, -4*s - 8 - 594 = -k*d. Is d a composite number?
True
Let j = 185 + -119. Suppose -r = -2*s - 5*r + j, s - 4*r = 51. Is s composite?
True
Let z(f) = -f**3 + 5*f**2 - 5*f + 7. Let y be z(4). Let b be (12/y + -4)/(-3). Suppose -960 = -3*n - 3*t, 3*n + b*n - t - 956 = 0. Is n prime?
False
Let v = 21 - 42. Let n = v - -31. Is n prime?
False
Is 2/(-8)*(-7288 + -4) prime?
True
Let m = 57 + -39. Suppose 0 = -m*a + 15*a + 369. Is a prime?
False
Let p = 109 - -224. Let q = p + -188. Is q a composite number?
True
Let c(l) = -47*l**3 + 10*l + 5. Is c(-6) prime?
False
Suppose 3*r = 12, -8268 = -2*k - 3*r + 15654. Suppose 0 = -2*u + 2*n + 4780, 4*u = -u + 4*n + k. Is u a composite number?
True
Suppose 0 = -7*s + 26 + 2690. Suppose 873 = a - 4*j, 4*j - s = -a + 517. Is a composite?
True
Suppose -9 = 3*p, -3*i + 8289 = 8*p - 10*p. Is i composite?
True
Let k be -1158 - -1*(-1 - 0). Let f = 2142 + k. Is f composite?
False
Suppose -3*g = -c - 32420, -5*g - 2*c - 11435 + 65450 = 0. Is g prime?
False
Let g = -13 - -31. Let b(l) = 4*l**2 - 22*l - 38. Is b(g) composite?
True
Suppose 2*g - 3*g + 8 = 0. Suppose -y = 6 + g. Let o = 27 + y. Is o composite?
False
Let n be (16/10)/((-6)/(-15)). Suppose -110 = n*o + o. Is (-4)/o - (-7076)/44 prime?
False
Let x(d) = -17*d**3 - 2*d**2 - 2*d - 4. Suppose g - 75 = -4*g. Suppose -4*l - g = l. Is x(l) a prime number?
True
Let o(f) = -5*f - 23. Let b be o(-5). Is b - (-1)/2*1*5214 composite?
False
Is (1 - (3 - 4))/((-26)/(-10361)) a composite number?
False
Let q(x) = 3 + x**2 - 4*x + 3*x**2 - 2*x**2 + 61*x**3. Let j be (-160)/(-70) - 2/7. Is q(j) composite?
False
Let y = 3187 - -1050. Is y a prime number?
False
Suppose 0 = -6*f + 4*f + 5882. Is f composite?
True
Let q(x) = -2*x**3 + 64*x**2 + 13*x - 32. Is q(31) a prime number?
True
Suppose 2*h + 0*h = -11068. Let s = -2979 - h. Suppose -3*g + s = 2*g. Is g composite?
True
Let w(z) = -z**2 + 11*z - 6. Let t be w(10). Suppose -o + 3509 = 3*m, -t*o = 4*m - 2*o - 4680. Is m a composite number?
True
Let k(w) be the first derivative of -1/2*w**4 + 5 - 5*w - 5/2*w**2 - 1/3*w**3. Is k(-3) a composite number?
True
Let a = -3091 + 4802. Is a composite?
True
Let o(a) = 59*a**2 - 6*a - 3. Let n be 43/(-5) - (-24)/(-40)*-1. Is o(n) composite?
False
Is 8/2 + 13420/4 composite?
False
Suppose -5*y + 56 = -y. Let q = y - -23. Is q composite?
False
Let d be 22/12 - 2 - (-6766)/(-12). Let f = 983 + d. Is f prime?
True
Suppose 85 + 45 = o. Let l = 621 + o. Is l prime?
True
Let f = 44 - 44. Suppose -348 = -4*b + 3*h, -b + 87 = -f*b - 3*h. Is b composite?
True
Suppose -8*g = 4*z - 3*g - 27, 0 = -4*z + 4*g. Suppose -z*i - 9 = 0, -3*i = -4*r - 9 + 46. Suppose -r*x - 35 = -12*x. Is x a composite number?
False
Is 1*-3 - (-1 - 1513) composite?
False
Let q be (-8)/36 - 485/45. Let j(l) = -l**2 - 5*l + 5. Let f be j(-6). Is (q/f)/(2/4) a prime number?
False
Let r = -3 - -10. Let w(x) = x**2 + 19*x + 8. Let l be w(-19). Let v = r + l. Is v prime?
False
Let a be (-8)/44 + (-128)/22. Let w(q) = 14*q**2 + 5*q + 27. Is w(a) composite?
True
Let l(t) = t**3 + 5*t**2 + 6*t + 5. Let j be l(-4). Suppose 12*g + 691 = -2285. Is g/(-12) - j/9 a composite number?
True
Suppose o = -2*y + 6 - 0, 4*y = 4*o. Suppose 2*w = -o*i + 976, 414 = w + 4*i - 77. Is w composite?
False
Let q be (-1660)/(-3)*(-48)/(-40). Let a = 1101 - q. Is a a prime number?
False
Let n = 63521 - 44824. Is n composite?
True
Suppose -7 + 1512 = -5*v. Let a = -138 - v. Is a composite?
False
Let h(i) = -i**2 + 3*i**3 - 4*i**3 + 2 + 0*i**2. Let c be h(0). Suppose -c*x + 105 = x. Is x composite?
True
Suppose 4*z - 2*f = 42, f + 23 = z - 2*f. Suppose -10 + z = -h. Suppose 4*l - 358 = -m, -439 = -5*l + m + h*m. Is l composite?
False
Suppose 8*v = -30*v + 855494. Is v prime?
False
Let c be (-2 - (1 - 3))/4. Suppose c = -d + 6*d. Suppose d*m + m = 43. Is m prime?
True
Let z(m) = -2*m**3 + 6*m**3 - 3*m**3 + 6 + 4*m**2 + 7*m. Let i be z(-4). Is i/4*(3 + -17) a prime number?
False
Suppose 0 = 53*p - 33*p - 591380. Is p a prime number?
True
Let o(c) = -3*c**2 + 2*c - 2. Let z be o(1). Let v be 3/z - (-4 - 2). Suppose t = -v*x + 208, -5*x + x + 880 = 4*t. Is t a composite number?
False
Let y(x) = -x + 1. Let q be y(-3). Suppose -q*w - 683 = 709. Let j = w + 559. Is j a prime number?
True
Suppose 6*m = 10*m + 1280. Suppose 2*b = -2*b - 844. Let p = b - m. Is p prime?
True
Let f(t) = -t**3 - 13*t**2 + 15*t + 13. Let n be f(-14). Let v(a) = -362*a**3 + a**2 + 2*a + 2. Let r be v(n). Let j = r + -184. Is j prime?
True
Suppose 4*m = -3501 + 1325. Let k = -39 - m. Is k prime?
False
Let a(v) = -v**3 + v**2 + v + 5. Let t be a(0). Suppose i = t*c + 2323, 2*c + c = -3*i + 7005. Is i prime?
True
Is -2 + (6526 - (-3 + 6)) a prime number?
True
Is ((-2)/(-10) - (-138561)/(-30))*-2 composite?
True
Let b = 763 - 363. Suppose r = -93 + b. Is r a composite number?
False
Suppose 0 = f + 3 + 2. Let s be (-13)/f + 14/35. Is (-1)/s*(-8 - 169) composite?
False
Suppose -2*z + 5 = -7. Suppose 4 = -4*l, z*p - 2*p + 98 = -2*l. Is ((-8)/p)/((-2)/(-198)) composite?
True
Let n(i) = 15*i**2 + i - 6. Let x(p) = -1. Let o(t) = 2*n(t) - 14*x(t). Let g be o(-2). Suppose 6*h - 4*w - g = 4*h, -3*h + 193 = -2*w. Is h a prime number?
True
Let y be (-1 - 1 - 0)/(-2). Suppose -z - 1 = -2*k + 3, k + 2*z = -3. Is k + 85 + 2 + y a prime number?
True
Let b(t) = 10*t**2 + 2*t + 35. Is b(19) composite?
True
Let f(x) = x**2 - 16*x + 61. Let d be f(10). Is 17953/(-26)*d*-2 composite?
False
Let k = -33 + 129. Suppose 5*p = -1 + k. Is p composite?
False
Is (-1 - 2884/(-21))*177 a prime number?
False
Let x = 16102 + -4709. Is x composite?
False
Let u = -13 + 12. Let d be (-228)/(-19)*u/(-4). Is ((-2)/d)/(2/(-195)) composite?
True
Let s(a) = -a**3 + 16*a**2 + 16*a - 15. Suppose -2*i + 56 = 5*q, 0 = 2*q - 0*i - i - 17. Is s(q) composite?
True
Is (-35 + 7)/7 - -17661 composite?
False
Suppose 0 = 4*d, -4*d = f + 3*f - 27548. Is f a composite number?
True
Suppose -u = 281 - 1046. Let g = -544 + u. Is g prime?
False
Let m(l) = 1395*l + 163. Is m(14) a composite number?
True
Suppose 2 + 10 = -2*s. Is (-2426)/(-5) - s/(-30) composite?
True
Let j = -6 - -8. Suppose 0 = -2*w - j*w + 24. Suppose -m - 235 = -w*m. Is m composite?
False
Let x be (-10275)/(-6) + 21/(-14). Let n = 2862 - x. Is n a prime number?
True
Is (-2 - (-7006)/5) + (-5)/25 composite?
False
Let y(q) = -q**3 + 4*q**2 - 4*q - 7. Let d be y(3). Let b(k) = -51*k - 11. Is b(d) prime?
True
Suppose 82*y = 5108371 - 993857. Is y a prime number?
True
Let w(b) = 4*b**3 - 4*b**2 + b. Let f be w(4). Suppose 4*u - 5*l - 803 - 25 = 0, 0 = u - 4*l - f. Suppose -u = 3*r - 5*r. Is r a composite number?
True
Let r(c) = -26*c**3 - 12*c**2 - 3*c - 20. Is r(-6) composite?
True
Let w(f) = 2*f**2 - f - 7. Let a be w(5). Suppose -3*c + 4 + a = 0. Suppose 0 = -2*u + c + 24. Is u prime?
