 or k?
14
Let k = -1162 + 970. Is -191 less than k?
False
Suppose 5*k = -5*t - 240, -6*k + 8*k + 126 = 4*t. Which is smaller: k or -58?
-58
Let l be 0 - (-54)/(1 - 3). Let z be l/(-2)*12/90. Which is bigger: z or 2?
2
Let j = -51399/5 - -10340. Which is smaller: j or 60?
60
Let k be 2*((-305)/2)/5. Let m = k + 487/8. Let u be (-3)/((-399)/14) + 4/(-38). Is m >= u?
False
Let k = -563.2 - -563. Do 234 and k have different values?
True
Let l be ((-4)/(-14) - 104/364)/(-1). Is l smaller than 8/237?
True
Suppose c - 18 = -4*b, 0*b - 16 = -3*b - 2*c. Let t be 4 + (156/(-585) - 2/5). Is b at most t?
False
Suppose 4*s + 60 = 4*o - 16, o + 2*s = 25. Let w = 6 + o. Does 27 = w?
True
Let k = 153/10 - 19/5. Is k less than 2/7?
False
Suppose -2*p - 87 = 191. Let l = -142 - p. Let f be 2/(-8) - (-23)/(-12). Is l greater than f?
False
Suppose a = -i - 2 - 2, -4*i = 5*a + 12. Let z(y) = -y**3 + 7*y**2 - 7*y - 3. Let m be z(6). Which is smaller: m or i?
m
Let a be (-4 - (-18)/5) + (-17)/(-5). Suppose 5*b = -m - 4, -3 = -a*m + 4*b + 23. Is m at most 6?
True
Let w = 33 + -31. Suppose 0 = -0*f - w*f. Which is greater: -2/5 or f?
f
Let t(i) = 6*i - 27. Let f be t(13). Suppose 3*c - 5*b - f = c, 105 = 3*c + 2*b. Is c not equal to 33?
False
Let g = -6 + 11. Let f = g + -4. Let b be 4/(-44) + 1 - f. Which is smaller: -1 or b?
-1
Let b be (-8 + 8)/(-1 - 1). Suppose b = 4*r - 3*r. Suppose 5*d - 10 + r = 0. Are 3/4 and d equal?
False
Let h be (7 - 2)*(-12)/5. Let k = h + 15. Suppose k*u = -o - u - 24, 0 = -2*u - 10. Is -5/2 < o?
False
Let d = 198 - 203. Let m = 2 - 0. Which is greater: m or d?
m
Let l be (5 - (-775)/(-165))*-3. Suppose f + 3 = -2*n - 4, -16 = f + 5*n. Which is bigger: f or l?
l
Let m = -2/1049 - -2332/122733. Which is bigger: m or -1?
m
Let l be (-40)/6*(-6)/4. Let k = -867 + 891. Let g be (-2)/(-8) + l/k. Which is bigger: 0 or g?
g
Let r(w) = -w**3 + 8*w**2 + 2*w - 2. Let f be r(8). Suppose -i - 7 = -f. Let z be 10*(-1 - -5)/8. Is z equal to i?
False
Let a = -83 + -16. Which is smaller: a or -199/2?
-199/2
Let y = -5910 + 64950/11. Which is smaller: y or -6?
-6
Suppose 43*j - 41*j + 18 = 0. Which is smaller: -114/13 or j?
j
Let n(f) = 11*f + 43. Let s be n(-4). Which is greater: 2/127 or s?
2/127
Let n = -3 + 7. Let i(b) = -52*b + 209. Let q be i(4). Are q and n nonequal?
True
Let f be (1/(1/2))/(-1). Let x(o) = -o**3 - 25*o**2 + 24*o - 54. Let y be x(-26). Let c be (5 + f)/(33/y). Is 1 bigger than c?
True
Let l = 515 - 514.9. Which is smaller: -242 or l?
-242
Let i(u) = -u**3 + 4*u**2 + 4*u + 5. Let b be i(5). Suppose 4*g - 5*d = -719, 608 + 269 = -5*g - d. Let k be g/(-120) + 4/(-6). Is b greater than k?
False
Suppose 22*b - 15*b - 8197 = 0. Is b <= 1170?
False
Let y = 13841/9 + -67717/45. Let j = y + -100/3. Is -1 greater than or equal to j?
False
Suppose -5*u - 6778 = -a - 1513, 3*u - 3*a + 3171 = 0. Are -2/7 and u nonequal?
True
Let o(a) = -14*a**2 - 159*a - 7. Let w be o(-11). Are 18 and w equal?
False
Let u be 8/36 - (-16)/9. Suppose u*s + 2*s = 0. Suppose -2*h - j + 4 = -2, 5*j + 10 = s. Which is greater: 2 or h?
h
Let v be (-4)/10 + 222/30. Let t(h) = -h**2 + 5*h + 16. Let s be t(v). Let l = s - -6. Is l < 5?
False
Let h(r) = 5*r + 29. Let z(c) = -10*c - 59. Let w(b) = -7*h(b) - 3*z(b). Let l be w(-6). Suppose 33 = l*a + 9. Is a > 4?
True
Let f = -62 - -62.039. Let w = -35.961 - f. Let l = -32 - w. Are -1 and l equal?
False
Let m be (-13)/(-3) + (8/(-3))/(-4). Suppose 9*l = m*l. Is l bigger than -3?
True
Suppose -34*q = -4331 - 89. Is q >= 129?
True
Let q = -321 + 284. Is -112/3 less than q?
True
Let m(x) = -x**3 - 8*x**2 - x - 8. Let s be m(-8). Let v be s - ((-2)/2 - 2). Let k = 1 - v. Do -2 and k have different values?
False
Let a be 3/(-12) + (-537)/(-4). Is a greater than 136?
False
Let v(s) = s**3 + 7*s**2 + 7*s - 2. Let w be v(-6). Let k be (w/(-6))/(2/(-6)). Let f(h) = -h**2 - 6*h - 4. Let i be f(k). Which is smaller: i or 3?
3
Let q = 17 + -6. Let t = q - 11.44. Let b = -0.16 + t. Is b > 1/4?
False
Suppose 0 = w - 2*x + 16, 2*w - 2*x = x - 28. Let h = 77122/9 + -8578. Do w and h have the same value?
False
Suppose 16*h + 2024 = -2920. Is -309 equal to h?
True
Let w = -25.722 - 0.278. Which is smaller: 1/5 or w?
w
Let n = -6.98 + -0.02. Let a = 0.7 + -0.89. Let d = a + 0.09. Is n smaller than d?
True
Let t = -91.9 - -92. Let x = -5 - -11. Which is smaller: t or x?
t
Suppose 4*p = 3*c + 8, 5*p = -4*c + 20 - 10. Is 1 >= c?
True
Let r = -2 + 15. Let x = -51/4 + r. Is 13 bigger than x?
True
Suppose -l = -14*w + 17*w + 316, 110 = -w + 2*l. Which is bigger: -105 or w?
-105
Let t = -17.9531 + 0.0031. Let h = -0.05 + t. Let i = -17.8 - h. Is 3/7 > i?
True
Let y = -182 + 123. Let m = y - -58. Which is smaller: m or 1/49?
m
Let c be 12/(-174) - (-4)/58. Are -2/331 and c non-equal?
True
Let v(c) be the first derivative of -5*c**2/2 - 16*c + 3. Let q be v(-7). Is q less than 19?
False
Let a(j) = 22*j**2 + 2*j - 1. Let h be a(1). Let m = -8 + h. Which is smaller: m or 16?
m
Suppose 2*y = -4*y + 4*y. Which is bigger: y or -2/23?
y
Let o = 11922 - 21903/2. Let x = 948 - o. Is -23 less than x?
True
Let p = -0.7 + -0.3. Let n = 191 + -181. Does p = n?
False
Let z be (-18)/648*(3 - 23)/1. Is z bigger than -4?
True
Let a be -183 + 167 - -1*(-1 - -2). Which is smaller: -81/5 or a?
-81/5
Suppose -2*o = -o + 4. Let i(v) = 3*v**2 - 11 - 5*v + 3*v**3 - 2*v**3 + 11. Let d be i(o). Which is greater: d or 2?
d
Let v(c) = c**3 + 25*c**2 - 53*c + 29. Let h be v(-27). Is h greater than 28?
False
Suppose 13 = 5*g - i, -2*g = -7*g - 3*i + 1. Let y be (-1)/g + 108/(-8). Let m be (-46)/28 + (-21)/y. Is 1 smaller than m?
False
Let d be 130/(-39)*(-12)/10. Which is smaller: 84 or d?
d
Suppose 7*w - 12 = -5. Suppose -2*c + m = 5 + w, -3 = -5*c - 2*m. Which is smaller: -17 or c?
-17
Suppose 0 = -2*u + 4, -4*v + 5*u = u + 2304. Which is smaller: v or -575?
-575
Let w = 29 - 19. Let d = w - 10.06. Which is bigger: -1/4 or d?
d
Let y = 39 + -15. Let f = y + -24.2. Is f at least -2?
True
Let m be 36/(-15) - (0 - 2). Let c = -141 + 156. Which is smaller: c or m?
m
Let k = 26797/44 + -609. Suppose -1 = 3*r + 2. Is k smaller than r?
False
Let m be 140/45*3/2. Let p = -37 - -42. Does m = p?
False
Let f = 73 + -72. Which is smaller: -8/21 or f?
-8/21
Let u = -85 - -85.52. Let l = -50.52 + u. Which is bigger: -1/2 or l?
-1/2
Let y = -0.02 - 5.58. Are 6 and y nonequal?
True
Let i = -28 + 22. Let j = 13 + -19. Is i at most j?
True
Let z = -0.01 - -1.01. Suppose -4*h = -3*m - 79, 5*h - 5*m - 39 = 56. Let k = 16 - h. Is k > z?
False
Let u be (-6)/11 + (-17500)/385. Is u less than -42?
True
Let s(y) = y**3 - 6*y**2 + 6*y - 7. Let g be s(5). Let q be (-180)/(-24)*g/6. Which is bigger: 4 or q?
4
Let j be (1/(-3))/(948/(-96) + 10). Suppose 4*o = -2*d - 20, -5*d = 5*o + 40 + 5. Let c = d + 6. Which is smaller: j or c?
j
Let c be 46/44 - (-1)/(-2). Let t(m) = -5 - 1 + 3*m - m**2 - 6*m - 5*m. Let o be t(-7). Which is smaller: c or o?
c
Let n be -6*(-7 + 3)/4. Let k = -1 - n. Let f be 52/12*(-3)/2. Are k and f nonequal?
True
Suppose 6*c + 16 = 4. Is c smaller than -19/7?
False
Let r be (-40)/12*(4 + -1). Let m = 629 + -628.9. Do r and m have different values?
True
Let w(d) = d**2 - 4*d - 3. Let q be w(7). Let j be (-207)/(-18) - 12/(-2). Which is greater: q or j?
q
Let f = 43.31 + -43.3. Suppose -l - 1 = -g, -l - 3*l + 20 = 4*g. Which is greater: l or f?
l
Let s be (33/(-65))/((-10)/300). Which is smaller: s or 15?
15
Let q be 11205/109145*-1*2/6. Which is bigger: -1 or q?
q
Suppose -20 = -3*d + 2*r - 3*r, 2*d + 2*r = 20. Suppose 3 = -s + 5. Let p be (-88)/(-1430)*d/s. Do p and 0 have the same value?
False
Suppose -z + i + 3 = 0, 4*z + 0 = -i - 3. Suppose z*a - a = 3*a. Which is smaller: a or -2?
-2
Let f = 349/396 + 1/132. Let y = -10/9 + f. Which is greater: -16/5 or y?
y
Let a(f) = -f**2 - 6*f + 15. Let w be a(2). Is w less than or equal to -10/17?
True
Let d(g) = g**3 - 7*g**2 + 4*g + 7. Let l be d(6). Let h be (-44)/55 + 151/l. Let b = h - -20. Are b and -11 unequal?
False
Let u = -188 + 187.8. Let j = 2 - 1.9. Let c = j + u. Which is smaller: 2 or c?
c
Let w be (-1 + (-1)/(-2))/((-17)/34). Is 440 at least as big as w?
True
Let a be (-1)/(((-1)/(-9))/(-1)). Suppose 3 = -2*b - a. Let g 