28*l = 417*l - 6017. Which is bigger: -0.2 or l?
-0.2
Let o = 18659/154510045 + -2/71765. Which is greater: 1 or o?
1
Suppose 9*v + 6655 = 4*v - 3*p, 15*v - 4*p + 19900 = 0. Is -1328 bigger than v?
False
Let m = -0.02417 - 2.97583. Is m bigger than -25/24?
False
Let j be 2636/20 - (-3)/15. Let n be 904/11 - 24/j. Is n less than 1/3?
False
Let v = -234 + 256. Let w be (8 + v/(-2))*(-2)/(-24). Are -2/9 and w non-equal?
True
Let z be (-1)/(-2) - 18/52. Let s = 5269 + -4604.8. Let w = 664 - s. Which is bigger: z or w?
z
Let v be 0/(-1) - 11/((-44)/40). Suppose 0 = 9*r - v*r - 53. Is r greater than -53?
False
Let z be (5/(45/(-6)))/((-126)/108). Let w be 0/(3/(-9)*-3). Is w not equal to z?
True
Let k be -45*26/(-65) + -885. Is k <= -862?
True
Let c = -456447/76 - -6006. Which is smaller: c or 1?
c
Suppose 5*r - 6*r + 5*h + 23 = 0, r = 4*h + 19. Suppose 81 = -r*v + 2*w + 76, 10 = 2*v + 2*w. Is v > -0.037?
True
Let z be 0*(-4)/(-8) - 65. Let k = z - -59. Let l be 2/k + (-245)/(-285). Which is greater: l or 1?
1
Suppose 135*t = 118*t + 272. Suppose 0 = -t*m + 187 + 2725. Which is bigger: m or 180?
m
Suppose 194*d - 177*d = 0. Is d at most -11/296?
False
Suppose 178*i + 1365 = 173*i. Let m be 1920/36*(-1 - i/255). Which is greater: 5 or m?
5
Let j(o) = o**3 + 7*o**2 - 148*o - 1035. Let n be j(-7). Which is smaller: -25/552 or n?
-25/552
Let y = -0.819 + 0.468. Let v = y - 1.649. Is v less than or equal to -49?
False
Let w = -272 + 141. Let v = w + 154. Let l be (6/(-24))/((-18)/16). Is v at most l?
False
Let t = 16758 + -16759. Is t greater than 2/3433?
False
Suppose 0 = 5*u - 4*m - 1830, 2*u + 5*m - 732 = m. Suppose 17*x + 739 = -u. Is x greater than -67?
True
Let i = -400 + 188. Let l = -2732/13 - i. Which is smaller: l or -2?
-2
Suppose 2*s = 10 + 6. Let n(q) = q**3 - 7*q**2 - 6*q - 11. Let m be n(s). Let p = 816 + -819. Is m less than or equal to p?
False
Let u = -541 - -547. Let p be u/9*(-5)/((-10)/(-309)). Which is smaller: -102 or p?
p
Let z(i) = -i**3 + 7*i**2 + 6*i + 9. Let y be z(7). Let r = 2/18689 - -6765404/130823. Which is smaller: y or r?
y
Suppose -5*i + 122 - 42 = -5*s, -5*i + 2*s = -89. Which is smaller: i or -2?
-2
Let n be (-4)/(-6)*-15 - 1653/(-147). Is 1 < n?
True
Let r(x) = -215*x + 5494. Let t be r(8). Is 3773 not equal to t?
True
Let i be ((-3)/4)/(109725/(-266)). Which is greater: i or -1?
i
Let c(i) = i + 22. Suppose 4*a + y + 12 = -2*y, 4*a = 5*y + 20. Suppose a*t = -3*t - 36. Let s be c(t). Is s greater than or equal to 10?
True
Suppose 2*g - 3*t + 173 = 0, -3*t + 63 = -4*g - 304. Is g less than or equal to -287/3?
True
Let b = -31/5 - -109/20. Let s = -253 - -252.974. Which is smaller: s or b?
b
Suppose -199 = -5*s + 641. Suppose -4*c - 8 = 0, 17*c + 844 = 5*r + 15*c. Is r greater than s?
False
Let m = -3659/834 - -15/278. Suppose -4*r + 3*a = 7*a - 12, -r - 9 = -3*a. Suppose r = -3*v - 8 - 7. Is m >= v?
True
Let u be 5/35 - (-14)/(-24108). Is 1 < u?
False
Let p = 1.2302 + -108.3702. Let i = 1.14 + p. Are -1 and i nonequal?
True
Let u be 35 + 0 - (-7 - -8). Let a = 57 - u. Suppose -4*b = -3*i + 70, 2*i + 7 = -2*b + 49. Is i less than or equal to a?
True
Let r = -22 + 31. Suppose -r*v + 8*v = -5. Let c(m) = -3*m + 15. Let f be c(v). Which is bigger: f or -4/29?
f
Let v = 360.552 + -4.652. Let p = -406 + v. Let i = 51 + p. Does -2 = i?
False
Suppose 0 = -2*g + 14, -4*q + 9*g - 24 = 13*g. Suppose 2*t + 32 = 5*l, 0 = -4*t + 5*l - 4*l - 46. Which is smaller: t or q?
q
Let z(d) = d**3 - 24*d**2 - 3*d + 57. Let u be z(24). Let g be (-108)/u*40/12. Let n be ((-2)/(-232))/(81/g + -3). Which is bigger: 1 or n?
1
Let a(u) = u**2 - 31*u + 37. Let h be a(-12). Is h greater than or equal to 1661/3?
False
Let o(p) = 20*p**2 - 3*p + 10. Suppose -1 = h - 7. Let x be o(h). Let f be x/44 - (-14)/(-77). Which is smaller: f or 1?
1
Let y = -41386345/1724 - -24006. Which is bigger: 1 or y?
1
Let d = 189 - 119. Suppose 11*j = j + d. Suppose -j = -4*o - 11. Is o >= -5/6?
False
Let o = 152 + -818. Let n = o - -662. Let r = -2 + 2.14. Which is greater: r or n?
r
Let t(h) = 5*h + 72. Let p be t(-13). Let r be ((-945)/198)/p*4/(-6). Is r <= 4?
True
Let l = 142751/16 + -8913. Is l equal to 10?
False
Suppose 4*w + 8 = 0, 7*r - 2*r - 2*w - 64 = 0. Let t = -16 - r. Let y = 28 + t. Do y and -4/23 have different values?
True
Suppose -2*m + 0*m = -5*d + 30, -2*d + 4*m + 28 = 0. Suppose -2*t + 4*t = 5*z, -z = d*t. Suppose w - 5*g = 18, 0*w = w + 3*g + 14. Are z and w equal?
False
Suppose 34 = -4*b - 118. Is -415/11 equal to b?
False
Let x be (725/(-174))/(58 + -10). Is x not equal to 1?
True
Let u(g) = -19*g**2 - 21*g - 38. Let b be u(-2). Do b and -89 have the same value?
False
Suppose 0 = 2*s - 2*x - 182, 4*s + 2*x + 0*x = 334. Suppose 3*o = -y + s, 2*y - 3*o = 13 + 186. Let n be 91/1 + 7 + -2. Which is bigger: y or n?
n
Suppose 2*r + 198 = 5*o - 2*r, -o = 2*r - 48. Suppose 0 = 3*h - 4*h - 3, -c + 3*h = -123. Suppose 32 - c = -2*t. Is t > o?
False
Let z be 720/(-15)*(-3)/4. Let y be 0*(28/24 + -1)*-2. Suppose z = -2*p - y*p. Which is smaller: -19 or p?
-19
Let q(b) = -b**2 - 9*b + 168. Let c be q(14). Is c greater than or equal to -767/5?
False
Suppose -3*s = -15, 45*g - 41*g + 4*s = 1448. Let m be 42/g + 9252/(-34). Is -272 less than or equal to m?
True
Suppose 0 = 21*i - 19*i + 3*k, k = 0. Suppose i = 9*n + 365 + 130. Is -58 equal to n?
False
Suppose -19*j + 15*j + 5*t = -1393, -20 = 4*t. Let n = j - 266. Which is smaller: n or 74?
74
Suppose 2*v + 5*m + 8 = -15, 0 = -v + m + 6. Is 1/118 smaller than v?
True
Let o = 8613 - 8695. Is o >= -66?
False
Suppose 4*g + 4*v - 10876 = 0, -3*v = 5*g - 2*v - 13595. Suppose -4*q - 1970 = 3*l, -3*q - 84 = -4*l - g. Let j be (-3)/30 - l/(-20). Is j bigger than -35?
True
Let d(k) = 257*k + 1210. Let b be d(-6). Is b bigger than -2?
False
Suppose 0 = c + 1, -171 = -4*j - 4*c + 49. Suppose -12*p - j = 52. Is -57/7 equal to p?
False
Let a = 3403/19 + -179. Let s be 5/(-35)*14/((-2)/(-1)). Is a less than s?
False
Suppose 0 = -29*b + 7391 + 62. Let y = -1021/4 + b. Which is smaller: -3 or y?
-3
Let u(i) be the first derivative of -1/3*i**3 - 4*i**2 - 5*i + 14. Let d be u(-7). Is 24/7 less than d?
False
Let u = -5886925/1406 + 4187. Is u greater than or equal to 0?
False
Let t = -15622 + 16406. Is 1567/2 > t?
False
Suppose -22*f - 1827 = 63*f + 1403. Is -24 less than f?
False
Suppose 2*p = 6*p + 28. Let n be -99*((-7)/3)/p*-1. Do n and 35 have different values?
True
Let w = 24.294 + 1.226. Let j = w + -26. Let v = -0.48 - j. Which is bigger: v or -0.38?
v
Suppose 23*i - 26*i - 1 = d, -d = -i + 5. Let p = -1.016 + 1. Is p smaller than i?
True
Suppose -16*r = 88*r + 10759 - 1295. Which is smaller: -88 or r?
r
Let m be ((-1)/(-2))/(24/(-288)). Let w be m/14 - (-304)/56. Suppose -w*r = -3*r + l - 115, 0 = -2*r - 3*l + 105. Which is smaller: 59 or r?
59
Suppose -127 + 148 = -3*j. Is j at most 8?
True
Let r = -77998207/1693 + 46071. Is r greater than or equal to 0?
False
Let n = -368267828 - -61500457066/167. Let v = n + 1618. Is 1 at least v?
True
Let q(w) = w**3 - 11*w**2 + 40*w - 48. Let y be q(4). Which is smaller: 1/864 or y?
y
Let u be (-19*84/798)/(4/(-18)). Let d = -0.05 - -0.1. Is u bigger than d?
True
Let o = -6.1 + 1.1. Let z = o - -27. Let i = 36855 - 36855.1. Is z less than i?
False
Let m = 292008 + -292017. Let k(n) = -n**3 - 6*n**2 - 7*n - 5. Let t be k(-4). Is m < t?
False
Let j be 700/6 - 6/(-18). Let h = j - 2. Suppose -44 - h = 3*p. Which is greater: p or -52?
-52
Let j be 46/((-1 - 65/(-70))*-4). Suppose -160*g = -j*g - 2. Which is bigger: 0 or g?
0
Let z = 101.56 + -101.56. Which is smaller: z or -70/109?
-70/109
Let t = -122 - -57. Suppose 4*m = -20, -5*i - 133*m + 138*m - 310 = 0. Which is smaller: t or i?
i
Let l be (897/(-805) + 1)/(45/(-14)). Is l less than 1?
True
Suppose -47*h = -69650 - 96747 - 26585. Is 4107 smaller than h?
False
Let v be ((-21)/22)/7*2*(-93)/124. Suppose g = 2*q - 2, -5*q + 2*q - 4*g = 19. Which is greater: v or q?
v
Let s(x) = 84*x + 503. Let m be s(-6). Is -2/519 equal to m?
False
Let p = 5473.08 - 5468. Is 2 greater than p?
False
Let o be 945/378*(-396)/(-10). Which is bigger: 49 or o?
o
Suppose -p - 1 + 4 = 0. Let t be 2 + -5 + (-4 - 6 - -17). Suppose -t*k + 16 = -p*i, -7 = 