ose -j + 34 = 647. Let q = j + 613. Are q and -63 unequal?
True
Let q be 6/(-4)*(-50)/3. Let w = -1065 + 5447/5. Is w at most as big as q?
True
Let b(j) be the third derivative of -5*j**4/24 - 32*j**3/3 + 3*j**2. Suppose -34*u + 5*u - 377 = 0. Let a be b(u). Are -2/45 and a equal?
False
Let h(z) = z**3 + z**2 - 2*z. Let t be h(-2). Suppose t = 4*y + 3*j + 1, 4*y + 3*j + 3 = 2*j. Let b be (1/3)/((-2)/(60/y)). Is 10 greater than or equal to b?
True
Let j = 3817 + -3816.54. Which is smaller: -2 or j?
-2
Let a be ((-36)/8)/(0 + 3/156). Suppose -699 = -548*u + 551*u. Is a < u?
True
Suppose 3*m + m = m. Let v be 5/(m - -5) + 84. Are v and 84 equal?
False
Let x = -997 - -984. Which is smaller: -0.008 or x?
x
Let d = -27.5 + 27.403. Let p = -29 - -29.06. Let f = d + p. Which is bigger: f or 0.1?
0.1
Let s(y) = 67*y - 199. Let a(p) = 46*p - 133. Let h(c) = 7*a(c) - 5*s(c). Let n be h(5). Is n at least as big as 1/50?
False
Suppose -3*u + 2*u + 33 = 0. Let w = -88 + 87. Let n be w/1 + -3 + 0 + 38. Is n <= u?
False
Let x = -3538 - -3542. Are -48.7 and x unequal?
True
Suppose 6391 + 10679 = -5*f. Is -3414 equal to f?
True
Let f be 2583/(-35) + (2/10)/(-1). Let c = f - -81. Suppose 2*w - c*w - 10 = 0. Which is smaller: w or 4?
w
Let k = 752 - 635. Let w = k + -124. Is w at least -3/8?
False
Suppose -223 + 73 = -5*q. Let b(i) = -4*i**2 - 370*i + 1778. Let f be b(-97). Are f and q unequal?
True
Suppose -2*w - 3*a = 543, 2*w + 555 = 79*a - 78*a. Is -3022/11 at most as big as w?
False
Let m = -14 + 44/3. Let r be (-1)/(-2)*80/980. Let z = r + -59/245. Which is bigger: m or z?
m
Suppose 30*j + 57355 - 1435 = 0. Which is smaller: j or -1865?
-1865
Let p(m) = 37*m - 821. Let n be p(22). Which is greater: n or 102?
102
Let x(o) = -o. Let s(w) = 2*w - 11. Let a(q) = -s(q) - 3*x(q). Let y be a(-7). Suppose 6*z + y = m + 3*z, m - 5*z = 0. Which is bigger: 11 or m?
11
Let q = -9 - -15. Let z = 5539 - 5535. Is z bigger than q?
False
Let h = 1/28131 + 45677/297766635. Is h at most 1?
True
Suppose 0 = 3*o - 24, o - 27 = i - 9. Let q be 3/((-6)/13)*2. Is i >= q?
True
Suppose -22*r - 21*r - 62 = -12*r. Which is bigger: r or -15?
r
Suppose 3*o - 1721 = -4*k - 474, -4*o + 1696 = -3*k. Is 410 at most as big as o?
True
Let b be 18/(-8)*(-112)/42. Suppose -3*h + 5 = -q + b, -4*h = 5*q - 43. Let z(n) = 2*n**2 + 2*n - 4. Let j be z(-3). Which is greater: q or j?
j
Let a be ((-12555)/4203 + 3)/15. Is a greater than 0?
True
Suppose 22*n = 20*n + 56. Suppose -7*k = -0*k - n. Suppose -24 = -21*a + 15*a. Is k != a?
False
Let j be 39/6*(80 + 6 + -12). Let s = j - 464. Let m(z) = z**2 + 3*z. Let w be m(3). Is s equal to w?
False
Let p(k) = -8*k**2 - 72*k - 230. Let d be p(-14). Which is greater: -791 or d?
d
Let j = -9527 + 9934. Which is bigger: 410 or j?
410
Let l = -5689 + 5340. Is l at most -0.1?
True
Let t be (-4)/8 - 2/(36/383). Let b be 1906/(-90) + (-3)/6*-6. Let j = b - t. Is 4 >= j?
True
Let n = 2030.7 + -2029.7. Is -1549 greater than n?
False
Let w = -2078/171 + 556430/2223. Which is bigger: 237 or w?
w
Let f(s) = 4*s**3 + 5*s**2 + 14*s - 61. Let w be f(11). Is w at least 6021?
True
Let w be 35/28*2/3*-1. Which is smaller: -2 or w?
-2
Let q = 19037 + -19212. Is -5/4 greater than q?
True
Let p be 0 + 1/(1/93). Let m(f) = -f**3 - 11*f**2 - 36*f - 66. Let t be m(-9). Is p less than or equal to t?
True
Let h be (3/6 + 38/(-4))*-1. Suppose 30 = -0*l + 6*l. Suppose 0 = -5*m - 2*j + 43, 2*m - l*j = 36 - 13. Is m at least h?
True
Let g(m) = -m**2 + 23*m - 18. Let w be g(22). Let p be (-2)/w*5*76/(-95). Are p and 4/5 non-equal?
True
Let t = 238 + -245. Let c be (-7)/(t/(-4)) + 45/10. Which is greater: c or -54?
c
Suppose 3*a = o + 20, -5*o = -0*a - a + 30. Suppose -2*w - 4*p = -2 - 2, 4*w = -a*p + 17. Suppose 0 = -w*c + 11*c. Is -3/5 greater than or equal to c?
False
Let v be (-1148)/738 + (-42)/(-27). Is v at most 1/42022?
True
Let x = 68 - 149. Let d = -72 - x. Is -2/13 less than or equal to d?
True
Suppose n = 29*u - 25*u - 3, -3*n = u + 9. Is u less than -2/16353?
False
Suppose 0 = -3*r + 4*k - 1350, -3*r + 2*k - 1350 = -k. Let c be 2 + (-15)/3 - r/146. Which is smaller: 1 or c?
c
Let q be (-7)/3 + 2 - 2/(-6). Suppose l - 4 = -q. Suppose 14 = n + l*y, -5*n - 2*y + 44 + 26 = 0. Are n and 13 unequal?
True
Let r = -10.2613 - 7.7387. Let d = 1103/657 + -9/73. Which is bigger: r or d?
d
Let z = 20 + 8. Suppose -2*r + z = 2*h - 0*r, -4*r + 69 = 5*h. Let f = h - 12. Which is greater: -15 or f?
f
Let f(b) = -133*b**3 + 2*b**2 - b. Let t be f(1). Let v = -1450/11 - t. Suppose -5*q = 3*x + 11 - 99, 3*x = 2*q - 52. Is v at most q?
True
Let c = -12607 + 12698. Let p(q) = 2*q**2 - 10*q - 9. Let y be p(10). Are y and c equal?
True
Suppose -622 + 582 = -2*v. Suppose -3*m = 3*t - 6, v*m - 7 = 15*m - 2*t. Is m less than -2?
False
Suppose 0 = l + 4*i + 6, 0*l - i = 2*l - 9. Suppose 3*r - 15 = 4*j + l, 0 = 2*r - 5*j - 7. Suppose 10*g - r*g = 7. Which is greater: -6 or g?
-6
Let d(f) = -f**3 + 12*f**2 + 18*f - 22. Let s be d(13). Let x(o) = -2*o + 0 + 36 - 12. Let y be x(-9). Which is bigger: y or s?
s
Let g(t) = t**3 + t - 1. Let p be g(0). Let w be (-121)/1584*-3 - ((-28)/16 + 2). Is w at most as big as p?
False
Suppose 11*t + 56 = 3*t. Let r be (-12)/75*(-3 - t/28). Which is greater: r or 2/5?
r
Let n be 5*(60/(-1212))/1. Is -1 less than n?
True
Suppose 0 = -30*v + 10*v + 160. Suppose -d - 10 = 4*m - v, 4 = 5*m - 2*d. Is m >= -1/121?
True
Let u = 213 + -18. Let g = u - 194.17. Let w = g - 1.03. Are w and -9/7 equal?
False
Let z be (-956)/(-7) - 15/(-35). Let i = z - 687/5. Suppose 5 = -5*q, p + 3*q - 3 + 6 = 0. Which is smaller: p or i?
i
Let u = 33 + -13. Let d = -2.9746 + -0.0254. Is u at most d?
False
Let m(j) = 9*j**3 - 5*j**2 + 32*j + 76. Let p be m(-2). Suppose 2*f + 125 = -5*g, -2*g - 4*f = -0*f + 66. Let u = -103 - g. Is p smaller than u?
False
Let n(k) = 133*k**2 + 19 - 20*k - 9*k - 132*k**2 + 36. Let r be n(27). Let a be r/(-2) - 365/10. Is -36 at most as big as a?
False
Suppose 9*f - 7*f + 7*f - 54 = 0. Suppose d - 3*d = -6. Let q be d/(-6) + f/(-36). Which is greater: 7 or q?
7
Let x = -24 - -57. Suppose 14*p + x = -513. Let w be 12/(-54) + (-340)/9. Is w equal to p?
False
Suppose -v = -2*f + 724, -2*v = 5*f + 1026 + 467. Let i = -410 - v. Suppose -i = -3*r + 6*r. Is -109 equal to r?
False
Let f be 110/(-80)*-8 - 11. Is -1/1437 less than f?
True
Let u(a) = -3*a + 45. Let l be u(43). Which is smaller: l or 19?
l
Suppose 0 = 3*k + 13*u - 14*u + 3, 5 = -5*k + 2*u. Are 5/871 and k non-equal?
True
Let o = -2.941 - 0.069. Let w = 0.19 - o. Let n = w - 3.13. Which is smaller: -0.2 or n?
-0.2
Let v(f) = -24*f**3 - 11*f**2 - 13*f + 6. Let h be v(-2). Which is smaller: 191 or h?
h
Let w(z) = -z**2 + 55*z + 227. Let n be w(0). Let q = n - 217. Which is smaller: 88/9 or q?
88/9
Let t(z) = -z**2 + 6*z + 10. Let a be (-28)/6*(-4 + (-25)/(-10)). Let f be t(a). Suppose y - 2 = 3*n, -f*n + 4 = -5*n. Is 0 <= y?
False
Let q(b) = 8*b**2 - 3*b + 1755. Let u be q(0). Are 2 and u nonequal?
True
Suppose 0 = 2*l - 58*o + 54*o + 468, 5*l = 2*o - 1138. Which is smaller: l or 6/5?
l
Let x = -1003 - -688. Let c = -178 - x. Let z = -135 + c. Which is greater: z or -1/34?
z
Let q = 3737 - 5233. Do -2 and q have the same value?
False
Let y(c) = c**3 + 9*c**2 - 2*c - 11. Let n be y(-9). Suppose -5*f + 48 = -n*f. Let v be 5*-1 - 120/f. Which is greater: 7/6 or v?
7/6
Let a be (-3 - 0)/((-6)/8). Let f = 12.34 - 11. Let k = f - 0.34. Is a > k?
True
Let q be 447526/636 + -1*10/15. Let v = q - 703. Is -1 >= v?
False
Let x = 216 - 238. Does x = -30?
False
Suppose -69*i = 2388 - 2388. Which is smaller: i or -9/6163?
-9/6163
Let c = 3 + -4. Let b = 59036 + -173942/3. Let w = b + -1056. Which is bigger: c or w?
w
Let s = -181.51 - -178. Let u = s + 3.5. Let g = 0.08 - u. Is -4 >= g?
False
Let x(v) = -4*v + 82. Let h be x(13). Suppose 0 = 2*o + 4*y - 180, -3*o + 265 = -29*y + h*y. Which is greater: o or 87?
o
Let t = 18 - 3. Let p be (-8)/20 + 156/t. Suppose -2*z + p = 8*z. Is z less than 4.2?
True
Let m(o) = -17*o + 12. Let t be m(6). Let w be ((-6459)/(-108))/(t/32 + 3). Let i = w + -319. Which is bigger: -2/9 or i?
i
Let y = 20877 + -166437/8. Is y smaller than 71?
False
Suppose 0 = 2*k - 5*b + 109 - 116, 4*b + 77 = 5*k