- 3, i - 4*w - 22 = 0. Suppose 5*h + i = -l, -2*l + 5*h - 45 = 4. Which is bigger: a or l?
l
Suppose 16*w = -0*w - 38*w. Which is smaller: w or 1/29528?
w
Let z(c) = c**2 - 15*c + 843. Let i be z(34). Which is smaller: 1492 or i?
i
Let x(d) = 9*d + 156. Let j be x(-4). Which is smaller: j or 839/7?
839/7
Let g be 1/((20/(-9150)*5)/(114/9)). Is g less than or equal to -1160?
False
Let m = -401.87 - -396.87. Which is smaller: 982 or m?
m
Let v(c) = -18*c**2 - 4*c + 3. Let j(f) = 17*f**2 + 5*f - 3. Let o(n) = 6*j(n) + 7*v(n). Let i be o(-1). Let d = -23 - i. Which is smaller: d or -5/7?
-5/7
Let y be 7/1 + (-1 - 166/(-76))*-6. Is y less than or equal to -0.035?
True
Suppose -7 = -5*w + 28. Let a be 3*w/(-3)*-1. Let f = 0.07 - -0.03. Is a bigger than f?
True
Let f = 20/511 - -22339/68985. Is -1 equal to f?
False
Let i = -281.3 - -48.3. Let m = i - -232.9. Which is bigger: -148 or m?
m
Let r(c) = 11*c - 73. Let p be r(11). Suppose -320 = -p*v + 80*v. Let k be ((-15)/(-2) - 1)*-2. Is k < v?
True
Let z = -678 - -1933. Suppose -56 = -11*i - z. Is 1/3 greater than i?
True
Let m = -71 - -3071/43. Let g = 975/2021 - m. Is g greater than or equal to -1?
True
Let g(c) = -18*c**2 + 36*c + 15. Let p(s) = -28*s**2 + 53*s + 23. Let o(k) = -8*g(k) + 5*p(k). Let f be o(6). Which is smaller: f or 2/109?
2/109
Let w = -420 - -441.1. Let q = w - 20.1. Let p = -0.2 + 5.2. Which is greater: p or q?
p
Suppose 0 = 3*g - 4*y + 847, 4*g + y = 5*y - 1128. Is -1968/7 bigger than g?
False
Let m be (6/(-1)*-31)/(6 - 4). Suppose 88*y + 25 = m*y. Which is smaller: 3 or y?
3
Let g = -205 + 204. Let v be 5/(445/7)*12/(-14). Which is smaller: v or g?
g
Let s = 2.45 + -2.47. Which is bigger: 37/16 or s?
37/16
Let b = -7846 + 6877. Is b bigger than -969?
False
Let n be (7 - 2)/(-1 - (0 - 2)). Let c be (-91)/(-35) + (-3)/n. Which is smaller: c or 12?
c
Let b(o) = o + 12. Let n be b(-10). Suppose 3*a - 327 = -3*w, n = -w - w. Suppose 98 - a = 2*v. Which is bigger: v or 1?
1
Let s be 16/24 + 6/18. Let o be (s/1)/(6014/(-248)). Which is smaller: 1 or o?
o
Let s be 0 - 1 - (-4)/6. Let h be -5 - (-2 + 3 - (-5 + 6)). Let b be (-1*4)/(h/(-1) + -15). Which is smaller: s or b?
s
Let x = -384 - 537. Are x and -921 unequal?
False
Let d = -0.06568 - -0.11568. Let p = -1 - 14. Let q = p + 22. Is q greater than or equal to d?
True
Let v = -8 - -3. Let j = -2483 + 2479. Which is bigger: v or j?
j
Let l(b) = -b**2 - 16*b + 37. Let p be l(-18). Let k be 21/12 - p - (-81)/36. Let j be ((-1)/2)/(15/(-66)). Is j > k?
False
Let g(n) = n**3 + 14*n**2 + 26*n - 16. Let r be g(-14). Is r bigger than -384?
True
Let q = 22622/39 + -580. Let v = -202.7 - -115.6. Let l = v - -87. Is l > q?
False
Let o be (428/(-12) - -3)*9. Let b = o - -555. Suppose -115 = -2*c - 5*p + 31, 3*p + b = 3*c. Is c at most 83?
True
Let w = -2570 + 2569.9. Which is smaller: -502 or w?
-502
Let v = -95 + 226. Let i = v + -131. Is -5 at most i?
True
Let b = 12295 + -12300. Which is smaller: -282 or b?
-282
Suppose a - 17*f - 17 = -18*f, -5*f = -2*a + 20. Do 13 and a have different values?
True
Let i = -20338 + 21318. Which is smaller: 985 or i?
i
Suppose 52 = -a + 24*g - 29*g, 5*a + 9*g + 164 = 0. Is a < -0.06?
True
Suppose -1043 + 395 = 36*x. Let t be (-6)/4*(-3 + (-74)/x). Let y(c) = -2*c**2 - 2*c + 2. Let r be y(-2). Do r and t have the same value?
False
Let x be (-296)/(-888) + 1/(-5). Let h(i) = -i**3 - 5*i**2 + i + 4. Let b be h(-5). Let y be 0/((-3)/b) - -1. Which is greater: x or y?
y
Let z = 598 + -28705/48. Let t be ((-5 - -5)/2)/2. Which is smaller: t or z?
z
Suppose 2*n + 24 = 8. Let c be (n + 0)/(-2) - -9. Which is smaller: c or 15?
c
Let n = 0.103 - -0.201. Let z = -0.194 + n. Which is greater: -0.1 or z?
z
Let b be (-902747)/(-270) - (-134)/335. Let u = b - 3344. Is 1 > u?
True
Suppose 5*z = 3*f - 714, -2*f - 174 + 650 = 3*z. Let i(c) = c**3 + 121*c**2 + 242*c + 715. Let d be i(-119). Are d and f non-equal?
True
Suppose -63 = 101*m - 99*m + 3*b, 5*m = b - 166. Which is smaller: -133/4 or m?
-133/4
Let n = -277 - -281. Let l be n*(2*-1)/((-80)/(-10)). Which is bigger: l or 2/21?
2/21
Let h = -12815 - -12478. Which is smaller: h or 1/5?
h
Let g be ((-14600)/24560)/(-73)*(-24)/(-10)*3/9. Let n = 0 + 0. Is n at most as big as g?
True
Suppose 187*r = 148*r + 1521. Let u(b) = -6*b + 4. Let f be u(-6). Is r less than f?
True
Suppose -5*f + 2*n + 38 = 0, -3*f + 4*f = n + 10. Let x(y) = -28*y + 42. Let a be x(f). Is a < -1?
True
Let y = 25370546/317 + -80033. Is y smaller than -1?
False
Let c be (1 - 18/8)/((-37)/148). Suppose c*s - 23 = -2*r, -4*r + 1 - 10 = -s. Let n = 2699/14833 + -16/91. Which is smaller: n or r?
r
Let c(p) = -p**3 + 3*p**2 - 2*p + 27. Let z be c(4). Let j be z*(2/(-10))/((-170)/350). Which is smaller: j or 1?
1
Let r(c) = c**3 + 4*c**2 + 3*c + 3. Let p be r(-3). Suppose -1 = -p*w + 17. Let h be ((-45)/w)/(5/(-10)). Is 15 >= h?
True
Let k(u) = u + 28. Let m be k(-18). Let n be (18/4)/(m/(-40)). Let i be ((-24)/n)/(3/(-9)). Which is smaller: -2 or i?
i
Suppose 5*q - 13 = -23. Let l be (-1230)/(-40) - q/8. Suppose 0 = -5*s - o - 101, -s + 3*o = l + 2. Is -22 less than s?
True
Let q(j) = 337*j - 2353. Let p be q(-19). Is -8756 not equal to p?
False
Let r be (-990)/297*(-6)/28. Which is bigger: r or 0?
r
Let b = -45 + 51. Suppose -o - 950 = -b*c + 2*c, 2*o + 3*c + 1867 = 0. Let x = 44084/47 + o. Which is smaller: x or 0?
x
Let r = 20.3 - 21. Let k = r - 2.3. Let h = 0.8222 - 0.1222. Which is smaller: k or h?
k
Let p be 30/18*(-1 + 4). Suppose p*t + 10 = 5*y, 10 = 7*y - 2*y. Which is bigger: -1/95 or t?
t
Let g = 63788 + -447476/7. Do -138 and g have the same value?
False
Let c be (274/34)/((-34)/102). Let s = c - -24. Which is greater: -1 or s?
s
Let u = -5.031 + 1.031. Is 2/223 > u?
True
Suppose 2*o + 2*o - 6346 = -d, 5*o - d = 7919. Is o at least as big as 1586?
False
Let v = -9552/25 + 383. Let g = 1566/1675 - v. Which is greater: 0 or g?
g
Let i = 233 + -211.9. Let o = -25.1 + i. Let d be ((-2)/(-3))/((-4)/6). Which is greater: o or d?
d
Let x be ((-321)/(-1207495))/(10/25). Are 1 and x unequal?
True
Let y = -2.19 + 0.19. Let t = 5.8 + y. Is -0.1 not equal to t?
True
Let r = 106.99 - 93.69. Is r bigger than -0.38?
True
Suppose -80*n = -48*n - 29*n - 1410. Is n smaller than 472?
True
Let c = -0.329 - -0.199. Let j = 0.06 - 0.09. Let n = c - j. Which is smaller: -12/7 or n?
-12/7
Let t = 3677 + 3165. Let s = -129959/19 + t. Is 2 at least as big as s?
False
Let c = 214 + -204. Let b be 12/10*40/6. Is c >= b?
True
Let w = -3420.42 - -3454. Let m = 34 - w. Is -1 greater than m?
False
Let z = -0.17 + -0.35. Let d = -1.964437 + -0.035563. Are z and d equal?
False
Let q(i) = -2*i**2 + 21*i - 10. Let j be q(10). Suppose 0 = 5*z - 5, j*z = -3*w - 4*z + 4. Is -3/53 != w?
True
Suppose 9 - 17 = -2*w, 0 = -d + 5*w - 20. Is d smaller than 1/3726?
True
Suppose 0 = -3*f + 2*t - 11, 0 = -1827*f + 1825*f - 2*t - 4. Let h be 6 - (0 - (-2 - 0)). Suppose -u + 2*o + 4 = 2*u, 2 = -u + h*o. Is f smaller than u?
True
Let b = 2341 + -2340.933. Which is bigger: -4/3 or b?
b
Let n = 5 + -5.3. Let f = 526 + -524. Let i be (-37)/(-222) + f/(-6). Is i less than n?
False
Suppose -4*g = 4*v + 12, 2*g + v = 7*g - 9. Let y be (-4)/(-14) - 5/((-3920)/(-469)). Does y = g?
False
Let k = -60 + 48. Let q be k/4*2/3. Let t be (q + 74)/((-6)/(-4)). Is t at most as big as 48?
True
Let x = 11286 + -11295.823. Let j = -9.9 - x. Let l = j - 0.013. Is l less than or equal to 3/10?
True
Suppose -1966 = 42*o + 6658 - 1610. Is o at most as big as -172?
False
Let r(k) = -k**3 + 12*k**2 + 45*k + 10. Let x(j) = -j**3 - 2*j**2 - 2*j + 15. Let l be x(0). Let f be r(l). Is 11 less than f?
False
Let f = -2/2381 - 4500/311911. Let p(b) = 3*b**3 - b**2 - b + 2. Let a be p(-2). Let x = 25 + a. Which is smaller: x or f?
f
Let r = 482.52 - -54.68. Is r smaller than -2/5?
False
Let r(u) = u**3 - 50*u**2 + 11*u - 537. Let x be r(50). Suppose -7*c + 49 + 77 = 0. Which is greater: c or x?
c
Suppose 146 = 5*f - h, -3*f + 17*h + 86 = 16*h. Suppose 0 = -f*a - 7*a - 481. Let u = 0.2 + -0.1. Is a at most u?
True
Let i = -7579 + 7578. Which is greater: -3/19711 or i?
-3/19711
Let g = 8858 - 8858.3. Which is bigger: g or -1768?
g
Let y = -86 - -135. Let p = -93 + y. Let j be 35