-68. Suppose i*j - 6*j - 2 = 0. Which is smaller: j or 1/25?
j
Let r(a) = 2*a**2 + 12*a - 17. Let n be r(-7). Let d be (25/(-9) - n)*12/(-8). Let g = -4 - -5. Which is greater: g or d?
g
Suppose 149 = 3*t - 4*o, -3*t = 3*o - 0*o - 156. Let n = t - 47. Suppose n*q = -3*u - 7 - 3, -q + 32 = -5*u. Is -2/5 greater than u?
True
Let v = 1.7 + 129.3. Let i = -131.31 + v. Is i smaller than 1/7?
True
Let p(k) = k**3 - 7*k**2 + 7*k - 5. Let f be p(4). Let n(j) = 2*j**3 + 8*j**2 - j + 20. Let g = -303 - -298. Let b be n(g). Is f > b?
False
Let w = -4.87 - 0.13. Let d = -4800 + 4801. Which is smaller: w or d?
w
Let v = -1204.4 + 1204.1. Is -0.0792 bigger than v?
True
Let k(w) = 5*w**3 - w**3 + 1 - 75*w**2 + 73*w**2. Let j be k(1). Does j = 1/16?
False
Let t = 186 - 187. Let z be (52/8 + t)*-24. Is -132 bigger than z?
False
Let l be 10/(-55) - 102/(-561). Is -1/703 < l?
True
Let h = 10316 - 41263/4. Let p(v) = v**2 + v + 10. Let c be p(8). Is h <= c?
True
Let g = 4728 - 4720. Is -0.0792 at least g?
False
Let o = 126.445 + -5.515. Let w = -121 + o. Does w = -0.14?
False
Suppose 0*w = 2*w - 6*w. Suppose w = r + 19 - 39. Let l be ((32/10)/4)/(2/5). Is r at most l?
False
Let w(q) = -q**3 + 6*q**2 + q - 1. Let p be w(6). Suppose 19 = n - p*l, 2*n + 5*l - 8 = 15. Let k be 876/66 - 57/209. Are k and n unequal?
True
Suppose -m + 394 = 4*g, -3*g - 4*m = -7*m - 288. Let f = g + 40. Which is greater: 139 or f?
139
Suppose 0 = 3*y - 2*f - 142, y - 4*f = 53 + 11. Which is bigger: 269/6 or y?
269/6
Let r(o) = -8*o**2 + 4*o - 2. Let q be r(3). Let h be q/(-35) - 18/90. Let a be 5*-1 + 1*80/10. Which is smaller: h or a?
h
Let y = 9/371 - 4408/371. Is -12 greater than y?
False
Let r = -34698 - -34674. Which is bigger: r or 197?
197
Let b be (-261)/45 + 6 - (-9984)/(-49620). Let h be 10/(-4)*14/(-35). Which is greater: b or h?
h
Let v be (-3 - 39/(-12))*-12 - -7. Suppose l + 3*a + 5 = 0, -5*a = -2*l + 16 - v. Is 1/8 at least l?
False
Suppose 2*z - 2*m - 446 = 0, 2*m - 385 - 269 = -3*z. Suppose 0 = 8*a - z + 76. Let r(u) = -u**2 + 18*u - 1. Let h be r(a). Which is smaller: -4/15 or h?
h
Let p(q) = 32*q + 319 + 286 - q**2 - 740. Let y be p(27). Let t be (4/10)/(2/(-30)). Is y <= t?
False
Let g(q) = -q**3 + 7*q**2 - 8*q + 13. Let z be g(6). Let m(o) = 28*o**2 + o. Let l be m(z). Let k be (16/(-32))/(l/2). Which is greater: 1 or k?
1
Suppose 339 = -19*r - 345. Let g(p) = -35*p**2. Let w be g(-1). Is w smaller than r?
False
Let p be ((-6)/14 + 590/70)/(-2). Let v be (-22 + 19)*p/30. Let b = 0.1 + 0. Is b greater than or equal to v?
False
Let l = -53 + 58. Suppose 5*s + 17 - 2 = -l*z, 2*z + 7 = -s. Let g be ((-4)/6)/(40/z). Which is greater: -1/4 or g?
g
Let s = -11.1 - -12. Let i = -1 + s. Let v = 15878/25 + -15838/25. Which is smaller: i or v?
i
Let x(c) = -5*c - 115. Let g be x(-23). Let p be 2 + 33976/(-18460) - 4/26. Which is greater: p or g?
p
Let q = -603 + 671. Let t = 3.7 - 3.7. Do t and q have the same value?
False
Let f(b) = 6 + 4*b + 3*b + 4*b**2 - 7*b**2. Let m be f(5). Let k = -2331/2 - -1133. Which is bigger: m or k?
k
Let k = 1228.1 - 1228.05. Are -507 and k unequal?
True
Let h = -8 - -522. Let w = 489 - h. Is w <= -95/4?
True
Let g be (2 - -8)*(-1216)/(-1520). Let r(n) = 2*n + 1. Let f be r(2). Which is bigger: f or g?
g
Suppose 39*d - 6 = -5*b + 40*d, 0 = -3*b + 5*d - 14. Suppose 4*c - 50 = -b*p, 0 = p + 3*c - 6*c - 10. Let z be ((-18)/(-7))/((-1)/(-7)). Are p and z equal?
False
Let s = 0 - 0. Let v be -2 - (-8 - -4 - 17). Suppose 0 = -n + 10 - v. Is s at least n?
True
Let k = 4244 - 4244. Which is bigger: -151 or k?
k
Let z be (-5)/(100/(-24)) - (-4 - 84/(-20)). Does z = 2/49?
False
Let k be (-632)/237*(76/848 + (-1)/(-4)). Is 0 bigger than k?
True
Let h = 88.02 - 127.772. Let p = 39.7 + h. Is -0.1 equal to p?
False
Let i(a) = 7*a**2 + 4*a + 4. Let c(x) = -x**3 + 1. Let m(j) = 4*c(j) - i(j). Let r be m(-4). Do r and 161 have the same value?
False
Let j be 91*-13*57/(-247). Which is smaller: j or 1916/7?
j
Suppose 0 = 3*h - 7*h. Suppose 20 = -5*b, h = -5*y + 2*b - 0 + 48. Suppose -4*r + 5*r = 7. Which is smaller: r or y?
r
Suppose 5*n - p - 72 = 0, -2*p + 24 = 2*n - 0*p. Let r(h) = -2*h**2 + 15*h - 57. Let z be r(n). Is z <= -239?
True
Let j = -4 + -12. Let c = -46 + -34. Let t = -80 - c. Does j = t?
False
Let w be 1/((-275)/15)*2/69. Let k = w + -12632/11385. Is k != 0?
True
Let m(j) = j**3 + 26*j**2 - 26*j + 32. Let w be m(-27). Suppose b + 0*b + p = 32, -w*p = -25. Which is bigger: 30 or b?
30
Let s(q) = q**2 - 8*q - 207. Let c be s(-11). Is 202 greater than c?
True
Let o = 332 - 286. Let i = o + -196/5. Which is greater: -2/5 or i?
i
Let g = -31722 + 1808090/57. Are g and -1 non-equal?
True
Let t be (-8 + 7)*(-1 - -1). Let v be (0/(t + 4))/1. Let u be (-1 - v)/(136/(-24)). Is u not equal to 0?
True
Let a be 48/(-99)*(-11475)/(-102). Is -55 bigger than a?
False
Let j(h) be the first derivative of 2*h**2 - 25*h + 220. Suppose 0 = 3*n - t - 22, -4*n + 18 = n + 3*t. Let c be j(n). Is c greater than or equal to 1/43?
False
Let z(h) be the second derivative of -h**3/2 - 13*h**2/2 - 11*h. Let t be z(-2). Let y be ((-90)/(-35))/9 + (-5)/t. Which is smaller: 7/4 or y?
y
Let d = 2574 - 2573.316. Which is smaller: d or 8?
d
Suppose 2*c = -5*u - 436, -3*c + 166 = -2*u - c. Let g = -36 - u. Suppose -5*a - g = -0*a. Which is smaller: 0.1 or a?
a
Let x = 6695 - 5885. Is x greater than or equal to 808?
True
Let z(v) = 2*v**3 + 20*v**2 + v + 13. Let m be z(-10). Let f(i) = 12 + 0*i + i**2 - 6*i - 3*i. Let b be f(m). Which is smaller: b or -3?
b
Suppose -289 = -2*c - 3*c + r, -c + 5*r + 77 = 0. Let u = c - 21. Suppose 3*j - 9*j = u. Is j at most as big as -5?
True
Let h be ((-113)/4 + 5)*(-136)/(-51). Suppose -5*m - 232 + 20 = 3*z, 4*m = -16. Which is smaller: z or h?
z
Let b = -250 - -268. Let c be 60/(-8)*((-1 - b) + 1). Is c != 2/5?
True
Let h(s) = -5*s**2 + 13*s - 54. Let v be h(9). Let c = -1701/5 - v. Which is greater: -1 or c?
c
Let f = 3 - 2. Let h = 6715.5 - 6716. Is h >= f?
False
Let g(n) = 11*n + 253. Let o be g(-50). Let l = -454 - o. Is l at most as big as -160?
False
Let v = 249.8 - 250. Let w = 0.2 + v. Which is smaller: w or 0.006?
w
Let k be ((-3960)/168 + (-3)/(-1))*21/2. Is k >= -229?
True
Suppose -5*d = -3*m + 13868, 13*d = -5*m + 18*d + 23110. Are m and 4623 unequal?
True
Let w be 2*(3905 + (104 + 4)/(-9)). Is w != 7785?
True
Let l = 4411 + -4416. Which is smaller: l or 1/1224?
l
Let c = 56.06 - 0.56. Let t = -5.5 - c. Let k = t + 61. Which is bigger: 6/35 or k?
6/35
Let u = 2/103 + -179949/412. Is -436 at least u?
True
Let f = -606 + 1190. Let c = 602.9 - f. Are 1/2 and c non-equal?
True
Let k(n) = -152 - 179 + 263 - 10*n. Let x be k(13). Which is greater: -199 or x?
x
Suppose 2*d + 6 = 2. Let f = -42158/13 + 3240. Is f bigger than d?
False
Suppose -2*t + 250 = -q - 429, 5*t + 3*q = 1681. Let j = t + -527. Which is smaller: -190 or j?
-190
Let i = 53 - -173. Let w = i + -225. Which is greater: -2 or w?
w
Let y be (-2)/17*(-1)/(-2). Let s = 612 - 617. Let k be (-2)/12 - s/(-10). Which is greater: y or k?
y
Let q be 0 + -7 + -1 + 2784/(-272). Are q and -19 non-equal?
True
Suppose 2*o - 321 = 1300*a - 1303*a, 297 = 2*o - 5*a. Which is smaller: 110 or o?
110
Let s = 629785/158 + -3986. Let a be 2/4*((-57)/19 + (-4)/(-4)). Is s not equal to a?
True
Let t be (240/(-9))/(16/(-96)*2). Is t < 888/11?
True
Suppose 580 - 514 = -6*g. Which is smaller: 0.008 or g?
g
Let h = -214270 - -214269. Let c = -512452/383 + 1338. Is h less than c?
True
Let r(x) = -x**2 - 11*x - 14. Let c(p) = -p + 1. Let h(j) = 3*c(j) - r(j). Let k be h(-5). Let b be (k/(-8))/((-11)/8). Is b smaller than 0.06?
False
Let q be -4 + 2 - (-12 + -11). Let b be (15/20)/((-1)/(-4)). Suppose q = 6*i + b. Does 8 = i?
False
Let c = 7322 - 7318.6. Does 1.4 = c?
False
Let x(f) = 526*f + 3683. Let g be x(-7). Is g at most -1/3899?
False
Let y = -2053346/11 - -186402. Let g = -266 - y. Is g at least 9/5?
False
Let p = -18.095 - -19.43. Which is smaller: -1 or p?
-1
Let g = 12742/45 - 1448/5. Is -7 not equal to g?
True
Suppose 4*z + 62 = 2*d, -4*d - 6 + 26 = 0. Suppose 3*v = 3 + 9. Suppose v*k = 5*r - 75, 5*k + 72 = k + 4*r. Which is bigger: z or k?
z
Let m = -0.05641 - -0.06641. Which is smaller: m or 