06. Which is bigger: j or 0?
j
Let w(i) = -i**3 + 61*i**2 - 110*i - 627. Let f be w(59). Is f smaller than -776/5?
False
Suppose 9*d - 3 = 6*d. Let v be d + (-261)/21 - 18/(-42). Does -4/11 = v?
False
Let l be (-1250)/(-312) - (4 + -16)/(-3). Suppose -4*d - 2*h = 4, -h - h = -2*d - 2. Are l and d non-equal?
True
Let z(j) = -j**2 + 28*j - 15. Let g be z(27). Suppose -11*u + 5*u = g. Let x be 26*u/(-24) - 1/6. Which is smaller: x or 9/10?
9/10
Let v(g) = 10*g + 66. Let j be v(-6). Suppose a - 4*z - 1 - 11 = 0, -a + 2*z = -j. Which is greater: a or -2/335?
a
Suppose 11*l + 689 = -3*v + 16*l, 2*l + 962 = -4*v. Is -240 < v?
True
Let j = -39/109 - -1721/545. Let u(s) = 0*s**3 + 2*s**3 + s**3 + s**3. Let g be u(1). Is j greater than g?
False
Suppose 5*o + 4*s + 4 = 0, -3*s - 4 = -4125*o + 4129*o. Suppose 3 = h + 2*a, -3*a - 2 = 3*h + 1. Which is smaller: h or o?
h
Let f = -4.103 + 4.1. Let j = f + -22.997. Let s = j + 23. Is s greater than 26?
False
Suppose -2*q - 4*f + 257 - 379 = 0, -33 = q - 5*f. Which is smaller: q or -264/5?
q
Let f = 945 + -935. Let s be (-15)/f*2/(-3) + -25. Is -20 at least as big as s?
True
Let p(f) = -f**3 - 12*f**2 + 4. Let l be p(-12). Suppose 11*r + 3*x = 8*r, r = l*x. Which is smaller: -5/8 or r?
-5/8
Let m = -54.026 - -54. Let v = m - 4.724. Let j = v + 4.7. Are j and 2 equal?
False
Let p(z) = -12*z + 32. Let w be p(3). Let g be (-2)/w*0*3/6. Suppose g = -0*d - 2*d + 118. Is d equal to 59?
True
Let d(x) = 12*x**2 + 17*x - 281. Let c be d(-16). Is c greater than or equal to 2518?
True
Let o = -3891 + 3890. Which is greater: 13/449 or o?
13/449
Let w(p) = 15*p**2 - 755*p + 231. Let z be w(50). Is 7/9 < z?
False
Suppose 3*z + z = 3*a - 15, -2*a + 10 = 5*z. Suppose -3*r - 49 = -2*b, b - 5 = -4*r - r. Let c be (15/80*4)/(5/b). Which is bigger: a or c?
a
Let d be -11 + ((-28)/(-7) - 62). Are d and -57 nonequal?
True
Suppose 3*w + 13*o + 64 = 14*o, 2*w + 43 = o. Let g be 21/147 - (-885)/w. Which is smaller: g or -43?
-43
Suppose 20*o - 46*o + 9360 = 0. Let k = -242 + o. Which is bigger: 119 or k?
119
Let v be (22/(-77)*2/6)/(88/154). Which is smaller: -9.68 or v?
-9.68
Suppose 2*o - 6 = 3*r, 0 = -3*o - 0*r + r + 9. Is o less than 10?
True
Suppose 215*t = -80 + 140 + 155. Is t greater than 36/1277?
True
Let k = 8579 - 8579. Which is bigger: k or -2/4683?
k
Let p = -390.2 - -57.2. Let t = -47 - p. Is t <= 1?
False
Let f = 0.072 - 0.093. Let h = 0.041 + f. Let z = 244/35 - 37/5. Is z >= h?
False
Let d = -7 - -6.9. Suppose -13*b + 129 = -144. Is b != d?
True
Suppose 0 = -5*f + 3*i - 12 + 47, 2*f + 12 = -4*i. Suppose -f*l - l - 211 = -2*o, -4*l = -4*o + 176. Which is smaller: -40 or l?
l
Let q = -19400 - -17761. Which is bigger: -1640 or q?
q
Let x = 3805/342 + -187/18. Which is bigger: x or 1?
1
Let o = 151.11 + 277.41. Let z = o - 430. Is 2/3 != z?
True
Suppose 0 = 5*i - 2*s - s - 24, 0 = -5*i + s + 28. Let r = 235 - 613. Let y = 386 + r. Do y and i have different values?
True
Let n(l) be the first derivative of -l**4/4 - 2*l**3 + 5*l**2/2 + 4*l + 2. Let h be (-165)/30 + 0 + 14/(-4) + 2. Let v be n(h). Which is smaller: v or 19?
v
Let x be ((-420)/(-45) - 10)/(6/9 - 3). Does 4.185 = x?
False
Let s(k) = -2*k - 7. Let w be s(-5). Suppose -5*n - w*z = -8*z - 15, -4*z + 6 = 2*n. Let m be 5/(-4) - ((-52)/16 + n). Is m greater than -26/11?
True
Suppose -3*m + 5 = 14, -5*l - 2*m + 129 = 0. Let i = l - 33. Let g = 23/50 + 1/25. Do g and i have different values?
True
Let k = 8265 - 8265. Let f = -83.085 - -0.085. Is k smaller than f?
False
Suppose -h - 6 = m, h = -3*h. Let b be (m/9)/(12/(-18)). Let k = 954 + -10486/11. Which is smaller: k or b?
k
Let g(w) = 3*w**2 + 314*w**3 + 3*w - 100*w**3 - 138*w**3. Let h be g(-1). Which is greater: -73 or h?
-73
Let u = 0.8401 + 2.2599. Suppose -5 = -2*d - g, -d + 4*g = -2*d + 20. Which is smaller: u or d?
d
Let g(h) = -2*h - 24. Let k be g(-19). Suppose 8*u = 22*u - k. Let t be (-2)/6 + 2/(-30). Is u >= t?
True
Let w = -36.7 + 36. Let i = 10.94 + -2.94. Is w < i?
True
Suppose 0 = -9*y + 173 - 80 - 84. Do 1551/17 and y have the same value?
False
Let z be (42/(-15) - -2) + -16 + 54940/50. Is 1082 at least z?
True
Suppose -g + 93*q - 94 = 95*q, 4*g + 4*q = -388. Which is bigger: g or -77?
-77
Let h(w) = 4*w**2 - 4*w + 3. Let d be h(2). Let s = -250 - -646. Let y = 405 - s. Is y <= d?
True
Let o be 2/5 - (-318)/(-845). Let v = -323/69 - -123/23. Is o at most v?
True
Suppose -4*b - 77 = -3*p, 5*p + b = -3*b + 75. Suppose -t = -2*t - p. Suppose -h + 88 = -5*j, j + 14*h + 40 = 11*h. Is j >= t?
True
Let u(f) = -2*f**3 - 3*f**2 - 6*f - 2. Let l be u(-1). Let k be (-1*l/(-9))/((-8)/(-120)). Is k less than or equal to 41/9?
False
Suppose -7*k + 11*k + 4*r + 16 = 0, 4*k + 2*r + 6 = 0. Which is greater: 9/464 or k?
k
Let w be 2/16 - 210*(-770)/(-1294944). Is w <= 1?
True
Suppose -u - 8 = -2*w, -5*u - 264 = -2*w - 240. Let r be (-3 - -1)/(1/(-4)). Suppose -2*s = -5*j + 2*s + 46, 5*s + r = -w*j. Which is bigger: j or 5?
j
Let d = 28517906/225 - 126746. Let j = d + -9/25. Which is smaller: 1 or j?
j
Let i = 253 - 274. Is -361/18 at most as big as i?
False
Let f = -36/4669 + 619152/368851. Which is greater: 1 or f?
f
Let q be (-11045)/(-6204) + 10/(-6). Let r be ((-2)/(-3))/((-8)/(-12)). Which is smaller: r or q?
q
Let f(g) = g**3 - 15*g**2 + 2*g + 22. Suppose 46 = 2*v + 16. Let h be f(v). Let x = 258/5 - h. Which is smaller: x or -76?
-76
Suppose -g - 3*b + 149 - 32 = 0, -2*b - 619 = -5*g. Suppose -4*h = 2*q - 250, q - 27 = 5*h + 91. Is g at most as big as q?
True
Let x = -12255 - -11911. Which is bigger: x or -341?
-341
Suppose 13*d + 136 = 17*d + 4*a, 0 = 3*a. Let o(r) = -r**3 - 17*r**2 + r + 23. Let c be o(-17). Let w be (-33)/(-22) + c/(-4). Is w less than or equal to d?
True
Let r = 1719 - 1718. Is r greater than 0.53?
True
Suppose 0 = 50*i + 974191 + 235309. Is -24189 at most as big as i?
False
Let k be 1/(-7) - 2600/175. Let i = -121 - k. Is -106 != i?
False
Let f be (3/(-2))/((-42)/(-28)) - (-222309)/222291. Which is bigger: f or 0?
f
Let m be 2*(17/(-4))/1. Let b be ((-39)/(-12) + -1)*558/(-405)*-3. Let d = b + m. Which is greater: d or 2?
2
Let l(v) = -v**2 - 10*v - 3. Let m be l(-3). Suppose -4*t = 3*g + m, -g + t = -3*g - 12. Let a be (8/g + 2)*(-45)/1965. Are a and 0 non-equal?
True
Let w(v) = v**2 + 14*v - 34. Let s be w(-17). Suppose 0 = 3*h - s*h. Let d = 205 + -1432/7. Is h < d?
True
Let g(d) = -8*d**2 + 174*d - 71. Let p be g(29). Which is greater: p or -1754?
p
Suppose 0 = -6*o - 846 + 2694. Suppose 0 = -37*r - 40*r - o. Let i = 0 + -4. Is i > r?
False
Suppose 20 = -4*h, 5*d + 15*h - 17*h = -13335. Is d less than or equal to -2667?
True
Let a = 12.008 + -12.003. Which is smaller: a or 5/4?
a
Let i = 0.074 + -9.074. Let v = 9.1 + i. Which is greater: v or 66?
66
Let y = -23145 - -23144.924. Which is smaller: y or -0.014?
y
Let i be 8/(0 + 2) - -12. Suppose -4*n = -2*d - i, 4*n + n = 2*d + 13. Suppose u + o + 31 = 15, -u - 4*o = 19. Does d = u?
False
Let t(o) = -o**2 + 8*o - 10. Let a be t(6). Let n be -2 + a/20*19. Let r = n + -37/30. Which is greater: 0 or r?
0
Let o = -0.96 - -1.19. Let l = -4316 + 4348.77. Let c = l + o. Which is bigger: c or 0?
c
Let r(a) = a**2 - 3*a - 11. Let h be r(9). Let s = 24107 - 48127/2. Which is greater: h or s?
s
Let j = 191 - 275. Let f be ((-120)/j)/(2/14). Let d = -25 - -35. Is d >= f?
True
Let c(n) = -25*n + 21. Let w(z) = 49*z - 41. Let j(i) = 7*c(i) + 4*w(i). Let o be j(7). Let m = o + -1428/11. Is m greater than or equal to -1/8?
True
Let o be 380343/60 + -3 - (-36)/(-720). Is o greater than or equal to 6335?
True
Suppose 2 = 37*f - 72. Suppose 5*m - 5*a = 50, 4*a = 3*m + 8 - 43. Suppose -5*i = s + s + 24, -f*i + m*s + 2 = 0. Is i less than or equal to -3?
True
Let k be (-21 - 70)/(-7) + (-75 - 0). Let q = -0.5 + -0.5. Is k <= q?
True
Suppose 8 - 3 = -5*z. Let y be (z/15)/((-2)/18). Suppose -8*s + 18*s = 10. Is s <= y?
False
Let k be (290 - -9) + -12 - 6. Is -0.2 >= k?
False
Suppose 0 = -16*t + 30*t + 5040. Let z = t + 353. Are -27/4 and z unequal?
True
Let n = 48 + 1. Let y be ((-3)/(9/(-366)))/(2/1). Let a = n - y. Which is greater: -10 or a?
-10
Let g = 257 - 248. Suppose 16*p = 18*p - g*p. Is 2/47 > p?
True
Let s = 5001 + -5041. Is s not equal to -3