1718 - a. Which is bigger: -8 or z?
z
Let y be 6/4*(-10)/3. Suppose -5*u + n - 2*n + 99 = 0, -24 = -u + 4*n. Let a be (y - -3)/(u/(-38)). Is a > 3?
True
Suppose -39*j + 35*j = 1136. Which is smaller: j or -282?
j
Suppose -4*w = 4*w + 520. Let c be ((-16)/10)/(26/w). Let y(q) = 3*q - 7. Let j be y(3). Is j >= c?
False
Let b = -735 - -5147/7. Which is smaller: b or 88?
b
Let w = 32.673 + -0.173. Is 1 greater than or equal to w?
False
Let p = 386/3 - 128. Is p bigger than -333?
True
Suppose -3 = 3*h + 2*l, -5*l + 5 = -10*h + 5*h. Let w be (0/(0 + 3))/(-2) - h. Which is smaller: w or -2/7?
-2/7
Let i = 75.1 + -75. Is 0.42 >= i?
True
Let c = -14 + -4. Let o = -18 - c. Are -1/5 and o equal?
False
Let j = -115 + 121. Let h(i) = 8*i - 1. Let n be h(-1). Let d = j - n. Which is bigger: d or 14?
d
Let v = -860 - -6017/7. Is 2/53 equal to v?
False
Suppose -4*n - 444 = -4*i, -i + 56 = -3*n - 271. Let r be (430/n - -4)*-4. Let l be ((-2)/(-2))/((-2)/(-2)). Which is smaller: r or l?
r
Let v = 529395/14 + -37852. Let t = -77/2 - v. Which is smaller: -1 or t?
-1
Suppose -2*s - 2 = -4*s. Let l be -1*(-376)/(-40) - -10. Which is smaller: l or s?
l
Let l = -226 - -231. Is 48/11 not equal to l?
True
Let j be (16/90)/(7/(-1639533)). Let q = 860051038/20655 + j. Let l = q + -1/243. Which is bigger: -1 or l?
l
Let g = -447 + 4893/11. Let m = 0 + -1. Is m not equal to g?
True
Let g be 2 + (-13)/(-65)*(-5)/1. Do -2/9 and g have different values?
True
Suppose -2*x - 5 = -5*l + 5, 20 = 4*x. Does -4 = l?
False
Let v = 87 - 85.3. Let z = -1.8 + v. Is -22 at least z?
False
Let k(u) = -u**2 - 3*u - 3. Let b be k(-2). Let h be 2*b/2 + -2. Let g be (-1)/h - 48/9. Is -5 at least g?
True
Suppose 7*l + 446 = 47. Let g = 229/4 + l. Is g != -6?
True
Suppose -r - 3*c = 4*r, 0 = -5*r - 4*c - 5. Suppose 0 + 2 = 3*f - 5*i, -3*i - 2 = -2*f. Suppose -r*h + f = -h. Which is bigger: 1 or h?
h
Let h be 3 - (318/265)/((-2)/(-5)). Is h less than or equal to 3/118?
True
Suppose 42 - 614 = 13*g. Is -42 bigger than g?
True
Let l be 2 + 4 + (-5 - 2946/2934). Does 1 = l?
False
Let n = -16 + 66. Let r = 54 - n. Which is smaller: r or 3?
3
Let r(w) = 4*w**2 + 50*w - 28. Let p be r(-13). Suppose -3*i - 2 = -2*i. Let l be 2 + (i - (-36)/(-26)). Do p and l have different values?
True
Suppose 0 = -9*o + 1193 + 571. Is 196 smaller than o?
False
Let p be (38/9)/(350/105). Which is smaller: p or 2?
p
Let o = -43 + 63. Let q be (16/o)/((-2)/5). Let n be -1*(q - (-36)/20). Are 2/17 and n non-equal?
True
Suppose -3*x = 2*m - 2, 0 = x + 2*m - 3 + 1. Suppose -4*l - 12 = -x*l + 4*d, 18 = -4*l + 2*d. Let f = 7 - 6. Which is smaller: f or l?
l
Suppose -5*r = 5*a - 5, 5*a + 0 = -r + 9. Let p be 1*(0 - -1)*11. Is a equal to p?
False
Let u = -6 + -47. Let x = 73 + u. Are 22 and x unequal?
True
Let n be ((-28)/44)/(-1) + 2/(-2). Let u(m) = -m**3 - 5*m**2 - 5*m - 3. Let c be u(-4). Which is bigger: c or n?
c
Let d = -65 + 66. Is d bigger than 5/7?
True
Let y = 3.874 - -0.026. Let z = y - 2.9. Is 1 greater than z?
False
Suppose -8*s + 200 = -96. Let n = -110/571 + 150372/3997. Let u = n - s. Is 1 greater than u?
True
Let f be ((-4)/(-14))/(99 + -4). Let o = f + -2011/5320. Which is greater: 2 or o?
2
Let z(l) = 13*l + 2. Let x be z(-2). Let k = -314 + 311. Let r be k/((-1)/(x/9)). Is -7 at most as big as r?
False
Suppose -5*d - 4*r + 13 = 0, -16*d + r = -17*d + 3. Is -8 less than d?
True
Let f be -2 + -3 - -1 - -42. Let z be (38/(-57))/(f/(-9)). Which is greater: 1 or z?
1
Suppose 2*q - 2*r + 1 = 3*q, 3*r = -3*q + 3. Let o(c) = -c**3 + 5*c**2 + 8*c - 9. Let y be o(6). Is y > q?
True
Let i be 4/(-18) + 114/27. Suppose -13 = i*v - 81. Let g be 1 + (0 - v/19). Which is smaller: 1 or g?
g
Let v = -10667/16 - -667. Is v <= 0?
False
Let s(q) = 12*q**3 + q**2 - 22*q - 84. Let f be s(-3). Which is bigger: f or -337?
f
Suppose -7*f + 19*f + 924 = 0. Which is greater: -78 or f?
f
Suppose 2*y + 231 = m - 4*m, -308 = 4*m + y. Which is smaller: -76 or m?
m
Let p = 23 + -507/22. Suppose -8*f - 15 + 6 = -1. Which is smaller: f or p?
f
Let w(n) = -31 - 9*n + n**2 + 0*n**2 - 14*n + 0*n. Let t be w(24). Let x(b) = b**3 - 3*b**2 - 3*b - 5. Let u be x(4). Which is smaller: u or t?
t
Let n = -2 + 2. Let s = -4 - n. Let g = -161/2 - -78. Which is smaller: g or s?
s
Let r(a) = -a**2 + 5*a - 1. Let f = 35 - 30. Let m be r(f). Are m and 4/27 non-equal?
True
Let h be ((-4)/114)/((-22)/462). Is 2 != h?
True
Let q(j) = -j**3 - 5*j**2 - j + 5. Let m be q(-5). Suppose -m = -6*a + 5*a. Is a at most as big as 9?
False
Suppose 5*h - 22 - 3 = y, -5*y + 2*h - 79 = 0. Let v = 53/4 + y. Is -3 greater than v?
False
Let d(z) = -4 + 10*z**2 - 38*z**2 + 7*z**2 + 3*z + 14*z**2. Let n be d(2). Is n greater than or equal to -3?
False
Let k(b) = -b. Let x be k(-8). Suppose 2*d = 3*p - 2*p + 13, 3*d + 3*p = 33. Is d < x?
False
Let v(a) = a**2 + 4*a + 1. Let z be (3/9)/((-3)/45). Let t(d) = 2*d**2 + 9*d + 2. Let h(k) = z*v(k) + 2*t(k). Let b be h(-1). Is 5/6 at least as big as b?
True
Let r = 0.381 - 2.881. Which is bigger: -6 or r?
r
Let d be (-483)/(-18) - (-1)/6. Suppose -d - 15 = 3*h. Let j be 48/14 - (-6)/h. Is 3 bigger than j?
False
Suppose v - 2 = 1. Suppose 0 = v*y - 14 - 4. Suppose y*c = -0 - 6. Does c = -3?
False
Let d = 563 - 14637/26. Which is bigger: 2/9 or d?
2/9
Let f = 285.84 - 286. Do f and -13 have the same value?
False
Suppose 5*o + 0*o = -4*k - 4, -24 = -5*k + o. Suppose k*q = q. Is 4 < q?
False
Let i = -207 + 98. Let q = i + 114. Which is greater: -3 or q?
q
Suppose 2*z + 10 - 50 = 0. Let q be 24/(-20)*z/(-6). Which is greater: 0 or q?
q
Let a be (4/(-58))/(10 - 9). Let h be (-21)/(-9) - 0 - 7/21. Is h > a?
True
Let w = -412.9 + 413. Is w greater than 9?
False
Let o be 0/2 + 1 + 0 + -73. Which is smaller: o or -67?
o
Suppose 103 = -6*s + 607. Let p be (4/(-12))/(4/s). Which is smaller: -8 or p?
-8
Let d(n) = -n**2 + 19*n - 2. Let s be 1344/70 - 1/5. Let r be d(s). Which is greater: r or 11?
11
Let c = -4 + 65. Let t = 61.1 - c. Is t at least -48?
True
Suppose -11 = -l - 3. Suppose l*z - 45 = 59. Which is greater: 14 or z?
14
Let m be (-8 + -42)*(3 - 116/38). Are 4 and m unequal?
True
Let j = 5 - -35. Let u = j - 39.84. Is -1 at most u?
True
Suppose 5*r = 4*r - 5*d, 2*r = 5*d. Let h(l) = 3*l. Let p be h(1). Suppose 0*o = -2*o + 5*m + 13, 4*o - p*m - 5 = 0. Does o = r?
False
Let n = 35 - 29. Suppose n*p - 2*p - 16 = 0. Suppose -4*q = u + 11, -p*q - 4 = 2*u - 2*q. Is u at most 3/8?
False
Suppose 9*d = h + 6*d + 90, 2*h - d = -205. Are -421/4 and h non-equal?
True
Let b = 13731 + -151144/11. Which is bigger: -9 or b?
-9
Let g = 434.9 - 436. Which is smaller: 20 or g?
g
Let p = 0.076 + 0.384. Let k = p - 0.48. Let i(s) = -s**2 - 5*s - 1. Let h be i(-5). Is k != h?
True
Let x(n) = -n**2 + 3*n + 3. Let k be x(4). Which is smaller: 4 or k?
k
Suppose k = j + 26 + 6, -136 = -4*k + 2*j. Suppose 5*q + 46 = -3*n, -4*q - 20 - k = -4*n. Let z be (1*1/2)/((-40)/(-80)). Which is smaller: q or z?
q
Let k be (-62)/11*22/(-132) + 10/30. Suppose -y + 8 = 3*y. Is y <= k?
False
Let g = 158.06 - 158. Which is greater: -16 or g?
g
Let h(u) = -u**2 + 12*u + 28. Let i = 40 - 26. Let q be h(i). Do q and -1/40 have different values?
True
Let d = 59.31 + 0.69. Let n = d + -86. Are -1 and n equal?
False
Let y(q) = q**3 - q**2 - q. Suppose -2*u = 2 - 0. Let j be y(u). Is -8/11 > j?
True
Suppose 10 = 6*s - 4*s. Suppose 4*d - 12 = -2*l + 3*d, s*d = l - 17. Is l bigger than 36/5?
False
Let z(x) = -x - 2. Let k be z(-3). Let y be (-2)/5*(-10)/(-20)*0. Is y equal to k?
False
Let h = 3 + -3. Let q = 167/37555 + 1/185. Is h greater than q?
False
Let w(b) = 12*b + 12*b - 24 - 23*b. Let q be w(16). Which is smaller: q or -5?
q
Let y(q) = q**3 + 12*q**2 - 5*q - 33. Suppose -5*k - 5*i = 75, 1 + 2 = -i. Let n be y(k). Is 29 greater than n?
True
Let w be 6 - -1 - (3 + -6). Let o be w/(-5)*(-3)/21. Does o = -1?
False
Let a(l) = -2*l**3 - 2*l**2 - 2*l. Let v be a(-1). Let b be 2*(25/10 - v). Which is bigger: 7/10 or b?
b
Let u(h) = -h**2 + 10*h - 23. Let w be u(6). Which is smaller: w or 8/117?
8/117
Let a = -270791/23 + 11777. Is a less than 4?
True
Let v be (-2664)/(-9)*(-63)/36. Which is smaller: -1/2 or v?
v
Let v be (-9)/6*(103560/126)/10. Let o(s) = s**2 + s + 123. Let f be o(0).