= 5*j - 21, 5*w = -j + q. Let b be (-2 + 3)/((1/30)/((-15)/(-90))). Which is smaller: b or w?
w
Let n(w) = w**3 + 17*w**2 + 17*w + 63. Let g(r) = -5*r**2 - 22*r - 2. Let y be g(-5). Let c be n(y). Are c and -225 non-equal?
True
Let a = -25.188 + 25.568. Which is bigger: -7/8 or a?
a
Let d = -137 - -137. Suppose d = -123*m + 121*m. Is m equal to 28/19?
False
Suppose -3*h = 4*x + 7, 0*x - 6 = 4*h + 2*x. Let l = -16 + 14.1. Is h bigger than l?
True
Let f = -4057 + 5482. Is 1428 > f?
True
Let o(x) = -x**3 - 18*x**2 - 60*x - 79. Let k be o(-17). Are 655 and k equal?
False
Let l = -604 + 605. Is 3/7619 greater than or equal to l?
False
Let u(y) be the second derivative of -7*y**4/12 + 2*y**3 + 5*y**2 + 3*y + 6. Let f be u(-4). Let v = -137 - f. Is 13 equal to v?
True
Let r = -89 + 117. Suppose 0 = -9*n - 440 - r. Are n and -53 equal?
False
Let t(r) = r**2 + 23*r + 126. Let o be t(-14). Let d = 19/55 + 163253/440. Let i = d + -372. Is i equal to o?
False
Let o = 1 + 1. Let r = 1.6665 + -1.7665. Which is bigger: r or o?
o
Let r be (-1 - 80/8) + (-5946083)/(-540551). Is 1 < r?
False
Let q = -490617782451/231407 - -2120151. Let r = -2355028847/7405024 - q. Let y = -318 - r. Which is greater: -1 or y?
y
Let s = 17 - 19. Let g be s/((-2)/(-3))*130/39. Let v be (4/g)/((-12)/(-105)*-1). Is v smaller than 4?
True
Let t(c) = 16*c - 92. Let l be t(17). Suppose 0 = 232*j - 238*j + l. Is 33 at least as big as j?
True
Let s(i) = -3*i**3 - 458*i**2 + 158*i + 833. Let c be s(-153). Which is bigger: 59 or c?
c
Let c = -16091/24132 + 1/8044. Suppose 4*h = 5*h + 60. Let z be (104/h)/(2/3). Which is greater: z or c?
c
Let v = 281 - 280.05. Let g = v + 0.05. Let p = 0.1 + 4.9. Which is smaller: p or g?
g
Suppose 17*m - 14*m = 3. Let y(v) = -25*v**2 - 5*v + 5. Let h be y(m). Let f be (6 - 1) + (h - -19). Is 4/77 less than or equal to f?
False
Suppose 0*t - 7*t = 0. Let g be t/(6 - 3 - 1). Suppose 4*y + 4 = -4*u, 3*u = -4*y + 3*y - 1. Is g > y?
True
Let q be ((-194)/(-9))/(5/(-30))*-3. Let r be (-1932)/q - (-15)/(6/2). Which is smaller: 0 or r?
0
Let q = -84398/25795 + -2/2345. Let r be (156/36 + -3)*-3. Is r < q?
True
Suppose -71*p + 73*p - 3136 = 0. Suppose 20*j - 36*j + p = 0. Is 98 at most as big as j?
True
Let k = 416 + -423.15. Let g = -0.05 + k. Is g greater than -1/5?
False
Let j = -548 - -543. Is j equal to -1?
False
Let o = -84.2 + -13.8. Let p = 6919.1 - 6919. Which is greater: p or o?
p
Suppose 58*h + 6479 = 53*h - 2*k, -1285 = h - 5*k. Which is smaller: h or -3?
h
Let k(i) = -3*i**2 + 8*i + 2. Suppose 0 = u - 3, 4*m - 33 = -3*u - 0*u. Let x be k(m). Let o be 6/10 + x/30. Which is greater: o or -2?
o
Let z(q) = -3*q**2 - 66*q + 71. Let d be z(-23). Let y be ((-230)/(-30) - 7)/(1/d). Is -1 greater than y?
False
Let j = 1695 - 2167. Which is smaller: -469 or j?
j
Suppose -6*o + 164 = 4*s, 0 = -5*s + 7*o - 12*o + 190. Is s equal to 2.8?
False
Suppose -589*b + 606*b = 33779. Is b > 1987?
False
Let a be (0 - -4) + -3 + 38. Let b be (-798)/(-21) + 0/1. Let n = b - a. Which is smaller: n or 2/25?
n
Let o = -7.128 + 0.028. Let b = o - -7.04. Is b > -0.26?
True
Let w = -0.7 + -10.3. Let o = 10 + w. Is o less than 131?
True
Let o = 9/4391 - 49457/28414161. Which is greater: o or 1?
1
Let v = 3 - 9. Let u be -15*12/50*15/12. Is u at least as big as v?
True
Let p = -2826 + 115887/41. Let y(n) = -n**2 - 14*n - 11. Let d be y(-13). Which is greater: d or p?
d
Let t = 0.63 - 1.658. Let s = -1 - t. Let v = 1.028 - s. Which is smaller: 0.06 or v?
0.06
Let x = 32.09 + -31.09. Is x at least as big as 137.53?
False
Let g = 9217 + -9189. Which is smaller: g or -10/27?
-10/27
Let g(q) = 3*q - 12. Let s(n) = -7*n + 24. Let x(v) = -10*g(v) - 4*s(v). Let o be x(18). Let m = 275/23 + o. Which is greater: 1 or m?
1
Let r be ((-170)/51)/(6/9). Which is greater: 58 or r?
58
Let j = -31167 - -31167. Is j bigger than -51/389?
True
Let u be 0 + 2 + 3 + -3. Suppose u + 0 = -j. Let l be 4/12 + 76/(-48). Is j less than l?
True
Suppose 6 = -2*a - 3*b, 6*a - 3*b - 21 = 3*a. Let i be ((174/(-216))/1)/(a/(-12)). Which is smaller: 4 or i?
i
Let f = 9943/65 + -153. Which is greater: f or 0.77?
0.77
Suppose -69696*l = -69550*l - 146. Let j be ((-1)/(-7))/((-10)/6). Is l smaller than j?
False
Suppose -2*t + 59 = 3*m, m - 339 = -4*t - 226. Which is bigger: t or 3/7?
t
Let h(d) = -2*d**3 - 37*d**2 + 18*d + 282. Let w be h(-18). Is -369 less than w?
True
Let z(a) = 24*a - 29. Let q be z(-7). Let w(g) = 198*g**3 + 3*g**2 - 32*g - 35. Let x be w(-1). Is x < q?
True
Let l = -1026 + 1034. Suppose 0 = -5*w - 4*h + 121, 9*h - 4*h - 41 = -w. Suppose -19 = -l*s + w. Is 38/7 at most s?
False
Let k = 666.998 - 667. Let l = -0.387 - 0.013. Which is bigger: l or k?
k
Let o be 398/(-240) + (-3)/(-4). Let u = o - 7/24. Let s(x) = -x**3 - 4*x**2 - 4*x - 3. Let w be s(-3). Which is greater: w or u?
w
Let j = 3094 - 541354/175. Which is bigger: 1 or j?
1
Let p(r) = -r**2 + 16*r - 35. Let o be p(12). Let n be -14 - -14 - (-1367)/o. Let h = -105 + n. Which is greater: 0 or h?
h
Let n(a) = 257 + 5*a - 5*a - 6*a + 9*a - a**2 + 13*a. Let o be n(25). Do o and 40 have the same value?
False
Let r(h) = -323*h - 2233. Let a be r(-7). Suppose -2*d = -0*d - 52. Which is bigger: d or a?
a
Let o = -25 - -18. Let m be (o/(42/4))/2. Let n = -1.551 + 1.451. Is m not equal to n?
True
Let j = -8.998 - -9. Let g = j + -0.034. Let r = 0.022 + g. Which is greater: r or -2/5?
r
Let t = 799.3 - -9.7. Let u = 809 - t. Which is greater: u or -157/4?
u
Let u(r) = 8*r**2 + 2*r - 1. Let s be u(1). Suppose -2*t + 45 - s = 0. Suppose t = -6*j - 36. Is -10 not equal to j?
True
Let b = 303.1939 + 0.8061. Is b at least as big as -1/7?
True
Let i = 189937/17 - 11175. Which is smaller: i or -2?
i
Suppose -a + n = -11 + 29, 4*a - 2*n = -64. Suppose 0 = -h + y + 182, 7*h = 8*h - 4*y - 194. Let x = h - 190. Does a = x?
False
Let n(m) = m**3 + 11*m**2 + 8*m - 28. Let r be n(-9). Let u be (r/2 + -7)*(-6)/(-8). Do 154/9 and u have different values?
True
Let u(o) = 0*o - 25*o - 8*o + 24 + 104 + 0*o. Let y be u(0). Is 130 != y?
True
Let t = 1091 - 1728. Let z = -638.051 - t. Let y = -0.051 - z. Which is smaller: 2.2 or y?
y
Let z be (276/506 + 34/(-22))*1. Which is smaller: -37/63 or z?
z
Suppose 50 = 18*g - 16*g. Let n be (-15)/g + (-6)/(-10). Is -1/372 at most as big as n?
True
Let q = 36180 + -36604. Is q at least -427?
True
Suppose 2*k - 10 + 4 = 0. Suppose -4*j = -3*f + 1, -18*j + 21*j = -k. Does -1/604 = f?
False
Let a = 418 + -333. Let i = 102 - a. Which is greater: i or 8?
i
Let k = -4990 - -4988. Is -2/37 != k?
True
Let a = 20.65 + -20.4326. Are a and -5 equal?
False
Let k(c) = 4*c + 36. Let l be k(-9). Suppose l = -13*h - 15 + 2. Which is smaller: h or 1/5?
h
Suppose 15 + 1 = 4*j. Suppose 1840 = -j*d - 52. Let c = 11823/25 + d. Which is smaller: c or 1?
c
Let r(q) = -42*q - 419. Let m be r(-10). Is 5/691 less than m?
True
Suppose 5*x = 4*m - 1888, 0 = 2*m + 147*x - 148*x - 932. Does m = 459?
False
Let k(t) = -5*t**3 - 14*t**2 - 28*t - 62. Let o(f) = 2*f**3 + 5*f**2 + 9*f + 21. Let a(b) = 3*k(b) + 8*o(b). Let r be a(-2). Which is smaller: -11 or r?
-11
Suppose -2*h - 2 = 4*a - 0*h, 0 = 5*a - 3*h + 19. Let o be 6*(-1)/a + 4 + 25. Let k = o - 33. Is -3/17 greater than or equal to k?
True
Let s = 4969 + -5116. Is s > -17?
False
Let v = 17 + -16. Suppose 3*x - 2*q = 53, -v = -4*q + 19. Suppose -3 = -2*z - j + 6, -3*z = 3*j - x. Is z <= 2?
True
Let z(d) = -d**3 + 92*d**2 - 5*d + 452. Let b be z(92). Are b and 2 unequal?
True
Suppose 3*x - 4*c = -7*c - 9, 0 = 2*x - 4*c - 12. Suppose 5*v = 3*l, -5*v + 2*l + 2 + 3 = x. Which is smaller: v or -124?
-124
Let d be 6 + ((-9)/6)/(146/28 + -5). Which is bigger: 2/19305 or d?
2/19305
Let j = -2.4 - -5. Let y = 2.9 + j. Let a = -5.4 + y. Which is smaller: 1/69 or a?
1/69
Let m = -42627/16 - -10657/4. Let z(b) = b**2 - 6*b + 4. Let n be z(5). Let g = 2 + n. Is m < g?
True
Let d = 3671 - 25700/7. Let c(j) = j + 1. Let o be c(0). Which is smaller: d or o?
d
Suppose 543 + 167 = -24*m - 1162. Which is greater: m or 0.18?
0.18
Let g be 16/(-72)*-21*2586/8. Which is smaller: 1508 or g?
1508
Suppose 946 = -13*q - 289. Let l = q - 14. Which is greater: 0.2 or l?
0.2
Suppose 2*f = 3*u + 16, -2*f + 0*u - 4*u = -2. Let a(r) = 7*