6). Suppose 0*u + 3*u = y. Is u > -6/5?
True
Suppose -146*h + 320 = 5*b - 148*h, -3*b + 211 = -5*h. Let q = -928 + 2972/3. Let y = b - q. Which is bigger: -37 or y?
y
Suppose 220 = 4*d - 364. Suppose 4*p = -2*m + d, -236 = -5*p + 3*m - 70. Let j be (102/p + -3)*(-2)/3. Are j and 0 non-equal?
True
Let a be (-3 - 1)*1/(-9). Suppose -17*x = 3 - 71. Suppose -2*n = n - 4*z - 6, x*n - 5*z - 7 = 0. Do a and n have different values?
True
Let p be 59/(-177) + (1599/1200 - 1). Is -1 != p?
True
Let d be (26/13 + -9)*1. Let q = 8 - 5. Let p = q - 2.9. Is d not equal to p?
True
Let z = 513.7 + 5.3. Let q = z - 481. Are -2 and q equal?
False
Let j(s) = s**2 - 1. Let t be j(2). Suppose -d = 3*v + 25 - 22, 0 = -2*v + d + 3. Suppose v = -2*p - t + 17. Which is smaller: 10 or p?
p
Suppose 162*c + 516*c = 5043642. Is c greater than 7439?
False
Let g = -2064.4 + 2064.3. Which is smaller: g or 11125?
g
Let z(o) = -4*o**2 - 110*o - 57. Let b be z(-27). Is b smaller than -456?
False
Let k = 3.2 - -9.8. Let x = -326.3 + 322.3. Is k <= x?
False
Let i = -223/791085 + -6/2293. Let z = -198504181 + 547871533687/2760. Let j = z - i. Is -3 at least j?
False
Suppose 13 = 87*n - 100*n. Let o = -43 + -2. Let d be (-38)/123 + (-15)/o. Which is smaller: n or d?
n
Let i = -221832/35 - -41131/7. Let y = i - -460. Suppose -6*q - 9 = 3. Is y at least q?
False
Let f = 223 - 222. Suppose -20 = -5*u - 5*w, 2*w - 1 = f. Which is bigger: 17/5 or u?
17/5
Let a = -8210 + 8155. Let h = -0.4 + 0.3. Which is bigger: a or h?
h
Let u(a) = 6*a**3 - 4*a**2 - 7*a - 4. Let x be u(6). Let q be 9 + x/(-133) - 7. Does -6 = q?
False
Let x(s) be the second derivative of -s**6/90 + 4*s**3/3 + 15*s. Let q(z) be the second derivative of x(z). Let m be q(1). Which is greater: -11/3 or m?
-11/3
Let f = -0.009 + -0.05. Let a = f - -56.059. Let l = 51 - a. Are -0.1 and l non-equal?
True
Suppose -3*v + 103 = 5*p, -6*v = -2*p - 66 - 44. Let i(d) = d**3 - 6*d**2 - 6*d - 6. Let k be i(7). Let h = k - -19. Which is smaller: h or v?
h
Let l be 1 - -11 - (27/3 + -6). Let a be 24352/3040 + (1 - l). Are -1 and a unequal?
True
Suppose 0*o = 2*w - 4*o - 22, -2*w - 8 = 2*o. Let i = -49.944 - 0.886. Let t = 2.17 - i. Is w <= t?
True
Let w be (-1 - 135/(-35))*(-14)/(-4). Let t(o) = o + 46. Let f be t(w). Which is smaller: 57 or f?
f
Suppose -u - 3 = 2*i + 1, -u = 4*i + 2. Which is greater: -1366/5 or i?
i
Let c = 862555/24 + -35948. Which is smaller: c or -7?
c
Let z(f) = f**2 + 18*f - 28. Let h be z(-21). Let q = 35 - h. Suppose -3*l - 3 = 4*k, 0*k + 5*k - 2*l - 25 = q. Which is bigger: k or -1?
k
Let g = -10159 + 10796. Is g bigger than 633?
True
Let j be -16*(-7)/14 - 4. Let f be (2/j)/(1118/140 + -8). Are -33 and f non-equal?
True
Let v be (8/(-20) - -2) + -2. Let x = 16660 + -183852/11. Let t = x - -54. Which is bigger: t or v?
t
Let v = -553 + 18247/33. Let p = -2 - -5. Suppose -p*g - g = 0. Which is greater: v or g?
g
Let z = 68 + -60. Let p = z + 28. Suppose 3*g + 3*y + 6 = -p, 16 = -4*y. Is g at least -10?
True
Let v = 418 + -453. Let a be 3*102/(-10) - (-8)/(-20). Which is smaller: v or a?
v
Let m = -18.973 + 18.985. Which is bigger: -0.18 or m?
m
Suppose -2*l - 61 = -71. Suppose -l*o = -2*b - 14, -4*b = -8*b + 12. Suppose o*a - 16 - 20 = 0. Is a at most 8?
False
Let v be 128 + 0 + (-4 - (9 + -14)). Let f = 2 - -1. Suppose f*o - 18 = -v. Is -37 < o?
False
Let i be (-2)/7 + 5388/18956. Suppose 0 = l + 5*q + 6, -66*q + 63*q + 2 = -5*l. Which is greater: i or l?
i
Let y be (3 + 1 - 7)*4/(-3). Let m be (y + -7 + 6 + -3)*1. Is -2/539 bigger than m?
False
Suppose 8*z - 6 = 3*z + 4*d, 5*z - d - 9 = 0. Let a be 1/z - (-17255)/(-34). Let j be -5 + 1 - a/129. Which is bigger: 1 or j?
1
Let k = 0.2 + 0.2. Let t be (-159)/(-728) - 76/266. Let w = t + 5/26. Which is bigger: k or w?
k
Let l = 735.3 - 13.3. Let s = l + -720. Is 17 < s?
False
Suppose -144 - 642 = -6*r. Suppose v = r - 68. Let n = 74 - v. Do n and 11 have different values?
False
Let a be ((-2470)/(-12))/(600/1600 - 1/(-8)). Is 413 < a?
False
Suppose -4*b + 3 = 3*f, 11*b - 7*b = 4*f - 32. Let p be (-3145)/(-51) + 2/b. Which is bigger: p or 62?
62
Let l = -154159/7 - -22022. Which is smaller: 2/67 or l?
l
Let k = 47488/9 - 5286. Suppose 0 = 109*s + 14*s - 39*s + 840. Do s and k have the same value?
False
Let z be (-4)/(-1)*(-1 + (-18)/24). Let b be (-1)/z*7/(-198). Which is bigger: 1 or b?
1
Let l = 6.288 + 191.712. Which is greater: l or 6/13?
l
Let r = -6 - 17. Let b = r + 17.7. Let k = b + 2.3. Which is smaller: k or 0.5?
k
Suppose 94 = -15*z - 326. Suppose 87 = -2*u - u. Are u and z nonequal?
True
Let b = 21612 + -15050. Which is smaller: b or 6564?
b
Suppose 0 = 2*c + 2*c - 1016. Let l be c/20 - (-3)/(-15). Let u = 2885 + -2871. Does l = u?
False
Let v(n) = 8*n + 152. Let z be v(-19). Let d = 1439 + -174118/121. Is z at least as big as d?
False
Let s be ((-12276)/14 + 2)/((-21)/(882/12)). Is 3061 bigger than s?
False
Suppose 2*i = -5*i + 62*i - 17985. Is i bigger than 327?
False
Let c be ((-168)/9 + 18)*11498/(-4). Are 1915 and c equal?
False
Let i be 200/150 - (-10)/6. Suppose 2*g = -2*u - 86 + 82, -i*u - 6 = 0. Is -2/37 equal to g?
False
Let y be (2/(-10))/(13*(-9)/(-4290)). Suppose -2*p + 20 = 2*p. Let o = p - 12. Do o and y have different values?
True
Let b(k) = -27*k + 1813. Let t be b(25). Is 1141 less than or equal to t?
False
Let x = -146777 - -146728. Suppose -3*f - 90 = -f. Is f less than or equal to x?
False
Let h(o) = 21*o**3 + 30*o**2 + 4*o + 21. Let k be h(-3). Which is bigger: k or -305?
k
Let z be -7*(-4 - (3 - 6)). Suppose z*p = -p + 312. Let m = p + -39. Are m and -3/10 non-equal?
True
Suppose 24*b - 1411 = 21*b - 5*t, -4*b + 1881 = 7*t. Which is smaller: b or 477?
b
Let h(f) be the first derivative of -f**4/4 - 3*f**3 - 9*f**2/2 + 2*f + 86. Let t be h(-8). Is 10 greater than or equal to t?
True
Suppose -635*d = -798*d + 14344. Is d > 204?
False
Suppose 21*z - 11480 = -14*z. Suppose -8*b + 184 + z = 0. Which is greater: b or -3?
b
Suppose 4*p - 41 - 55 = 0. Let d = p + -19. Suppose 4*i + 46 = 3*x + 3*i, -d*i - 20 = 0. Which is smaller: x or 18?
x
Suppose 2 = 4*c - 3*w, 4*c = -w - w + 12. Suppose 3*k + 132 + 123 = -3*l, 2*l - c*k = -150. Let t = l - -398/5. Is 10 greater than or equal to t?
True
Let p = 253.9 + 1559.1. Which is bigger: p or 4?
p
Suppose 191*k = 207*k + 48. Suppose -2*n + 5 + 1 = 0. Let s be (n*k/6)/(6/(-4)). Is s > 1/28?
True
Suppose -14*i + 15*i + 143 = d, 428 = -3*i + 2*d. Is -851/6 <= i?
False
Let o = 400 + -406. Let l be o + 11 + 159/(-39). Is 2 bigger than l?
True
Suppose 4*s = l + 165, 0 = s + 9*l - 4*l - 15. Let i = 46 - 6. Is i equal to s?
True
Let k = -145261 + 145268. Let d be 568/70 - 4/(-14). Which is smaller: d or k?
k
Let c be -6*1*(-1837)/(-2505). Do 37 and c have the same value?
False
Let c(h) = 7*h - 1. Let f be c(3). Let l = 3638/185 + 1/555. Is f smaller than l?
False
Suppose -p = 3*b + 3 + 2, 8 = -4*p. Let h be 4 + (-2748)/392 + 3. Which is smaller: h or b?
b
Let o be -5 + 50*(-25)/(-308) + (-48)/(-84). Which is smaller: o or -1?
-1
Suppose 174*y - 19006 = -114*y + 67*y. Which is greater: y or 10?
y
Suppose -13*m - 26*m + 23829 = 0. Is 613 > m?
True
Let g(b) = b**3 + 39*b**2 - 144*b - 52. Let a be g(-42). Which is greater: a or 705?
705
Suppose -7582 = -5*l + 6*l + 2*i, -2*l + 3*i - 15171 = 0. Let r be 2*8/(l/(-54)). Is r smaller than 0?
False
Let f = -73 + 123. Let v be f/200 - 1/4. Which is smaller: -4/23 or v?
-4/23
Suppose 4*l - 5*p + 4 = l, -p = -2. Let k be (l - 34/38) + 13 + -16. Is -3 at most as big as k?
True
Suppose -171*r - 157*r = -231*r. Suppose -5*q + 5*f - 5 = 0, 2*q + 5*f - 14 = -2*q. Let y be q/51 + (1 - 1). Is y smaller than r?
False
Suppose -850 = 47*w + 12216. Is -274 less than w?
False
Let n = -63467/1932 - 118/161. Let t = n + 133/4. Is t at least 1.44?
False
Let n = -178.8 - -299.9. Let f = n - 122. Which is smaller: 8/7 or f?
f
Let b = 60 + -31. Let w = b - 28. Let x be w + 16/(-20) + 0. Which is bigger: x or -9/7?
x
Suppose 3*g = 4*g + 1, 2*g = 3*a + 52. Let n be 4/a*(-2 + -7). Suppose 0 = n*z - 4 - 2. Which is smaller: z or -2?
-2
Suppose 4*z + 168 = -0*z. Suppose -2*y - 79 = a, 59*a - 56*a - 141 = 3*y. Are y and z equal?
True
Suppose 0 = -6*a + 351 - 111. Let k = -10 + a. Let