. Which is bigger: z or b?
b
Suppose -9*u + 111 = 2001. Are u and -217 unequal?
True
Suppose 5 = 5*n + 5. Let m = -10 + 9. Let h be (9/(-3537))/(m/(-3)). Which is bigger: h or n?
n
Let t(x) = x**3 + 110*x**2 + 319*x - 6. Let n be t(-3). Is n >= 7/4184?
False
Let g be 51/85*((-2)/(-5085))/(11/(-275)). Which is bigger: g or 0?
0
Let n = 21.2 - 21. Let s = n - 0.65. Let w = 2.45 + s. Is 0.29 <= w?
True
Suppose 0 = b - 4, -5*b = 3*g - 2*b + 45. Is g bigger than -1/111?
False
Let s be -5 - -1*(2 + 0). Suppose 2*m + 3*i - 5*i = 36, 0 = 3*m - 5*i - 58. Suppose 4*j - m = -4*j. Which is smaller: j or s?
s
Let j be ((-8)/10)/((-4)/70). Suppose -g + 21*q = 18*q + 1, 3*g = -q + 47. Do j and g have the same value?
True
Let c(j) = -j**3 + 11*j**2 - 3*j + 16. Suppose 0 = 2*b - 3*f - 33, 3*f = -3*b - 6 + 33. Let i be c(b). Which is smaller: i or -165?
-165
Let v(r) = 2*r**2 - 19*r + 4. Let n be v(6). Let a = 68 + -104. Which is bigger: n or a?
a
Let d = -1280944/185 - -6924. Suppose -167*z - 13 = -154*z. Which is smaller: d or z?
z
Let q be (-23 - -27)*(-93)/(-30). Suppose 4*f - 15 - 45 = -4*w, 5*f = 4*w + 57. Which is greater: f or q?
f
Suppose -317*j = -361*j - 5588. Is -11 bigger than j?
True
Let c be -1 - (1 - (-354)/(-87)). Let l = 7231 + -7228. Which is bigger: l or c?
l
Suppose -13*l = -4*z - 12*l - 190, -2*z - 4*l = 104. Which is bigger: z or -47?
-47
Let y be ((-4 - -5) + -3)*-16. Suppose -4*p = -4*z + z + 26, 4*z + y = -3*p. Let f(l) = l**3 - 5*l**2 - 16*l + 6. Let k be f(7). Do p and k have the same value?
True
Let a(r) = -r**3 - 74*r**2 - 1007*r + 55. Let d be a(-56). Which is smaller: d or -14/1405?
d
Let q be (-50)/13 + (-5)/(-130)*-4. Let y be ((-12)/(-72))/(71/1706) + q. Which is bigger: -1 or y?
y
Let q = -5194 - -8908. Is 3714 equal to q?
True
Let j be (-432 - -431)*5/19. Does 1 = j?
False
Let o = -361 + 357.9. Let y = o + -17.9. Is 0.08 bigger than y?
True
Let h = -1.458 + 1.288. Let l = 9 + -15. Let n = l - -6.2. Which is greater: h or n?
n
Let q(n) = 7*n**3 + 8*n**2 + n - 3. Let d(o) = -o**3 - o. Let h(b) = -6*d(b) - q(b). Let m be h(-8). Let z be m + (1 - (0/(-3))/3). Is z != -37?
True
Let i = -2657/15 + 177. Suppose 2*n = 4*a + 64 + 174, n + 2*a = 127. Let v = n - 123. Which is smaller: v or i?
i
Let n = -187.849 - -188. Let w = -0.151 + n. Which is smaller: -153 or w?
-153
Let m = -6509 - -1399438/215. Let u = -597/3440 - m. Are u and 0 equal?
False
Let b = 2841 + -8569/3. Which is greater: b or -14?
-14
Let a = -0.055 + 3.155. Let f = a + -3. Let w = 921.2 + -922. Which is smaller: f or w?
w
Let z be ((-68)/(-18))/(1968/(-323496)). Let d = -621 - z. Which is greater: 0 or d?
0
Suppose 2*t + 5 = -7. Let u be 2082/30 - (-2 - (-14)/10). Let j be 42/u + 28/(-5). Which is bigger: t or j?
j
Let r = 0.204 + -0.12. Let o = 11.32 - 18.236. Let x = r - o. Is 2/7 smaller than x?
True
Let y(x) = -8*x - 40. Let t be y(-5). Suppose h + 0 - 7 = n, 2*h - 4*n - 18 = 0. Let f be h/(-1)*(-45)/1725. Which is greater: f or t?
f
Let d = -648.6 - -742. Let g = d - 78.1. Which is smaller: g or -0.1?
-0.1
Let f be (6/(-2))/((-5)/5). Let y(r) = -3*r**f + 2*r**3 - 9 + 0*r**3 + 2. Let v be y(0). Which is smaller: v or -6?
v
Let d be (-4)/(-2) - 3 - 5. Let p be (d/4)/((-13)/78). Suppose -p*h = -89 - 19. Is -2 smaller than h?
True
Let r(f) = -2*f**3 + 7*f**2 - 4*f - 2. Let j be r(2). Suppose -p = -3*s - j, 55*s + 16 = 51*s - 2*p. Is 3/11 equal to s?
False
Let p be (138/(-2))/(280/16 + -16). Is p bigger than -424/9?
True
Suppose -62*s + 4*s = -37468. Which is smaller: s or 650?
s
Let l(u) = u**3 - 37*u + 5. Let c be l(6). Let m(v) = 35*v - 15. Let r be m(c). Do -49 and r have different values?
True
Suppose -4*j + 3*v = 240 + 431, 4*j + 2*v = -646. Let n = j - -167. Let u = 207/4 - 50. Is u at least as big as n?
False
Let c(x) = -x**3 + 6*x**2 - 6*x - 2. Let w be c(4). Let y be (w/6315)/(1 - 4/5). Is y <= 0?
False
Let h(z) be the second derivative of 13*z**3/6 - 13*z**2 - 10*z + 4. Let b be h(2). Let w = -539 - -29643/55. Which is greater: b or w?
b
Let w = -186.1 + 186. Suppose 0*b - 3 = 2*b + 3*s, -2*s = 6. Suppose 2*p + 3*n = 5 + 4, b*n = 4*p - 63. Which is greater: p or w?
p
Let l be (2116/69)/(-23)*(-150)/(0 + 2). Is 98 less than l?
True
Let j = 7 - 7.1. Let s be 12*4/16*16/12. Suppose 4*n = 3*i + 47, 0 = -s*i - 3*n - 140 + 44. Which is bigger: j or i?
j
Suppose 7*s - 10 = 12*s. Let c be s/3 - 1/32*-22. Suppose -4*k - 19 = -i, -i - 2*k - 7 = -4*i. Which is smaller: i or c?
i
Let t = -347880 - -347827. Suppose 235 = -4*k - k. Which is smaller: t or k?
t
Suppose 376*z = 403*z - 2835. Does 101 = z?
False
Let i = 818 - 821. Suppose -2*q - 387 = -5*u, 4*q - 4*u - 46 = -802. Let l = q + 1485/8. Is l at least as big as i?
True
Let y be (-11)/(-2) + (-5)/10. Let w = 10 + -29. Let u = w + 24. Is y at least as big as u?
True
Let v be 6/4 - 7/(-140)*10. Is v bigger than 68/43?
True
Let f(g) = 10*g**3 - 3*g**2 + 107*g - 123. Let n be f(-11). Is n at least -14973?
True
Let i be -5*2/(-4)*(-3 + -27). Let l be (-3)/(i/(-10)) - 46/160. Which is smaller: -2 or l?
-2
Let a = -175 + 190. Let h be 4*(a/10)/1. Suppose -2 = 2*c, -4*r + 23 = -r + 4*c. Is r greater than or equal to h?
True
Let z(x) = -4*x**2 + 3 + 107*x + 2*x**2 - 103*x. Let r be z(5). Is -27 < r?
False
Let q = 9728132751/2 - 60917567164649/12524. Let k = -1/3131 + q. Let g = -19 + 28. Is g > k?
False
Let s = -210 + 397. Let u = s + -193. Which is smaller: -11 or u?
-11
Let t be 236/(-16) - (-3)/4 - 2/(-1). Suppose 4*s - 29 = -3*h, 2 = -s - s + 4*h. Suppose 2*g + 3 = -s, -v + 3*g + 15 = 0. Is t smaller than v?
True
Let n = -0.372 - -0.355. Let r = n + -0.163. Which is bigger: 2/7 or r?
2/7
Let s be (-3*4/14)/((-158841)/1134). Is s less than 1?
True
Let q = -2.89 + 2.7. Let k = -0.113 + -4.887. Which is greater: k or q?
q
Suppose 50*n - 66 = -47*n + 225. Which is bigger: -3 or n?
n
Let m(n) = -n**2 - 28*n - 10. Let t be m(-10). Let f be 10 + 808/5 - (-2)/5. Is t smaller than f?
True
Let d = 8/7723 + -20805/27540218. Is 1 > d?
True
Let y be -10 + (-1)/(5 - 154/31). Let w be (3 - 40*1) + -2. Which is smaller: y or w?
y
Let m = -536345/56 - -9577. Is m <= -2?
False
Let v = 2632 - 3163. Is 1 equal to v?
False
Let s(n) = n + 67. Let h be s(-24). Let d(x) = 2*x**3 - 15*x**2 + 35*x + 22. Let z be d(4). Which is smaller: z or h?
h
Let k = 0.10486 - 0.20486. Let u = 62 - 179. Is k at most as big as u?
False
Let k(w) be the third derivative of 5/6*w**3 + 0*w + 0 + 1/24*w**4 + 18*w**2. Let h be k(-6). Do -2/13 and h have the same value?
False
Let d be (-16)/(-13 + 5) + 6. Suppose 8 = 3*w - h, d*w + 3*h = 3*w + 4. Which is smaller: 34/29 or w?
34/29
Suppose -24*k + 27*k + 1980 = 0. Let n be (-75)/225 + (-214)/k. Let h = -2 - -2. Is n >= h?
False
Suppose -m = 4*r - 9, -2*m + 10 = -r + 1. Is r greater than or equal to 4/2045?
True
Let b = -164.86 - -164.91. Is b < 2.34?
True
Suppose 2442*q - 2388*q = 0. Which is smaller: q or -19/39?
-19/39
Let a(q) = -2*q**2 - 277*q - 4421. Let c be a(-17). Is -3 >= c?
True
Suppose 0*o - 5*i + 10 = 3*o, 5*o - 2*i = -4. Let d = 228041/2690 - -303/269. Let g = 86 - d. Is o at most as big as g?
True
Let k be (-21*130/4095)/((-2)/369). Which is bigger: k or 7.3?
k
Let o = -18175 + 18469. Is o >= 296?
False
Let f(o) = o**3 - 51*o**2 + 146*o - 60. Let l be f(48). Let t be (l + 0)*147/(-392). Which is greater: t or 4?
4
Let i(h) = h**3 - 23*h**2 + 31*h - 714. Let b be i(23). Is b < -1/1843?
True
Let b = 610.9 - 611. Is b less than or equal to -901?
False
Let d = 46.7 + -45.4. Is -25 > d?
False
Let t = 3 + -2. Let q be 60/(-25)*(-20)/6. Suppose -76 = 5*l - 3*v, -4*v = -q*v + 8. Which is bigger: t or l?
t
Let x = -15082/423 + -5/423. Let i = -35 - x. Let h = -104 - -65. Is i at most h?
False
Let f be (-20)/210 + ((-157)/(-154))/(93/(-124)). Let l be -1*(2 - 12)/2. Let i = -6 + l. Which is smaller: i or f?
f
Let h = -3265/17731 + 8/1043. Which is smaller: 1 or h?
h
Suppose -215 = 5*w - 570. Let d = -71 + w. Let f be (-1 + -1)/(2 - 22). Which is greater: f or d?
f
Let r = 1351993/1268 + 320/317. Is 0 less than r?
True
Let s = -8094 - -8035. Suppose 5*f + 222 + 68 = 0. Are s and f unequal?
True
Suppose -3*j = -3*f - 6 - 6, 3*j + 3*f = 30. Suppose -16*x + j*x - 18 = 0. Which is bigger: -10/13 or x?
-10/13
