(2 - -2) + f). Is x at least -2/17?
True
Let l(s) = -s**2 - 8*s + 5. Let v(k) = k**2 - 1. Let w be v(1). Suppose 3*z + 2*g + 24 = -w*z, -4*z + 4*g - 32 = 0. Let d be l(z). Which is smaller: 1 or d?
1
Suppose -3*c = -c + 2. Suppose 3*t + 1408 = 4*m, -4*t + 1056 = -m + 4*m. Let y be (3 - m/60) + (-3)/(-1). Is c <= y?
True
Let l be (39/(-42) + 1)*856. Let y = l + -47/35. Let u = y + -60. Which is smaller: u or 2?
u
Let b(f) = -f + 3. Let n be b(5). Let w = 13 - 10. Let h = 1 - w. Is h >= n?
True
Let x(y) = -7*y**2 + 4*y + 3. Let l be x(-1). Let t = 6 + l. Is -2 greater than or equal to t?
True
Let x(q) = 2*q**3 - 3*q**2 - q + 7. Let o be x(5). Do -1 and o have the same value?
False
Let t(b) = b**3 - 18*b**2 - 21*b + 41. Let a be t(19). Suppose 0 = -6*z + a*z. Let y be (4/(-66))/((-12)/9). Which is smaller: y or z?
z
Suppose -51 = 6*i + 57. Which is smaller: -15 or i?
i
Let b = -21 + 7. Let i = -13.8 - b. Which is bigger: -0.01 or i?
i
Let p be ((-80)/(-6))/10 - (-2)/(-6). Is -1/515 equal to p?
False
Let p = 50.1 + -82.1. Is 0.1 > p?
True
Let x = -154/65 + 36/13. Which is smaller: 1.28 or x?
x
Let d = -8.55 + 8. Let c = d - -0.25. Is c bigger than 3/2?
False
Let f be ((-2)/(-1010))/(120/5400). Which is smaller: 1 or f?
f
Let v = -266 + 277. Which is greater: 31/3 or v?
v
Let q(w) = -15*w. Let h be q(-2). Let d = 0.51 + 0.49. Are d and h equal?
False
Let x = 412 + -414. Is x at most as big as -0.16?
True
Let f = -2/51 - 232/153. Let z = 46 + -140/3. Is z < f?
False
Let u = 3 + -2. Suppose -8*n + 56 = -64. Let o be (-5)/n + 1/21. Which is bigger: o or u?
u
Let b = -4.7 - -4.6. Which is greater: 0.022 or b?
0.022
Suppose 5*o - 5*g - 25 = 0, o = -3*o - g. Let a = 1910503798/10057743 - 10/233901. Let n = a + -190. Are o and n equal?
False
Let z = 15.9 + -89.9. Let g = 72 + z. Let b = -0.09 + -5.91. Is b at least as big as g?
False
Suppose 57 = 2*z + z. Suppose -2*u = g - 21, 0 = -3*u + 5*u - g - z. Which is smaller: u or 8?
8
Let j be 30/4 - (-255)/(-51). Let m be (-20)/8*6/(-5). Let p = 2 - m. Which is bigger: p or j?
j
Let b be 579/(-4*(3 + 52/(-16))). Do b and 579 have the same value?
True
Let n(b) = 12*b**3 + b**2 - 1. Let v be n(2). Suppose 5*c - 176 - v = 0. Let l be 6/c + 23/(-115). Is 0 at most as big as l?
False
Let j be -54 + (-2 - 0) + (-8)/(-2). Is -358/7 > j?
True
Let i = 2.6 - -11.4. Let o = 39 - 25. Let y = o - i. Which is greater: -8 or y?
y
Let l = -0.3 - -0.1. Let q = 24 + -20. Suppose 0 = q*i - 4. Which is greater: i or l?
i
Suppose 319*x - 325*x = -2736. Which is bigger: x or 454?
x
Let m = 44/2509 + -212647/250900. Let l = -2/25 - m. Let x = 104/133 - 4/19. Which is bigger: l or x?
l
Let k be 8*4/(-40)*(-120)/8. Let n be (-4)/14 + 429/7. Suppose -z + n = -5*w, -2*w - 13 = -z + k. Is -12 smaller than w?
False
Let x = -1226 - -1114. Is -112 not equal to x?
False
Let g be (-59 - 1)*2/34. Suppose 8 = 2*s - 5*t + 1, -3*s - 2*t = 18. Are g and s unequal?
True
Suppose 0 = t - 6 - 0. Let o(y) = -y + 2. Let j(m) = m**3 + 5*m**2 + 3*m. Let s be j(-4). Let d be o(s). Are d and t equal?
False
Suppose 62 = -11*l + 304. Are l and 91/4 equal?
False
Let k be (4 - -1)*(-2)/(-85). Let n(p) = -p - 7. Let w be n(-9). Suppose -w*j + 11 = -0*q - 3*q, -j = -5*q - 16. Which is greater: j or k?
j
Let f = 12 + -17. Let u be (1/(-34))/(f/180). Let k = u + -160/119. Which is greater: k or 0.9?
0.9
Let c = 5/46 + 335/92. Let f be 4/10 + (-713)/(-155). Which is bigger: f or c?
f
Suppose 3*s + 2 = -2*k - 75, k = 5*s - 45. Is k > -39?
False
Let u = 3893/2 + -1783. Which is bigger: u or 164?
164
Let v = -1275 + 1339. Let h = 4 - -60. Is v > h?
False
Let l = 93.73 + -93. Let k = -0.03 + l. Is k bigger than 1/2?
True
Suppose 0 = 4*o - 3*o - 3. Let i be (-5)/o - (-112)/42. Do i and 3/13 have different values?
True
Let b = -566 + 556. Let s = -0.07 + 0.37. Which is bigger: b or s?
s
Suppose -2*t = 3*t. Let o = -289/37 - -226939/29045. Let r = -4696/5495 - o. Is r less than or equal to t?
True
Let s = 3.74 - 3.68. Which is greater: s or -5?
s
Suppose -2*o = -b - 4*b + 14, 3*o = -2*b - 2. Suppose b*h + 0*h = -22. Which is smaller: h or -3?
h
Let y be (2/5 - 1)/((-7)/35). Suppose -3 = -y*p + c, -p + 3 = -3*p - c. Which is bigger: p or -9/8?
p
Let f be (4/78)/((-3)/(-18)). Let r(p) = -p**3 + 4*p**2 - p. Let o(t) = t**3 - 3*t**2 - 11*t + 5. Let j be o(5). Let c be r(j). Which is smaller: f or c?
c
Let i(u) = 4*u**2 - u + 1. Let o be i(1). Let k be (o - 5)*(-4 + 20). Are k and -16 unequal?
False
Let n = -7906/7 + 1128. Let q be ((-2)/(-4))/((-1)/10). Let d(u) = u**2 + 4*u - 7. Let w be d(q). Is w bigger than n?
False
Suppose -2*y = -6 + 2. Suppose -4 = -3*o - y*k, -3*k + 7*k - 8 = -4*o. Is o equal to 1/7?
False
Let a be (2 - 3/6)/5. Suppose -8*l + 615 = -489. Suppose -138 + l = -m. Are a and m unequal?
True
Let s = -31 + 17. Suppose 18*r = 13*r - 60. Is r <= s?
False
Let d be 7 + (-1 - 20) + 5. Which is greater: -7/3 or d?
-7/3
Suppose -20 = 2*l - 68. Let s = l + -20. Suppose -2*t + 4*h = 0, s*t - 4*h + 27 = -5*h. Is t > -3?
False
Let y = -18/13 + 59/52. Let n = 15.247 + -0.247. Is n at most y?
False
Suppose 4*d - 2629 = 5*z, -2*z - 8*d = -10*d + 1052. Do -525 and z have the same value?
True
Let u(a) = 4*a + 34. Let w be u(-10). Let x be w/2 - (-48)/12. Let s be -6*((-1)/4 + 0). Is s >= x?
True
Let z be (-43 - 1)/((-8)/4). Let q = z - 20. Suppose -4*k + q = -2. Are k and 1/20 equal?
False
Let n be (-1 - -3)/(4842/966 - 5). Let k = -98 + n. Does 63 = k?
True
Let a = 338 - 5405/16. Do 1 and a have the same value?
False
Suppose 0 = -2*s - 2*v + 22, 0*v + 5*v + 8 = 2*s. Let b be s - -1*(-4 + 3). Let g be 6/b*(-48)/90. Is g > 0?
False
Let o = -498 - -723. Is 225 <= o?
True
Let t be ((5/(-10))/(-1))/1. Let d(y) be the second derivative of y**3/6 + 8*y**2 + 3*y. Let k be d(-16). Which is bigger: t or k?
t
Suppose 3*b - 3*y = 15, 5*b - 5 = -0*y + y. Let j be (1 - 1 - 2)/7. Let d = j + 0. Which is smaller: b or d?
d
Let m = 2 + -1.6. Let g = 1.69 + 0.21. Let x = m - g. Which is smaller: x or 0.2?
x
Let k = 1.433 + -1.233. Is k > -265?
True
Let r(y) = 2*y**2 - 26*y + 185. Let t be r(9). Is t less than or equal to -3?
False
Let j = 0.0477 - -22.9523. Which is smaller: j or 3?
3
Let z be 0*(-2 - (-5)/2). Let a = 101 + -100. Suppose -5*r + a = -3*s - 9, z = s + 2*r - 4. Which is smaller: s or 1/11?
s
Let o = 426 - 658. Is o != 1?
True
Suppose 161*u - 36 = -4*k + 157*u, -4*u = 3*k - 26. Suppose 0*j = 2*j - 2*g + 12, -5*j - 15 = -2*g. Is j at least as big as k?
False
Let n = -2 - -14. Suppose j + 4 = n. Let b be j/20*(-5)/(-8). Does b = -1.2?
False
Let f = 55 - 16. Let c = -50 + f. Which is bigger: -2 or c?
-2
Suppose 39*i - 85 = -85. Let v(a) = 104*a - 1. Let u be v(-6). Let x = u - -6869/11. Which is greater: i or x?
i
Let f be 0 + 864/292 - 3. Let w = -107/949 + f. Let b be (-4)/14 - (-5)/(-7). Which is greater: b or w?
w
Let g(y) = -y**2 + 9*y - 8. Let z be g(6). Suppose 2*i = 7*i - z. Let p be ((-1)/(-6))/(3 - i). Which is smaller: p or -1?
-1
Let t = 29 + -21. Suppose -17 - 25 = -3*m. Suppose -m = -o - i - 4, -5*o - i = -46. Is t at least o?
False
Let w be 2*(27/42 - 9/63). Which is greater: 1/52 or w?
w
Suppose -2*y + 253 + 131 = -4*o, 3*o + 286 = y. Let n = 1409/15 + o. Which is bigger: 0 or n?
0
Let h be 3 - 3 - 278/112. Let o = -21/8 - h. Is 1/4 >= o?
True
Let f = -36.871 + -0.129. Does -2 = f?
False
Let f = -100 + 48. Let z = f - -52. Is z not equal to 5/4?
True
Let d be (1374/20)/(10 - 24 - -17). Is 23 at most d?
False
Let q be 39/12 + 4/(-16). Suppose q*s + s = 8. Suppose -5*u - 2*b + 19 = 0, s*b + 9 = -b. Is 4 >= u?
False
Suppose 0 = 4*j - 23 - 529. Let w be j/9 - 4/3. Let u(b) = -b**3 - 8*b**2 - b + 6. Let k be u(-8). Is k > w?
False
Let v be (-2586)/3 - (-7 + 11). Let d be (-12)/8 + v/(-572). Is d greater than 1?
False
Let z = 6101/30 + 371/6. Let k = -264 + z. Which is smaller: k or -1?
-1
Let p be 1 + -10 + (-320)/(-40). Which is greater: -13/32 or p?
-13/32
Let k be 2/(10/(-4) - -2). Let c be (-15)/k - (-3)/12. Let p be 3 - 0 - (12 + (-13 - -1)). Which is smaller: p or c?
p
Let h be (-1 - -1)*(-15)/(-30). Let c be 21/((-945)/18)*5/31. Which is bigger: h or c?
h
Let h(u) = 2*u + 6. Let k be h(-3). Suppose k = -t - 30 + 98. Is t less than or equal to 67?
False
Let x 