-4*f + n = 15. Let j be 1/(2 + f) - 0. Let r be ((-2)/(-4) - -1)/((-207)/12). Which is smaller: j or r?
j
Let h be (-4)/10 - 42/70. Suppose -6*d = -d + 20. Which is smaller: d or h?
d
Let w be (-5*(-10)/(-25))/((-3)/258). Suppose 6*m - 1391 = -359. Is w greater than or equal to m?
True
Let m be (((-46)/3)/((-342)/(-1539)))/1 + -5. Let h = -158 - -232. Let k be -1*h/3*3. Are k and m unequal?
False
Let s be (-40)/(-12)*(-18)/(-15). Let a(z) = -2*z**2 + 5*z. Let p be a(s). Let n be (-148)/(-102) + p/9. Are -1 and n nonequal?
True
Suppose 0 = 10*k - 15 + 5. Let u be (k/1)/((-10)/(-200)). Let n be (1 - 0)*3*u/3. Are 21 and n nonequal?
True
Let c = -122164 - -1024345141/8385. Which is bigger: c or 1?
1
Let y be -1 - (-1)/2*2. Let v = -303 + -51. Let z be (-4)/1 + v/(-84). Which is smaller: y or z?
y
Suppose -5*f = f - 13*f. Let b be (-15)/51*(f + (-1)/115). Is 0 >= b?
False
Let p be ((-78)/(-39))/(1/2). Suppose -3*v = -6, -2*v - v + p = 2*b. Which is smaller: 1 or b?
b
Let m(b) = -2*b**2 + 21*b. Let j be m(10). Let u(p) = -p**3 + 9*p**2 + 9*p + 12. Let d be u(j). Suppose 0 = 5*w - d*l - 5, l + 2 + 2 = w. Is w equal to 3/14?
False
Let m(k) = -7*k + 26*k + 1536 - 1631. Let p be m(6). Is 16 equal to p?
False
Let k be -1 + (-58)/35 - 27/45. Let o = 326/315 + k. Let c = 4 - 6. Which is smaller: o or c?
o
Let m be (-32)/(-144)*(-28 - -1). Is m bigger than -660/97?
True
Suppose 3*j + 125 = -154. Let n(w) = -w**3 + 8*w**2 - 17*w + 46. Let f be n(8). Which is smaller: j or f?
j
Let w = -2.28 - 25.72. Let x = w - 42. Which is smaller: 1/2 or x?
x
Suppose -75*m + 138 = -72*m. Suppose 9 + m = 5*d. Let p = 9 + -1. Which is bigger: p or d?
d
Suppose -2 + 4 = -k - l, -5*k - l + 2 = 0. Let m = -1.9 + 4.34. Let c = 0.56 + m. Which is bigger: c or k?
c
Let z = -1 + -4. Let m(w) = 6*w + 4. Let s be m(z). Let a be 48/(-2376) + (-980)/495. Are a and s non-equal?
True
Let d(q) = q**2 - 17*q - 16. Let g be d(15). Let u = g + 50. Let j(y) = y**2 - 4*y. Let o be j(u). Which is smaller: 1/5 or o?
o
Suppose -3*u + 3*r = -6462, 4*u + 5*r + 501 = 9081. Is u greater than or equal to 2152?
False
Suppose 66*a = -5*f + 70*a - 30, 20 = 4*a. Let d be (142/(-8) + f)*(25 + -29). Is 80 at least d?
True
Let t = -7468 - -6989. Which is smaller: t or -1919/4?
-1919/4
Suppose -151*h - 2025 = -440*h - 116*h. Let c(x) = -x**2 - 6*x - 2. Let j be c(-4). Is h at most j?
True
Let v be 3090/(-440) + 9 + -2. Suppose -p - 3 = -4. Is p at most as big as v?
False
Let w = 6 - -9. Let g = 20 - w. Suppose 4*c = c + g*u - 223, -409 = 5*c + u. Which is smaller: c or -80?
c
Let c be (-448)/336 - 3106/(-2370). Are -1 and c non-equal?
True
Suppose 0 = -96*b + 91*b + 175. Suppose -u - 34 = -b. Which is smaller: u or 1/135?
1/135
Let a be (-3 - -5)/((-17)/((-34)/16)). Which is smaller: -125 or a?
-125
Let y = 57 - 20. Let i(h) = -186*h - 120. Let u be i(-9). Suppose -5*m - 37*m + u = 0. Is y >= m?
True
Let z = -14.82 + -0.18. Let q = 0.8394 + -0.9394. Which is smaller: z or q?
z
Suppose 11*j - 7*j = 0. Let u be (210/(-1127))/((-9)/42). Do j and u have the same value?
False
Let m = 23190 + -26237. Is -3047 greater than or equal to m?
True
Let o = -24321 - -5310. Is o smaller than -19011?
False
Suppose 0*y + 3 = 3*y. Let m be (-39)/(-65) - (-3328)/(-5480). Which is smaller: m or y?
m
Suppose 2*p = 5*k - 296, 2*k + p - 122 = 3*p. Suppose -38*a + a - 1368 = -61*a. Are k and a equal?
False
Let d be -2 + 45/(-63) - (-5)/(210/(-12)). Which is smaller: d or 944?
d
Let j = 1.5439 + 0.9761. Is -8/7 at most as big as j?
True
Let a = -105.02 - -0.02. Let n be ((-2)/10 + 2912/960)*36/408. Is a >= n?
False
Suppose 5*l + 26 = -24. Let n(i) be the second derivative of i**5/20 + 5*i**4/6 + i**3/3 + 10*i**2 - 5122*i. Let r be n(l). Which is smaller: r or 3/13?
r
Let j = 1748 + -1749. Is 10/223 bigger than j?
True
Suppose 2*u - 34 + 28 = 0. Suppose u*j = -2*j - h + 110, 73 = 3*j + 2*h. Which is smaller: 17 or j?
17
Let p be (3*10)/((3 + 1)/2). Suppose 4*b + m + 33 = 0, 0 = 3*b + m + p + 9. Let v be 2/(-8) + b/12. Which is bigger: v or 11?
11
Let o(l) = l**3 + 37*l**2 - 507*l - 63. Let w be o(-47). Which is greater: 1667 or w?
w
Let o be (-6)/9 + (-103)/(-150). Let k = 694 + -694. Suppose -42*h + 17*h = k. Which is smaller: o or h?
h
Let p be (-102 - -62)*(-1)/8 + 118. Are 124 and p unequal?
True
Let q = 5362.23 - 5296. Let k = q + -1.23. Let h = -63 + k. Is -1/3 at most h?
True
Suppose 5824 = -63*v + 55*v. Which is bigger: v or -724?
-724
Let u be 76/(-304) + (-10)/584*-13. Let d be (12/10)/((-4)/(-10)). Suppose a = -5, -2*q = -d*a + 5*a + 8. Is q <= u?
False
Suppose 0 = -49*y + 22*y + 27. Suppose -4*a + y = -2*a - r, 0 = -2*a - 5*r - 17. Are a and -8/15 unequal?
True
Let p be (-54)/126 + 1161/2562. Suppose -6*k = -3*k. Is k > p?
False
Suppose 4*t - 5 = -3*y + 4, -y = -3. Suppose 3*o - 4*z - 49 = 0, -2*z - 11 = -3*o + 36. Let w be 3/(-12) + o/54. Is t at least as big as w?
False
Let s = -1.7 - 2.3. Let r be (-3925)/(-2325) - 60/36. Does s = r?
False
Let k = -6.286 - -0.086. Let v = k + 6. Which is bigger: v or 17?
17
Let s = -2.32 - 0.48. Let z = 4 + s. Let d = 3.001 + -0.001. Do z and d have different values?
True
Let v = -0.58 + 24.58. Let u = -19436 + 19459. Let j = u - v. Does j = -1/5?
False
Let t = 6854 - 6856. Is -790 < t?
True
Let z(q) = 2*q**3 - 35*q**2 - 20*q + 28. Let u be z(18). Let d be 1 - (-2*2 - 1). Let v be (-1)/4 - (d/u - -1). Which is bigger: -2 or v?
v
Suppose 3*w - 4*l - 284 + 1010 = 0, 0 = -2*l - 6. Is -246 at least as big as w?
True
Let o = -284 - -293. Suppose -9394 = o*c - 70*c. Which is bigger: c or 2/3?
c
Let t be (5*(-6)/(-75))/(2/40). Suppose 3*z + 462 = -t*j + 6*j, -2*z = 0. Which is greater: -232 or j?
j
Suppose -p - 88 = 4*i + 3*p, -5*p + 25 = 0. Let w(l) = -48*l - 266. Let q be w(-5). Do i and q have the same value?
False
Suppose -2*g - 2*h = -40, g - 4*h = 7 - 2. Let l be (21 - g)/(2/11). Are 18 and l unequal?
True
Let h be ((-906)/24*-6)/(11/(-4)). Is -82 > h?
True
Let j = 26 - 36. Let u = -10 - j. Let t = 5225/14 - 373. Which is greater: t or u?
t
Suppose 1 = -25*u - 74. Let l be -5*u/15*(-20)/(-4). Let c be (-4)/14 + 328/70. Which is bigger: l or c?
l
Let w be (-27 + (-1744)/(-64))*0. Which is greater: -6/22249 or w?
w
Let o = 28 + -23. Let m = o + -4. Let i = 84 - 83.7. Is m equal to i?
False
Let o = 300.1 + -254. Let t = -13.9 - o. Which is smaller: -0.1 or t?
t
Let u = 22854 - 20686. Is u <= -2/5?
False
Let w = -1157 + 3266/3. Let n be (-7170)/105 - ((-23)/7 + (8 - 5)). Which is smaller: w or n?
w
Let c be -3 + 294/105 + (-994)/30. Suppose 3*w - 6*d = -2*d - 119, -4*w - 157 = -5*d. Is w bigger than c?
True
Suppose 2*p + 3*k + 14 = 17, -5 = -5*k. Does p = 8/223?
False
Suppose t = -7 + 6. Let y be 339/8362*(-4)/15. Does y = t?
False
Let y = -0.482 - 261.518. Let m = 263.9 + y. Let b = -0.09 + 0.19. Which is smaller: b or m?
b
Let o(p) = 2*p**3 - 11*p**2 + 27*p - 283. Let v be o(16). Is v smaller than 5525?
False
Let m = -84.23 + 84.18. Is m not equal to -385?
True
Suppose -3*b + 17 = 5*d, 0*d + 3*b + 19 = 4*d. Suppose 4*s + h = -311, 3*s + 240 = h - d*h. Does -77 = s?
True
Suppose -35*m + 235*m - 3475600 = 0. Is m equal to 17377?
False
Let m = -213097013/2111 + 100946. Which is greater: m or -1?
m
Let m(j) = -2*j**2 - 9*j - 41. Let f be m(-8). Let b be (-3)/2*(f - 65). Which is bigger: 242 or b?
b
Let y be (8 - 13) + 10 + 528/(-105). Suppose -4*n + 0 + 2 = -2*a, 4*a = 4*n. Which is smaller: n or y?
y
Let c = -2607 - -2605. Is c at least as big as -658?
True
Let i be 10/125 - (15 + (-17082)/225). Which is smaller: 554/9 or i?
i
Let t be ((-169785)/(-17185))/49*(-1)/(-12)*2. Does t = -1?
False
Suppose 4*n = 5*n + 4. Let l be (-882)/(-220) + n + 0. Let k be (-33)/(-88) + 6/(-16). Is k at most l?
True
Let b be (-8 + (-130)/30)*(-506)/(-33). Which is smaller: b or -0.2?
b
Suppose 120*s = 97*s + 7406. Is 2259/7 greater than s?
True
Suppose 3*l = 2*w + 228, 2*l - 169 = -5*w - 17. Suppose -l*t - 270 = -61*t. Let u = -3 - -5. Which is smaller: u or t?
t
Let t be (-2*(-5)/(-8)*-4)/(12/84). Is -10 > t?
False
Suppose 21*l - 1642 = 82*l + 5. Is l at least as big as -273/10?
True
Let y = -1847566173640/640313 + 2885411. Let t = y - -8912516629/3841878. Let s = -2314 + t. Which is smaller: s or 7?
s
L