 -m**2 - 6*m + 9. Let k be b(n). Is k bigger than -29?
False
Let u = -5775 - -2027027/351. Is -1 > u?
False
Let z = 0.114 + -0.074. Let v = 5321/364 - -5/52. Let o = v + -15. Which is smaller: z or o?
o
Suppose 5*o + 7 = s + 5, -s - 2 = -3*o. Let h = 11 + s. Suppose 0 = -2*q - 5 + 15. Is h less than q?
True
Suppose 0 = -0*l + 2*l - 2. Let b = -3082 - -27758/9. Which is bigger: l or b?
b
Let x(h) = -53*h - 9. Let q(r) = 9*r. Let b(j) = -6*q(j) - x(j). Let y = -5 - -1. Let p be b(y). Which is smaller: 14 or p?
p
Let b = 327698725047/8155559998910 - -1/144743278. Let j = b - 6/955. Which is smaller: j or 0?
0
Let n = 150106/505 + -1486/5. Which is smaller: 0 or n?
0
Let i = -360 - -370. Do i and -0.24 have the same value?
False
Suppose 4*w = 16, -3*w + 81 = -3*f - 0*f. Let b = 256/11 + f. Which is greater: b or 1?
1
Let g = 14441/208 - 1197/16. Is g bigger than -6?
True
Let b(c) be the third derivative of c**7/5040 - c**6/240 + c**5/10 + 5*c**2. Let y(a) be the third derivative of b(a). Let v be y(6). Is 4 less than v?
False
Suppose 0 = -3*a + 5 + 1. Suppose -3*z + 5*z = 2*w + 2, -6 = a*w - 3*z. Is 2 smaller than w?
True
Let u = 1.7 - -12.3. Let y = 14.4 - u. Is 3 greater than or equal to y?
True
Suppose 4*f = -f + 5. Let h = -861/20 + 214/5. Is f at least as big as h?
True
Let j = -41/2 - -207/10. Which is greater: 0 or j?
j
Let q = -14862 - -14873. Suppose -4*a = 4*h - 60, -2*a - 2*h = 3*a - 75. Are q and a non-equal?
True
Suppose 234 = -5*h - 13*h. Is h greater than -7?
False
Let g be 30/8 - 2/(-8). Suppose -34 + 33 = -q. Let t be q*(-7)/((-14)/10). Which is greater: g or t?
t
Let o be (21*(-4)/(-5))/(13/65). Let p = 85 - o. Let k be (-3)/(-5)*4/6. Is p not equal to k?
True
Let p = -5 - -5. Let z be 10/20*(-20)/(-14). Do z and p have different values?
True
Let z be (-65474)/11590 - 12/(-2). Let c = -1123/5 + 68488/305. Let v = z - c. Which is smaller: v or 0.1?
0.1
Suppose -4*m + 3*m = -2. Suppose 4*f - 20 = -2*y, -m*f + y - 6 = -2*y. Suppose -4*x + 23 = 3*j - 0*j, -4*x = 5*j - 25. Do j and f have the same value?
False
Let d(f) = -f**3 - 4*f**2 + 3*f - 3. Let s be d(-4). Let q be 3/5 - (-9)/s. Let c = -85/4 + 21. Is q bigger than c?
True
Suppose 3*c - 14 = -i - 2*c, c = 2. Suppose 0 = -3*b + 6, 4*z - i*b + 26 = -2. Are z and -5 equal?
True
Let j(k) = 3*k - 101. Let m be j(37). Is 11 greater than m?
True
Let d(r) = -21*r - 1038. Let n be d(-49). Which is smaller: 41 or n?
n
Let j = 2 + -1.7. Let n = -54/7 + 129/14. Is j bigger than n?
False
Let j = 1 - -9. Let z(w) = 10*w - 178. Let a be z(19). Are j and a non-equal?
True
Let s be (8/200)/(2/6). Let l = 724 - 725. Which is greater: s or l?
s
Let d be 40/(-15)*(0 - 3). Is d != -2/7?
True
Let o be (-10)/25*10*2/(-8). Let i be 4/417*6/(-4). Which is smaller: o or i?
i
Suppose 17*c - 136 = 50*c + 326. Let l be (1/(-5))/(5/(-10)). Which is smaller: c or l?
c
Let b = -9834092/174915 + -2/19435. Which is smaller: b or -55?
b
Let y be 8 + (20650/(-21))/(-10). Is y greater than or equal to 106?
True
Let q = -313 + 327. Is 115/9 at most q?
True
Suppose 0 = 5*t + 4*z - 363, 144 = -0*t + 2*t + z. Which is bigger: t or 72?
72
Let b be ((-2)/4)/((-3)/12). Suppose 2*h + 3*w = 21, -2 = 2*h + 4*w - 28. Suppose 4 = h*x - b. Is 3 at most x?
False
Let n = 11 + -7. Let b = -27 - -30. Suppose 4*m + j - 7 = 0, -n*m - j = -2*m - b. Is 3 < m?
False
Suppose -24 = -2*n + 6*n. Let y be ((-9)/n)/(165/(-6)). Is -1/3 > y?
False
Suppose -244*b + 225*b + 2204 = 0. Is b <= 577/5?
False
Suppose -y = 4*h - 11, 7*h - 2*h - 20 = 0. Which is bigger: -19 or y?
y
Let q be ((-16)/(-168)*-9)/((-2)/7). Let c = -1573/40 - -345/8. Which is bigger: c or q?
c
Let h be (-90)/988*(2 + 10/(-6)). Let b = -7/38 - h. Let k = -2 + -1. Which is bigger: k or b?
b
Let m = 28 + -27.56. Let l = -0.14 + m. Let h = l + 0. Which is smaller: h or -3?
-3
Let n(x) = -x**2 + 19*x - 7. Let b be n(0). Is b greater than -62/9?
False
Suppose 3*b + 5*v + 87 = 0, -97 + 34 = 2*b + 5*v. Which is bigger: -31 or b?
b
Suppose -5*d + 18 = 2*u, -4*u + 0*u - 4 = 0. Let v = 180 + -108. Let z = v - 69. Which is greater: d or z?
d
Let a be 314/(-106) + (-11 - -14). Which is greater: -0.02 or a?
a
Suppose 0 = q + 4*q - 5. Let r be -18 + 8 - -4 - (-418)/70. Which is bigger: r or q?
q
Let f = -4/587 + -56284/9979. Which is smaller: -7 or f?
-7
Let t = -647/1980 + 35/198. Let n = 3 - 4. Which is bigger: t or n?
t
Let w = 434 - 312. Which is bigger: w or 123?
123
Let g = 36.65 - 36. Let a = -0.65 + g. Is 2.2 not equal to a?
True
Let p be (-2)/4 + (-10)/(-4). Let t = 1070 + -7493/7. Which is bigger: p or t?
p
Let z be (-40)/6*-15 - 2. Suppose -6*f + z + 10 = 0. Which is greater: 20 or f?
20
Let w = 8 - 7.9. Let z = -1 + 4. Let l = -12 - z. Which is greater: w or l?
w
Suppose -5*x + 0*j - 2*j = 1, -5*j = 4*x + 11. Suppose -z + x = -2*z. Let m be 9/(-21)*35/10. Is z greater than or equal to m?
True
Suppose -4*c + 45 + 35 = 0. Let n be ((-2)/10)/(24/c). Which is bigger: -3 or n?
n
Let b be (6/5)/(3/10). Suppose 3 + 8 = -h + 4*k, b*h + 2 = -5*k. Let u be (-2 - -4)*h/(-33). Which is smaller: u or -1?
-1
Let d be (-45)/60*(2 - 0). Is d > 9?
False
Let z be (-194435)/32412 - 1*-6. Which is smaller: z or 0?
0
Let w be 9/(-6)*((-16)/(-3) - 6). Which is smaller: -3/262 or w?
-3/262
Let q(w) = -2*w + 10. Let b be q(8). Let j be ((-2)/b)/((-168)/(-36)). Let t(s) = s**2 - 4*s + 3. Let f be t(3). Which is bigger: f or j?
j
Suppose 16 = -5*h - 3*j + 9, 0 = -4*h - j - 7. Let s = 0.2 + 5.8. Let d = s - 6.08. Which is bigger: d or h?
d
Let i be ((-1)/(-3))/(3/18). Let z(c) = 2*c**3 + c + 2. Let p be z(i). Let x be (8/(-20))/(2/p). Is -9/2 at most as big as x?
True
Suppose -2*n - 52 = -3*z, -5*n = -5 + 15. Let b be (-4)/(-19)*(-4)/z. Do b and -1 have the same value?
False
Suppose 0 = 28*q - 16 + 1444. Which is smaller: -45 or q?
q
Suppose 3*v = -6 + 3. Let c(n) = n**2 - 2*n - 3. Let w be c(-5). Let a = w + -159/5. Is a bigger than v?
True
Let n = -136 + 163. Let l = 3 + -4. Which is bigger: n or l?
n
Suppose 5*v = 2*s + 4989, -4*v = -0*s + s + 2527. Let z = s - -55163/22. Let b = z - 131/374. Which is smaller: -1 or b?
-1
Let z(i) = i**3 + 43*i**2 - 3*i - 131. Let h be z(-43). Is h not equal to -63?
True
Suppose -13*f - 2283 = -775. Which is bigger: -118 or f?
f
Let y(t) = -7*t**3 + 17*t**2. Let p(m) = 15*m**3 - 35*m**2 + 1. Let f(j) = -6*p(j) - 13*y(j). Let u be f(11). Which is greater: u or -22/3?
u
Let m be 2/(-6)*(8 - 68 - 3). Is m <= 16?
False
Let j(a) = 14*a + 468. Let z be j(-32). Which is smaller: z or 23?
z
Let c = 62 - 61.83. Let m = c + -0.27. Are 1/7 and m non-equal?
True
Let z = -60 - -59. Is 2/1213 at least as big as z?
True
Let j = -0.1 + -0.9. Suppose -123 = 26*g - 1007. Is g at most j?
False
Suppose 0*v = 12*v + 48. Let n be (3 - 11/3)/(v/(-6)). Is -24 < n?
True
Let x be 1/(-10)*-2 + (-72)/60. Is 2/1991 > x?
True
Let x = -53.57 - -53.7. Does x = -1/13?
False
Let o be (-6)/15 - ((-141)/90 + 1). Let m be (-87)/36 + 4/2. Let g = o + m. Which is smaller: 2 or g?
g
Let w be (6 + -7)*3 + 4. Are w and -2 non-equal?
True
Suppose -2*u - 1120 = -2*i, -i + 1119 = -4*u + 2*u. Is -558 at most u?
False
Let l = -15.3 + 15.28. Is l equal to 48?
False
Let c = 3/29 + 139/58. Suppose 0 = 3*z - 7 + 1. Suppose z*u = 5*s - 14, 4*s = 4*u - u + 7. Is c <= u?
True
Let g = 2 + -3. Let l be -2*(357/(-6) - -4). Let s = l + -108. Which is smaller: s or g?
g
Let t = -119.4 - -6.4. Let o = 118.9 + t. Let l = o - 0.9. Which is smaller: l or -1?
-1
Let z be ((-30)/8)/(3 - (-1539)/(-504)). Which is smaller: z or 75?
z
Suppose 0 = 5*j - 25, 5*j - 6 - 25 = -3*f. Suppose -40 = f*m + 2*m. Let d be 2/(-5)*m/(-12). Which is bigger: -0.2 or d?
-0.2
Let r(n) = n**2 + 54*n + 135. Let w be r(-34). Is w at most -545?
True
Suppose 5944 = 5*s - 3856. Suppose -7*j + s = j. Let u be 2/(-9) - j/(-1386). Which is greater: u or -1?
u
Let u be (-6 - 57/(-9)) + 4 + -6. Let g(y) = -y**2 - 6*y - 4. Let k be g(-4). Suppose l + 5 = -k*l. Is u less than or equal to l?
True
Let i = 374 + -381. Which is bigger: -105/17 or i?
-105/17
Let o = 48 - 119. Is -66 less than or equal to o?
False
Let o be 3213/(-252) - 3/(-4). Suppose 21 = -2*i + 7. Let x = o - i. Is -7 at most as big as x?
True
Let u(t) = -2 - 6 + 0 + 11 - t. Let o be 94/18 - 2/9. 