False
Let p be -6 + 2 - (-3 + 4). Let k be (4/(-18))/((-16)/(-456)). Are k and p unequal?
True
Let w = 104.15 + -2.15. Let b = w + -99. Is b < -18?
False
Let w = -79 + 47. Let l = 34 + w. Which is bigger: 13 or l?
13
Suppose 5*r + 4*k + 10 = 9*k, -7 = 2*r - k. Suppose 12 = -2*p + 2. Is r smaller than p?
False
Let w(n) = -n + 2455. Let g be w(0). Suppose -5*m + 0*m + g = 0. Let j = 2953/6 - m. Are j and 0 unequal?
True
Suppose -3*r = -143 - 286. Suppose 4*m + r = 403. Let h be (-6)/(150/m) - -3. Which is smaller: 21 or h?
h
Suppose v - 27 = -2*z, z = 4*v + 6 + 3. Which is bigger: 20 or z?
20
Let f be 42/7*(1 + -2). Let s = 0 - f. Suppose -2*z - s + 20 = 0. Is 6 >= z?
False
Let q(p) = p - 2. Suppose -3*f - 2 = -14. Let x be q(f). Let r be 52/13 - (x + -2). Are r and 5/2 equal?
False
Suppose 2*y = 3*v - 297, 97 = 2*y + 5*v + 434. Is y > -158?
True
Let d = -79.13 - -79. Let u = -9 - -15. Let t be ((-3)/7)/(u/4). Is t != d?
True
Let m = 1595 - 1596. Are 2/17 and m unequal?
True
Suppose 6*h + 132 - 114 = 0. Let k(v) = -3*v - 3. Let l be k(5). Let j be ((-2)/(-3))/(12/l). Is h > j?
False
Let j = -36.2 + 43. Let y = j - 6. Let c = 0 + 0.1. Is y at least as big as c?
True
Let l(f) = -2*f - 15. Let k be l(-10). Let c(h) = -3*h - 4. Let d(q) = q - 1. Let w(s) = c(s) + d(s). Let i be w(-4). Is k at least i?
True
Let s(m) = -2*m + 2. Let g be s(1). Let j = 23 - 160/7. Which is greater: j or g?
j
Let p = -62/27 + -1630/27. Is p <= -62?
True
Let r = -104 + 522/5. Suppose s - 1 = 0, 3*y = -3*s + 2 + 1. Suppose y*x = -x. Which is bigger: r or x?
r
Let w be -4 + (-1 - -2) + (-10)/(-5). Suppose 0 = 4*q + 5*y + 23, -2*q + 3*y = 11 + 28. Let x be ((-2)/q)/(4/(-16)). Which is bigger: w or x?
x
Let s = -0.645 + 0.335. Let x = 69 + -69.61. Let h = x - s. Is h at most as big as -2/5?
False
Suppose 11*g + 2 = 13*g. Let p be (3/2)/(942/(-8)). Let u = -328/1099 - p. Is u less than g?
True
Suppose -3*q - 10 = -x - 8*q, 0 = -4*x - q + 21. Suppose -5*v = -x*g - 10 - 15, -4*v - 20 = 0. Which is bigger: -11 or g?
g
Let j be (-1160)/1144 - -2 - 2/26. Let k be 2 + -3 - (-14)/12. Are k and j nonequal?
True
Suppose 2174 = -46*j + 10362. Which is greater: 179 or j?
179
Let g = 37 + -31. Let h = 1 - -6. Let a = h - g. Which is greater: a or 0?
a
Let a = 103 - 61. Let z be 1 + (-12)/14 + 1548/a. Is 37 >= z?
True
Suppose 4*u + 2*l = -2610, 3*u - l = -4*l - 1965. Let y = u - -22752/35. Suppose h + 0*h - 2*n = 5, n = -5*h - 8. Is y <= h?
False
Suppose 166*w + 4860 = 178*w. Do w and 406 have the same value?
False
Let w(u) = u**3 - 41*u**2 + u + 19. Let x be w(41). Does 64 = x?
False
Let o(n) = n**2 + 2*n - 2. Let w be o(-2). Let s(m) = -m**3 - 7*m - 4 + 6 + 8*m**2 - 3. Let k be s(7). Which is smaller: k or w?
w
Let d = -571/4 + 155887/1092. Is d at most 1?
True
Let h = 555 + -555. Which is smaller: 1/575 or h?
h
Let g = 91 - 93.12. Let c = g - -0.12. Let r be (-24)/9*(-3)/(-14). Which is greater: c or r?
r
Let m = -10 + 8. Let o(u) = u. Let d be o(m). Let s be (-3 - d) + 3 + 2. Are 2 and s equal?
False
Suppose 0 = -3*i + 4*c - 3*c + 4, 2*c + 8 = -5*i. Suppose i = -l + 11 + 1. Which is smaller: 11 or l?
11
Suppose 0 = 17*k - 12*k - 145. Which is smaller: 26 or k?
26
Suppose -4*d + 25 = d, 4*c - 5*d + 365 = 0. Does -87 = c?
False
Let j(i) = i**3 - 6*i**2 + 7*i - 7. Let n be j(5). Suppose -10 + n = k. Do -9 and k have the same value?
False
Let t be 9/21 + 20/35. Let d(g) = -g**3 + 7*g**2 - 6*g + 5. Let u be d(6). Let z = -4 + u. Is t <= z?
True
Let q(i) = -13*i - 4. Let c be q(-3). Let w = -538 - -571. Which is smaller: c or w?
w
Let z(k) = 11*k + 15. Let j(m) be the first derivative of 3*m**2 + 8*m + 3. Let p(h) = 5*j(h) - 3*z(h). Let x be p(-2). Is -2/7 not equal to x?
True
Let k be (156/(-32))/((-6)/(-4))*4. Which is greater: k or -3?
-3
Let w = 292 + -150. Let y = -79 + w. Is y != 1/4?
True
Let w(v) = v**3 - 4*v**2 + 5*v - 3. Let k be w(3). Suppose -12 = k*c - c. Do c and -6 have the same value?
True
Suppose -318 = 3*d - 315. Let j(x) = -x**2 + x - 2. Let c be j(2). Let m be 2/12 - (-1)/c. Which is greater: m or d?
m
Let w be (-2)/(-16)*(-6)/(-1). Suppose -3*q + 3*z + 27 = 0, -4*z = 4*q - 30 + 10. Suppose 4*i + 1 - q = n, -4*n = -8. Is i < w?
False
Let a be 22/18 + 16/(-72). Suppose 3*c + 26 + a = 0. Let v be (-19)/(-9) + (c - -8). Which is smaller: v or 1?
1
Let a = 2 - -6. Let q = a + -16. Let u = 8 + q. Which is smaller: u or -2/15?
-2/15
Suppose -13*c + 78 = -559. Is 47 != c?
True
Let h be 7 + -2 + 4648/(-938). Which is smaller: 1 or h?
h
Suppose -5*w = -838 + 73. Which is smaller: 152 or w?
152
Let r = -98 - -206. Are 107 and r equal?
False
Let y = 61.8 - 40.8. Is -1 greater than or equal to y?
False
Let b = -2513/2 + 1257. Is b not equal to 3/41?
True
Let s(d) = d - 5. Let f be s(5). Let q = f + -9/2. Let x = 23/6 + q. Is x at most as big as 2/5?
True
Let l be -5*(-65)/(-5) + 2 + 2. Which is smaller: l or -424/7?
l
Let t = 292 - 293. Do 2/365 and t have different values?
True
Let y = 65 - 66.01. Let s = y - -0.8. Let w = s - 0.79. Which is bigger: w or 0.9?
0.9
Suppose -7*b + 0 = -49. Which is smaller: b or 0.4?
0.4
Let k(m) = m - 31. Let t be k(33). Is 49 <= t?
False
Let l = -5 - -18. Suppose 0 = -4*x - 1 + l. Let o = -6 + x. Is -4 <= o?
True
Let i = -34 + 22. Let j be ((-20)/i)/(-5) + (-17)/(-45). Are 1 and j non-equal?
True
Let u(w) = 4*w - 9. Let b be (2/3)/((-4)/(-24)). Let y be u(b). Which is greater: y or 0.03?
y
Suppose 2*r - 5*u + 24 - 8 = 0, -3*r - 24 = -4*u. Is r > -7?
False
Let n be 19/228*30 - 650/284. Which is smaller: 1 or n?
n
Let a = 662 + -648. Is a at least as big as -1/4?
True
Let d = 12 + 126. Does 2 = d?
False
Let g be (-1)/(3 + 1 - 3). Let v be g*(-228)/(-100)*-5. Which is smaller: 12 or v?
v
Suppose -2*p + 108 = -29*p. Which is greater: p or -5?
p
Let g = 7 + -17. Let d(m) = m + 20. Let w be d(g). Is w < 8?
False
Let u be (-1 - -5)*2/8. Suppose 3*i + 2 + u = 0. Let o be 0/i - (-1)/3. Which is greater: o or 9?
9
Let w = -1747 + 1747. Is w smaller than 1/357?
True
Suppose 0 = s + 4*v - 13 + 40, s = v - 12. Do s and -9 have the same value?
False
Let f = 485 - 465. Is f less than or equal to -14?
False
Let u(i) = -i + 16. Let k be u(2). Which is smaller: 2/7 or k?
2/7
Let p(q) = q + 25. Let l be p(-21). Suppose 2*w - w = -1, l*j + 14 = 2*w. Which is bigger: -14 or j?
j
Suppose 0 = 22*d + 4*d + 9750. Which is smaller: -376 or d?
-376
Let r(v) = v**3 + 2*v**2. Let c be r(-2). Suppose -f - 4 = -c*f. Which is smaller: 0 or f?
f
Let g = -380 - -510. Which is bigger: 133 or g?
133
Let m = 27 - 3. Suppose m = i + i. Suppose 481 = 21*l + 16*l. Which is smaller: i or l?
i
Let k = -33/442 - 2151/442. Is -5 at least as big as k?
False
Let m = 276 + -276. Which is greater: m or -4?
m
Let k = 179 + -97. Suppose 7*h - 23 = k. Is 2 bigger than h?
False
Let g be 6 - -1 - (-49 - -45). Which is smaller: 95/9 or g?
95/9
Let n be 2/(-2 + (-13)/(-9)). Let k = -78/41 + 271/164. Which is smaller: n or k?
n
Let m be (72/(-360))/(0 + (-1)/155). Is 26 smaller than m?
True
Let p(r) be the first derivative of 73*r**2/2 + 2*r - 6. Let f be p(-2). Let c = 1006/7 + f. Which is smaller: -1 or c?
-1
Let x = 20.06474 + -0.03474. Let m = -0.03 + x. Is -1 at least m?
False
Suppose -2*f + 40 + 2 = 0. Which is greater: 22 or f?
22
Let r = -151 + 80. Let i = 70.9 + r. Are 0.52 and i equal?
False
Suppose -r + 27 = 3*p + 3*r, -3*p - 2*r + 21 = 0. Suppose 0 = p*s + 16 - 6. Is s bigger than 15?
False
Let r be (-12)/(-8)*(-12)/9. Let w be -1 - r/((-54)/(-15)). Is 1 smaller than w?
False
Let i = 2 + 12. Suppose 0*y + 26 = 3*y + 5*u, -i = -y - 3*u. Which is smaller: y or 7/9?
7/9
Let t(b) = b**2 - 3*b - 7. Let r be t(5). Suppose 2*j + 10 = 0, -2*k + 0*k = -3*j + r. Let x(z) = -z**2 - 10*z - 11. Let g be x(k). Is -2/3 smaller than g?
False
Suppose -13*j = -185 - 2090. Is 177 less than or equal to j?
False
Suppose -3*o + 15 = -i + 2, -i = 3*o - 11. Suppose -q - 4*q + 25 = 0. Suppose -q*j = -13 - 7. Is o less than j?
False
Let l(a) = 1 + 8 + 6*a**2 + a**2 + a**3 + 7*a. Let c be l(-6). Suppose -s + 1 = -c*o, -3*s - 8 = -o + 3*o. Which is smaller: -4 or s?
-4
Suppose -3*j + 1597 = -3*v - 698, 5*j + 2*v = 3839. Is 765 >= j?
False
Let w = 7.29 - -271.71. Which is bigger: w or 2?
w
Suppose 7 = -3*m + 1, 2*m 