(-54). Is l not equal to i?
True
Let z be 15/45 - (-236)/(-42). Which is greater: -6 or z?
z
Let n = 352193/53988 + -287/44. Is -1 at least as big as n?
False
Let k = 626 - 626. Is k < 3/28?
True
Suppose -l + 1 = n - 0*l, -3*l = n + 5. Suppose 4*j + 4*z = 28, 23 = j - 2*z + n. Let y = j + -12. Which is bigger: y or -2/9?
-2/9
Let l = 716 - 715.6. Does 0.29 = l?
False
Let t = 21122 + -3295063/156. Let l = t + -2/39. Which is smaller: l or 1?
l
Let v be (-4)/2 - -4*3*-1. Let d be 0 - 0 - (v - -13). Is d >= -11?
True
Let d = 9/88 - 1/24. Are 0 and d equal?
False
Let g = -3517/319 - -119/11. Suppose -5*i = -4*i. Is i at most g?
False
Let a(h) = -10*h**3 - 50*h**2 + 3*h + 15. Let g be a(-5). Which is smaller: g or 2/1749?
g
Suppose 0 = -c - 3 + 5. Suppose -c*x = -10, -4*v + 3*x - 16 - 3 = 0. Let g be (-4)/(-1 + 3)*v. Is g bigger than 4?
False
Let g = -11 + 29. Let q(o) = 23*o + 22. Let a be q(-1). Is g > a?
True
Suppose -104 = -225*j + 217*j. Is 7 at most as big as j?
True
Let o = -1.79 + 2.79. Which is greater: 571 or o?
571
Let a be 7 - 2/((-1)/(-1)). Suppose a*j = j - 8. Let d be 3 - (4 + 1 + j). Which is bigger: d or 2/21?
2/21
Let c(b) = b**2 + 14*b - 12. Let o be c(-7). Let u be -1*1*o/(-1). Which is bigger: u or -62?
u
Let h(l) = -l**3 + 5*l**2 + l + 5. Let x be h(5). Suppose -4*f + 28 = 5*k, -6*f + x = -f. Suppose -2 - 2 = -k*z. Which is smaller: z or -2/7?
-2/7
Let b(u) = u**3 - 7*u**2 + 7*u - 2. Let c be b(6). Suppose -w - 22 = -c. Let r = w - -22. Is r bigger than 4?
False
Let f = 37/7 + -202/21. Let w be (-1298)/(-264)*4/5. Let y = f + w. Is y greater than or equal to 4?
False
Let u = -1/33 + 83/561. Let q = 91 - 365/4. Which is smaller: q or u?
q
Let q = -3635 - -3100657/853. Is q at least as big as 0?
True
Suppose 0 = 4*w - 12 + 192. Let v = -8 - -9. Is v bigger than w?
True
Let y be 1 - 5/((-20)/16). Suppose 6*b + 5*k = 4*b - 8, b - y = 2*k. Do 1/16 and b have the same value?
False
Let p be 2/21 - (-13)/(50778/(-498)). Which is greater: 5 or p?
5
Let h(b) be the third derivative of -b**4/4 + 4*b**3/3 - 18*b**2. Let d be h(-2). Is 19 smaller than d?
True
Let m(u) = u**2 + 29*u - 31. Let c be m(-30). Let p be (-1)/(-17)*1*-5. Is c greater than or equal to p?
False
Let s = 184 + -180.7. Which is bigger: s or 3?
s
Let h be (-4)/10 - 12/(-5). Let k be -7*(-12)/(-1890)*-9. Is k less than h?
True
Let d = 306/1705 + -5/31. Which is greater: d or -0.2?
d
Let n = 415/6 + -69. Is n <= 39?
True
Let v = 45/2 - 23. Suppose y + o + 12 = 0, 2*o + 52 = -3*y + 3*o. Is v smaller than y?
False
Let m = 13 - 8. Suppose -i = -3*c - 19, 0 = -i + 5*i - 5*c - 41. Suppose -i*k = -m*k. Which is greater: k or 1/3?
1/3
Let d = -301 + 317. Is d smaller than 15?
False
Suppose -6461 = -21*u - 19922. Which is smaller: -642 or u?
-642
Let s be 1 + (2786/126 - (-1)/(-9)). Which is bigger: 19 or s?
s
Let v be 1*(2 - -4 - 1). Suppose 5*h - n = -12, 0*h - v*n - 9 = -2*h. Let m be ((126/(-30))/7)/(1/3). Which is bigger: m or h?
m
Let h = -7 - -6.81. Let c = h - 12.81. Let w = -1369 - -1368.9. Is w != c?
True
Let h = 37.8 + -33.8. Which is smaller: -4/37 or h?
-4/37
Let s = -53 + 84. Suppose -4*x + s = -m, -m + x - 41 = m. Which is bigger: -16 or m?
-16
Suppose 890*l = 896*l - 6. Which is smaller: l or -92?
-92
Let c = -40 - -25. Let n = 69 - 63. Suppose -77 = n*z + 19. Is c >= z?
True
Suppose k - 2*r = -k + 78, 4*k - 177 = -3*r. Let t be k + (-1 - 1) + 5. Are t and 44 nonequal?
True
Suppose -4*y = -2*h, -4*h + 2*h = 0. Let l be (3 + 17/(-5))*(-5)/(-10). Which is smaller: y or l?
l
Let b = 2.77 - -0.23. Let a = 158 + -156. Which is smaller: a or b?
a
Let x be (-6)/4*(-16)/6. Suppose -x = k + s + 3, 2*k - 5*s + 21 = 0. Let f be (-6)/k*6/(-108). Which is smaller: 1 or f?
f
Let o be (-2)/(-22*6/(-72) - 0). Which is greater: 0 or o?
0
Let o(c) = -c**3 + 19*c**2 + 2*c - 38. Let s be o(19). Is s > -3?
True
Let m be (-2)/(-7) + 808/(-14) + 7. Is -51 bigger than m?
False
Let j = 134/13 - 255/26. Is 103 < j?
False
Let x = 100 - 44. Let d = -98 + x. Let z be (0 - 2) + (-96)/d. Do 1/8 and z have the same value?
False
Suppose 6*r - 5*n = 5*r - 14, 0 = -3*r - 2*n + 9. Let v be (-3)/21*6*(r - -6). Which is smaller: v or -11?
-11
Let u be 15/(-6)*2/(-10). Let t = -29.6 + 6.6. Let g = t + 30. Which is bigger: u or g?
g
Suppose 18*j = 17*j. Let g be 0/(-1 + -2 + j). Let y be -1 + (-26 - (-4 + g)). Is y bigger than 0?
False
Let w = -756/65335 + 3/365. Is w smaller than -1?
False
Let y(n) = -4*n**2 + 14*n - 4. Let u be y(3). Suppose -u*x - 1 = -15. Which is smaller: 5 or x?
5
Let s be -15 - 81/(-9) - -25. Let a = -1 + 19. Is a at most as big as s?
True
Let f be 8/(-36) + (-8)/(-36). Suppose -i + 0*i + 18 = -5*o, f = 3*i + 3*o. Suppose 0 = -4*z + 5 + 7. Is i < z?
False
Let y = 5 + -15/4. Suppose -2*q + 6 = 4*c - 0*q, 4*c - 4*q = 24. Let v be (18/(-4) + c)/6. Is y <= v?
False
Let a = 1516 + -1483.27. Let s = a + -33. Let j be 0 - 22/126 - 1/9. Is s < j?
False
Suppose 4*s = 3*b - 44, 0 = 8*s - 5*s - 5*b + 33. Which is greater: s or -110/9?
s
Let c = -38 + 22. Let v be -1*(4 - c/(-4)). Suppose v = 4*o - b + 19, 4 = 2*o - 2*b + 6*b. Which is smaller: -1 or o?
o
Suppose -3*q + 6 = -3*g, -5*q - 4 = -3*g - 10. Which is greater: q or -5/434?
q
Let k be 12/(-8) - (-7164)/200. Let d = k - 9931/175. Let n = d + 22. Which is smaller: 0 or n?
n
Let j = 12 + -2. Suppose -7*b = -16*b + 54. Let l be b/j*(-3 + -2). Is l at most 2/5?
True
Let c be (-5)/2 - (-80523)/32246. Which is bigger: 1 or c?
1
Let b = -472646 + 315435. Let v = b + 3459969/22. Let t = v - 121/2. Which is greater: t or 0?
0
Let s = 1238 - 26006/21. Is s less than 0?
True
Let m = -1 - -1.1. Let z = -353/84 + 30/7. Is m at least as big as z?
True
Let c = 61/45 - -4/9. Suppose 3*b + 6 + 0 = 0. Let s = b + 4. Are c and s nonequal?
True
Let q be 0/(-2) - (-9)/(-2). Let p = -0.103 + 0.463. Let j = -1.36 + p. Are q and j equal?
False
Let p be -6 + 558/(-30) + 1. Which is smaller: -24 or p?
-24
Let z = -5 - 1. Let m be (2/(-8))/(z/(-3424)). Let r = m + 144. Which is smaller: r or 1?
1
Let g = -0.017 + 0.587. Let l = 44.83 - 45. Let p = l + g. Is p != 1/2?
True
Let j = -10 - -2. Let y = -297 - -288. Let p = j - y. Is p greater than 0.2?
True
Suppose -5*c + 4 = z - 2, -3*z = 2*c - 5. Which is bigger: c or 11/8?
11/8
Let f = -91 + 91. Let k be 15/(-3) - (f + 3). Which is smaller: k or -9?
-9
Let d(w) = -w**2 - 8*w + 74. Let h be d(6). Let c be (9 - 0)*2*-1. Is h at most c?
False
Let r = 602 + -537.9. Let q = -73 + r. Let y = q - -9. Which is greater: 8 or y?
8
Suppose -16*o = a - 12*o - 42, -126 = -3*a - 5*o. Which is bigger: 40 or a?
a
Suppose 0 = 39*t - 39 - 0. Let d = -0.24 + 0.3. Let s = 1.94 + d. Which is smaller: s or t?
t
Let s be (-10)/8 - ((-2)/(-8))/(-1). Which is smaller: -1/1306 or s?
s
Let b = 45 + -39. Let m be 10 + -11 + b/(-14). Is m equal to -2?
False
Let u = 73/171 - 6/19. Let w = 3 + 1. Let k = 3 - w. Does u = k?
False
Let h be (-187113)/(-582) - (0 - 3/1). Is 325 > h?
True
Suppose 2*w = 3*u + 5*w - 165, -4*u = 5*w - 222. Let t = 1 + u. Which is smaller: 1 or t?
1
Let v = -158 + 157. Is 28/41 at least v?
True
Let m(l) = l. Let h be m(-1). Let o be 2/(-7) - 1044/(-1449). Let s = -3/46 - o. Is h bigger than s?
False
Let j(p) = 17*p**2 + 17*p + 4*p**3 + 16 - 3*p**3 + 0*p**3. Let s be j(-16). Suppose -5*t - n - 33 = s, -31 = 4*t - 4*n + 5. Which is greater: -9 or t?
t
Let t be (-9 + 11)*2/(-14). Let k be -3 - (-3 - 0) - 0. Suppose 6*z - z = k. Which is bigger: z or t?
z
Let m = 19 - 50. Let y = m - -19. Let g = -11 - y. Which is smaller: -0.05 or g?
-0.05
Let s = 6 - -22. Let c = s + -24. Which is smaller: 2/5 or c?
2/5
Suppose -5*v = -2*v - 2*v. Suppose 6*x - 9*x - 3 = v. Which is bigger: x or 0?
0
Let u(h) be the third derivative of -h**5/60 - 7*h**4/12 - 25*h**3/6 - 13*h**2. Let w be u(-12). Which is smaller: w or -2/5?
w
Suppose -2*x - r + 21 = -x, 0 = -x - 3*r + 31. Suppose -226*w = -229*w + 51. Is x bigger than w?
False
Suppose -3*b + 0*w + 784 = 4*w, 4*w + 1360 = 5*b. Let p be (b/84 - 3)/2. Is p at least 1?
False
Suppose h = -3*h + 28. Let t = h - 5. Let r be ((-6)/12)/(2/(-8)). Is t equal to r?
True
Let q = 648 + -648. Suppose 4*f + 56 - 4 = 0. Which is smaller: q or f?
f
Suppose -16 = -2*a - 3*u, 0*u - 4*u + 18 = 2*a. Suppo