- 250*i**3 - 275*i**2 + 276*i**2 - 20*i**3. Is y(m) prime?
True
Suppose -16*v = -37942 - 5626. Is v composite?
True
Suppose 321 = 2*j + j. Let g = 1194 - j. Is g composite?
False
Let i = 25 + -52. Let c = -27 - i. Is 80 + c + 2/(-2) composite?
False
Let p(v) = v**2 - v - 6. Let a be p(3). Suppose -4*j + 700 = -a*j. Suppose 3*o = 2*y - 586, o - 128 = -y + j. Is y composite?
True
Let s(i) = i**3 + 9*i**2 - 9*i + 7. Let f be s(-10). Let a be ((-22)/4)/(f/18). Let b = a - -94. Is b a composite number?
False
Let a(h) = 34*h. Let c be a(4). Suppose 4*p - 256 - 266 = -2*z, 5*z + c = p. Is p a prime number?
True
Let h(s) = 609 - s**2 - 2*s**3 + 0*s**2 + s**3 + 40. Is h(0) composite?
True
Let z = 19902 - 13823. Is z a prime number?
True
Let a(k) = k**3 - 9*k**2 + 7*k + 8. Let m be a(8). Suppose m = -8*q + 13*q - 505. Let c = 122 + q. Is c composite?
False
Let k(o) = 4*o**2 + 4*o - 1. Let z be ((-36)/7)/((-3)/28). Let s be (-6)/4*z/(-18). Is k(s) a prime number?
True
Let y(i) = 30*i + 15. Let r be y(-7). Let g = r + 568. Is g a composite number?
False
Suppose 3*m - 5*p - 62 = -12, 66 = 5*m - 4*p. Let d be 518/m - 5/(-25). Is (12 + 0)*91/d a prime number?
False
Suppose 3*p - 36 = f, 0 = -4*f + p + p - 124. Let h = f - -356. Is h*(-2)/12*-3 a prime number?
True
Suppose -4*p - 261 = -6413. Suppose -a + 3*g + 391 = -g, 4*a - p = 3*g. Is a prime?
True
Suppose 4*j - 34 = 4*g - 2*g, 13 = 4*j + 5*g. Suppose -q - 402 = -j*q. Is q composite?
False
Let g(h) be the first derivative of h**5/60 + 127*h**3/6 + 3*h**2/2 - 1. Let r(l) be the second derivative of g(l). Is r(0) composite?
False
Suppose -f = 3*b - 4 - 5, -5*b = -4*f + 2. Suppose 32 + 130 = -b*l. Let m = 82 - l. Is m prime?
True
Suppose -6989 + 46299 = 5*p. Let v = -5001 + p. Is v composite?
False
Let h(c) = c - 3. Let r be h(7). Let b(j) = 2*j**3 - 4*j**2 + 5*j + 2. Let n be b(r). Suppose 0*y + n = 2*y. Is y prime?
True
Let w = 70 + -49. Let h be (4 - 5)/(3/(-3)). Let a = h + w. Is a a composite number?
True
Suppose -4*m + 6*m + 5*c - 70 = 0, 0 = 4*m + 2*c - 156. Suppose -4*o + 5*v + m = -299, 5*o - 433 = -3*v. Is o a composite number?
True
Let g = -5657 + 22296. Is g prime?
False
Let s(j) = -j**3 + 6*j**2 - 6*j + 5. Suppose -3 + 13 = 2*q. Let l be s(q). Suppose 0 = -t + 2*g + 133, -g = -5*t - l*g + 701. Is t composite?
True
Suppose 5*y - t - 18 = 0, -y - t - 10 = -4*y. Suppose y*x = w - x + 20, 3*w - x = -88. Let g = w + 157. Is g prime?
True
Suppose 99*p - 9396 = 96*p + r, -2*r = 2*p - 6272. Is p a prime number?
False
Suppose -4*f - 82*l = -80*l - 852, -5*f = 4*l - 1065. Is f a prime number?
False
Is 2/6 - 80260/(-15) prime?
True
Let k = -19 + 23. Let d be ((-10)/(-15))/(k/24). Suppose 0 = d*o - 228 - 148. Is o a composite number?
True
Is (12 + 1043308/(-4))*1/(-5) a prime number?
True
Suppose -4*i + 87860 = -2*i - 2*l, -8*i + 351449 = -5*l. Is i prime?
True
Let s(n) = n**3 + 8*n**2 - 22*n + 10. Let y be s(-10). Let a(q) = -q**3 - 8*q**2 - q - 8. Let h be a(-8). Suppose -l - 2*l + y = h. Is l a composite number?
True
Let q(c) = -1. Let j(g) = 34*g + 11. Let w(d) = -j(d) - 4*q(d). Let r be w(4). Is 2 - (-3 - -9) - r composite?
False
Is (-426 + 44)*(-2)/4 prime?
True
Let f(o) = o**2 - 5*o + 2. Let j be f(2). Let w be -4 + 3 + (-15 - j). Is (w/(-36))/((-1)/(-93)) a prime number?
True
Suppose 0 = 10*k - 3699 - 8291. Is k a prime number?
False
Let j be ((-128)/80)/((-2)/(-5)). Is (-426 - j)*(-1)/2 a composite number?
False
Let a be 22/99 + (-50)/(-18). Is a + -7 - -8 - -631 composite?
True
Suppose 0 = -5*l + f - 4, 4*l - f = l - 4. Suppose -590 = -i - 3*d, -i + 2*d - d + 578 = l. Is i composite?
True
Suppose 0 = f + 8*f - 62091. Is f composite?
False
Suppose -229*u + 232*u - 15177 = 0. Is u a composite number?
False
Let s be (-30)/5*(-2)/6. Is -2 + 5*(113 - s - -2) a composite number?
False
Suppose 0 = y - 1 - 1. Suppose -y*f = -f. Suppose j - 1 = f, -2*j = 5*i + 2*j - 1529. Is i a prime number?
False
Let n(l) = -203*l + 3. Let r be (-1 - -33)/1 + 1. Let j = -35 + r. Is n(j) a prime number?
True
Let q(n) = -40960*n + 131. Is q(-2) prime?
True
Let o = -19586 + 10655. Let y = 28710 + o. Is y/133 + (-4)/(-14) prime?
True
Let p be (-8)/(-14) + (-22)/14. Is 1/(p/(-178)) - -1 composite?
False
Suppose 35*t + 19*t = -216. Suppose 0 = -d - 2. Is t/2 + (1151 - d) prime?
True
Let g be 40/(-18) - 2/(-9). Let h be g/(-2) + 0 + -69. Let a = 105 + h. Is a a composite number?
False
Let j = -2132 - -5073. Is j a prime number?
False
Let h(q) = -11*q**2 - 13*q - 1. Let x(j) = 5*j**2 + 6*j. Suppose 2*v + 5*l + 41 = -0*v, v + 7 = 2*l. Let y(t) = v*x(t) - 6*h(t). Is y(-14) a composite number?
True
Let m = 289 + -201. Suppose 0 = -13*z - m + 2610. Is z composite?
True
Let a(f) = -57*f + 47. Is a(-30) composite?
True
Let p = 32 - 38. Is p/(12/(-10)) + -2 composite?
False
Is 313962/154 - 4/(-14) composite?
False
Is (-1878)/(-4) - 7/140*10 composite?
True
Let i(c) = c + 51. Let f be i(-10). Suppose 9938 = 3*x + f. Is x a prime number?
True
Suppose -4*p = -2*v, -3*p = 5*v - 7 - 6. Let o(x) = 943*x**3 - x**2 + x. Let l be o(p). Suppose 8*j - 3*j + l = 2*w, 4*w - 4*j = 1880. Is w a composite number?
True
Let d be ((-10)/15)/((-4)/(-6)). Let p(z) = -z**3 + z**2 + 1. Let x(b) = -5*b**3 - 4*b + 11. Let r(k) = d*x(k) + 6*p(k). Is r(6) a prime number?
True
Let s = 84 + 49. Suppose -366*n - 480 = -360*n. Let m = s - n. Is m prime?
False
Suppose 0 = -31*h + 29*h + 4322. Is h a composite number?
False
Let d(c) = -1321*c - 265. Is d(-14) a prime number?
True
Let l = -2391 + 4097. Is l composite?
True
Let t be (-9)/(-4) + 0 + (-57)/(-76). Suppose 3*s = t*y + 3480, 3*y = s - 799 - 351. Is s composite?
True
Let b = -7 + 9. Suppose b*v - 10 = -x, -2*v = 2*x + 3*x - 58. Is 12056/48 - 2/x a prime number?
True
Let n(t) = 13*t**2 + 20*t + 74. Is n(-15) composite?
False
Let h be 6/18 - (-8)/3. Suppose -2*r - 790 = h*r. Let d = 237 + r. Is d a composite number?
False
Is (-1 + 3)*(4493/2 - 2) composite?
True
Suppose 20 = 2*k - 2*v, 4*k - 3*v = -2*v + 28. Suppose -11224 = -k*b + 2*b. Let o = b - 1821. Is o a composite number?
True
Suppose -60 + 418 = 2*j. Let y = 500 - j. Is y a prime number?
False
Let v(l) = l**3 + 6*l**2 + 2*l + 4. Suppose -4*o = 2*r + 12, -4*o + 5*o - 12 = 2*r. Let c be v(r). Is 5/((-20)/c) + 67 composite?
True
Let u(i) = 301*i**3 - 16*i**2 - 17. Is u(4) prime?
False
Let t(r) = 6*r**3 - 24*r**2 - 14*r - 13. Is t(9) composite?
True
Is (-56)/(-224) - 3/((-36)/355233) composite?
True
Suppose -r - 21 = 8. Let d = r - -48. Is d prime?
True
Let q = 8 - 7. Let h be 1 + 0 + q + 1. Suppose -h*s + 12 = 0, -2*v + 0*s = -4*s - 354. Is v prime?
False
Let x = 245319 - 125036. Is x prime?
True
Let j(t) = 15*t**2 + 47*t + 279. Is j(-28) a composite number?
False
Suppose 0*i + 1 = i. Suppose -15 = -4*k + i. Suppose 252 = 3*r + 4*n - 527, 0 = -k*r - 5*n + 1038. Is r a prime number?
True
Is -10*((-46905)/50 + -5) prime?
True
Let p = -18409 - -85986. Is p a prime number?
True
Suppose f - 8*i = -11*i + 67208, 2*f - 2*i - 134408 = 0. Is f a prime number?
False
Let l(v) = 168*v + 7. Let u(f) = 671*f + 27. Let r(m) = -9*l(m) + 2*u(m). Is r(-7) a composite number?
False
Suppose a = 2421 + 4021. Is a a prime number?
False
Let v(c) = -26*c + 1. Let d(l) = -5 + 3 + 1 + 2 + l. Let n(p) = 5*d(p) - v(p). Is n(7) a composite number?
True
Let c be ((-6963)/(-6))/((-1)/(-2)). Let n be 12258/(-12)*4/3. Let y = c + n. Is y composite?
True
Let f be ((2 - 3) + -75)/1. Let k be (f/(-6) - 3)*66. Let q = -389 + k. Is q a prime number?
False
Let a(n) = 971*n - 390. Is a(19) prime?
True
Let u(f) = 28*f + 5. Let r be u(10). Suppose 0 = 4*k - 2*w - 228, -5*k + w + 3*w + r = 0. Is k composite?
True
Let c(r) = -r**2 + 16*r + 4339. Is c(0) composite?
False
Is (3602 + 1)*12/36 a prime number?
True
Suppose 5*m + 0*k = -3*k + 4420, 4*m - 3536 = -4*k. Let b = -147 + m. Suppose 0 = -4*f + b - 229. Is f prime?
True
Let q(d) = 23*d**3 + 2*d**2 + d - 3. Let a be (-2)/(-10) + 108/60. Is q(a) prime?
True
Let p be 195/(-52) - 1/4. Is (-74)/(0 + (p - -3)) a composite number?
True
Let a(d) = 2*d**2 + 5*d - 7. Let i be a(-4). Suppose -2*x - 1442 = -2*q, i*q - x = 183 + 3414. Is q composite?
False
Let s(y) be the second derivative of y**5/20 + y**4/3 - y**3 - y**2 + 8*y. Let r be s(-5). Is -3 - 