 4*u - 2*n + 19. Suppose -2*d - 3 = -u*w, 0 = 5*d + 3*w - 3 - 5. Let c be 165/(-99) + 1/(-3) + 1. Are c and d equal?
False
Let s be ((-5)/(-2) - 11/(-22)) + -5. Let a be (-12 + 14)/(-2 - 5/s). Is a <= 40/11?
False
Suppose -4*o - 244 = 40. Is o less than -69?
True
Let k be (-2 - -9)/(-35)*2. Let j = 0 - 0.3. Which is bigger: j or k?
j
Let g be 0 + 2 - -2 - (-1 - -4). Let k be (g - 2)*8*(-3 - -1). Are 16 and k equal?
True
Let z be ((-6360)/371)/(3/14). Is -80 < z?
False
Let n = -3.61 + 1.61. Are n and -16 unequal?
True
Suppose -2*r - 25 = 4*s + s, 0 = -2*r - 2*s - 10. Let o be (-3 - -2) + (-6)/(-2). Suppose 0 = 3*w + 2*w + o*v, 0 = 2*w - 4*v. Is r less than or equal to w?
True
Suppose -4*r - 33 = -33. Which is smaller: 1/231 or r?
r
Suppose -y = b - 46, 5*y + 6*b - 11*b = 240. Which is bigger: y or 38?
y
Let x = 10 - 14. Let m be (6/9 - 0)/(x/6). Which is smaller: m or 0?
m
Let q(i) = -i**3 - 7*i**2 - 6*i + 7. Let a be q(-6). Let f be 11 - a/(28/(-8)). Let y = -8 + f. Which is smaller: y or 6?
y
Suppose u - 16 = -0*u. Let n = -32 + u. Let d be ((-3)/12)/((-22)/n). Which is bigger: d or -0.2?
d
Let j = -769 + 768. Is j greater than 2?
False
Let z = 1/46064976 - 684203088827/13773427824. Let s = z - -639/13. Which is bigger: -2 or s?
s
Suppose 650 - 2095 = 17*n. Is n > 0?
False
Let b be (8/96)/((-2)/(-10)). Suppose 4 = -2*d - 2*c, 0 = -2*d + 4*d - 2*c - 8. Which is smaller: d or b?
b
Suppose 2*s - o = -s + 15, -4*o = 4*s - 4. Suppose -s*j + 11*j - 294 = 0. Is 42 <= j?
True
Suppose -52 = -4*b - 3*a + a, 20 = -5*a. Let i = 9 - b. Let y be (-476)/85 - 3/(-5). Which is smaller: i or y?
i
Let z(g) = -g + 26. Let s be z(20). Suppose 147 = s*n + n. Suppose -7*i = -n - 14. Is i greater than or equal to 3?
True
Let q = -5.9 - -6. Let p = q + 1. Let h = 0.9 - p. Is h at least -1?
True
Let g = -331/240 + 31/48. Let f = -2/5 - g. Is 1 >= f?
True
Suppose -27 = -10*d + 23. Let y be ((-5)/30)/(d/10). Are -2/23 and y nonequal?
True
Let v(t) = 5*t - 162. Let x be v(15). Is -87 greater than x?
False
Let a = 1008 - 1005. Is a less than or equal to 17?
True
Let x be (3/9)/(4/12). Suppose 2 = -b - b. Let w = x - b. Which is greater: w or 3?
3
Let v be 291/9 - (-8)/12. Let s be (v/(-55))/(14/10). Is 0 equal to s?
False
Let j = -0.9 - -1.2. Is -6/13 at most j?
True
Let q = -29 - -29.26. Let h = -2.56 + q. Is -1 < h?
False
Suppose 0 = 4*c - 4*d - 20, 5*d = -0*c - 2*c + 3. Suppose 4*o = -5*h + 14, 0 = -o + 3*o - 2. Let u be h*(-1)/(-1) + 0. Is c at most as big as u?
False
Suppose 2*x + 304 = -452. Which is bigger: x or -379?
x
Let d(v) = 7*v**2 - 232. Let r be d(0). Is r != -231?
True
Suppose 0 = 3*q + 3, 4*t - 10 - 21 = -q. Suppose -t + 13 = -b. Let c be b - (-2 - (-1 + 3)). Which is smaller: c or 0?
c
Suppose -2*s - 1808 = -2*t, -4*t = -3*t - 2*s - 908. Which is smaller: 899 or t?
899
Suppose 7*n - 3587 = -3594. Let k = -1 - -1. Which is smaller: k or n?
n
Let p = -4 - -7. Suppose -4*b + 2*j + 34 = 0, 0 = -p*b - j + 5*j + 18. Let u = b - 10. Is u less than -2/65?
False
Let b be 6518/8 + (-4)/(-16). Is -0.1 bigger than b?
False
Let v = -49.49 + 49.7. Which is bigger: -0.05 or v?
v
Let x = -15 - -35. Let p(j) = -j - 9. Let w be p(x). Is w at least as big as -29?
True
Let c = 74447/7 - 10737. Let q = c - -102. Which is smaller: q or 20?
q
Suppose 0 = 3*t - 9, k = 3*t + t - 2. Suppose -140 = -3*j + k*j. Which is smaller: j or -21?
-21
Let g = 152 + -265. Let i = 1244/11 + g. Suppose 2*b + 2 + 0 = 0. Is i less than b?
False
Let h be 6/(-9)*(-2520)/112. Suppose 2*i = g - 5, -g + 25 = g - i. Are h and g unequal?
False
Let q = -1.8 - -2. Let j = -3.9061 - 0.0939. Is j equal to q?
False
Let i = 29 - -10. Suppose 111*k - 532 = 97*k. Which is smaller: i or k?
k
Suppose 2*y + 342 = 5*i + 4*y, -4*i = -2*y - 270. Let z be (-10)/(-30)*(-99)/i. Let a = -4/17 - z. Is a greater than -0.04?
True
Let g = 40 - 29. Suppose 2*t + 3*t + 56 = -3*p, 5*p = 4*t - 44. Let s be (-6)/p - (-21)/2. Is g not equal to s?
False
Let l be (276/(-54) - -5)*1. Let t be 1 + 2 - (6 + -2). Are t and l unequal?
True
Suppose 1360 = -6*x - 4*x. Do -138 and x have different values?
True
Let v = -34 + 26. Let a be (v/16)/(10/(-4) + 1). Is 1.6 bigger than a?
True
Let u be 27/((-2)/(4 + -3)). Let a(v) = -3*v**2 - v + 9. Let p be a(-3). Which is bigger: u or p?
u
Suppose 3*g - 2*g - 5*g = 0. Let n = 19/715 + 7/55. Which is smaller: g or n?
g
Let j(h) = -h**2 + 2*h + 2. Let c be j(2). Let i be (0/(-8))/(1*2). Which is smaller: i or c?
i
Let q = -2047 + 161711/79. Is 1/4 equal to q?
False
Let k(j) be the second derivative of j**4/12 - 3*j**3/2 + 13*j**2/2 - 8*j. Let h be k(6). Is -5 >= h?
True
Let s = 136 - 136.056. Let p = -39.056 - s. Which is greater: -0.1 or p?
-0.1
Let d = -922 - -922. Which is bigger: d or -1/56?
d
Let d be -1 + ((-5)/(-2) - 0). Suppose n + 0*j - 1 = -j, -n - 5*j = 3. Let o be (n/6)/((-10)/(-90)). Is d less than or equal to o?
True
Let h(f) = f + 36 - f**2 - 33 - 4*f. Let a be h(1). Which is smaller: 2/23 or a?
a
Suppose -2627 = -5*h - 372. Is 451 >= h?
True
Suppose h + 2*i - 8 = -10, 2*i = -2*h + 2. Let j(t) = -2*t + 16. Let d(x) = -x + 1. Let u(a) = -3*d(a) + j(a). Let n be u(-10). Is n equal to h?
False
Let r(q) = 5*q**2 + 24*q + 47. Let l(f) = f**2 + 6*f + 12. Let a(w) = 9*l(w) - 2*r(w). Let z be a(8). Which is smaller: z or -7/4?
z
Let j be (60/17)/(84/(-16) + 6). Which is smaller: j or 4?
4
Let o(q) = q - 1. Let r be o(5). Let u be (3/6)/(((-1)/652)/(-1)). Let y = 992/3 - u. Is y > r?
True
Let z be 17 + -14 - 3*10. Let y = -62 - -35. Is z <= y?
True
Let u = 4 + -2. Suppose 1 = 2*r - 5. Suppose 26 = 5*k + t, -k + 0*t + r = -2*t. Which is bigger: k or u?
k
Let z = 88/95 + -12966/665. Is z at most -20?
False
Let j = -161 - -159. Which is smaller: -48/23 or j?
-48/23
Let m = -8.9 + 7.89. Let z = m - -0.01. Is z greater than or equal to -3?
True
Let j be 2 + 20*6/(-4). Let q be (-1917)/63 + 8/(-14). Let p = j - q. Is 2 smaller than p?
True
Suppose 0 = 10*k - 3*k + 7. Let s = k - -3. Which is smaller: s or 11/5?
s
Let c = 11 - 5. Suppose -2*a + c = 2. Let f be 18/(-15)*a/6. Which is bigger: f or 0.4?
0.4
Let w = -5.14 - -269.14. Is -2 bigger than w?
False
Suppose 0 = -0*g - 2*g. Suppose 0 = -c - 0*c + 290. Let y = -8989/31 + c. Do g and y have the same value?
False
Let a = 0.44 + -0.79. Let n = -0.37 - a. Which is smaller: 0.1 or n?
n
Let c be 520/7749 + (-48)/648. Is 1 greater than or equal to c?
True
Let a = 0.072 - -0.988. Let w = -0.79 - a. Let c = w - 0.15. Do c and -2 have the same value?
True
Let f(g) = -g**3 + 15*g + 3. Let z be f(4). Is 1/164 equal to z?
False
Let g(k) = 2*k**2 + 37*k + 51. Let b be g(-17). Which is bigger: 2/301 or b?
2/301
Let w = 241 + -1682/7. Which is smaller: 1 or w?
w
Suppose -4 = c + w - 3, c + 3*w + 3 = 0. Suppose 4*i + 7 = 3*z, -5*i = 3*z - c*z - 25. Which is greater: z or -1?
z
Suppose 12*r - 28 = -268. Let w be (7 - (-36)/r)/((-1)/5). Is -25 at most w?
False
Let s = -1 - -2. Let d = s - 0. Let l be (-10)/(-45)*21 + 6/(-9). Is d greater than l?
False
Let s = -0.309 + 0.209. Which is smaller: s or -169?
-169
Let b = -0.7 + 1.7. Let z = -1.8 - -0.8. Let c = z + b. Which is smaller: c or 1?
c
Suppose 0 = n + 1. Let g = 12205/54 - 226. Let o = -961/594 - g. Which is smaller: o or n?
o
Let u = -228/23 + 9917/1012. Let d(v) = v**2 + 20*v - 126. Let c be d(5). Which is smaller: u or c?
c
Let i = -1/2347 - 2178/396643. Is -1 equal to i?
False
Let x = -67 + 183. Suppose -x = 14*y - 10*y. Is y less than or equal to -28?
True
Suppose z - 1 = 0, 0 = 2*w - w - z - 3. Suppose 3*y + 280 = -w*x, 96 = -y - 3*x + x. Let r be y/(-78) - (-24)/(-36). Is r greater than -1?
True
Let i = 0 + 8. Suppose 0*m = -5*p - 3*m + 20, 2*p - 3*m - i = 0. Is p greater than 21/4?
False
Let k = -1382/2755 + 28/95. Which is smaller: k or -1?
-1
Let f(p) = p**2 + 5*p + 2. Let d be f(-5). Let k be d/3 + 342/1755. Let t = k - 6/13. Is 0 equal to t?
False
Suppose -5*o + 2*o - 6 = 0. Let j be 6/7 - (0 + (-2)/14). Let w be (16/(-9))/(-4) - 2/j. Which is smaller: o or w?
o
Let u be -2 + 16/20*274/108. Let t = -716/135 - u. Is -5 bigger than t?
True
Let l = 32 - 26. Suppose -v + 75 = -l*v. Is 1 at most v?
False
Suppose 5 = -n, -3*h + 47*n + 177 = 44*n. Which is bigger: 62 or h?
62
Suppose 4*q + 15 = 7. L