+ 54912/5408. Which is greater: q or w?
q
Let x = -19/6 + 5/3. Suppose -18 = -3*o - 0*o. Let b = 4 - o. Which is greater: x or b?
x
Suppose 0 = a - 0*s - 2*s + 33, 4*a = 5*s - 138. Let r = 2 + a. Is -35 greater than or equal to r?
True
Let b = -46 - -45. Let s be 5 + ((-22)/3 - b). Are 0.3 and s unequal?
True
Let o = 543 + -541. Let t be -1 + 4 + (-1 - -2). Suppose o*a = -h, 16 = -3*h + 5*h - t*a. Is 4 < h?
False
Suppose 9*a = -66*a + 150. Which is smaller: a or -17?
-17
Suppose 35 = 5*j - 6*j. Let t = j + 36. Is t > 24/11?
False
Let o be 60/14 + 1 + (-18)/14. Let c = -2 + o. Is 4/3 less than c?
True
Suppose -12 - 16 = -14*v. Suppose 0 = v*h + 26 - 50. Which is greater: 13 or h?
13
Let j = 3.446 + -0.046. Let a = -3.6 - j. Is a > 3?
False
Let w = 0.0254 - 6.0254. Which is greater: w or 8?
8
Let i(h) = -h**3 - 5*h**2 + 2. Let s be i(-5). Let c be (-15 + 11/(-11))/2. Let n be (c*(-1)/s)/(-1). Does -6 = n?
False
Let s = 2/587 - 1188/4109. Let f = -0.3 + 1.3. Which is bigger: s or f?
f
Let s be 41 + 4 + -3 - (5 + -5). Is s greater than or equal to -0.2?
True
Suppose -3*i - 1 + 19 = 0. Suppose -i*a + a = 0. Suppose -5*k - 2*d = -37, 0 = k - a*k - 3*d - 4. Does k = 3?
False
Let z = -5 - -2. Let u = 1/14433 - -7865981/57732. Let b = -138 + u. Is b bigger than z?
True
Suppose 13*s = 5*s - 624. Is s greater than or equal to 2/13?
False
Let j = -1941 + 1059. Is -882 smaller than j?
False
Suppose -33 = -27*j + 16*j. Which is smaller: -16 or j?
-16
Let g = -7.6 + 7.3. Let p = 1.1 - 1. Is g greater than p?
False
Let p(c) = -c - 4. Suppose -m - 8 = -u, 4*m = -u - 8 + 1. Let a be p(m). Which is bigger: a or 1/4?
1/4
Suppose 3*w - 495 = -2*z, -16*w + 10*w + 498 = 2*z. Is 244 < z?
True
Let u = -116 + 123. Let l be u*-1 + (-22)/(-4) + -5. Are l and -6 equal?
False
Let q(d) = d**2 - 23*d + 69. Let h be q(13). Which is greater: 0.1 or h?
0.1
Let l = -9.1659 - 0.0941. Let d = 9 + l. Let n = -230 - -230. Which is bigger: n or d?
n
Let v = 0.381 - 0.381. Is 5 > v?
True
Suppose 12*o - 198 = 10*o. Suppose 5*s - 43 - o = -4*f, -4*s + 128 = -4*f. Is 29 bigger than s?
False
Suppose -3*m = -4*u + 599, 3*m + 2*u = -u - 606. Which is bigger: m or -202?
m
Let u = -12023/2471 - -3/353. Let v = 190 + -194. Which is bigger: v or u?
v
Let v be (-31)/36 - 2/(-8). Is -1 >= v?
False
Let p(i) = -3*i - 67. Let l be p(-7). Which is smaller: -47 or l?
-47
Let v = 254 - 253.734. Which is bigger: v or 0.1?
v
Let j be (-4699)/74*(1 + 4/(-3)). Which is smaller: j or 20?
20
Let w = 46 + -47. Let m be (-3 + 4 - 1)/w. Which is greater: m or -3?
m
Let k be (34/3)/((-4)/12). Suppose -4*u = 4*n + 136, 92 = -3*n - 5*u - 12. Do n and k have the same value?
False
Suppose -63*o = -40*o - 46. Is -8.4 < o?
True
Let c(z) = 2*z**2 - 10*z + 14. Let d = 95 + -89. Let t be c(d). Do t and 26 have the same value?
True
Suppose -13*h = -18*h + 20. Let w be (9/(-6))/(h/(12/9)). Which is smaller: w or -1?
-1
Suppose -92 = 4*k + 64. Let x(u) = -12*u - 99. Let s be x(-5). Are k and s equal?
True
Let f be (929/2)/(21/12). Let a = f + -265. Suppose -3*x - w + 49 = 36, 0 = -2*x - 5*w + 39. Is x < a?
False
Let v(p) = 4*p**2 - 3*p - 89. Let w be v(5). Let g be 3*14*3/(-6). Which is smaller: w or g?
g
Let t be ((-35)/21 - (-4)/6)*-1. Does t = 2.6?
False
Let w be ((-1 - -1) + 138)/(1176/(-1568)). Do -184 and w have different values?
False
Let z be 3/1*(7 + 10/15). Do 3.2 and z have different values?
True
Suppose 2*g + 0*g - 10 = 0, g = 2*d - 55. Suppose -d = -2*t - 2. Is t less than 8?
False
Suppose -61*d - 2006 = 1105. Are -31 and d nonequal?
True
Suppose -26 + 45 = f. Let y be (2/(-8))/(f/(-10) - -1). Is 1 bigger than y?
True
Suppose -3*p = -4*i - 7*p + 24, -2*i - p + 7 = 0. Is -18 greater than i?
False
Let w be 4*29/((-87)/6). Let s = -19 + 12. Which is smaller: w or s?
w
Let a(g) be the third derivative of g**4/6 + g**3/6 + 6*g**2. Let q be a(8). Let i be 4 + ((-282)/q)/2. Is 1 < i?
False
Suppose 5*d = -2*p + 6, p + d + 15 = 6*p. Let c be (9/p - 2)*-5. Suppose -39 + 19 = 4*z. Is z greater than c?
False
Let b = 243 + -284. Is -42 >= b?
False
Let h(u) = -3*u**3 + 1. Let c = 11 - 11. Suppose s - 2*s = 4*b + 7, -b - 2 = c. Let z be h(s). Which is bigger: z or -12/7?
-12/7
Let f = 4816/11 + -436. Let c = -108 + 111. Which is greater: f or c?
c
Let p = 384 - -577. Which is smaller: p or 962?
p
Let v = 47.8 + -47.9. Suppose -2*q + 12 = 5*h, -2 = h + q - 5*q. Let j be (-2)/6 + h/18. Which is greater: j or v?
v
Let g = -37 + 58. Let y be -1*(0 + -3 - (-1 + 18)). Are y and g non-equal?
True
Suppose -10 = -16*z + 17*z. Let u be (-66)/9 - z/30. Is u < -7?
False
Suppose -12 + 7 = j. Let a(n) = -n**3 - 2*n**2 + 6*n - 8. Let m be a(j). Which is smaller: 38 or m?
m
Suppose -130 = 4*z + 4*m - 30, -4*z - 3*m = 95. Which is smaller: z or -11?
z
Let k = 0.9 - -0.1. Let d be 2*(4/(-8) + (-114)/(-220)). Let s = d - -269/165. Is s bigger than k?
True
Let l = -14898/25 + 596. Suppose 10*a - 11*a = 58. Let z = 59 + a. Which is smaller: l or z?
l
Let o(q) = -4*q + 45. Let t be o(-14). Suppose -42 = -13*i + t. Which is greater: 9 or i?
i
Let t be (2/(-6))/((-2)/36). Let c be -8 + 1 + t/3. Let a(v) = -v - 6. Let s be a(c). Is 0.22 at most as big as s?
False
Let b = -13 - -25. Let y be ((-28)/(-6))/(8/b). Let k(i) = i - 10. Let h be k(13). Which is bigger: y or h?
y
Let i(p) = -p**2 + 5*p - 3. Let v be i(2). Suppose -5 = -2*g + v. Let k(l) = -l**3 + 5*l**2 - 2*l - 9. Let y be k(g). Which is greater: 26 or y?
26
Let k(f) = -f**3 + 10*f**2 + f - 10. Let w be k(10). Suppose 26*b - 28*b - 4 = w. Is b greater than or equal to 6?
False
Suppose 0 = 30*g + 14 + 16. Which is smaller: 1/499 or g?
g
Let a(f) = -4*f**2 - 2*f + 2. Let m be a(1). Let l be (44/8)/(2/m). Is l bigger than -12?
True
Let p be 16/42*(-112)/(-480). Which is bigger: 0 or p?
p
Let r be (-4)/14 - -1 - 2/(-7). Which is smaller: r or -2/541?
-2/541
Let p(s) = 25*s + 26. Let b be p(-5). Are b and -97 equal?
False
Let m be 1 + ((-11)/(-44))/((-14)/3800). Is m equal to -66?
False
Suppose -12 = a - 4*k, 4*a - 7 = 3*k + 10. Let q(v) = -v + 7 + 8*v - 8*v. Let u be q(a). Do -3/4 and u have different values?
True
Suppose 14 = 9*l - 6*l + 2*d, 0 = -5*d - 25. Which is smaller: l or 1.5?
1.5
Suppose -o - 13 = -3*k, 0 = o - 2*k + k + 5. Let m be o*0*3/(-6). Which is greater: m or -2/13?
m
Suppose 0 = -3*h - 4*y + 8, 5*y - y + 24 = h. Suppose 3 = h*z + 3. Which is smaller: z or 1/14?
z
Let x = 56 - 14. Let w be x/(-35)*(-10)/26. Suppose -9 = -2*v - 7. Are w and v nonequal?
True
Suppose 0 = -u + 1 - 0. Let q be (-750)/60 + (u - 0). Which is smaller: q or -12?
-12
Let v(c) = 5*c**2 + c - 56. Let q be v(-5). Which is smaller: 69 or q?
q
Let f(u) = 10*u**3 - 6*u**2 - 13*u + 3. Let k be f(-2). Is k greater than -76?
True
Let j = -28 + -21. Let h = -48 - j. Which is bigger: -2/109 or h?
h
Let b be ((-3)/2)/(3/40). Which is greater: -81/4 or b?
b
Let o(p) = p**2 + p + 1. Let l be (-1 + 4)*33/9. Suppose -3*a - 1 = -f, a + 0*f = 3*f - l. Let h be o(a). Is h smaller than 5?
True
Let c be (-4)/(4 + -6) - 0. Suppose -2*n + 0*r = r - 16, c*n = -2*r + 18. Suppose -2 = 5*h - n. Is h bigger than 1?
False
Suppose -4*a = 3*z - z - 94, 3*a - 99 = -2*z. Does 55 = z?
False
Let i(z) = 2*z**2 + 13*z - 14. Let t be i(1). Let r = 17/45 + 1/45. Which is greater: t or r?
t
Let y = 596 + -595. Let d be (-4)/(-10) - 2592/6680. Which is bigger: y or d?
y
Let t(z) = 525*z**2 - 43*z + 44. Let l be t(1). Is 527 at most as big as l?
False
Let c = -19 - -20.16. Is c bigger than 2?
False
Let v = -20 - -20.031. Let g = -0.031 + v. Is g less than 3.6?
True
Let v = -41.27 - -42.8. Does v = 2?
False
Let o be 2/3 + (-14)/(-6). Suppose 5*q = 2*n - 128, -q = -3*n - 6*q + 142. Let y be 2/n*(-3 + 9). Which is greater: y or o?
o
Let j = 21 + -17. Suppose -24 = -3*q - 2*c, 0*q - j*q - 4*c = -36. Let k(d) = -2*d**2 + 13*d - 4. Let t be k(q). Is 0 at least as big as t?
False
Suppose -56 = -4*p - 4*o, 5*p - 3*o - 2*o - 20 = 0. Let x be 6/p + (-70)/15. Which is greater: x or -14/5?
-14/5
Let d = -476 + 491. Is d less than 19?
True
Let i be (-9)/5 + 2 - 6/30. Is -6/29 greater than or equal to i?
False
Let h be -14*(70/(-49))/5. Is h at most as big as 4?
True
Let v(q) = -12*q + 168. Let p be v(14). Which is bigger: p or -16/29?
p
Let g = 736 - 789