-l + 0*l = 0. Let k be (6/(-9) + l)*6. Is r <= k?
False
Let w = 1267 + -1251. Let j = -3 + 2. Do j and w have the same value?
False
Let g = -63 + 64. Let m be (-1 + 6/2)*g. Which is smaller: m or 17?
m
Suppose -b = -6 + 2. Let s be 0*((-2)/b)/1. Let f(m) = -22*m + 89. Let k be f(4). Is s > k?
False
Let h be -3*6/(-84)*2/3. Is -0.2 greater than or equal to h?
False
Let a(u) = -33*u + 19. Let p be a(-2). Which is smaller: p or 84?
84
Let y = 0.1 - 0.2. Suppose 78 = 7*q + 15. Which is bigger: q or y?
q
Let f = -3.1 + 3. Let g = -0.1 - f. Suppose -4*l + 0*m + 3*m = 36, 2*m - 52 = 5*l. Which is smaller: g or l?
l
Let x = -15.1 + 20.1. Let j = -30 - -22. Which is smaller: j or x?
j
Let c be (-2 + (-72)/(-42))/((-120)/(-98)). Which is smaller: -1 or c?
-1
Let w(b) = -8*b**2 - b - 2. Let u be w(2). Let y = 63 - u. Let f = 491/5 - y. Which is greater: f or -1?
f
Let n(q) = q**2 + 6*q - 1. Let o be n(-7). Let k be (-6)/3*207/o. Let f = k - -691/10. Which is greater: -1 or f?
f
Let t = -21 + 12. Let f = -14/243 - -26096/243. Let n = f - 108. Is t greater than n?
False
Let r be ((-1)/(-6))/((-3)/14474). Suppose -5*p - 4*m = 4035, 0 = -2*p - 2*p - m - 3217. Let u = r - p. Is u smaller than -1?
True
Let d = 101 - 59. Let o = 42.2 - d. Which is smaller: o or 6?
o
Suppose -12 = -4*j, 0*u - 3*j + 13 = 2*u. Suppose -5*f + u*c = -0*c + 23, -2*f = -c + 10. Is f at least -15/4?
True
Let z(l) = l**2 + 15*l - 117. Let n be z(-19). Is n >= 0?
False
Let d(w) = -16 + 2*w - 4 + 2*w. Let a be d(19). Are 56 and a non-equal?
False
Let w = -2 - -1.9. Let q be 1 - 0 - ((-3)/(-1) + -5). Suppose -5*h + 5*j + 10 = 0, h + 5*j = q*h - 19. Which is smaller: h or w?
h
Let c be 3 + (4/(-4) - -1). Let q be (0 + 4/(-12))*c. Which is smaller: q or -2/77?
q
Let f be (-2 + 1)*(0 - 0). Let d(a) = a + 3. Let o be d(-9). Let p be 140/468 - o/(-27). Are f and p non-equal?
True
Let b be (3 + 4)*(1 - 0). Let q = -7 + b. Is -1/17 smaller than q?
True
Let m be (-4655)/(-610)*((-41 - 0) + 3). Let f = 290 + m. Which is smaller: f or 1?
f
Let w be (0 - -19)/(3*1). Suppose 5*v = -3*r - 28 - 2, 2*r = -4*v - 24. Let h = w + v. Which is smaller: h or 2?
h
Suppose -4*v - 4*c = -9*v - 626, v = 4*c - 138. Is -122 at least as big as v?
True
Suppose -2*x = -x + 14. Suppose -4*l = 16, -3*l = 5*q - 0*q + 207. Let t be 13/(1/(-1))*(-39)/q. Which is smaller: t or x?
x
Let b be ((-70)/(-15))/7*1. Which is smaller: 2328 or b?
b
Let k(j) = 2*j**2 + 9*j - 27. Let u be k(5). Which is smaller: 73 or u?
u
Let k = -1.65 + 1.75. Is k equal to -63?
False
Let y(u) = -u**3 + 25*u**2 - 45*u - 15. Let h be y(23). Let b be (-3 + 18/h)/(2 + -5). Which is smaller: 1.26 or b?
b
Let t be ((-8)/9)/(-8) - (4487/(-441) - -10). Let d = 166.96 + -170. Let q = -0.04 - d. Which is bigger: q or t?
q
Let r = 1.8 + -4. Let c = -10 + 11.2. Let g = c + r. Which is bigger: -0.2 or g?
-0.2
Let a = -54 + 91. Let n = -25 + a. Let u be 9/(-12) + 17/n. Which is bigger: u or 6?
6
Suppose 0 = g + l - 3*l + 11, 4 = g + l. Suppose 9 = 3*i + 2*p, -11 = 257*i - 253*i - 5*p. Which is greater: g or i?
i
Let y be ((-13)/94146)/((-2)/113494). Let f = y - 3/1207. Let p = f - 17/2. Are p and -3 equal?
False
Suppose -k + 3 = 2, -w - 2*k - 2 = 0. Let n be -7 + 4/(w/(-3)). Let t be (21/(-14))/((-26)/n). Which is greater: 1 or t?
1
Let b = -51 + 51. Suppose -2*c + 36 = 4*u, b = 4*u - 2*c - c - 36. Are 9 and u nonequal?
False
Let u = -856 - -849. Which is smaller: 1/26 or u?
u
Let h(v) = v**2 + 16*v - 9. Let o be h(-17). Suppose 5*l + 2*y = -7, l + y = -3*l - o. Does 2 = l?
False
Suppose -2*a + 45 = -5*p - 8, -3*a - 3*p = -27. Suppose 6 = 4*m - a. Let r be ((135/6)/(-5))/(-1). Is r equal to m?
False
Let v = -17.66 - -18. Let i = v + -0.44. Is i > 0?
False
Suppose -54*u = 25632 - 6840. Which is greater: u or 0?
0
Let b = -44 + 54. Suppose 0*y + y - 9 = 0. Is y <= b?
True
Let c = -13799/2828 - -9/404. Let n = c - -32/7. Which is greater: 1/4 or n?
1/4
Let j = 4 + 15. Let r be (84/98)/(2/7). Suppose 0 = -6*c + r*c + 60. Which is smaller: c or j?
j
Let h(l) = -2*l + 51. Let o be h(28). Is o greater than or equal to 5?
False
Suppose 6*z + 4*x + 293 = 3*z, 3*z - 5*x + 248 = 0. Are z and -93 equal?
False
Let p be ((-15)/(-75))/((-6)/42). Suppose 0*n = -n. Suppose n*s + 4 = -2*s. Is p less than s?
False
Let x be 36/(-90) - (-8)/(-230). Are x and 1 unequal?
True
Let f = -24 - -43. Let n = -53 + 73. Which is bigger: f or n?
n
Let j = 5601/4 + -1392. Let r = 1411/172 - j. Is 0 less than r?
False
Let m = 24.6 + -22. Let g = m + -2.2. Is g smaller than -1/5?
False
Suppose -3*a - 1 = -2*b, -2*b + 3*b + 13 = -3*a. Let z be 0 + -3 + -1 + 3 + -5. Let p be -9*(z/9 + 1). Is b at least p?
False
Let s = -735 - -6625/9. Which is greater: 0.4 or s?
s
Let u = 27 + -25. Let z(i) = i + 1. Let s be z(u). Suppose -s*v + 1 = -17. Is v less than 7?
True
Let a = 172 + -170.938. Let f = a + -0.062. Which is smaller: 0.06 or f?
0.06
Let q(t) = 97*t**2 + 74*t + 238. Let o be q(-3). Is o less than or equal to 0.1?
False
Suppose 1 = -4*u + 21, 5*a - u = -15. Let c be (6 + -5)/(1/6). Let w be 3/c + 15/(-10). Which is greater: a or w?
w
Let f = -398 + 404. Which is bigger: f or 3/2?
f
Let j = 2.5 + 15.2. Let q = 17.63 + 0.37. Let g = q - j. Is g bigger than 0?
True
Suppose -7*z + 4 = -3*z. Let x be z*-1 + (-10)/(-15). Suppose 0 = -0*s - 2*s + v + 2, -5*s + 3*v + 6 = 0. Is s at most x?
False
Suppose -d + 9 = -2*d. Let k be (6/d)/(4/(-30)). Suppose -3*f + k = 2*f. Are -2 and f unequal?
True
Let d(b) = b**2 - 7*b + 10. Let c be d(5). Let j be 3 - (c + (-3384)/(-2140)). Let k = j + -2/107. Is -0.2 at most as big as k?
True
Let y be (-6)/(-657)*2169/(-38). Let z = y - -15/73. Let w = z - 147/76. Which is bigger: -3 or w?
w
Suppose 4*d + 41 = v - d, -164 = -4*v + 4*d. Is 0.26 at least as big as v?
False
Let n = 47.4 + -39.4. Which is greater: n or -13?
n
Let r = -175 + 229. Which is smaller: r or -0.3?
-0.3
Let m = -123 + 123. Let k = -0.4 - -0.2. Which is bigger: m or k?
m
Let o = -1.189 + 0.189. Which is smaller: o or -0.1018?
o
Let y be (14/56*317)/((-7)/4). Which is smaller: y or -45?
y
Let t = -0.036 + 13.036. Let o = t - 44. Is -2/7 less than o?
False
Let r = 289 - 374. Which is smaller: r or -87?
-87
Suppose -4*b + 17 = 3*j, 3*j = -b + 2*j + 4. Does b = 9?
False
Suppose -w + 4 = -2*l, -8 = -4*w - l + 8. Let k(p) = 2*p - 4. Let q be k(w). Suppose 5*d + 2*t + 32 = 6, 2*d + q*t = -4. Which is smaller: -7 or d?
-7
Let i = 1371.1 - 1371. Which is smaller: i or -736?
-736
Suppose 0*y - 4*y + 20 = 0. Suppose -5 = -27*d + 99 + 85. Which is bigger: y or d?
d
Let h(k) = -8*k - 22. Let d be h(-10). Let y = -100 + d. Is -43 greater than y?
False
Let o(p) = -p - 11. Let k be o(-13). Suppose 0 = 4*h - 5*q + 3, 6 = 4*h + k*q - 12. Which is bigger: h or 1?
h
Let n = 12 + -13.9. Let l = 0.9 + n. Is 0.19 < l?
False
Let h(s) = -s**3 + 3*s**2 - 3*s + 12. Let r be h(3). Are r and 40/9 equal?
False
Let c = 93 + -91.9. Let h be (-20)/6 + (-4)/6. Let n = 6 + h. Do n and c have the same value?
False
Let j = -5573/3776 - -88/59. Suppose 0 = 3*m - 2*m. Which is smaller: j or m?
m
Suppose -4*h = -3*h. Let w be 4/16 + 3/(-15*4). Is h >= w?
False
Let o be 1/((-2464)/(-2471) - 1). Is -352 at most as big as o?
False
Let q be (23/(-115))/((-2)/(-20)) + -1. Let f = -19/25 - 349/100. Which is greater: f or q?
q
Let k be 1 - (5622 - 2)/(-5). Do 0.1 and k have the same value?
False
Let a be (-6 - -5)/(-1)*0. Which is smaller: a or -5/4?
-5/4
Let u be -1*4/24 - (-295)/(-30). Which is bigger: -9 or u?
-9
Let m = -269 + 274. Which is greater: 29 or m?
29
Let q(z) = z**2 - 24*z. Suppose 4*b - 138 = -2*b. Let f be q(b). Is f != -21?
True
Suppose 3*w + 2*p + 225 = 0, 3*w + 1 = -3*p - 224. Which is smaller: -70 or w?
w
Let c be ((13716/(-15))/(-9))/(5/50). Do 1016 and c have the same value?
True
Let f = 4045 + -4017. Let c = -9/14 - -41/42. Which is greater: f or c?
f
Let r = 35 + -42. Let w = 7.5 + r. Is -0.1 <= w?
True
Suppose -y + 22 = y. Let f = y + -17. Let v be (1 - -1)*3/f. Which is smaller: -2/7 or v?
v
Suppose 12*v - 7*v = 0. Let w = 49/33 + -5/3. Is v smaller than w?
False
Let t = 4174/4085 + -16/215. Let f = 68591/50160 + -79/240. Let g = f - t. Is g < 0?
False
Suppose -10*j = -225 - 525. Which is smaller: j or 74?
74
Let x(p) 