164
Let j = 2411/5 + -479. Suppose -3*k = -p - 13, -2*k - 3*p + 17 = 3*k. Suppose 5 = -5*n - 5*u, 40 = 2*n + 3*n - k*u. Are n and j nonequal?
True
Let u = -39433733/18207 - -15161/7. Is 1 != u?
True
Let h be 144/(-42) - 9/(-21). Suppose -5*z + 40 = 25. Let i be (z/4)/(-1*(-2)/(-8)). Is i bigger than h?
False
Let j be (-8)/(-36) + 214/9. Let y be ((-1)/j*-3)/((-13)/(-130)). Are 2 and y equal?
False
Let a(u) = -114*u + 1823. Let d be a(16). Which is smaller: -2473/2 or d?
-2473/2
Let a(m) = -132*m - 378. Let k be a(-2). Is k at least as big as -115?
True
Let u(c) = -19*c - 13. Let b(g) = -19*g - 13. Let z(t) = 4*b(t) - 5*u(t). Let x be z(3). Let s be (-10)/4*(-16)/x. Which is greater: 1 or s?
1
Let d be (58/4)/(2/(-8)). Let r(k) = -5*k**2 - 35*k - 35. Let b(t) = 4*t**2 + 34*t + 33. Let i(l) = 4*b(l) + 3*r(l). Let p be i(-28). Which is smaller: p or d?
d
Let t(s) = -s**2 + 5*s + 7. Let l be t(6). Let q = 134 + -58. Let a be 5 - -46*q/(-696). Which is greater: a or l?
l
Let i(g) = -2019*g + 34324. Let y be i(17). Let z be 76/185 + (-2)/(-5). Is z smaller than y?
True
Let r be (-110)/20 + 12/(-8). Let k(u) = -2*u**3 + 4*u**2 - 4 + 3*u**3 + 3*u**2 + 9*u + 2*u**2. Let t be k(r). Is 30 greater than t?
False
Let y be -3*(7925/225 - 35). Let p = 197 + -189.1. Which is bigger: p or y?
p
Let w = 17 - 49. Let q = -13 - -14. Let i be (q + (-15)/14)*(-16)/(-4). Is w at least i?
False
Let q(s) = -32*s**2 - 2*s + 2. Suppose 0 = 6*d - 0*d - 18. Let a be q(d). Let u = a - -7299/25. Which is smaller: u or 1?
u
Suppose 3*f - 2*v - 2 = -9, 0 = 3*v + 12. Suppose 66*o - 45 = 61*o. Suppose 3*r + o = -12. Is r smaller than f?
True
Suppose 5495 - 1075 = -85*l. Is l >= -140?
True
Suppose -415*r = -394*r - 176211. Which is greater: r or 8390?
r
Let b be (-6 + (-884)/(-8))/(-2*(-4)/(-16)). Do -205 and b have the same value?
False
Let o(m) = m**3 + 4*m**2 - 2*m - 15. Let p be o(-3). Suppose -36*w + 28*w - 16 = p. Which is smaller: w or -6?
-6
Let u be (-76)/(-18) + (-8)/36 - 9591/2363. Which is greater: u or 18/7?
18/7
Suppose 0 = 41*h - 6075 - 41362. Is 1154 greater than h?
False
Let t = -5814 + 5787. Which is bigger: t or -28?
t
Let g = 106252 + -396638713/3733. Which is greater: g or 1?
1
Let l = -512579/3 + 170859. Let a = 378.8 + -33.8. Which is bigger: l or a?
a
Let c = -48/587 + 5069/11740. Are 19 and c unequal?
True
Let o = -438 + 985. Let v = o + -546.8. Is -3/116 at most v?
True
Let r be (-568)/(-355)*(80475/6)/(-5). Is r less than -4292?
False
Let d be (16401/(-568))/(1/(-8)). Is d bigger than -2?
True
Let d = 0.1613 - -679.8387. Let v = -1525 + 1525. Which is smaller: v or d?
v
Suppose 2*f - 6*m - 20 = -2*m, 15 = 3*m. Let o be (-100)/f - ((-213)/81 + -2). Is 0 less than o?
False
Let a be (-5043)/(-22653) - (-24)/(-108). Is -1 > a?
False
Let k = -3167 - -3590. Are 425 and k equal?
False
Suppose -32*a - 12525 = -17*a. Let p = -716 - a. Is p equal to 118?
False
Let v = -161 - -5. Let t = -1030.6 - -1030.7. Which is smaller: t or v?
v
Let m = -4372/13 + 69757/208. Which is smaller: 21 or m?
m
Let m be (51/12)/((-90)/16200). Is -766 bigger than m?
False
Suppose 18 = s + 15. Suppose 112 = -s*i + 166. Let c be -45*(-1)/((-5)/(-2)). Are c and i nonequal?
False
Let x = 4525 + -4083. Is x < -0.1?
False
Let p = -386806/5 - -78064. Are 702 and p equal?
False
Suppose -17*k = -5*t - 13*k + 10, 3*t = 4*k - 2. Let c be t + (-40)/495*84. Is c smaller than 0?
True
Suppose -4*d - 5*y = 149, 0*y - 117 = 3*d + 3*y. Which is greater: d or -93?
d
Suppose -109*q - 180 = -119*q. Suppose -j + 4 = -3*o, -22*j = -q*j + 4*o - 32. Is 12 greater than j?
True
Let d = 4913/198 - 276/11. Let v(n) = 26*n + 243. Let k be v(-8). Let l be 14/k + (-16)/40. Is l at most as big as d?
False
Suppose 200*y + 2936 = 204*y - f, 5*y + 3*f = 3687. Is 734 smaller than y?
True
Let x be ((-2 - -32)/5)/(-1*(-5 + -3)). Which is greater: -371 or x?
x
Let s be (-6)/12 - 5901/18 - (-30 + 23). Which is smaller: s or -322?
-322
Suppose 40*y = 42*y + 2*v + 1152, -4*v - 1144 = 2*y. Which is smaller: y or -4064/7?
-4064/7
Suppose t + 13 = -4*k, -2*t - k = -3*t + 7. Suppose 4*h + t - 29 = 2*o, 3 = -o - 3*h. Let w be (1/12)/((-10)/o + -2). Is 1 >= w?
True
Let f be 1 + -1 + -1 + 43 - -3. Suppose 5*m - f = 3*n, -5*m - n - 15 = -40. Suppose 3*v - m = 0, 8 = 2*d - 4*v - 4. Which is smaller: d or 8?
8
Let i = 3/16133 - 14197061/112931. Let o = -126 - i. Let b = -113 - -112.9. Which is greater: b or o?
b
Let y(d) be the second derivative of -d**3/2 - 67*d**2 + 11*d. Let t be y(-34). Which is greater: -61/2 or t?
-61/2
Let q = 43/2 - 429/20. Suppose -8*f = -13*f + 85. Suppose -15 + f = -2*y. Is y less than or equal to q?
True
Suppose 45*r = -292*r - 41451. Which is smaller: r or -124?
-124
Let u = 54415/36618 - -3/718. Is u != 0?
True
Let y = -126 + 507/4. Suppose 2*q = 4*j - 7*j - 15, q - 38 = 5*j. Let u(b) = -8*b - 58. Let m be u(j). Which is bigger: y or m?
y
Let o = -261.9689 + -0.0311. Let v = -261.99 - o. Is 4/7 less than or equal to v?
False
Let m = 61/88 - 9/11. Let h be (-10)/315 - (-565)/(-63). Which is bigger: m or h?
m
Let t = -2.7975 + 2.76238. Which is smaller: 0 or t?
t
Let z = -76 - -85. Suppose 4*o = -5*c - z, 3 - 2 = -2*c + o. Which is smaller: c or 1/156?
c
Let c = 3.27 + -7.38. Let l = c - 2.19. Which is smaller: l or 0.1?
l
Let x(c) = c**3 - 9*c**2 + c - 1. Let g(h) = 2*h**3 - 7*h**2 + 3*h - 2. Let k be g(4). Let m be (4 - k/2)/(-1). Let y be x(m). Is 5 equal to y?
False
Let g(h) = h - 6. Let j be g(5). Let x(q) = -2*q**2 + 10*q + 22. Let r be x(-2). Let p be (j + r/(-7))/(-5). Is p not equal to -1?
True
Let r(m) = -36*m**2 + 20*m + 21. Let d be r(-1). Is d less than -24?
True
Let d = -145 - -167. Suppose -d*f = -3*f - 19. Do f and -5/36 have the same value?
False
Suppose 0 = 4*h - 6*n + 3*n + 4, 0 = -2*h - n + 8. Suppose 0 = -4*a + 20, 10 = h*c + 4*a + 26. Let u = c + 47. Are u and 30 unequal?
True
Let w be ((-3371)/(-12))/((-27)/(-36)). Suppose -12*b - 9724 = -38*b. Let j = w - b. Are 1 and j unequal?
True
Suppose 5*n - 1091 = -1061. Let t be n - ((-153)/(-8) - 3). Is t less than -10?
True
Let k(d) = -1358*d + 2483. Let o be k(3). Which is smaller: o or -1587?
o
Suppose 4*v = 137 + 115. Let o be (-2)/(-14) + (-30)/v. Is -0.14 at most as big as o?
False
Let a = 8520/1328503 - 7/979. Which is smaller: 1 or a?
a
Let c = -71.47 + 71.6. Let s = 6.17 + c. Which is greater: s or -1?
s
Let c be 2/(-4)*(-30)/(-3). Let n(w) = 23*w - 161. Let g(t) = -35*t + 243. Let a(p) = -5*g(p) - 7*n(p). Let b be a(6). Are c and b non-equal?
True
Let o(z) = -11*z + 89. Let q be o(8). Suppose 0 = -2*t + 3*t + f - q, 5*t - 2*f = -16. Is t at least -23/11?
True
Let f = -2 - 3. Let k = 2031 - 1430. Suppose -603 = -d - k. Which is greater: f or d?
d
Let k = -30 - -27. Let j(l) = -l**3 + 4*l - 4*l**2 - 7*l - 5 + 4. Let a be j(k). Are a and -18 unequal?
True
Let p = -0.18643 + 0.14143. Which is greater: p or -24.8?
p
Suppose -8*m = -18*m + 530. Suppose -m*x + 49*x - 68 = 0. Which is smaller: x or 1/4?
x
Let k = -2/692909 - 828917136/692909. Is -1195 greater than or equal to k?
True
Let x = -393 - -135. Let b = -251 - x. Which is smaller: b or 0.35?
0.35
Let k = 2.7 - 2.83. Let l = -50 - -49.47. Let m = l - k. Do 0.1 and m have different values?
True
Suppose 2*n - 5*c = 0, -3*c - c - 56 = 4*n. Let b(p) = -p**3 - 10*p**2 - 2*p - 19. Let d be b(n). Let j = 62109/133 + -467. Which is smaller: j or d?
j
Let k = -92.582 - -0.582. Let j = 101.8 + k. Is 1 at most as big as j?
True
Suppose -3*o - 4*k = 7, k + 32 = -3*o + 28. Which is smaller: 0.1023 or o?
o
Let g(p) = -p**2 + 3*p - 6. Let l(f) = -f**2 + 3*f - 4. Let w(k) = -2*g(k) + 3*l(k). Let q be w(7). Is q bigger than -26?
False
Suppose 240 = -4*u - 6*u. Let z(q) = -4*q**2 - 96*q + 1. Let v be z(u). Is v equal to 2/9?
False
Let l(f) = 6*f + 22. Let o be l(-6). Let y be -3*(-3 + 4)*7/(-3). Let r be 19/40 + y/o. Which is bigger: r or -1?
r
Let n = -739853/49 - -15099. Which is greater: n or -700?
n
Let r = -6656 + 10276. Which is bigger: 0 or r?
r
Let x(h) = h**3 - h + 2. Let l be x(0). Let a = -37.065 - -0.065. Let n = -36.98 - a. Which is bigger: l or n?
l
Let w(c) = c**2 - 12*c + 44. Let u be w(10). Suppose -19*i - 5*r = -u*i - 150, 3*i - r = -98. Are 0 and i unequal?
True
Let g be 2*((-6