 + 572. Are p and -143 equal?
False
Let x = -13/144 + 5/16. Let j be (4/10)/((-8)/(-1440)). Suppose 0*m + j = -4*m. Which is smaller: x or m?
m
Suppose -5*m + 1684 = -2*y, 2 = -8*y + 7*y. Is m less than 336?
False
Let h be ((-98)/(-5))/(2/10). Let w be (((-2)/(-4))/(35/23380))/(3 - 1). Let v = h - w. Is -1 at least v?
True
Let i be 3 + 879/(-22) - 414/46. Which is greater: i or -46?
i
Suppose 120 = 9*a - 96. Let l(r) = -r**3 + 6*r**2 + r. Let c be l(6). Let w be 5/(15/c) - 1. Which is smaller: a or w?
w
Let x be 81 - (0 + 1/(-3))*3. Let i = -147 - -229. Are x and i unequal?
False
Let v = 6/59 + 47/118. Let h = 0.055 + -0.575. Let q = h + 3.92. Is q != v?
True
Let n = 673 + -281. Let z = n - 370. Is z less than 19?
False
Suppose 386*d = 765*d - 364*d + 12435. Is d greater than 5?
False
Let a be 1436624/32825 + (-2)/(-25). Which is greater: a or 44?
44
Let b = -117812 + 826050/7. Are b and 195 nonequal?
True
Let a be 136/16 - (-2)/(-4). Let p(v) = 2*v**3 - 17*v**2 + 10*v - 11. Let m be p(a). Suppose 3*f + 121 = b - 20, -m*f = -b + 237. Is 0 less than or equal to f?
False
Suppose 40*y = 49*y - 1215. Let s be 24/y*111/(-10508). Which is greater: s or 1?
1
Suppose 56 = -4*c - 56*u + 52*u, 0 = -5*c - 3*u - 54. Let w(g) = g**2 + 7*g - 3. Let p be w(-8). Suppose 0*h = p*h + 20. Which is smaller: h or c?
c
Let t = 281207/17949 - 2/5983. Is t less than or equal to -11?
False
Let p be 3/(-12)*8/(-2). Let d = 3399/67942 - 1/2954. Which is smaller: d or p?
d
Suppose -5*b - 6 = l, 5*l = 9*b - 14*b - 10. Which is smaller: b or -18/745?
b
Let v be 3/(39/(-13)) + 195. Is 188 less than v?
True
Let f(v) = -v**3 + 22*v**2 + 35*v - 87. Let p(s) = -3*s**3 + 66*s**2 + 107*s - 260. Let r(b) = -17*f(b) + 6*p(b). Let g be r(24). Is g not equal to 1/3?
True
Let y(u) = -5*u**2 - 2*u. Let g be (1/(-2))/(18/(-144)). Let d be y(g). Is d >= -83?
False
Suppose -69*c = -881 + 881. Is c greater than or equal to -118?
True
Let q = -51 + 50. Suppose -2*d + 4*d = j + 56, 10 = -5*j. Suppose 0 = -d*v + 24*v - 3. Does q = v?
True
Let x(i) = -i**2 - 6*i - 3. Let r be x(-6). Let n(k) = 9*k + 19. Let j be n(r). Is j at least 1?
False
Let j = -10526 + 9288. Which is smaller: -1235 or j?
j
Let j(q) = -q**2 - 5*q - 15. Let o(r) = r**2 + r. Let p(u) = j(u) + 2*o(u). Let d be p(-3). Let z be (0/(d + -2))/(0 - -1). Are z and -17 nonequal?
True
Let l = 0 + 3. Let b be -2 + l + 5*4. Let g be (2/(-4))/((9/(-57))/(-26 + 10332/399)). Which is bigger: b or g?
b
Suppose 5*i - 31 = -26. Let h be (-36)/81*(0 - i/4). Let n be (-1 + 1)/(1 + -2). Are n and h nonequal?
True
Let v = 37272.99 - 37430. Let s = -157 - v. Which is smaller: s or 0.9?
s
Let n = 106.91 + -1.91. Let l = 184 - n. Let v = 79.03 - l. Which is greater: -6 or v?
v
Let c be ((-172)/774 + (-8150)/(-36702))*9. Which is smaller: 0 or c?
c
Let f be 2 - (1 + (-1 - 1)). Suppose 2*d + f*d = 0. Let b be (d + -1)/(25/(-175)). Is 5 less than or equal to b?
True
Let o = -30089 - -30102. Are -964 and o equal?
False
Let q = -693 + 694. Let f = 13389 - 7725455/577. Is q at least as big as f?
True
Let c = 143 - 150.08. Let x = -6.98 - c. Which is smaller: 0.36 or x?
x
Let k = 33127/163721 - 7/1621. Is 0 > k?
False
Let u = 2/44559 - 1916327/6461055. Let r = u - 3/29. Is 49 greater than r?
True
Let w be 1/(-261)*(-6)/4. Let z = 297.5 - 296.5. Are z and w unequal?
True
Let m = -38 - -53. Let b = 18 + m. Let z = b + -44. Which is greater: -0.1 or z?
-0.1
Let p be -2 - (354/2)/(-3). Suppose l = -4*m - p, -4*m - 62 = 2*l - 4. Let s(b) = 6*b**2 - 118*b - 169. Let d be s(21). Is d greater than m?
True
Let b = -134703 + 134702. Let s = 71 + -36. Let x be 1/(-2) - s/(-78). Are x and b nonequal?
True
Suppose 6*y = 168 - 162. Let l be (4 - 5/1)*-4. Let i be l/(-52)*12/4. Is i at least as big as y?
False
Let k be -34 - 23/(69/(-12)). Which is bigger: k or -57/2?
-57/2
Let b = 2900 + -2900.1152. Is b less than or equal to 1?
True
Let s = -185 + -255. Let d = s + 420. Do d and -20 have the same value?
True
Suppose 3*i - 939 = -4*z, 0*i - 3*z - 313 = -i. Suppose 47 = -4*f - i. Let a be 8/3*f/(-15). Which is bigger: a or 15?
a
Let k = -968 + 211. Let s = 754 + k. Which is smaller: s or -66?
-66
Suppose -s = -m - 6, 18*s = 21*s - m - 24. Suppose 9*w = 6*w + s, -2*t + 14 = 4*w. Is t at most as big as -9/76?
False
Let b = 5461472/18315 - -52/2035. Let i = 298 - b. Is i at least as big as -0.98?
True
Let x be (1/1 + (-10)/14)*238/(-267818). Which is bigger: x or 1?
1
Let g(q) = -q**3 - 3*q**2 - 3*q - 1. Let t(a) = -a + 8. Let b be t(10). Let v be g(b). Let p = -12 - 9. Is v < p?
False
Let k be 152/608 - (-122)/216. Which is smaller: 1 or k?
k
Let q = -4478 - -5081. Is 605 > q?
True
Let z be -2 + 4 - (-2 + 0) - -7. Let k be (z/((-5313)/14))/(2/(-108)). Are 2 and k equal?
False
Let t be (3/(-5))/((-15)/40). Let l(o) = -o**2 + 22*o + 110. Let b be l(-6). Let c = 60 + b. Is t smaller than c?
True
Let y = 160.17 - 160. Which is smaller: y or 0.2?
y
Let n be (80/(-22) - -4)*(-18)/(-592). Let b = 55289/5698 + n. Which is smaller: b or 11?
b
Let s be 42/(-28)*68/15. Let q = s + 7. Is q != -42?
True
Let k be (-910)/77 + 9 + 2/(-11). Let l be (-1)/2*k - 695/(-2). Is l >= 348?
True
Suppose -2*q + 3*y - 23 = -8, 4*q = -2*y - 22. Let o be 7*q - (-54 - -60). Which is greater: o or -46?
-46
Let p(i) = i + 9 + 0*i + i - 8*i + 2*i**2 + 25*i. Suppose 2*h - 3*l + 4*l = -18, -4*h + 4*l = 36. Let y be p(h). Which is greater: y or 3?
3
Let u = 21 - 29. Let f = -3097274/438285 - -4/29219. Which is bigger: u or f?
f
Let i = -31 + 36. Let j be (7160/11850 + (-3)/i)*-6. Is 0 smaller than j?
False
Let w be (-1)/5*(-124 + 23789). Is w less than or equal to -4733?
True
Suppose 21*j - 4787 = 3487. Suppose j*v - 402*v = 56. Let s be 9/15*(-14)/1. Which is greater: s or v?
v
Let f(j) = 4*j - 2*j + 9*j**2 + 2*j - j**2 - 2. Let t be f(1). Let n be ((-22)/t*-2)/((-2)/10). Is -23 less than n?
True
Let z be -1 + 2 + 4/10. Let s = 7139 + -7137. Which is smaller: s or z?
z
Let n(m) = m**2 + 8*m + 18. Let c be n(-8). Let y = -13 + c. Suppose 4*v = -y*b - 25, 8 = -3*v - 7. Which is bigger: -2/175 or b?
-2/175
Let i be 2 + (-1569)/45 - (2/15 - 0). Do i and 0 have the same value?
False
Let u = 5939 - 5394. Which is bigger: -1/5 or u?
u
Let t be -21*(-10)/15*2. Let x = 28 - t. Suppose 3*q + 3*g - 6 = x, -4*q - 2*g + 4 = q. Which is greater: q or -12/11?
q
Let n = -7/12 - -1/4. Let w(b) = 2*b - 99. Let a be w(33). Let g be (-6)/a - (-3)/(33/(-2)). Is n < g?
True
Let h = -4849 + 4686.1. Which is greater: -1/4 or h?
-1/4
Let v be (-6)/9*(-2 + -172). Let j = -14521 + 14635. Which is greater: j or v?
v
Let t(i) = i**2 + 20*i - 9. Let j be t(0). Let m = -350 - -333. Is m greater than j?
False
Suppose 350 - 77 = f. Let o(j) = 2*j**2 - 5*j - 24. Let x be o(-11). Is x not equal to f?
False
Let s = -98597/348 + -211/87. Let p = s - -286. Is p not equal to -0.137?
True
Let f(r) = 13*r - 65. Let d be f(5). Suppose -4*u + 240 = 21*p - 22*p, 5*u + 5*p - 300 = d. Is 58 bigger than u?
False
Let z(o) be the second derivative of -217*o**5/10 - 5*o**3/6 - 5*o**2/2 - 7*o. Let d be z(-2). Let r = d + -664109/191. Which is greater: r or -1?
r
Let s = -46 - -48. Let y = s - 2. Let f = 0.6 + -1.2. Are f and y nonequal?
True
Let n = 24 + -24.15. Let f = -42.7 - -42.5. Is n not equal to f?
True
Let u(k) = -2*k**3 + 20*k**2 - 19*k + 2. Let z(j) = j**3 - 10*j**2 + 9*j - 1. Let d(q) = -3*u(q) - 5*z(q). Let l be d(8). Is l < -34?
False
Let t(b) = 2*b**2 - 34*b + 33. Let u be t(16). Let v be (4/(-3408))/(559/(-104) - -6). Is u not equal to v?
True
Let s = -612 + 402. Let o be 180/s - 2/14. Let b = -5/36 - 325/252. Which is greater: b or o?
o
Suppose -31*u - 4*l - 12 = -27*u, -9*l = -5*u + 41. Which is smaller: u or 2/72005?
2/72005
Let h(f) = -f**3 - 3*f**2. Let c be h(-3). Suppose -x - 3*a + c*a = 41, 2*a = -5*x - 140. Let u = 59 + x. Is 34 equal to u?
False
Let s = -4853 - -2179. Which is bigger: -2672 or s?
-2672
Let j = -1485 - -1480. Is -179 at least as big as j?
False
Let h be 972/729*3/(-2). Does -93/13 = h?
False
Let p(f) = 98*f + 2. Let z be p(5). Let t = z + -881. Let c = t + 6618/17. Which is greater: c or 0?
c
Let x(l) = 2*l**2 - 132*l + 434. Let w be x(64). Which is smaller: 182 or w?
w
Let a = 390 - 431. Let y = a - -40.9. Let