 composite?
False
Let q(s) = s**3 - 35*s**2 + 133*s - 544. Is q(35) composite?
False
Suppose 3*a - 2*a - 1 = -t, a = t - 1. Suppose -5*p - 4*l = -a*l - 30067, -p = 2*l - 6017. Is p a composite number?
False
Suppose -7969887 = -27*w + 3611087 + 1525339. Is w composite?
True
Let c = -7 + 7. Let u be (c - 215/(-5))*13. Suppose 4*b - u = 37. Is b composite?
False
Suppose -2*a = -6*x + x + 109155, 5*x + 3*a - 109180 = 0. Is ((-2)/2)/(3 + (-65506)/x) a prime number?
True
Suppose -285*k - 1150468 = -290*k - r, -920366 = -4*k + 2*r. Is k a prime number?
False
Let y = 8234 - -260. Suppose 15*j = f + 10*j - y, -4*f - 5*j = -34051. Is f a prime number?
False
Suppose 2*b - 5 = -6*h + 3*h, 0 = -3*h - 3*b. Let m(x) = 98*x**3 - 11*x**2 - 4*x + 12. Is m(h) a prime number?
False
Suppose -3*s + 29339 + 37336 = 4*x, -50004 = -3*x - 3*s. Let g(f) = -119*f - 2616. Let i be g(-22). Suppose i*a + a = x. Is a prime?
True
Suppose -14 = 3*l - 26. Suppose -4*j + 9 = -x + 1752, 0 = l*x - 4*j - 7032. Is x composite?
True
Suppose 0 = -4*c - 5*f + 40, 5*c - 15 = -3*f + 22. Suppose -3*s + 7*s = -p + 1401, s = c*p - 6900. Is p a prime number?
True
Let j(d) = d**2 - 11*d + 12. Let h be j(8). Let i be (-8968)/(-48) - 2/h. Let o = i - -1150. Is o prime?
False
Let m(t) = -56254*t + 295. Is m(-4) composite?
True
Suppose -t + 3*h = -h - 308231, -4*h = 12. Is t prime?
True
Suppose 11*d - 529 = 182280. Is d a composite number?
False
Suppose -157*f + 58399627 = -14*f. Is f a composite number?
False
Is (-175438)/(-10)*(7 + 13 + -15) a composite number?
False
Is (0 + (-6)/(-27))*180/40 + 68862 a composite number?
False
Suppose 8*l - 5*l = -30. Let v be (-5)/(l/(-8)) + -10. Let t = 565 + v. Is t a composite number?
True
Let t(i) = -396*i**2 + 12*i - 16. Let l be t(2). Let b = 5101 - l. Is b prime?
False
Let y(f) = 118*f**3 + 1. Let v be y(1). Suppose -x = 8 - v. Is x a composite number?
True
Let f be (((-3776)/12)/8)/((-4)/456). Suppose 5*w - 11234 = -u, -6*u + 4*u - f = -2*w. Is w prime?
False
Let c be 162/9*2/(-3). Let v(a) = -2*a**3 + 15*a**2 + 8*a + 1. Let l be v(8). Is (l + (-15252)/(-16))*c/(-3) a prime number?
False
Let b(a) = -a**2 + a + 2. Let o(n) = -2*n**2 + 7*n + 49. Let d(l) = -4*b(l) + o(l). Is d(25) composite?
True
Suppose 0*o - a = 5*o - 15, 5*a = -2*o + 6. Suppose 2*c + 24549 = b + 61815, 0 = -o*b. Is c composite?
True
Let v = 72 + 472. Suppose -v = -2*x + 6*x. Let z = x + 347. Is z composite?
False
Let f be (-9 + 10)*(1 - 1). Let y(s) = -6*s**2 + f*s + 5 - s + 9*s**2. Is y(-3) composite?
True
Let v(s) = -11*s - 198. Let a be v(-15). Let f(p) = p**2 - 18*p + 28. Is f(a) prime?
False
Suppose 5*d = 5*y - 380, -30 = -5*y - 5*d + 350. Let j be 1174/4 - (-1)/2. Let p = j - y. Is p composite?
True
Suppose -7*s - 14 = -161. Suppose -2*a - 9 = -s. Suppose 0 = a*l - l - 1245. Is l composite?
True
Suppose 5*o - 107637 = -2*n, 3*n + 59124 - 220622 = o. Is n a prime number?
True
Let u be (-8)/68 + (-144)/(-68). Let c be (u/4)/((-5)/30). Is 352 + c/6*-2 a composite number?
False
Suppose -23*j + 232434 = -578339. Is j a prime number?
True
Is 58537*((-75)/(150/(-28)) - (-2)/(-2)) a composite number?
True
Let y(g) = 4718*g + 359. Is y(63) a composite number?
True
Let g(u) = -u**2 - 6*u + 4. Let j be g(-4). Suppose -5*d + 5*q = -19590, 4 = 10*q - 12*q. Suppose -j*i + d = -12152. Is i prime?
False
Let x be 71/(-355) + ((-2)/10)/(-1). Suppose -26 - 4 = -2*n + 4*k, 3*n - 4*k - 41 = x. Is n a prime number?
True
Suppose 0*c - 65308 - 28030 = -14*c. Is c composite?
True
Let x be 2/(8/381) - (-1)/(-4). Suppose 2*o - 4*a = 202, -4*a = 4*o - 285 - x. Is o composite?
False
Suppose -5*i + 6140047 = -3*a, 13*i - 2*a - 1228015 = 12*i. Is i a composite number?
True
Let u(c) = 1048*c + 60. Let b be u(21). Suppose -8*q + b - 4012 = 0. Is q a composite number?
True
Let y = 14231 - 30863. Let j = -9809 - y. Is j prime?
True
Let s(z) = 2*z**2 + 10*z + 25. Suppose 2*i + 6*m + 7 = 3*m, -2*m = 3*i + 18. Let x be (34/(-8) - -1)/(2/i). Is s(x) composite?
True
Let f(s) = -313*s + 48. Let x(n) = -157*n + 23. Let o(i) = 3*f(i) - 5*x(i). Let w(k) = k**3 - 19*k**2 + 17*k + 13. Let t be w(18). Is o(t) a prime number?
False
Let i = 1363 - 945. Suppose 0 = -q - i + 1553. Suppose -5*n + 730 = -q. Is n prime?
True
Let z(t) = 4*t + 3111. Let m be z(0). Let x = 1552 + m. Is x a prime number?
True
Let u = 15482 + -10935. Is u a prime number?
True
Let y = -152 + 156. Suppose -2*n - p = -y*n + 5036, -3*p = n - 2511. Is n prime?
False
Let p(w) = 14*w**2 - 8*w - 1. Let o = -233 + 245. Is p(o) a prime number?
False
Is 1/(-9)*(-197199)/2*2 prime?
True
Let y(g) = 11691*g**2 - 12*g + 30. Let o be y(2). Suppose -21*h + o + 117429 = 0. Is h a prime number?
False
Let v(n) = 1272*n + 20. Let b be v(5). Suppose 2*z + b = 6*z. Suppose 24*a = 29*a - z. Is a a prime number?
False
Suppose 2*h + 23973 = w, 0 = -5*w + 30*h - 35*h + 119940. Is w composite?
True
Let j(k) = -16241*k - 2174. Is j(-5) a prime number?
True
Let z = -317203 - -654164. Is z a composite number?
False
Let f(i) = 25*i**2 + 2*i + 2. Let z(p) = -49*p**2 - 5*p - 4. Let u(x) = 9*f(x) + 4*z(x). Suppose -54*y - 15 = -59*y. Is u(y) a composite number?
False
Suppose -3*b - 2*l + 24 = -l, 0 = 4*b - 2*l - 32. Is (-37445)/(-15) - b/(-12) composite?
True
Suppose -236376 = 63*j - 65*j + w, -4*j + 5*w + 472764 = 0. Is j composite?
True
Suppose 450*j - 10488 = 448*j. Let c(a) = 350*a + 3. Let u be c(5). Let k = j - u. Is k composite?
False
Let x(a) = -9131*a + 115. Is x(-8) prime?
False
Suppose -2*o + 6 = -0. Let s be 4 + (-660)/(-7 + o). Suppose -6*r + 1409 + s = 0. Is r composite?
False
Suppose j = -3*j + 8. Suppose -h + j*h = 0. Suppose h = -0*r - 6*r + 2886. Is r prime?
False
Let b(g) = -3165*g + 1739. Is b(-52) prime?
True
Suppose -13*p + 157440 - 81623 = -107574. Is p a composite number?
False
Let j = -277 + 289. Is (8/12)/(j/88974) a prime number?
True
Suppose 27*y = 15*y + 2491452. Suppose -25*q - 69096 = -y. Is q a prime number?
False
Suppose 12 = -2*w, -2*q + 4*q - 327518 = -4*w. Is q composite?
False
Suppose f + 2*z - 45 = 0, -2*z - 209 = -5*f - 4*z. Let h = f + -38. Suppose -4*o = -h*n + 145 + 18, 0 = -3*n + 3*o + 162. Is n a prime number?
True
Suppose -z + 3*n + 3 = 0, -4*z - 3 = 12*n - 9*n. Suppose z = -37*l + 120477 + 12316. Is l a composite number?
True
Let u(o) = o**3 + 6*o**2 + 8*o + 47. Let a be u(-6). Is ((-28)/(-42))/(a/(-30429)) - -1 a composite number?
False
Let v = 9833 + 116030. Is v composite?
False
Suppose 0 = -9*u - 14 + 50. Suppose -d + 13554 = u*w, -2*w + 5*d + 6776 = 6*d. Is w a prime number?
True
Let v(l) = l**3 - 50*l**2 - 178*l + 212. Is v(57) prime?
True
Is 524212/18 + 193/1737 composite?
False
Let m = -338366 + 1165137. Is m prime?
False
Suppose -13273062 = -7*x - 59*x. Is x a prime number?
True
Let l = 1024371 - 349564. Is l prime?
False
Let i = -697207 - -1248662. Is i prime?
False
Is 39454*(10/8)/(-20*(-13)/1144) composite?
True
Let m(o) = -2*o**3 + 2*o**2 - 26*o + 35. Is m(-19) a composite number?
False
Let h be (3 + (-58)/8)*12. Let m = h - -59. Is (4 - 36/m)*-1682 composite?
True
Suppose -3*x + 82927 = 4*r, -23514 = -r + 3*x - 2786. Let i = -14126 + r. Is i a prime number?
False
Let n(v) = 5*v**2 - 43*v - 11. Let f be n(9). Suppose -2*q + k + 2515 = 0, -5*k + f*k + 2520 = 2*q. Is q a prime number?
False
Let a be (-80)/(-20) + 0 + (0 - 0). Suppose -p = -h - 6*p + 263, a*p = 4*h - 956. Suppose 0 = -2*b + 5*n + 234, 0 = 4*b + 5*n - 285 - h. Is b composite?
False
Let m(y) = -8*y**3 + 8*y**2 - 39*y + 350. Let n(l) = 4*l**3 - 4*l**2 + 20*l - 175. Let a(q) = 3*m(q) + 7*n(q). Is a(8) a composite number?
False
Let m be (-12)/48 + (-7)/4. Is m/(-1)*(-8)/(128/(-5736)) a prime number?
False
Suppose -79*s + 702884 = -51*s. Is s a prime number?
False
Suppose -3 = 13*f - 16. Let k be (f - (-627)/6)*6. Let p = -370 + k. Is p a composite number?
False
Let n = 853885 + -509382. Is n composite?
True
Let u(s) = -16*s - 8. Let g be u(0). Is (-16 + 7572)*2*(-1)/g prime?
True
Suppose -201*b - 158*b + 154602991 = 0. Is b prime?
True
Suppose 2*i + 34 = 4*j, -2*j = -0*i - 3*i - 7. Suppose 32283 = 20*r - j*r. Is r prime?
False
Let p(g) = -9*g**2 - 8*g + 8. Let t be p(-4). Let m = 97 + t. Is (m - -5) + (6129 - (0 - 0)) a prime number?
False
Let u = 121 + -105. Suppos