prime?
True
Let z = -23 + 23. Suppose -6*a + a + 8285 = z. Is a a prime number?
True
Let s(g) = 8*g**2 - 15*g + 1. Let m be s(2). Suppose -2*x + 3700 = -m*f, -2*x + 5*f + 3708 = 6*f. Is x a prime number?
False
Let v = 551 + -533. Is ((-1293615)/v)/(-17) + (-6)/(-4) composite?
False
Suppose n + 6 = -4*l - 7, 3*l + 8 = n. Is (-127828)/l + 40/24 composite?
False
Suppose -3 = 2*l + o - 5, l - 4 = -2*o. Suppose i + u - 3*u - 43 = 0, l = -5*i - 3*u + 280. Let m = 38 + i. Is m prime?
False
Let t = 2284204 - 1359255. Is t a prime number?
False
Suppose -11*c = -8*c - 6, -2*b = 4*c - 527082. Is b prime?
True
Let z = -7512 + 16259. Is z composite?
False
Let t(w) = 38*w**2 + 15*w - 16. Let r be t(18). Suppose -o + 8965 = 3*f, -4*f - 2*o - 610 = -r. Let m = f + 1848. Is m composite?
True
Let r = -330 - -316. Is ((-63842)/4)/(21/r + 1) a composite number?
True
Let h = -170778 - -311027. Is h prime?
True
Let f = -599 - -605. Suppose f*n = 8*n - z - 11426, 17125 = 3*n + 2*z. Is n a composite number?
False
Let p = -44 - 0. Is (-8)/p - (-99045)/55 a composite number?
False
Let y = -491914 + 888833. Is y a prime number?
True
Suppose n - 9 = -3*w + 75, -5*w - n + 142 = 0. Suppose c + s = -0*c + 8, -4*c = s - w. Suppose -5 = c*g - 6*g, -5*p + 3*g = -11080. Is p prime?
True
Suppose 0 = 4*n - 0*n. Let u = 9602 - 9582. Suppose -u*r + 18*r + 590 = n. Is r a composite number?
True
Let c be 4 + 18/(-27) + (-4402)/(-6). Let y = -315 + c. Is y a prime number?
False
Is -15 + (-390)/(-24) + (-455518)/(-8) prime?
True
Suppose -2 = 3*c - 2*c. Let o be 199 - c/4*(4 + -4). Suppose -4*l + o + 397 = 0. Is l a composite number?
False
Let x(b) be the third derivative of -95*b**4/24 + 127*b**3/3 - 160*b**2. Is x(-27) composite?
False
Suppose 2*g + 4*f = 1476, -2*g - f - 2*f + 1480 = 0. Suppose 749*c - 174237 = g*c. Is c composite?
True
Let d(j) = j**3 - 120*j**2 - 139*j - 431. Is d(124) a composite number?
True
Let g(y) = -y**3 - 14*y**2 + 25*y - 25. Let l be g(-19). Suppose -2*p = 7*p - l. Let x = 202 + p. Is x a composite number?
False
Let g be 29/2 + (-8)/(-16). Suppose 2 = -g*n + 16*n. Is (-22220)/(-35) - n/(-14) prime?
False
Suppose 3*u = n - 0*u + 74, n + 2*u = -54. Let i be n/(-5) - 6/15. Is 5372/i - (-4)/(-6) a composite number?
True
Suppose 14*t + 2*t = 43984. Let i = t + -566. Is i prime?
False
Let d(f) = 10 - 4*f**2 - 5 - 7*f**3 + 15*f + 2*f - f**3. Let a(y) = -7*y**3 + 4*y**2 - y - 4. Let z be a(1). Is d(z) a prime number?
True
Suppose 36*w - 104 = 44*w. Let j(f) = 6*f**2 - 18*f - 22. Is j(w) a prime number?
False
Let j = 6398 - 6396. Suppose 5*g + 0 = -3*l + 26, 0 = -4*l + 3*g - 4. Suppose l*b - 1022 = -5*o - b, -1027 = -5*o + j*b. Is o a prime number?
False
Let a = -573 + 1260. Let y(f) = 17*f**2 - 17*f - 7. Let s be y(7). Suppose p = 2*k + a, 0*p + 2*k = -p + s. Is p a prime number?
False
Let z(m) = -2432*m**3 - 5*m**2 + 21*m + 73. Is z(-3) composite?
False
Suppose 3*f - 253*z + 255*z - 90091 = 0, -30028 = -f - 3*z. Is f a composite number?
True
Suppose 0*w + 8*w = w. Let c = 2 + w. Suppose 4*i + 5*p - 1243 = 0, 3*i = -c*i - 4*p + 1547. Is i a prime number?
True
Suppose 2 = d - 2*b + b, 9 = 2*d - 3*b. Let m be (d - -2)*3 - (-5 - 0). Suppose -2*p + m*w + 3523 = 5*w, 0 = 5*p + w - 8775. Is p a composite number?
True
Let w(b) = 9*b - 27. Let s be w(3). Suppose -2*p = -s*p - 2*o - 10530, 2*p - 10542 = -2*o. Suppose -4*u + 5244 = 4*v, -u + 2*v + p = 3*u. Is u a prime number?
False
Suppose 3*u - 3893 = -443. Suppose -3*y = 2*i - u, 2*i - y - 1755 + 589 = 0. Is i prime?
False
Let l = 497 - 485. Suppose 0 = -l*x + 953796 - 239832. Is x a composite number?
False
Let n = 761486 + 330723. Is n prime?
True
Let w(b) = -163*b**2 + 4*b + 1. Let c be w(-2). Suppose 6225 = 21*p + 1647. Let z = p - c. Is z composite?
False
Suppose -133*p - 44436 = 124607. Suppose -3*o - 354 = 318. Let c = o - p. Is c composite?
True
Let w(m) = 5*m**2 + 15*m - 1. Suppose 4*i = -8, 5*x + 10*i + 59 = 8*i. Is w(x) composite?
False
Suppose -v - 2 = -3*v. Let o be (50/(-30))/(v/(-1158)). Suppose -2*u = 5*q - 838, -o = -3*u + 5*q - 673. Is u a composite number?
False
Let m(u) = -138*u**2 + 17*u + 75. Let q be m(-6). Let z = 8588 + q. Is z prime?
True
Suppose v - 36398 = 4*m - 377323, 5*v = 3*m - 255732. Is m composite?
False
Let c(g) = -2*g**3 - 5*g**2 - g - 8. Let j be c(-3). Let n be j + -3 + (1 - (0 + -1)). Suppose 0 = -4*f - 20, -n*s - 2*s = f - 6050. Is s composite?
True
Suppose g - 1331 = 728. Suppose -3*j - g = 5*x, 0*j - 3 = j. Is ((-20)/(-8))/((-5)/x) composite?
True
Let y(h) = -9*h - 161. Let u be y(-18). Is (-1277)/((u + 3)/(-4)) prime?
True
Let d be 3/4 - 57/(-4). Suppose -d*j - 320 = -37115. Is j composite?
True
Let z be (-50)/(-200) - 2*(-56427)/(-24). Let y = z + 17273. Is y prime?
False
Let t(q) be the first derivative of -103*q**2/2 - 143*q + 219. Is t(-27) prime?
False
Let a = 1205813 + -687522. Is a a composite number?
False
Suppose 167*v - 172*v + 965856 = 4*b, 0 = 4*b - 5*v - 965936. Is b composite?
True
Let l(t) = 184*t**2 + 21*t - 89. Let m = 305 + -301. Is l(m) a composite number?
False
Let g(r) = -1908*r - 2. Let x(c) = -c**3 + 4*c**2 + 3*c - 13. Let i be x(4). Is g(i) composite?
True
Let v be ((-3)/(7 - 1))/(4/952). Let w = v + 123. Suppose -4*o - w*o = -9704. Is o a composite number?
False
Let h(v) = 64*v - 257. Let z be h(4). Is (-2252)/((4 + 0)*z) composite?
False
Let b = 41517 + -80206. Let w = 89336 + b. Is w composite?
False
Suppose -4*s + 56 = 3*v, 0*s = 2*s + v - 28. Let x = 19 - s. Suppose -2*n + 7*u = x*u - 1246, -5*u + 2456 = 4*n. Is n a prime number?
True
Suppose 3*v - 3584093 = -4*h, v - 146*h = -142*h + 1194687. Is v a composite number?
True
Let w(g) = -13*g - 122. Let i be w(-9). Let k(b) = -1352*b + 43. Is k(i) prime?
True
Let q(s) = 14794*s**2 + 312*s - 941. Is q(3) composite?
True
Let n = -4 - -9. Let w(f) = 69*f**2 + 20*f - 10. Let o(b) = -156*b**2 - 40*b + 22. Let h(s) = 4*o(s) + 9*w(s). Is h(n) prime?
True
Suppose -3748766 = -160*h + 4317314. Is h prime?
False
Suppose 0 = -2*a - 3*p + 411819 + 294319, 5*a - 2*p = 1765345. Is a a composite number?
False
Let v(d) = 5*d - 10. Let a be v(3). Suppose a*x - 12*x = -7. Is (668/(-16) + x)*-44 a composite number?
True
Let f(s) = -487*s + 1640. Is f(-23) a prime number?
True
Suppose 10*i - 9*i = 4*w + 881, 4*i - 3537 = 3*w. Suppose 0 = -2*d + 1209 + i. Is d composite?
True
Suppose -f + 11 = -3*o, -5*o = 4*f - 2*f. Suppose -2*i - x + 41647 = i, f*x = -2*i + 27756. Is i composite?
False
Let s be (-788 - 6)*((-1)/2 - -2). Let w = s - -3097. Is w prime?
False
Let s = 645658 + -222905. Is s prime?
True
Let v be 2*6/(-36)*-42. Suppose -v*x = -16*x + 3122. Is x a composite number?
True
Let m = 115 - 10840. Let b = m + 30556. Is b composite?
True
Let p(s) be the second derivative of 2665*s**3/6 + 4*s**2 + 2*s. Let j be p(1). Let d = j + -1504. Is d a composite number?
True
Suppose 141*s - n + 173866 = 146*s, 0 = -s + 5*n + 34794. Is s a prime number?
False
Suppose -548 = -4*t + 1096. Let m = t - 173. Suppose 0 = l + x - m, -5*x + x = -20. Is l a composite number?
False
Let x = 1039224 - 739831. Is x a prime number?
True
Suppose -f - 24450 = 51741. Let x = f + 115606. Is x a composite number?
True
Let i be -2*((-72)/8 + 13). Is ((-96482)/(-8) - 5)/((-2)/i) composite?
False
Suppose -2*o + f + 2603 = 0, 5*f + 15 = -10. Suppose -o = 12*x - 25095. Is x a composite number?
True
Let n(i) be the first derivative of i**3/3 - 27*i**2/2 - 28*i + 4. Let y be n(21). Let g = 7 - y. Is g prime?
False
Let x(n) = 4*n**2 + 4*n - 31. Suppose 18*y = -5*y + 414. Is x(y) a composite number?
True
Let b = -121 + -11. Suppose -5*q = 2*c + 40, -q - 2*c - 23 + 7 = 0. Is ((-33)/q)/((-6)/b) a composite number?
True
Is 14/(1288/98278517) + (-4)/(-16)*1 prime?
False
Let k = -761 + 760. Is ((-935548)/(-184))/(k/(-2)) a prime number?
True
Suppose -6*q + 9*q - 4839 = -i, 0 = 2*i + 3*q - 9678. Suppose p + f = -0*f + 2420, 2*p - i = -f. Is p a prime number?
False
Let x be 540/(-240) + (27/12 - 3). Let y(f) = 7*f + f - f + 49*f**2 - 1. Is y(x) composite?
False
Suppose 0 = -3*n + 4*b + 2236, 0*b + 3724 = 5*n - 4*b. Let x = 3055 + n. Is x composite?
True
Is 5006/(-3)*(4927/(-26) + -34) a composite number?
True
Let h(g) = -4*g + 31 + g + 0*g + 12*g + 5*g**2. Let n 