292. Is p equal to -3/11?
False
Let l = 141 + -79. Suppose 1281 = -31*w + 52*w. Which is smaller: w or l?
w
Let h = 251.6 + -251.42. Do h and -115 have different values?
True
Let n = 3869 - 3509. Do n and 361 have different values?
True
Suppose -4*u + 271*h + 14 = 269*h, -3*u = 2*h + 14. Which is smaller: 100/71 or u?
u
Let d = 0.232 + 6.768. Let k(p) = 5*p + 17. Let z be k(-3). Which is smaller: d or z?
z
Suppose 14*n - 64 = -20*n - 30*n. Let z = 8868227/105 + -424007/5. Let t = z + 342. Which is bigger: t or n?
n
Suppose 0 = -6*j, 5*t = -14*j + 18*j. Are 8/4871 and t equal?
False
Let w be 2/5 - 800352/880. Let z = w + 908. Let b = z - -25/33. Are 5 and b non-equal?
True
Let u(s) = 42*s - 21. Let j be u(4). Let l = 114 - j. Is l <= -1?
True
Let l = 317 + -318. Suppose 0 = -n - 2*h - 0*h + 3, -32 = n - 5*h. Let b be ((-1365)/192)/n + -1. Which is greater: l or b?
b
Let r be (11/(-4))/(1/(0 + -4)). Suppose -r = -s - 9. Are 4/7 and s nonequal?
True
Let z be ((-62)/3)/(-2) + -1 + -7 + 12. Let g(j) = 9*j**2 - j - 2. Let y be g(2). Suppose -3*t + 10 = -y. Does z = t?
False
Let p = 15497 - 15696. Which is smaller: -3 or p?
p
Let h = -64351 + 57336731/891. Which is smaller: h or 0?
h
Suppose 7276 = -87*b + 19*b. Is b > -26?
False
Let f = 3 + -2.9. Let o = 0.17015 - 0.11015. Which is smaller: f or o?
o
Let k = 218 - 238. Let t be -4 + -5 + (-176)/k. Let b be (-1)/(-5) - (-4)/30. Is t bigger than b?
False
Suppose 5*v + 15 = 0, -2*v = -c + 5 - 0. Let a = 60 - 58138/969. Which is greater: c or a?
a
Suppose 2*k + 2*c - 2 = 18, c = 5*k - 26. Let l = 278/341 - -172/31. Which is smaller: k or l?
k
Let r = 15.6182 - -0.3818. Is -1/2 > r?
False
Suppose n = 3*c - 2*c - 381, 5*c - 1896 = -4*n. Suppose 3*o - 10 = c. Which is smaller: 128 or o?
128
Suppose 5*n + 16 = -2*r, -3*n + 1 = -r + 4. Let v be (n + -2)*5*1432/160. Which is greater: -177 or v?
-177
Let g(y) = -y**2 - 18*y - 77. Let x be g(-11). Suppose -7*w - 2*w - 9 = x. Is -3/97 < w?
False
Suppose -4*j + 4*m = -5404, -3*m - 1349 = -4*j + 3*j. Suppose 8*k + j = 424. Is k < -117?
False
Suppose 0 = 2*s + 4*s + 4*s. Let q(d) = -d**3 - d**2 - d + 2. Let n be q(0). Let z be ((-5)/n - -3)/(-7). Which is bigger: s or z?
s
Suppose 4*x - 2811 = 6*t - 3*t, t = 3. Let a = x - 1198. Do -492 and a have different values?
True
Let a = 28 + -16. Let o = -903 - -913. Let c = a - o. Which is greater: 3 or c?
3
Let a = -44489/25425 - -405/226. Which is smaller: a or 0?
0
Let i = 5.95 - 747.95. Let m = 295 + i. Which is smaller: -0.1 or m?
m
Let r = 680 + -678.59. Let v = 10.3 - 9.89. Let i = r - v. Is i at least 4?
False
Let j = 1 - 47. Let i = j + 62. Is 1 greater than or equal to i?
False
Let s be 25/9 - (30/(-27))/5. Suppose j = s*i - 4, -3*j = -i + 5*i - 14. Suppose -i*v + 2*b - 28 = 2*v, -4*v - 5*b - 42 = 0. Do v and -8 have the same value?
True
Suppose -7*l + 236 + 16 = 0. Suppose l*y = 38*y - 46. Suppose -21 = 2*t - y. Which is bigger: t or 3/7?
t
Let h(n) = -n**3 + 6*n**2 + 45*n - 251. Let c be h(5). Is 7/451 bigger than c?
True
Let n = 9 + -14. Let u(c) be the third derivative of c**6/120 + c**5/12 - c**4/24 - 2*c**3/3 + 2771*c**2. Let h be u(n). Is h at most 1/21?
False
Let u be 4432/1480 + (-5)/(15/9). Let j = u - 143/7770. Let s(q) = -q**3 - 4*q**2 - q - 3. Let d be s(-4). Is j < d?
True
Let i = 286.285 + -286. Let j = 0.025 + i. Which is smaller: 2 or j?
j
Let b = -2623 + 2694. Is b <= 85?
True
Suppose 0 = 5*k - k + t - 33, 21 = 3*k + 2*t. Suppose -1296 = k*r + 9*r. Let j be (-6)/5*-15*16/r. Which is bigger: -17 or j?
j
Let r(p) = -3*p + 2*p - 4*p + 4*p - 8. Let g be r(-9). Which is greater: g or 3/59?
g
Suppose o - 3*u - 27 = -2*o, -5*o + 45 = 2*u. Suppose -o*q + 23*q = -140. Which is bigger: q or -13?
q
Let p = 677 - -1087. Is p less than 1763?
False
Suppose 7*p + 240 = -p. Suppose 294 = 3*l + 4*l. Suppose -12 = -c - l. Is c less than p?
False
Suppose m - 4*n + 5 + 4 = 0, -3*n = 3*m - 18. Suppose -u - m*p - 16 = 0, -u + 4*p + 9 = 2*p. Is u at most as big as -1/22?
True
Let o(t) = t**3 + 23*t**2 + 22*t + 4. Let w be o(-22). Suppose 4*s + w*s - s = 0. Is 3/5 <= s?
False
Suppose -9720*u - 10 = -9725*u. Is u <= 2/1941?
False
Suppose 0 = -179*l + 343*l - 176*l - 11424. Which is greater: -953 or l?
l
Let y(d) = 6*d**2 - 7*d - 7. Let p be y(4). Let t be ((-14)/7)/(2 - (-189)/(-93)). Is t less than p?
False
Let z be ((-12)/(-80))/3*(-33)/3. Let a = z - -3/10. Which is smaller: 1 or a?
a
Let v = 511 + -424. Suppose v = -3*f + 3*s, 100 = -3*f + 5*s + 7. Does f = -19?
False
Let o = 0.12 + -9.12. Let q be 5256/(-6552) - (-12)/52. Which is smaller: q or o?
o
Suppose -3*m + 3*r - 4207 = -925, -2180 = 2*m + 2*r. Let z be 15/((-3330)/m) - 5. Are z and 0 unequal?
True
Let o be (-25722)/15*(-1 + (1326/(-18))/13). Is 11432 > o?
False
Let g = -3147 + 3002. Is 0 less than g?
False
Let i = 0.008 - 0.448. Let f = i + 0.536. Let v = 0.004 + f. Does v = -2.5?
False
Let v be ((-8 - -4) + 2)/(-11 - -10). Suppose 3*k + 0 = -v*m + 19, -2*k = -m - 1. Let r be ((-18)/10)/((-2)/4). Which is smaller: r or k?
k
Let a = 268 - 265. Suppose 3*q - 632 + 200 = a*k, -2*q - 8 = 0. Is -148 bigger than k?
False
Let c(p) = p**3 + 4*p**2 - 2*p + 14. Let g be 1 - (-17)/((-119)/42). Let s be c(g). Which is greater: -3/77 or s?
-3/77
Let h(f) = 2*f**2 + 20*f - 16. Let x be h(-11). Suppose x*u = -u + 441. Suppose -2 = 65*m - u*m. Is 2/167 equal to m?
False
Let y = 8027 - 7551.9. Let m = y - 475. Which is greater: 52 or m?
52
Suppose 51*g = 42*g + 297. Suppose 0 = g*o + 34 - 1. Let h be -1 + 7/(-18)*-2. Which is smaller: o or h?
o
Suppose -39*v + 43*v = 396. Let n be (-155060)/v - 6/33. Let b = -1564 - n. Which is greater: b or 1?
b
Let j be (49 + -43)/(0 + 6/(-4)). Let v be 138/(-39) + -14 + 15. Is v less than or equal to j?
False
Suppose -13*n - n + 520 = -4*n. Which is greater: 26 or n?
n
Suppose -3*k + 3*r + 9 = 0, 1 = 5*k + 5*r - 4. Suppose 0 = -8*i + 11*i + b - 231, -4*b - 168 = -k*i. Is i less than 76?
False
Let w = -95 + -49. Let o = 145 + w. Which is bigger: o or 2/21?
o
Let s be (-58)/56 + (-22)/(-77). Let x(h) be the first derivative of -h**4/4 + 4*h**3/3 - h**2 - 3*h - 41. Let l be x(3). Which is greater: s or l?
l
Let r be (-1 - (-42)/30)/(1/10). Let s be (-2 - -6 - r)*(-4)/12. Which is greater: 187 or s?
187
Let u be 8/60 + 13248/(-135). Let x = u + 132. Suppose o + t - 33 = 4*t, 4*o + 4*t - 132 = 0. Which is greater: o or x?
x
Let s = 293102/651 - 11288/21. Is -86 less than s?
False
Suppose -16 = z - 4*x, 3*z - 8 = -2*x - 0. Is z > -70/179?
True
Let l = 5/9 + -1/18. Suppose -3*n = -0*n - 12, 0 = -2*x - 2*n + 8. Suppose 3*k + 2*k = x. Which is smaller: l or k?
k
Let x(a) = 3*a**2 - 103*a + 46. Let d be x(34). Suppose 9*c = -2*o + d*c - 40, -4*o - 58 = 5*c. Is -24 < o?
True
Let m = 45 - 97. Let j = m - -35. Let s be 24/(-60)*(-25)/(10/(-2)). Which is bigger: s or j?
s
Suppose -67*i = -74*i + 70. Suppose 5*a = -2*b + 37, -b + i = -5*a - 16. Does 22 = b?
False
Let p(h) = -4*h + 64. Let j be p(7). Suppose 11 = 25*q - j*q. Let c be (2/(-21))/((-4)/(-24)). Which is smaller: q or c?
q
Let o = 1263 - 896. Let u = o + -364. Is u < -0.012?
False
Let f(g) = g**2 - 10*g - 886. Let h be f(-22). Suppose 0 = -5*z - 5, -2*x - 5*z - 548 = x. Is x less than h?
False
Let r be ((-36)/2)/(27/(-18)). Let a be (-112)/(-96) - 2/r. Suppose -a = 11*u - 12. Which is smaller: u or -2/61?
-2/61
Let l = -34629.26 - -34680. Which is greater: 0.5 or l?
l
Let m = 32/45 + -2/3. Let r be 380/7 - (-4)/(-14). Let n be 2/9 + (-66)/r. Which is bigger: n or m?
m
Suppose 13*f + 35680 = -27*f. Are -897 and f non-equal?
True
Suppose 283*h + 1332 = g + 288*h, -3*h - 1356 = -g. Is g bigger than -2/9?
True
Let x be (-26 + 2)*33/6688*40. Do x and -5 have the same value?
False
Let k = -2795 + 2794. Are 0.4127 and k unequal?
True
Let y(l) = -7*l - 3. Let c be y(-3). Suppose c = 3*w - 3*n, n + 8 + 1 = 4*w. Let q be -5 + (-4)/(-2) + w. Is q greater than -5/8?
False
Suppose -2*s = -5*c - 115, 2*s - 73 = 6*c - 3*c. Let q be (-4)/(-28) - (-24)/c. Do q and -10/31 have the same value?
False
Let t = -7681 - -7681. Is t != -2.066?
True
Let n = -959 - -6704/7. Is n greater than -2?
True
Let w = -1960 + 8395/4. Is w at least as big as 140?
False
Let s be 2/(-32) + (-8506641)/(-34320). Which is smalle