2/65 + 8/65. Suppose p = 6*p. Which is smaller: p or l?
p
Let d be (((-120)/6475)/(-2))/(131/325). Let r = d + -2/259. Which is smaller: r or 1?
r
Let s = -590.1 - -590. Let h = -15343/11810 - 1/1181. Is s > h?
True
Let l = 73.8 + -66. Let n = -0.43 - -8.43. Let v = l - n. Are -10 and v unequal?
True
Let w = 20 + -15. Suppose -w*c - t + 81 = 0, -4*t + 36 = 3*c - c. Which is smaller: 14 or c?
14
Let j be (0 - 3)/(15/(-110)). Let u be (-166)/(-8) - 4/(-16). Which is smaller: u or j?
u
Let j be (4/240*16)/226. Which is bigger: 1 or j?
1
Let b(m) = 21*m - 208. Let a be b(10). Let p = 268 - 1059/4. Which is bigger: a or p?
p
Let v = -149 - -143. Is v bigger than 1?
False
Let b(g) = -2*g**3 - 56*g**2 - g - 10. Let i be b(-28). Which is bigger: 16 or i?
i
Let i be (-2)/(2 - 24/14). Let m(r) = -r - 1. Let q(w) = w**2 - 16*w + 10. Let z(s) = -6*m(s) + q(s). Let n be z(6). Do i and n have the same value?
False
Let u be (28 + 8)*(-33)/44. Is -34 > u?
False
Let w = 0.6 - -1.2. Let n = 1.9 - w. Suppose -q - 6 = 2*q. Which is smaller: n or q?
q
Let a = 42 + -208/5. Do a and 6/19 have different values?
True
Let a be (-15)/10*(-10)/3. Suppose a = -10*f + 15*f. Let l be f/3 - (-32)/12. Which is smaller: l or -2/3?
-2/3
Suppose -2*j + 3*h = 4*h, 4*j - 2 = -3*h. Let b = 1 - -18. Let t = j + b. Which is smaller: 19 or t?
t
Let i be (0 - (-25)/(-4))*49/(-70)*4. Suppose -x - 46 = -2*j - 5, -4*x + 45 = 3*j. Which is smaller: i or j?
i
Let n be (-63)/(-2)*(-25)/(525/(-28)). Which is bigger: -6 or n?
n
Let u be (-91)/(-52)*(-4)/80. Which is greater: 0 or u?
0
Let u = 31 + -206. Let t = 343/2 + u. Which is greater: 0 or t?
0
Let y be (-275466)/20916 - -13 - 1/(-6). Are 0 and y unequal?
True
Let d = -63 + 120. Let h = 60 - d. Is -3 not equal to h?
True
Let f = 1 - -1. Suppose -2*c = -5*s + 19, 2*s = -f*c - 3*c + 25. Suppose 4*q - 12 = -2*o, c*q - 2*o - 2 = -0*o. Which is greater: 1 or q?
q
Suppose 4*k + 2 = 14. Let v = 48 + -33. Let z be v/(-10)*k/(-27). Are 0 and z equal?
False
Let u be (17*4/(-10))/4. Let l = u + 6/5. Which is smaller: l or 8?
l
Suppose 0 = -2*a - 1 - 15. Let y be (24/(-32))/(3/a). Which is bigger: 10/13 or y?
y
Let j(a) be the second derivative of a**5/20 + a**4/6 - a**3/6 + 19*a**2/2 + 13*a. Let c be j(0). Is c less than 18?
False
Suppose -4*d = -d - d. Is 5 greater than d?
True
Let a = 10.7 - 8.7. Which is smaller: -0.02 or a?
-0.02
Suppose 4*w = z + 2*z + 32, 16 = 2*w - 2*z. Let q = 11 - w. Suppose -q = 2*l - l. Which is greater: l or -2?
-2
Let l be (161/(-2) - -1) + -11 + 11. Let m = 79 + l. Is m not equal to 2?
True
Suppose -72 = -3*h - h - 4*u, -h + 38 = 5*u. Suppose 5*q + 3 - h = 0. Let z be ((-3)/q)/(6/8). Which is greater: z or 2?
2
Suppose 2*b - 12 = b. Let r(z) = z**3 - 5*z**2 - 9*z - 23. Let f be r(7). Is f > b?
False
Let x = 8 + -6. Suppose -d - 14 = -u, -50 - 15 = -5*u + 4*d. Let g = u - x. Is 6 >= g?
False
Let q be -3 + (8 - 1)/(-1). Let h = 274 + -278. Which is smaller: h or q?
q
Let j be (-2 - 5/((-150)/57))*4. Is j less than -14.77?
False
Let u be 1*(-27)/(-4) + (-9)/12. Suppose u*p + 78 = 9*p. Which is smaller: p or 25?
25
Suppose -3*i - i = 2*n - 2, -3*n + 2 = 5*i. Suppose -9 - 1 = -2*y, -2*a - 2*y = 506. Let v = 252 + a. Which is greater: v or i?
i
Let u(x) = 7*x + 54. Let q be u(-7). Let c be ((-72)/90)/((-166)/q + 0). Which is smaller: -1 or c?
-1
Let s = 0.1 + 0.9. Let k be (2 - 6)/(3/(-15)). Suppose -2*f - 2*f - k = 0. Is f <= s?
True
Let n(t) = -2*t**3 + t**2 - 1. Let r be n(-1). Suppose 2 = -4*i - r*w, -2*w = -1 + 11. Are i and -7/4 non-equal?
True
Let z = -403 + 430. Are 4 and z equal?
False
Let s = -131 + -64. Suppose x = 79 + 29. Let w be (-2)/5 - x/s. Is w <= 0?
False
Let w = -1 - 0. Let t be w + 55/19 + -2. Let g(z) = -3*z + 112. Let r be g(37). Do r and t have the same value?
False
Let u = -1748 + 1744. Which is smaller: u or 38?
u
Let f = -357 + 357. Which is smaller: f or -52/19?
-52/19
Let p = 1 + -4. Let q = p + 5. Let o be q/49 - (-9 - -9). Which is bigger: -1 or o?
o
Let g be (-64)/288 - (-106)/(-9). Is -57/5 less than g?
False
Let r = -1469/989 + 62/43. Let u be 4/(-14) + (-4)/(-14). Which is smaller: u or r?
r
Let m = 3/38 + 2673/76. Is m > 35?
True
Let v = 7 + -10. Let s = -11 + v. Let z = s - -14.2. Which is bigger: 4 or z?
4
Let z be ((168/70)/6)/(2/(-1060)). Is z != -211?
True
Suppose w - 3*v = 2*v - 40, 4*w = -3*v - 114. Let h = 31 + w. Is 1 at least as big as h?
True
Let j be 32/(-64)*(-4)/(-6). Let x = 4 + -4. Let d = x + 1. Is d bigger than j?
True
Let k(q) = 109*q - 5. Let l be k(-1). Are -113 and l unequal?
True
Let c be (-12)/24*(1 + 1). Let a = -51 + 51. Let g be 140/(-45) + (1 - a)*3. Which is smaller: c or g?
c
Let l = -29 + 27. Let g be (l/(-10))/((-4)/(-50)). Which is smaller: g or 2?
2
Let a(s) = -s**2 - 2*s - 1. Let q be a(-1). Let f be (-18)/81 + (24/(-27))/(-4). Let j be -4*(-9)/19 - (f + 2). Is j < q?
True
Let p = 4.63 - -4.37. Let w = 10.14 + -0.14. Let a = w - p. Which is bigger: -0.01 or a?
a
Let r be 13/(91/(-14)) + 1. Is r bigger than -3/1802?
False
Let s be (-1*4)/(2*-3). Let i = 7 + -6. Suppose -4*y = -3*y - i. Is s bigger than y?
False
Let t be -3*(-1 - (0 + 0)). Suppose 32 = c + 3*c - 4*y, -2*c = t*y - 21. Let k = 10 - c. Is 2 at least k?
True
Let h be 4/10 + (-245501)/591665. Let z = h + 2/1621. Which is smaller: 0 or z?
z
Let l be (-3)/5 - (-56)/105. Suppose 3*k + 3*p + 0 = -9, 4*p = -5*k - 10. Let f be ((-1 + 1)*1)/k. Which is greater: l or f?
f
Let y(s) = 2*s + 19. Let t be y(-8). Let p be (7 + -2)*2/75*t. Is 4/25 <= p?
True
Let y = 104.59 + -36.15. Let t = y + -0.44. Do t and 1 have the same value?
False
Suppose -29*k - 5 = -34*k. Which is smaller: -2/2763 or k?
-2/2763
Let a = 52 - 56.3. Let q = 6.3 + a. Let s = -0.1 + 0.1. Are q and s unequal?
True
Suppose -20*v + 16*v - 172 = 0. Is v < -43?
False
Suppose 0 = 8*d - 599 + 47. Is 70 >= d?
True
Suppose -2*k + 63 = 4*p - k, 0 = -4*p + k + 73. Let b = 21 - p. Which is smaller: 7 or b?
b
Suppose -2*c = s - 5*s + 32, -c - 17 = -s. Is c at most -18?
True
Suppose 9*z + 11 = 4*z + 2*l, 0 = 4*l - 12. Let g = 130 + -230. Let f be (-6)/2 - g/36. Which is bigger: z or f?
f
Let w(s) = s**2 - 6*s - 7. Let j(t) = 2*t**2 - 11*t - 13. Let v(h) = -3*j(h) + 5*w(h). Let b be v(3). Let g be (-12)/15 - b/(-5). Are -1 and g non-equal?
True
Let c = -5/704 - -7175/19008. Which is smaller: c or -1?
-1
Let k = -712 - -711. Do 6/359 and k have the same value?
False
Let k = 193.9 - 194. Which is greater: 56 or k?
56
Let w = 182/9 + -2993/144. Which is smaller: w or -2?
-2
Let n = 77182/5 + -15545. Let s = -109 - n. Is s > -1/89?
False
Suppose -2*m = -4, c + 251 = -2*c + 4*m. Let l = c + 1217/15. Is -0.1 less than l?
True
Suppose 1 + 79 = 4*i. Which is bigger: 17 or i?
i
Let h = -3/107 - 1804/535. Let r = 11704118/1955 + -101832/17. Let s = r - h. Is s bigger than 1?
False
Let b = 1.9266 - -0.0734. Which is bigger: b or 499/3?
499/3
Let q(n) = n**3 + n**2 - 35*n + 6. Let v be q(-5). Which is smaller: 83 or v?
v
Let x be 3*3/9 + (-51)/63. Let c be (-176)/630 + 4/18. Let v = c + x. Are v and 1 unequal?
True
Let x = 1092.23 - 1098. Let t = -0.23 + x. Is 2 at most t?
False
Let m be 1/4 + 7/(-30). Let y = m - -23/60. Which is smaller: y or -11?
-11
Let x = -1 + 17. Let u = -92 - -107.8. Let l = x - u. Which is bigger: -4 or l?
l
Suppose 0 = 3*r - 2*r - 2. Suppose 0 = 4*v + 2*p + 340, -5*v + r*p - 541 = -107. Let u be v/350 - (-12)/42. Which is greater: u or 1?
1
Suppose 5*r = 3*f + 105 - 122, -4*r - 3*f = -8. Is 8/29 at most as big as r?
False
Let t = -507 - -489.72. Let x = t + 17. Let y = x - -0.27. Which is smaller: y or 2?
y
Let t = 773/9 - 399650/4653. Is 0 at least t?
True
Let r = 6.14 + -0.14. Let q(y) = -y**2 - 32*y - 157. Let s be q(-26). Which is smaller: r or s?
s
Let o be -15*(2 + -3 - -2). Let p(g) = -8*g + 2. Let l be p(2). Is l greater than o?
True
Let z be ((-4)/(-12))/((-447)/54). Let d = z - 4905/298. Which is smaller: -17 or d?
-17
Suppose 4*t - 9 - 8 = 3*z, 23 = 3*z + 4*t. Suppose z - 6 = 3*y + 4*v, -4*y + 10 = -3*v. Which is smaller: y or 10?
y
Let s = 2265 + -2254. Let q = -4 - -3. Which is smaller: q or s?
q
Let f = 1176 + -1178. Which is smaller: -226 or f?
-226
Let x = 6 - 20. Let a = x + 16. Which is greater: a or 5?
5
Suppose 2