Let y = 17 - 17.07. Suppose -11*z = -14*z - u + 2, 2*u + 6 = -z. Which is smaller: z or y?
y
Let a be -1*4 - (-4214)/1075. Is a less than or equal to 0.1?
True
Let g = 1.438 - 1.508. Are g and -0.54 equal?
False
Let x = -192 - -222. Let g = 74 + -45. Is g not equal to x?
True
Let h = 1.5 - 14.5. Which is greater: h or 3?
3
Let p be ((-4)/(-4))/((-5)/20). Which is bigger: p or 0?
0
Let z(w) = 3*w**2 - 110*w + 44. Let h be z(14). Is -907 greater than h?
True
Let c = -190.229 - -0.229. Is -2/7 at most as big as c?
False
Let x = -263 + 263. Let t be (-3)/(-18)*-1 + 2. Let i = t - 3/2. Which is greater: x or i?
i
Let d = -3/4 - -5/4. Suppose 0 = -25*t - 7*t. Is d bigger than t?
True
Let x be 12/(-66) - (-371)/(-77). Are 0 and x unequal?
True
Let x(z) = 5*z - 51 + 29 + z**2 + 34 + 3*z. Let g be x(-10). Which is smaller: 30 or g?
30
Let g be 4/16*-3 - (-150)/8. Let c = 19 - g. Which is smaller: c or 0?
0
Let i be (-6)/(-15) - (-24)/(-10). Let h be (-4)/(-8)*(-4)/(-1). Let r be (h/8)/((-7)/21). Which is smaller: i or r?
i
Let l(p) = 3*p + 32. Let i be l(-10). Suppose i*q + 5*q = 7. Are q and 4/9 equal?
False
Let d = 734 + -728. Let x be (-8)/36 + (-14)/18. Which is bigger: x or d?
d
Let g = -4346782659/7923692480 - -2/2251049. Let f = -2/75 + 143/4800. Let s = f + g. Is s at most as big as -2?
False
Let z = -335149/7 - -47961. Is z <= 83?
True
Suppose -2*t + 3*j + 25 + 25 = 0, -4*j - 8 = 0. Let g(h) = 3*h**2 - 12 + 0*h**2 + 10*h - 2*h**2 + t. Let z be g(-9). Is z bigger than -1/8?
True
Let z = 46 + -20. Suppose -s - s + z = 0. Suppose 57*n - 252 = 39*n. Which is greater: n or s?
n
Suppose -4 = 2*u, -4*t - 3*u - 66 = -0*u. Let m = -11 - t. Let h be 1/(-1) + m + -1. Which is bigger: 0.1 or h?
h
Let t = -12 + 14. Suppose a + t = -3*i, -a - 4 = 2*i + a. Which is smaller: i or 4/17?
i
Suppose 0 = -c + 1, -177 = 2*p - c + 6*c. Is -90 greater than p?
True
Let z(c) be the third derivative of -1/24*c**4 - 2/3*c**3 + 1/30*c**5 + 0*c + 0 - 7*c**2. Let y be z(-2). Which is smaller: y or 7?
y
Let s(u) = 37*u - 21 - 14*u + 14. Let o(f) = -12*f + 4. Let z(i) = -11*o(i) - 6*s(i). Let p be z(-1). Which is greater: 3 or p?
p
Let g = -829274261297/10819 - -76649807. Let r = -2/349 - g. Which is bigger: r or -1?
r
Let c be 2/(-4) + (-30)/(-44). Let p be ((1 - 2) + -3 + 4)*1. Suppose -8*w + 5*w - 3 = p. Which is smaller: w or c?
w
Suppose v - 5 = 0, -3*n + 2*v - v = 5. Let u = -0.26 + -36.34. Let j = -37 - u. Which is smaller: n or j?
j
Let w = 47 + 24. Let l = 370/103 - -34612/515. Let m = l - w. Is -3 at most as big as m?
True
Let w(l) = -l**3 + 9*l**2 + 10*l - 6. Let b(c) = c**2 + 3*c. Let f be b(-5). Let o be w(f). Let n be ((-6)/9)/((-4)/o). Is n bigger than -1?
False
Let m be ((-106)/5)/((-3)/(660/64)). Let w = m - 73. Are w and -1 non-equal?
True
Let l(u) = 17*u - 11. Let h be l(-17). Which is bigger: h or -299?
-299
Let r = -10 - -7. Let x = r + 5. Let q = -1879 + 16916/9. Which is greater: x or q?
x
Let d = 1179.29 + -1166. Which is smaller: 0 or d?
0
Let a = 0.3 - 0.44. Let d = 1.1 + -0.84. Let x = d + a. Is x < 0?
False
Suppose k - 5*k + 5*n - 6 = 0, 5*k = -2*n - 24. Suppose 4*s - 5*l + 17 = 2*s, 3*s + 18 = 5*l. Which is greater: k or s?
s
Let n = -9459 + 2970119/314. Is n greater than or equal to -1?
True
Let v = -1.438 + 1.339. Which is smaller: 0.2 or v?
v
Let y = -15 + 25. Let w(z) = 3*z - 17. Let f(h) = 3*h - 16. Let d(u) = -3*f(u) + 4*w(u). Let a be d(y). Is 11 bigger than a?
True
Let p = 890 + -890. Which is smaller: p or 7/29?
p
Suppose 4*o - 1650 = -62*o. Which is smaller: 166/7 or o?
166/7
Let f = 953 + -1058. Which is smaller: -417/4 or f?
f
Let d(p) = -p**3 + 5*p**2 - p - 5. Let h be d(4). Let a = 349 + -343. Which is greater: a or h?
h
Let m(l) = 5*l - 8*l + 0*l + 4 + 5. Let q be m(3). Do -2/33 and q have the same value?
False
Let u be 4/2 + (1 - -1). Let s be (-4 + u - (-250)/(-84)) + 3. Is s less than 1?
True
Let j = 0 - -2. Suppose 0*x + 9 = x + 3*z, 0 = -5*x - 5*z + 25. Let i be (2 - 2)*x/9. Which is bigger: i or j?
j
Let r = -0.059 - 0.811. Let d = r + -32.13. Is 1 != d?
True
Suppose 12 = i - 4*i. Let f = 47.07 - 46.77. Is i at most as big as f?
True
Suppose 0 = 2*j + 3*k - 11, -5*j + 14 = 3*k. Let s = -2420/12993 - -14/71. Which is bigger: s or j?
j
Suppose -3*y + 12 = -5*y. Let x be (-4)/y*15/(-10). Which is bigger: -9/5 or x?
x
Let m(t) = -t**3 + 4*t + 1. Let d be m(0). Are d and -8/173 non-equal?
True
Let s be 6/14 + 391*7/(-6615). Do s and -1 have the same value?
False
Let u be 6/12*(1 - -2 - 1). Is -3 <= u?
True
Let q(y) = y**3 + 3*y**2 - 6*y - 6. Let p be q(-4). Suppose 4*d = -3*k - 27, -3*d + p*k - 5 = 2*d. Which is bigger: -5 or d?
d
Let m = 418 - -81. Which is smaller: -1 or m?
-1
Let k = 118 + -122. Let l = k - -5. Which is smaller: 2/33 or l?
2/33
Suppose -73 = 3*h + p, 2*h - 6*h - 4*p = 92. Let o(q) = q**3 - 5*q**2 - 4*q - 5. Let n be o(5). Is n less than h?
False
Let b(q) = q**2 - 6*q - 2. Let d be b(3). Let v = d - -16. Let k = v + -29/6. Which is smaller: 2/5 or k?
k
Let o = -0.9 + -5.1. Let v = 33085 - 4896605/148. Let w = 3/37 - v. Are w and o equal?
False
Suppose 0 = y - 4*y - 48. Let u be 1 + y*(-5 - -4). Let m = 17 - u. Is 1/5 at least m?
True
Let s = 29 + -77/3. Is s >= -5?
True
Let v = -399 + 293. Which is greater: -108 or v?
v
Let p be 0 + (33/(-6))/(2/(-4)). Are p and 8 non-equal?
True
Suppose 0 = 3*m + 4*o - 50, -4*m - 5*o = 22 - 87. Let z = 8 - m. Let b be (z + (-4)/(-4))/1. Is -3 > b?
False
Let b be (-4)/(-10) - 12/12. Let z be 6/15 + 17/(-5). Let n = -4 - z. Which is bigger: b or n?
b
Let z = 151 + 89. Let w be z/252 + (-2)/3. Which is greater: w or -1?
w
Suppose c + 7 = 4*f, -4*c = 4*f - 2*f + 10. Let m = -23 + f. Let w = m + 13. Are w and -9 equal?
True
Let p = -0.27 + 5.27. Let y = 0 - p. Is 2 equal to y?
False
Let n = 169/12 - 59/4. Let h = -9 - -23. Let m be (-1)/(3/(-12)*h). Which is smaller: m or n?
n
Let h = -7055727/1218232 + 242/5251. Let s = h - 1/232. Which is greater: -7 or s?
s
Let a = -0.035 + 0.028. Let y = 0.257 + a. Which is greater: -2/7 or y?
y
Let h(j) = -j**2 + 6*j + 1. Let q be h(5). Suppose 31 = u - 4*u - 5*w, -2*u = -2*w - q. Which is smaller: -14/9 or u?
u
Let l(b) = 11*b**3 + 6*b**2 + 3*b + 34. Let m be l(-5). Is -1206 equal to m?
True
Let b = 125 - 122. Which is smaller: b or 14/9?
14/9
Let l be -2 - ((-9)/4)/1. Let s = -5296 - -5340.02. Let j = -44 + s. Is l greater than j?
True
Let b be (-1)/(-3) - 2/6. Let t be 6/(-4)*(b - -16). Let p = t + 24. Is p greater than or equal to 0?
True
Let d = -6 + -8. Let n = 193/8 - 189/8. Which is greater: d or n?
n
Suppose 9*j = 4*j + 120. Let r = -16 + j. Is 9 smaller than r?
False
Suppose 16 = -w + 4*w - 2*z, w - 14 = 5*z. Suppose 0 = -4*v - 2*l + w, 2*v + 3*v = -l - 1. Let y be (14/28)/(v/2). Is -2/9 less than or equal to y?
False
Suppose -82*q - 66 = -88*q. Which is smaller: q or 17?
q
Let d be (-8)/20*(-12)/(-8). Which is smaller: 0.8 or d?
d
Let m = -166 + 157. Does m = -2/41?
False
Let w = 147 - 1027/7. Let y(s) = -s**3 - 13*s**2 - 11*s + 24. Let u be y(-12). Let x be (0 + (-2)/u)/(2/40). Is w < x?
False
Let m = -208 + 235. Is m <= 27?
True
Let k = -2 + -7. Let d be (-4)/((-4)/(-8)*-6 + 1). Let c(q) = -4*q**2 + 3*q + 1. Let i be c(d). Are k and i non-equal?
False
Let v = 88.3 - 102. Is v < -1?
True
Suppose -518 = 7*j - 28. Are j and -70 unequal?
False
Let o be 175 - (-6)/18*-9. Is 173 >= o?
True
Let v = 10 - 46. Let u = v - -35. Is u less than or equal to 0.19?
True
Let c = -449 + 15265/34. Let i = 53/68 + c. Which is smaller: 0 or i?
0
Let r = 524 + -2633/5. Let m = -51 - -55. Suppose 2*q - 2 + 4 = 3*h, -m*q = 3*h + 22. Which is greater: r or h?
h
Suppose 40 = -7*r + 2*r. Let c be 255/9 - r/(-24). Which is bigger: 30 or c?
30
Suppose 0 = -18*v - 178 + 286. Is 33/5 bigger than v?
True
Let v = 25/42 + -4217/7014. Which is bigger: v or 1?
1
Let w be (8 - -11) + (-8)/(-2). Suppose -322 = -w*f - 23. Is f > 81/7?
True
Let a be 99/42 + (-6)/4. Is 6/5 <= a?
False
Suppose -332*s + 96 = -324*s. Which is smaller: 13 or s?
s
Let v(n) = -79*n + 676. Let i be v(8). Does 23 = i?
False
Let x(y) = -y**3 - 3*y**2 - 4*y + 2. Let w be x(-4). Suppose -9 + w = 5*k. Let a be 1/(-2)*(7 - k). Are a and -3 non-equal?
True
Suppose 0 = 13*s - 16*s. Let y be (1 + 0 -