n y?
False
Suppose 11*h = 6*h - 10. Suppose -36*u = -14*u + 66. Is h != u?
True
Let b = 4570244507065/16 + -709361202063039/2480. Let p = 392461201 + b. Let m = -626/5 + p. Which is smaller: m or -1?
-1
Let r(v) = 7*v + 133. Let i(a) = a**3 - 7*a**2 - 17*a - 28. Let q be i(9). Let o be r(q). Which is bigger: o or -5/7?
o
Let h be 0/(-3) - 35/(-20) - 32/(-128). Suppose 3*i + 14 = 4*s, 0 = 2*s - 4*s + 10. Suppose 0 = i*t - 4*t. Which is bigger: t or h?
h
Suppose 5*u + 200 = 4*n + 8*u, 5*n - 250 = u. Let p = 22 - n. Let t be (-6)/(-14) - 240/p. Is 9 equal to t?
True
Let w be (240/(-27))/(-5) + (-2)/(-9). Suppose f = 2*o + o - 13, o - 11 = w*f. Let g be (1 + (-34)/6)*2/f. Which is smaller: 2 or g?
2
Let k = -498/67 - -590992/79529. Let x = -32057/4748 - k. Which is greater: -4/7 or x?
-4/7
Let k = -32 + 31. Let n(v) = -v**2 + 20*v. Let r be n(14). Let d be 24/r*22/(-4). Which is smaller: k or d?
d
Let g = 640 + -400. Let q = 244 - g. Which is bigger: 11 or q?
11
Let r be ((198/(-96))/(-11))/(20/(-40)). Which is bigger: r or -115?
r
Suppose 2*i - w + 28 = 2*w, 5*w = i + 21. Let b be (i/22)/(0 + -1). Is b equal to 143?
False
Let y(h) = -2*h**3 - 12*h**2 - 9*h - 46. Let z be y(-5). Which is smaller: -54 or z?
-54
Suppose 0 = 90*f + 18634 + 13856. Is -354 at least f?
True
Suppose -y + 2*c = 22, -3*y - 3*c + 2*c - 59 = 0. Let o = y + 20. Let l = 209/4 - 53. Which is bigger: l or o?
o
Let c be 4/26 + 12 + (-6408)/416. Let w be 1/(-4) - 8/3. Let l = c - w. Are -4 and l nonequal?
True
Let m be (49 + -1 + 3)/((65/25)/(-13)). Is m bigger than -239?
False
Suppose -6 = 7*w + 1. Let u(i) = -i**2 - 12*i + 3. Let s be u(-11). Let q be (-2*(-5 + 3))/s. Is q at least w?
True
Suppose x = 2*x + 2*r + 35, x - 4*r + 29 = 0. Let k be (-7 + x/(-5))*-83. Which is smaller: k or 33?
33
Suppose 0 = 3*m + m + 2*w + 4, 0 = -5*w. Let g(b) = 1 - b + 3*b + 2 + 1. Let h be g(m). Is 9/7 less than h?
True
Let g = -3 + 1. Let o be (315/140 + 3/12)/(29/2). Which is greater: g or o?
o
Let m = -2690 + 5503. Which is smaller: 2812 or m?
2812
Let d = 534 + -542. Let g = -18 + 5. Is g at most as big as d?
True
Let y = -164767/4 + 40895. Is 0 at most y?
False
Let v(f) = -f**3 + 9*f**2 - 8*f - 1. Let n be v(8). Let y = -7 + n. Suppose 327*m - 1449 = 534*m. Is m bigger than y?
True
Suppose -1643*j + 831*j = -854*j - 630. Let w be (1 + -1)/(0 - -2). Let q(u) = u**3 - u**2 - 16. Let g be q(w). Is j less than g?
False
Let d = 0.2 - 0.3. Let a = 239.13 - 237. Let w = a + -2.5. Which is greater: w or d?
d
Let c be -3 - 81/(-66)*(-42)/9. Let i be -15*(0 + 8 + 185/(-25)). Which is bigger: c or i?
c
Let t(w) = w**3 - 2*w**2 - 2*w. Let n be t(3). Let y be 12015/(-36) + 6/8. Let m = -331 - y. Which is bigger: m or n?
n
Let j = -36036 + 36035. Are 105/38 and j equal?
False
Let u(t) = 8*t**2. Let p be u(-1). Let z(n) = -n**2 + 2*n + 2. Let s be z(p). Let l = -46 - s. Which is smaller: -31 or l?
-31
Let i = 2 + -2.1. Let n be (624/(-18304))/(2 + (1 - 0)). Which is greater: n or i?
n
Let i = -748 + 831. Let f(m) = m**3 - 3*m**2 - 17*m + 8. Let w be f(7). Which is smaller: w or i?
i
Let m be (-12 - (-29614)/39) + 121/33. Is m at most 3749/5?
False
Let g = 1810 - 1809. Is -20/383 >= g?
False
Let n = 15 - 22. Let p(s) = -s + 8. Let x be p(n). Suppose 0 = -3*h - 6 - x. Is h equal to -9?
False
Let b = 3288 - 3186. Is b at most 1?
False
Suppose -8*a + 4*w = -4*a + 16, 0 = -3*a - 5*w - 36. Let y(s) = s**3 + 7*s**2. Let i be y(a). Is 2/275 <= i?
False
Let g(k) = k**2 + 28*k - 13. Let p = -21 - 9. Let t be g(p). Are t and 52 equal?
False
Let j(m) = -223*m - 21. Let q be j(3). Let u = 629 + q. Is -59 > u?
True
Let z = 2554 + -2585. Is -2.34 less than or equal to z?
False
Let j = 6366 + -6322. Are -33 and j equal?
False
Let n = 823/3058605 - -1/18315. Let v = n - 1934031/12358. Is v < -158?
False
Suppose -1 = 15*k + 29. Let v be (-4)/(-6) + 48/9 + k. Suppose -3*j = -j + v. Is -9 greater than j?
False
Let u be (-2)/(-5) - 57/(-20). Suppose 0 = 14*b + 15*b - 5*b. Suppose 0 = l + 2*j - 4, 0 = 5*l + 4*j - b*j - 20. Which is bigger: l or u?
l
Suppose 281*x = 56 + 225. Which is greater: x or 1/98?
x
Let s be 12/3 + -2 + 1 + -2. Let q be (s - (-47728)/252) + (-3)/27. Let i = q - 191. Which is greater: -5 or i?
i
Let s(p) = 7*p + 23. Let o be s(-2). Let q(a) be the second derivative of 2*a**3/3 - 18*a**2 - 15*a. Let d be q(11). Is o at least d?
True
Let t(h) = 2*h - 9. Let a(y) = y - 9. Let v(p) = p**2 + 6*p + 2. Let q be v(-6). Let u(d) = q*t(d) - 3*a(d). Let f be u(-12). Which is smaller: -6 or f?
-6
Let t be (-1)/6*-24 + -2. Which is greater: 638 or t?
638
Let b = 0.035 + -2.635. Let g = b - -23.6. Let q = g - 19. Is q at least 6?
False
Let z be (2/3 + 5/6)/((-25701)/260). Which is bigger: -1 or z?
z
Let d = -0.0039 + -0.5251. Let y = 0.229 + d. Is y <= -3/26?
True
Let w be (7 - 6)*(-18 - -17). Let o be (-2 + 3)*(-1)/(-52). Which is greater: o or w?
o
Let a(n) be the third derivative of n**5/60 - n**4/4 - 17*n**2. Let x be a(6). Suppose -2*l + 6 = x, -2*l + 26 = 5*h - 10. Is 9 > h?
True
Let m be -159 - (42/8 - 5). Let r = 160 + m. Is r not equal to -6?
True
Let t be ((-2)/(-14))/((-131)/917). Which is bigger: -99/203 or t?
-99/203
Let j = 4520 - 4523. Are j and 28.5 nonequal?
True
Let s be (1364/(-84) - -10) + -3. Which is smaller: s or -9?
s
Suppose 96*n = 6*n - 262080. Which is smaller: -2913 or n?
-2913
Suppose -94 = -2*a + 2*r, a + 2*r = 20 + 36. Are -3/5 and a nonequal?
True
Suppose 151 = -180*u + 44*u - 121. Let b be 17 - -2 - 2/(-2). Let i = -35 + b. Does u = i?
False
Suppose -4*t + 2*b + 260 = 0, 2*b = 314*t - 309*t - 328. Does -6 = t?
False
Suppose 2*q = 3*t - 690, -4*t = -2*q - 7*t - 702. Is q not equal to -347?
True
Suppose l = j + 1, j + 2*j - 4*l = -6. Suppose 4*d = 3*c - 130, -5*d = -j*c + 23 + 136. Is d less than -33?
False
Let d(i) = 82*i + 1355. Let v be d(-16). Which is smaller: 1248/29 or v?
v
Let t = 8 + -10. Let v = -178.82 - -137.6. Let p = v + 41. Is p <= t?
False
Let o = 235 + -234. Let n = 63049/148 - 426. Which is greater: n or o?
o
Let o = 1228/35 - 35. Let x = -8914 + 8914. Which is bigger: x or o?
o
Suppose 14*t = 13*t - 1. Let b be 6/(-21) - (3 + (-3616)/4620). Let q = 10/33 + b. Is t less than q?
False
Suppose -2*j - 4106 = 3*p, 3*p + 3989 = 4*j - 93. Is -1366 less than p?
False
Let i be (-1 + -1)/(8/28). Suppose -2*p + 4*d - 14 = 0, p + 3*d = 2*p + 11. Suppose -6*h = -5 - p. Which is bigger: i or h?
h
Let k(v) = -v**3 - 9*v**2 - 12*v - 24. Let m be k(-8). Suppose 4*c - 2*c = -m, 0 = -p - 4*c - 15. Let q be ((-3)/(-102))/((-5)/10). Is p < q?
False
Let h be (-100)/(-36) + 4/18. Let g be (9/4)/(h/4). Let k be (g/(-9))/((-4)/((-12)/(-1))). Which is smaller: 12/19 or k?
12/19
Let l(p) = p**2 + 3. Let j be l(8). Let c = -61 + j. Suppose 12 = -c*a + 4*a. Which is smaller: -7 or a?
-7
Let r = 3/2252 - 15821/42788. Are r and 0 nonequal?
True
Let d = -23 - -25. Suppose 7*i = d*i + 30. Suppose 14 + i = -4*r. Is r greater than -2?
False
Let f(m) = m**2 + 21*m + 18. Let x be f(-19). Which is bigger: x or -0.5?
-0.5
Suppose 0 = 5*u - 3*a + 47, -u + a - 4 = 5. Let b be 5/u*4 + 5332/2668. Is -1 <= b?
True
Let y = 28405/3 + -9469. Are y and 5790 unequal?
True
Let b be (25/(-10) - (-1 - 1))*-4. Suppose 5*c + 102 = -b*a + c, -5*a + 4*c - 255 = 0. Is -53 not equal to a?
True
Let u be (-1842)/(-5607) - 2/6. Suppose 5 = -q + 4*j, j + 4*j - 7*j + 2 = 0. Are u and q nonequal?
True
Let s be ((-3)/2)/((-9)/102). Suppose 5*b - 2*x - 70 = 0, -s = 3*b - 4*b + x. Suppose 2*c - b = -0*c. Which is smaller: c or -14?
-14
Let q(c) = -76*c - 12. Let i be q(-2). Let p be (108/27)/(2/70). Are i and p equal?
True
Let k = 0.5436 - -0.0584. Let q = k + -0.792. Do -1/2 and q have different values?
True
Let k = -369/308 - -15/44. Let w(t) = 6*t**3 - 3*t + 2. Let o be w(1). Suppose o = -h + 5. Is h less than or equal to k?
False
Let s be 48/21*21/24*4. Let i be (-1)/4 - (1172/(-144) + s). Which is greater: -0.5 or i?
i
Let p = 302.9 + -318. Let l = p - 0.1. Let m = 15 + l. Which is smaller: m or -22?
-22
Suppose 3*l - 20 = -3*s - 8, -2*l - 13 = -5*s. Suppose y + 8 = -3*y, -s*y + 3 = 3*t. Suppose 30 = 2*w + 5*c, 27*w = 28*w + 3*c - 16. Which is greater: t or w?
w
Let g(v) be the third derivative of -3*v**5/20 - 7*v**4/24 + 13*v