 prime number?
False
Is 4/30 + (0 - 32067978/(-90)) a prime number?
True
Let h(p) = -212*p + p**3 + 5 - 4 + 210*p. Let o be h(-2). Let q(n) = 345*n**2 + 7*n + 11. Is q(o) a composite number?
True
Suppose 64*j + 4698 = 73*j. Let t = j + -175. Is t prime?
True
Is (33 + -31)/(210412/736393 + (-14)/49) prime?
True
Let a(i) = 6089*i**3 + 12*i**2 - 43*i + 53. Is a(6) a composite number?
False
Let b(r) = -17920*r + 343. Is b(-1) a prime number?
False
Suppose 28 = 4*h, -5*y + 3*y + 4*h + 104730 = 0. Is y a prime number?
True
Let g(b) = 14*b**3 + 18*b**2 + 35*b - 123. Is g(14) a composite number?
True
Suppose -19 + 3022 = -7*m. Suppose 5*u + 2954 = 4*i, 2938 = 4*i - u + 4*u. Let l = m + i. Is l a composite number?
False
Let k = 944 - 936. Is 4/(-4) + k + 3156 prime?
True
Suppose -7*f - 22 = 41. Let u be ((-729)/(-6))/f*(-4)/6. Suppose -u*t = -5*t - 6740. Is t prime?
False
Let s = 110331 - 44414. Is s a composite number?
True
Let n be -3 + (5 - -19)/3. Suppose -40 = -n*i + 35. Suppose 11*t - i*t = -4188. Is t prime?
False
Let p(n) = 7*n - 35. Let i be p(10). Let j(g) = -14 + 14 + 25 - i*g - 226*g. Is j(-4) prime?
True
Let d(w) be the second derivative of 13*w**3/6 - 7*w**2 + 9*w. Let b be d(-18). Let l = b + 541. Is l a composite number?
False
Let i(x) = 3477*x**3 + 9*x**2 + 5. Is i(3) composite?
True
Let z = 184 - 189. Is 3/z + 9613/5 + -3 composite?
True
Let c be ((-255)/20)/(1/4)*2. Let h = -156 - c. Is (-12)/h - (-763)/9 a composite number?
True
Suppose -m + 3*a = 2*m - 9579, -3*m + 9573 = -a. Suppose -5*n + 7965 = -3*t, -t = 2*n - 3*t - m. Suppose -3*h + n = 7*h. Is h composite?
True
Suppose -3*h = 3*n - 2*h - 2, -3*n = 2*h - 7. Let i(u) = -u**2 - 18*u - 30. Let r be i(-15). Is r + (8/n)/(-2) a prime number?
True
Let k(y) = -2*y - 5. Let p be k(-3). Suppose -145*v + 6 = -144*v. Is 3/(v*p/262) a prime number?
True
Let j(n) = -49*n**3 + 238*n - 251*n - 10*n**2 - 7 + 0*n**2 + 2*n**2. Is j(-6) composite?
True
Suppose -2*k - 170 = -4*x, -5*x - 3*k + 217 = -4*k. Let i = 37 - x. Is -1 + i/(-9) + (-15200)/(-36) a composite number?
True
Suppose -8*f = -5*f - 381. Suppose 3*c - f = -19. Let k = 227 - c. Is k a composite number?
False
Is 4/((-228)/(-171)*(-6)/(-1793098)) a composite number?
False
Is ((-4)/12*-14 - 5)*(-30112 + 1) a prime number?
True
Suppose 0 = 375*z - 414*z + 1458561. Is z a prime number?
False
Let n = -72684 + 139115. Is n composite?
False
Is 68313 + 16 + -29 + 11 a composite number?
False
Suppose 2*p = 5*p - 6. Suppose -4*u + j + 4564 = 0, -3*u + 3423 = p*j + j. Is u composite?
True
Suppose 5*w + 2107104 = 5*h + 778279, -w + 1328837 = 5*h. Is h composite?
True
Is 72195 + 96*(-5)/(-30) prime?
True
Let x = -91 - -93. Suppose -2*p + 587 = x*h - 397, -5*p + 2433 = -4*h. Is p a prime number?
False
Suppose -2*g = 5*l - 125, -8*g + 5*l - 65 = -9*g. Suppose g*x = 17*x + 317426. Is x composite?
True
Let r be 9/12 - 260/(-16). Suppose -5*y = -u - r, 5*u + 2 - 13 = y. Suppose -1643 = -k + y*a, 0*k + 8095 = 5*k + 4*a. Is k a prime number?
False
Suppose 2*l - 15878 = 4*z + 14200, 5*l - 75175 = 5*z. Is l prime?
True
Suppose 1793742 + 2231979 = 34*q + 370075. Is q a composite number?
True
Suppose -3*z + 78409 = m - 81316, 0 = -5*z + 2*m + 266223. Is z a composite number?
True
Let o = -3253 + 80444. Is o prime?
True
Suppose -45213319 + 13057054 = -285*l. Is l a prime number?
False
Let a be 6 - 117300/(-78) - 4/(-26). Suppose -v + a = -2*v. Let w = 2349 + v. Is w composite?
False
Let z(v) = 71*v**2 - 4*v + 5. Let w be z(3). Let q = -352 + w. Is q + 21 - (-1 + 1 + 0) composite?
True
Suppose 120 = -5*t + 4*w, 36 - 1 = -t + 3*w. Let n be ((-5)/(t/(-26)))/((-4)/464). Suppose 3*p - 4*d = 6313, -4956 = -2*p + d - n. Is p a composite number?
False
Suppose 5*d = 4*s - 1428, -3*d = -2*s - 0*d + 714. Let q(k) = 4*k**2 - 9*k - 33. Let f be q(7). Let v = s - f. Is v composite?
False
Let o = 9632 - 2593. Is o*(4/(-2) - -3) prime?
True
Let g = 34266 - 24229. Is g a composite number?
False
Let w(v) = 17571*v**2 + 16*v + 16. Is w(-1) prime?
False
Suppose -5*m + 30344 = 2*o - 93413, -5*o + 309410 = -5*m. Is o a prime number?
False
Suppose -10*y + 15*y = 0. Suppose 6*s + 2*s - 8224 = y. Suppose 5*a - s = a. Is a a prime number?
True
Suppose 10*b = -14*b - 0*b. Suppose 3*s - n + 1888 = 6*s, 4*n - 4 = b. Is s prime?
False
Let h = -8 - -6. Let b(x) = -4 + 13*x - 59*x + 1. Is b(h) a prime number?
True
Let x be 4 + -1*48*-1. Suppose m = -r + 1820, -3*r - 5*m - x + 5518 = 0. Is r a prime number?
False
Let n = -72 + 60. Let a = -8 - n. Is (6 + a)/(-5)*(0 + -211) composite?
True
Let b(s) = 22*s**3 - 3*s**2 + 5*s + 4. Let j be b(-3). Let n = -291 - j. Is n a prime number?
False
Suppose -4*g - 378 = -g. Let t = g + 141. Is 8/(-2) - -2 - (t - 1230) a prime number?
True
Suppose 5623371 + 3668265 = 36*a. Is a prime?
True
Let s = -96 - -269. Suppose -2*d - 2*i = -s - 653, d - 4*i = 408. Let y = d - 201. Is y prime?
True
Suppose -5*a - 6*a + 33 = 0. Suppose -y - 2*w + a*w = -2214, 4*w = 5*y - 11075. Is y composite?
True
Let m be 2606992/(-336) + 2/(-21). Let s = 12094 - m. Is s prime?
True
Is 5 - (14 + -17)*38667 - (-1 - 2) a prime number?
True
Let v = 1181628 + 1120703. Is v prime?
True
Let k(v) = v**2 - 25*v + 120. Let s be k(6). Suppose 2220 = s*i - 48654. Is i prime?
False
Let y(a) = -19853*a + 3408. Is y(-19) prime?
False
Suppose -68*j = -29*j - 43*j + 2803604. Is j a prime number?
False
Let g be 1 + -1677 + (-2 - -3 - 0). Let b = g - -2630. Is b prime?
False
Suppose 4*l = -2*n + 86, -3*n + l = n - 190. Let h = 50 - n. Suppose -4*u + 721 = v, -u + 2163 = h*v - 6*u. Is v composite?
True
Let k = 614 - 610. Suppose -23867 = -5*z - k*m, -4*z - 4*m + 2*m = -19090. Is z composite?
True
Let d(s) = 289*s + 8. Let k be d(-4). Let o = k + 668. Let v = 679 + o. Is v prime?
True
Let k = 318565 + 28764. Is k a prime number?
True
Suppose -406*s - 1537880 = -446*s. Is s a composite number?
False
Suppose 4*z + 2*g + 57673 - 1397191 = 0, 0 = 4*z + 3*g - 1339513. Is z composite?
True
Let x be ((-23)/46)/((6/(-3))/12). Suppose -h + l = 5*l - 53453, 0 = x*h - 2*l - 160429. Is h prime?
False
Let w(h) = -2*h**2 - 3*h + 12. Let r be w(-3). Suppose 4*d - r*d + 2132 = q, -5*q = 3*d - 10700. Is q composite?
False
Suppose 33*b - 35*b - 2*j + 600608 = 0, -b = 3*j - 300314. Is b prime?
True
Let h(w) = -35*w - 17. Let v(a) = -69*a - 34. Let y(m) = 11*h(m) - 6*v(m). Let l be y(-2). Is l*(11/(-2) + 4/8) a composite number?
True
Suppose t + 4*a = 0, 2*t = -2*t - a. Suppose -3*k + 2203 = -5*z, 2*k + 2*k - 2956 = 2*z. Suppose 5*y - 2*y - k = t. Is y composite?
True
Let z(m) be the second derivative of -m**4/12 + 7*m**3/6 - 3*m**2 - 22*m. Let j be z(5). Is j + 1/(-2)*-3794 composite?
False
Suppose 4*j - 32 = 4*i - 6*i, -40 = -5*j - 4*i. Is (-2)/4*(-1174 - j) prime?
False
Let a = -111 + 90. Let x be ((-10503)/(-21) + -3)/((-2)/a). Suppose 3*z + x = 3*o, 0 = 3*o - 5*z - 6318 + 1096. Is o composite?
True
Is 231241/((-1)/(-5) - (-320)/400) composite?
False
Is (14 - (-44407)/2)*2 a prime number?
False
Let f = 19751 + -12648. Is f a composite number?
False
Let i(k) = -16*k - 43. Let q be i(-3). Suppose -4*b + 13805 = -5*t - 2612, -q*t + 8201 = 2*b. Is b a composite number?
True
Suppose 8715*g + 229933 = 8726*g. Is g a prime number?
True
Let l = 8639 - 5906. Suppose l + 1501 = 2*a. Is a a prime number?
False
Let m be (1/(-2))/(17/11186). Is (4 - m) + (-4)/2 a prime number?
True
Let q(f) = -2*f**2 + 11*f + 19. Let j be q(7). Let l(k) = -k + 3. Let i be l(4). Is (((-116)/j)/(2/(-7)))/i prime?
False
Is ((-3583904)/(-40))/(36/90) composite?
True
Suppose -3*g - 7 = -y - 8, 0 = 5*y - 5*g + 25. Let o be -2 - ((-216)/21 - 2/y). Let v(j) = j**3 - 4*j**2 - 3*j + 19. Is v(o) prime?
True
Let v be (20/(-2))/(2/62). Suppose -16*g + 11*g + 2545 = 0. Let o = v + g. Is o a composite number?
False
Suppose -5 = -a, -5*a + 10*a = -4*j + 57. Suppose 10*s = j*s - 886. Let h = -232 - s. Is h prime?
True
Let g(q) = 2027*q + 38. Let p = 307 - 304. Is g(p) prime?
False
Suppose -5*w + 286841 = 4*r, -2*r + 5 = -7*r. Suppose -w = -8*b - 5*b. Is b a prime number?
False
Let w be (17 - 42)/(-2 - -1). Suppose -w*o + 34548 = -13*o. Is o a prime number?
True
Let k be (-2 - 2*-1)/(88 + -85). Is (k - 3) + 4795*2 a prime number?
True
Suppose 271712 = 4*z + 