n - 7*n - w. Which is smaller: y or n?
n
Let c be ((-4)/(-8)*8)/(8/6). Suppose -3*l = 2*l + q - 57, 0 = -2*l - 4*q + 12. Suppose -5*m - 11 = -5*b + 14, 0 = 4*b - 2*m - l. Are b and c equal?
False
Let v = -1/19888 + 7875655/139216. Is 57 greater than v?
True
Let r be (-48)/72*-3*1/(-1). Let g(q) = -q**3 + q**2 + 4*q - 4. Let s be g(3). Let t = 4 + s. Is r != t?
True
Suppose -4*x + 15 = -17. Suppose 0*j - 3*j + 117 = 0. Suppose 47 - j = 2*a. Which is smaller: x or a?
a
Suppose -6*k = -7*k + 9. Let b be (-12)/k*(5 + -2). Suppose -4*a + 4*w - 12 = 0, -23 = 3*a + 3*w + w. Is b at least a?
True
Suppose 5*j + 3 = 8*j. Suppose 0 = 3*u + 2*u - 5. Let c be ((-81)/(-15) - u) + -4. Is j equal to c?
False
Let s(f) = -15*f**2 + 2*f - 1. Let u be s(-2). Let r = u + 1108/17. Are r and -1 equal?
False
Suppose -6346 = -12*u + 1454. Is 651 at least u?
True
Let n = -299.064 + 0.064. Does 0 = n?
False
Suppose 22 = 3*s - s - 5*o, 0 = 5*s + 4*o + 11. Let x be (s/(-201))/(3/(-27)). Which is smaller: 1 or x?
x
Let l = 3092 + -3125. Is l <= -17?
True
Let h = 920.6 + -922. Let v = 2 - 1. Which is bigger: h or v?
v
Let p(o) = -20*o + 648. Let j be p(32). Let r = -0.99 - 0.01. Is j bigger than r?
True
Let n be (200/(-760))/((-15)/9). Let f(c) = -c + 5. Let m be f(5). Which is greater: n or m?
n
Suppose 5*x + 33 - 84 = -4*l, 3*x + 27 = 4*l. Let q(y) = -y**3 + y**2 + y + 3. Let z be q(0). Suppose -d = 2*f - 9, -4*d + l = z*f - 4*f. Is f at most 2?
False
Suppose 3 = -2*g + 1. Let s = 31260/371 - 309/53. Let l = -78 + s. Which is smaller: g or l?
g
Let r = 112 + -111. Which is bigger: -2/527 or r?
r
Let l = -0.64 - -0.09. Let w = l + -0.05. Let v = -3297 + 3297.2. Which is smaller: w or v?
w
Let s be 10/(-25) + (-1)/(5/(-17)). Is s <= -5?
False
Suppose -75 = 5*s - 3*p, -8*s = -10*s - 4*p - 56. Let d(r) = -r**2 - 3*r - 9. Let t be d(-5). Which is smaller: s or t?
t
Suppose 3*k + 88 = 106. Let w = 2 + 3. Which is smaller: k or w?
w
Let w = 26 - 21. Suppose -w = -2*d + 5. Suppose 3 = j + d. Which is smaller: 0.05 or j?
j
Let m(q) = q. Let h(b) = b**2 + 5*b + 1. Let u(i) = h(i) - 4*m(i). Let j be u(-1). Let v be j/(-2) - (-124)/216. Which is bigger: v or 1?
1
Let o be 130/(-871)*-2*1. Is o bigger than 1?
False
Suppose 0*r - 2*r - 48 = 5*j, 0 = 2*r - 3*j + 16. Let w(q) = -15*q + 45. Let v be w(8). Let m be 990/v - (-2)/(-10)*-1. Are m and r unequal?
True
Let z(a) = 4*a**3 - 3*a**2 - 7*a - 9. Let x be z(-2). Which is smaller: -38 or x?
x
Let x = -11378/7 + 1622. Which is greater: x or -4?
x
Let g = -10 + 46. Let q = g + -30. Which is smaller: 3 or q?
3
Suppose 269 = 8*o + 997. Is o > -91?
False
Let b be ((-7)/(-14))/((-1)/(-389)). Let v = b - 184. Which is greater: 12 or v?
12
Let r = 48 - 51. Let s be 2/(30/r) + (-6)/(-5). Is 1/105 bigger than s?
False
Let k = -1486 + 1485. Which is bigger: k or -1/255?
-1/255
Let s = 332.9 - 352. Let w = -11 - 8. Let l = s - w. Is l at least 5?
False
Suppose 0 = -0*z - 3*z + 33. Let s = z - 13. Let h be (-4 + 0)/(-20)*5. Which is greater: h or s?
h
Suppose 28*s - 58 - 7138 = 0. Is 257 equal to s?
True
Suppose -5*o - 1 = w, -2*w + 2*o - o = 2. Let u = 4 - -7. Let y = 12 - u. Is w equal to y?
False
Suppose n = 3*n + 5*z, -5*n + 3*z = 31. Is -6 less than n?
True
Suppose -3*w + 267 = -3*d, 165 = -2*d + 3*w - 17. Let u = 591/7 + d. Is u > 7?
False
Suppose -5*x + 2*n = -31, x + 3*n - 13 = -0*x. Suppose 0 = -b + 5*p + x, 2*b - 21 = 4*p - p. Do b and 12 have the same value?
True
Let z be (-10)/15 - 4/(-6). Suppose 4*g + z = 8. Suppose g*x = -2*x. Which is greater: x or 2/23?
2/23
Let w be -6 + 1/((-1)/(-4)). Let h be -2 + w + 52/9 + -2. Is 0 equal to h?
False
Let h = 1021.8 + -1022. Which is smaller: h or 3.08?
h
Let u be 23/(-5)*(-12)/82. Let n = -884 + 36247/41. Let p = u - n. Are 1 and p nonequal?
True
Let a(x) = -x - 4. Let f be a(-9). Suppose -f*p = 2*k + 47, -2*p = k + 18 + 3. Let z be ((-1)/(k/(-2)))/1. Is -1 > z?
False
Suppose -5*g - 5*s - 190 = 35, 3*g = 2*s - 120. Let p = g - -45. Suppose -2*a + 2*r = 2, 0 = -3*a + 2*r + 4 - 2. Is p smaller than a?
True
Let a = 650734/45 - 14432. Let m = a + -260/9. Which is smaller: m or -1?
-1
Let b = 7 + -3. Suppose -5*o = b*l, l = -5*o + 5*l. Let d = -559/2 - -18449/66. Is o < d?
True
Let j = 764 + -941. Is j bigger than -175?
False
Suppose -12*b + 4 = -11*b. Let t be b/6 + 112/3. Is 37 bigger than t?
False
Let f(o) = 3*o**2 - 2*o + 3. Let j be (-2)/(-6 + (8 - 4)). Let d be f(j). Suppose -4*m = -m. Which is smaller: m or d?
m
Let t = 0.0968 + 71.9032. Is t greater than or equal to 2/19?
True
Let v be (-52)/5 - (-64)/(-40). Is 15/4 < v?
False
Suppose -5*i = -x - 583, -3*i + 12*x - 13*x + 345 = 0. Which is smaller: i or 0?
0
Let b be -3*(546/411 - (-8)/(-6)). Is b at least as big as -1?
True
Let i = 6.41 - -0.09. Let d = i + -6. Let l = d - 1. Is 2 greater than or equal to l?
True
Let z = 14 - 3. Let m = -9 + 19. Let d be m/(-40) + (-74)/(-8). Is z less than d?
False
Let y = -8 + 4. Let s = 0.1 + -0.2. Let i = s + 0. Is y greater than or equal to i?
False
Let r = -0.09 + -8.91. Let v = 3.44 + 5.64. Let c = r + v. Is -0.1 greater than c?
False
Suppose 2*b - 4*d = -218, -4*b - 450 = 6*d - 7*d. Are b and -115 unequal?
True
Let y = -105.8 + 106. Let f = y + -0.3. Which is greater: 19 or f?
19
Let h(s) = -6*s - 3. Let z be h(6). Let f be -2 - (-1)/(z/(-69)). Let m be -4 + (3/5)/((-4)/(-20)). Do m and f have the same value?
False
Let y = 1412 + -1413. Is y less than 9/71?
True
Let f be ((-18)/2988)/((-2)/4). Which is bigger: 1 or f?
1
Suppose 3*t = 9*t - 12. Suppose -v - t = -0*v + a, 5*a + 10 = v. Which is smaller: v or -4/17?
-4/17
Suppose 4*u = -22 + 90. Let o = 13 - u. Let j = -9 - o. Which is greater: j or -1?
-1
Let s be 6/(-5)*60/(-1). Let k be (36/(-60)*-65)/(6/(-4)). Let t be s/5 - k/(-65). Does 15 = t?
False
Let n be 3/(-2)*(-2 - 0). Suppose 3*g - 22 = n*z + 56, 5 = -z. Let w be g/10 - (-4)/(-8). Is w smaller than 2?
True
Let a = 5 - 5.06. Let v = 0.04 - a. Let p = -984/5 + 197. Is p at most v?
False
Let k = -263/3 + 86. Let l(j) = -j**3 - 3*j**2 - j - 4. Suppose -3*q = -2*q - 2*y + 5, 5*y + 7 = -4*q. Let u be l(q). Which is greater: u or k?
u
Let s be 3/(6/463) - 0. Let p = 227 - s. Let g be (104/(-12) + 7)*(3 + 0). Which is smaller: g or p?
g
Let d = -69/1100 + 45/44. Is d at least as big as 1?
False
Suppose -2*l + 6 = 2*m, -3*m - 1 = -2*l + 3*l. Suppose -2*x + 8 = -4*f, l*f = 4*x + 1 - 11. Which is bigger: x or 3/13?
3/13
Let i be -5 - (-4 + (-12)/15). Are 58 and i non-equal?
True
Suppose -4*c - 1077 = 5*o, o = -4*c + 2*o - 1047. Let q be 1*c + (-7)/7. Let t = -1061/4 - q. Which is smaller: -1 or t?
t
Let w = 47851/26 + -1840. Is w at least as big as 1?
False
Let l = 1097 + -3292/3. Which is greater: 0.64 or l?
0.64
Let u = 466 - 458. Which is smaller: u or 9?
u
Suppose -12*g + 14*g - 10 = 0. Suppose 15 = -g*v + 4*r, -6*v - 4*r + 25 = -v. Is -2/7 smaller than v?
True
Let h = 867 + -854. Is 13 not equal to h?
False
Let b = 7445104 + -8286400109/1113. Let l = b + -1/159. Which is greater: 4 or l?
4
Suppose -k = 5*m - 330, -15 = -0*k + 3*k. Suppose -i = -5*w + 12, 4*i - 8*i = 3*w - m. Suppose -3*p + 21 = -p - 5*n, 4*n + 61 = 5*p. Is p < i?
False
Suppose 8*l = -10*l. Which is bigger: -4/69 or l?
l
Suppose 3*c = 75*c + 12528. Is c smaller than -0.1?
True
Suppose -19*m - 224 = -23*m. Let y = m + -83. Is y less than -1/2?
True
Let x(k) be the second derivative of -k**5/5 - k**4/6 - k**3/6 - 3*k. Let w be x(-1). Suppose 4*h - 27 = -w*y + h, -4*y - 2*h + 30 = 0. Is 6 bigger than y?
False
Let n = -478 + 481. Which is smaller: 11 or n?
n
Let c = -57.71 + 0.61. Let j = c - -57. Which is greater: j or -2/7?
j
Let o = -30.6 + -10.4. Which is greater: -7 or o?
-7
Let z(p) = 9 + p + 3*p**2 - p**3 - 14*p**2 + 5*p**2. Let r be z(-6). Suppose 0*c + 25 = 5*c. Does r = c?
False
Let q be 365*(29 - 26)*2/(-6). Is q < -365?
False
Let b(h) = 2*h**3 - 18*h**2 + 2*h + 1. Let x be b(9). Suppose -4 = 4*w - 3*k - k, 5*w + k - x = 0. Which is bigger: w or 14/9?
w
Let o(y) = -y**3 + 24*y**2 - 23*y + 19. Let k be o(23). Suppose -3*a - 16 = -k. Which is smaller: 3/32 or a?
3/32
Suppose 2*y - 5*y = 0. Suppose y = -5*h + b + 4, -4*h = 3*b - 7 - 0. Is 4/19 < h?
True
Let o = -43.69 - 0.31. Let d = o + 44.05. Is d at most -5?
False
Let