n + 4*d + 8 = n, 3*n + 38 = -5*d. Which is smaller: r or n?
n
Suppose 42*g + 33*g - 99 = 51. Is g >= -0.169?
True
Suppose 3*t + x = 19, 2*t + 2*x = 6*t - 12. Suppose t + 12 = 17*w. Are 2/11 and w equal?
False
Let y(z) = 37*z - 949. Let h be y(26). Suppose -3*u = -2*w + 69, 6*w = 2*w - 3*u + 183. Suppose 6*v - 3*v = 3*n + w, 0 = 2*v - 4*n - 24. Is h less than v?
True
Let z(j) = -j**3 - 7*j**2 - 7*j - 4. Let m be z(-6). Suppose 2*b - m*s = 5*b - 12, -8 = -2*b - 4*s. Let t = b - 4. Is 2 not equal to t?
True
Let u be (23 - -1700)*4/(-4). Is -15508/9 at most u?
True
Let a(o) = -24*o + 132. Let y be a(6). Let s be (0 - (-8)/y)/((-4)/6). Is s less than or equal to 236?
True
Let y(t) be the third derivative of t**4/4 - t**3 + t**2. Let u be y(2). Let v be (-5)/(15/u) - (-3)/1. Are 1/59 and v non-equal?
True
Let f = -5730 - -5728. Is f > 0.063?
False
Let d(t) = -t**3 + 6*t**2 + 148*t - 591. Let c be d(4). Which is greater: c or 62?
62
Let k(j) = -26*j + 3. Let q be k(-4). Let s = -103 + q. Let y(o) = 2*o - 5. Let w be y(5). Which is smaller: s or w?
s
Let r = 819 - 1100. Let v = -282 - r. Which is smaller: v or 2/143?
v
Let r(i) be the third derivative of i**6/120 - i**4/12 - i**3/6 + i**2. Let a be r(-1). Let f = -63251/774700 - -51/30988. Is a at most as big as f?
False
Let b = -294 - -290.99. Let f = b - -2.51. Which is greater: f or -0.051?
-0.051
Let q be 7 - -6*(-423)/360. Which is smaller: q or 3/4?
q
Let k = 263219/30 + -8774. Which is greater: 7/9 or k?
7/9
Let g = -2 - -3. Let q = 532 - 40. Let l = -31978/65 + q. Which is greater: l or g?
g
Let f = 20496 - 20061. Does 448 = f?
False
Suppose t + 2*f - 80 = 0, 307 = 4*t + 5*f - 10*f. Let b(v) = v**3 + 21*v**2 + 14*v - 43. Let c be b(-20). Is c at most t?
True
Let d(v) = -v**3 - 2*v**2 + 4*v - 5. Let g be d(-4). Let m = -16 + 6. Let n be 6 + (-8)/7*35/m. Which is smaller: g or n?
n
Let t be (6/(-8))/3*-4. Suppose 381*m + 63 = 388*m. Let s be 1/m*(-4 - (0 - 2)). Are t and s non-equal?
True
Suppose -54 = -2*a + q, 3*q + 23 = a + 1. Suppose 2*k = -12*k + a. Are 16/5 and k equal?
False
Let q(k) = -91*k - 690. Let r be q(-7). Is 1 not equal to r?
True
Suppose -7*q - 8960 = 9*q. Let b be (4/5)/((-56)/q). Is 39/5 greater than b?
False
Let g be -5 + (-4 + -257 - -12). Is g greater than -3?
False
Let g = -58036/3 - -29482339/1524. Is -0.1 < g?
True
Let h be (-5)/(-195)*28*(-7 - -4). Let z be 10/15*-6 + 2. Is z at most as big as h?
False
Let q = 360 + -310.2. Let n = q - 48.8. Which is smaller: -4/19 or n?
-4/19
Let l be 70*(-9)/(-96)*2. Let n = l + -115/8. Let o be (-62 - -62)*(-2)/(-6). Which is smaller: o or n?
n
Let o = -2/17947 + -412745/323046. Let h = o - -178/9. Which is smaller: 18 or h?
18
Let t = -40 - -25. Let n = -9 + t. Let b = 76 + -99. Which is smaller: b or n?
n
Let p(o) = -o**2 - 131*o - 869. Let f be p(-7). Is -9/364 greater than or equal to f?
True
Suppose -3*h - 2*t + 227 = 0, t - 150 = -2*h - 0*t. Suppose -1262*w + 8890 = -519*w - 616*w. Which is bigger: w or h?
h
Let c(m) = -23*m - 390. Let z be ((-34)/(-6))/((-44)/132). Let t be c(z). Which is greater: t or 168?
168
Let m = 539 - 547.8. Let d = -67.9 - -68. Is m less than or equal to d?
True
Suppose d = -3, 3*t + 166 + 662 = 2*d. Which is smaller: t or -274?
t
Let i = -13.85 + -0.15. Let z be ((-2)/10)/((-21)/42). Is i >= z?
False
Let j = 1.5 + -1.68. Let o be (1817 - 1)*(-141)/282. Let z = o - -909. Which is bigger: z or j?
z
Let h = -779108/21 + 37092. Do h and -7 have the same value?
False
Let i = -1 + 1. Suppose -18 + 22 = 4*g + w, 5*w - 20 = -3*g. Suppose g*l - 2*r + 10 = 2*l, 3*r - 9 = i. Which is smaller: l or -0.1?
-0.1
Suppose -3*n - 155 - 1 = 0. Suppose -d + 5*j - 84 = 0, 5*j + 3088 = -2*d + 3010. Is n greater than d?
True
Let c be -3 - (-27)/(1 + 26). Let n = -0.1 - -0.05. Which is bigger: c or n?
n
Let l be (-11 + -36)*(-2 - (-1 - -1)). Let s be (-374)/l + (-17)/(34/(-8)). Let v = 0 + 0. Which is smaller: v or s?
v
Let v be ((-36)/16)/9 - 3. Suppose 0 = 5*b + 25 + 585. Let h = 119 + b. Which is smaller: h or v?
v
Suppose -21 = -3*m + 3*w - 0*w, w = 5. Suppose m*l = -573 - 423. Let a = l - -138. Is a at most as big as 55?
True
Suppose -5*y + 3*j + 32 = 0, 1433*j - 1428*j = -45. Let i = -9795 - -8266979/844. Which is bigger: i or y?
y
Suppose 110*y + 96*y + 110818 + 652824 = 0. Is y at least as big as -3709?
True
Let n = 60091/3740 + -912/55. Which is smaller: n or -2?
-2
Let n = 663 - 793. Let c = -130.1 - n. Do 162 and c have different values?
True
Let z = -14/419 - -18842/12151. Is 1 at least z?
False
Let v = 3423.0322 + -3423. Which is smaller: 2/3 or v?
v
Let j = -168 - -155. Let v be ((-2)/6)/((26/(-162))/j). Is v >= -30?
True
Suppose -12*c + 2835 = 8211. Let d = c - -965. Is 518 less than d?
False
Let x = 12 - 1. Let n be 1/(-4) - x/(-12). Suppose 4*f = 16, -4*o - 12*f + 11*f + 4 = 0. Is n >= o?
True
Let a(o) = 6*o**2. Let f be a(2). Suppose -3*z - f = -15. Is z < -1/2?
True
Let u be 9*12/8*(-3 + -7). Let p be (-1394)/80 - (-162)/u. Is p equal to -20?
False
Let z be 8/20*5 - (-31424)/684. Let s = -422/9 + z. Let p = -4 + 5. Which is greater: p or s?
s
Let b = 27999 + -475971/17. Which is smaller: b or 0?
0
Suppose -2*k + 5*i = k - 17, 4*k - 18 = 2*i. Suppose -5*s + 25 = 0, k = -4*d + s + 3. Is -4/63 at least d?
False
Let j be (-5 - 13/(-3) - (-1316)/285) + -4. Is -1 greater than j?
False
Let v = 0.179 - 0. Let o = 1.821 + v. Which is bigger: o or -0.019?
o
Suppose -g = 3*w - 46, -g + 38 = -5*w - 0*w. Let c = g - 40. Suppose 5*b + c*b = 16. Which is bigger: -0.007 or b?
b
Let n = -52986 + 161954/3. Which is smaller: 999 or n?
n
Suppose 0 = 21*o + 12*o. Which is bigger: -11/2412 or o?
o
Let f(x) = -2*x + 2. Let d be f(1). Let y be 3/(-5) + 6/(-15). Let a be (17/986)/(y + (-14)/(-8)). Are d and a equal?
False
Suppose 559 = 4*d + 5*o, -2*d + 3*o + 84 = -179. Do 1/26 and d have different values?
True
Let b = 3251 + -3274. Let o be 30/(-68)*2 + 1. Which is smaller: b or o?
b
Let p(b) = 215*b - 3897. Let v be p(-46). Which is greater: v or -13786?
-13786
Let v = 0.4 - 0.3. Let w be (12 - (6 + 6)) + (-6)/(-2). Suppose -14 = -4*x - 2*t, w*x - t - 5 = 13. Is v > x?
False
Let p be ((-225)/(-189) + (-18)/(-126))/(16204/(-6)). Which is greater: -1 or p?
p
Let k = -159 - -147. Let u be 0 + (-496)/122 - (k + 8). Is 1 greater than u?
True
Let z be (0/(-9))/(5/(70/(-14))). Is 16/235 equal to z?
False
Suppose 0*v + 4*v - m = 100, -v + 3*m + 25 = 0. Suppose 0*u + 10 = 5*y - 2*u, v = y - 5*u. Let z = 5/113 - 32/3277. Which is smaller: z or y?
y
Let t = -151.403 + 1.403. Is -1/4 equal to t?
False
Let s be ((-2)/(-68))/(0 - (-15)/(-27300)). Which is smaller: -54 or s?
-54
Let f be 52600/(-624) - (-30)/(-65)*-1. Is f greater than -83?
False
Suppose 5*o - 1142 - 2483 = z, -725 = -o + 5*z. Suppose 4*m - 2*c = -1340, -2*m + 59 = -3*c + o. Is -0.1 greater than m?
True
Let r(h) = -h**3 - 10*h**2 + h - 1. Let m be r(-4). Is m >= 3?
False
Let m = 793/33 + -145/6. Suppose -42*u + 2398 = 2356. Are m and u unequal?
True
Let b(q) = -6*q**3 + 4*q**2 - 5*q - 3. Let r be b(-4). Suppose 0 = -8*x + 5*x + r. Which is bigger: 156 or x?
156
Suppose f = 3*r - 4*r + 4, -4*r - 11 = -5*f. Which is smaller: r or -1095?
-1095
Let x be (-14152)/(-24) + 8/6. Is x equal to -0.06?
False
Let s = 252 - 239. Let g be 5/(2 + s)*9. Which is greater: g or 10?
10
Suppose -8*i = -3*i - 10. Suppose q = -3, 0 = -j - i*q - 4 + 2. Suppose 6*w - 260 = -224. Which is greater: w or j?
w
Suppose 0 = 5*i + 3*u - 58, 7*i = 10*i - 4*u - 29. Do 1205 and i have the same value?
False
Let n = -866183/12 + 72140. Is n bigger than -41?
False
Let j be (-9)/(-90)*-5*(0 - 0). Let f be (6*(j - 1))/(6/(-132)). Is f less than 132?
False
Let d = -237990 + 237423.915. Let x = -566 - d. Is -2/3 < x?
True
Let b(w) = w**2 + 3*w + 22. Suppose 29 + 265 = -21*l. Let r be b(l). Do r and 175 have different values?
True
Let v = 191.6 + -24.6. Is -5 bigger than v?
False
Let r be -1 + (-3)/6 - (-39)/(-78). Let j(u) = -3*u + 16. Let q be j(8). Let h be (-27)/48*q/(-4). Which is smaller: h or r?
r
Let u = -9171.8679 + 9172. Is u equal to -4?
False
Suppose 0 = -3*m - 9 + 36. Suppose -6*h + 39 = -m*h. Let w be 6/(-2) - (h + 11). Are -16/7 and w unequal?
True
Let y be 2/(4/3)*3130/15. Let x be -3 - (y/(-117) 