 -15 - -1 - 5 - u. Is -20 at most g?
True
Let q = -11/380 + -1/228. Let w(k) = k**2 - 15*k + 54. Let v be w(9). Which is greater: q or v?
v
Suppose -7*m - 165 = -459. Let t be -1*(0 - (1 + 42)). Which is smaller: m or t?
m
Let a be 3891/(-15) + 6/(-10). Which is smaller: -257 or a?
a
Suppose 0 = 2*d - 0*d. Let k be ((-2)/6 - 8/(-12))*-6. Which is smaller: d or k?
k
Let k = -5 - -11. Let o = -6 + k. Let r = o + -0.1. Which is bigger: 0.2 or r?
0.2
Let w(t) = -25*t - 26*t - 23*t + 17 + 75*t. Let y be w(6). Which is bigger: y or 22?
y
Let m(l) = -l**3 - 15*l**2 - 47*l - 12. Let k be m(-10). Which is smaller: -40 or k?
k
Let t be (-4)/30 + (-448)/15. Let w = -35 - t. Let i be 2*w/(-170)*1. Which is greater: i or 1?
1
Let o be ((-5820)/152)/(-15) + (-1)/(-2). Is 3 less than o?
True
Let a be (-147)/(-28) + -5 + 7015/20. Is a equal to 350?
False
Let g = 415 + -418. Which is smaller: g or 20?
g
Let n = 4 + -6. Let l(g) = -g**3 - 6*g**2 - 3*g + 10. Let o be l(-5). Suppose -4*i = 4*b + 20, o = -3*i + 5*b + 15 + 2. Which is smaller: i or n?
n
Suppose 0 = 4*u + u + 15. Let k be 6*((-2)/u - 2). Let x(b) = -b**2 - 7*b. Let n be x(k). Is 2 < n?
False
Suppose -11*m - 16 = -38. Let i be (-1)/(-4) - 6/(-24). Which is greater: i or m?
m
Suppose -51*x = -31*x - 5300. Is x greater than or equal to 267?
False
Let a(z) = -z**3 + 4*z**2 + 4*z - 3. Let y be a(4). Suppose -12*n = -y*n + 7. Let h be (6/20)/((-21)/n). Is h less than 1?
True
Suppose -3*a - d = 3697, -5*a - 6135 = 5*d - 10*d. Which is bigger: -1230 or a?
-1230
Let w be -24*(0 + 2/4). Suppose -c - 4*l + 2*l = -3, 3*l = c - 3. Let m be ((-99)/(-27))/((-1)/c). Is m >= w?
True
Suppose 0 = -5*u + 21 - 31. Let s be u*(4 - (-75)/(-20)). Which is smaller: -2 or s?
-2
Let c = -130 - -131. Which is smaller: c or -16.9?
-16.9
Let y be (-2 + (-19)/(-3))/(28/3012). Let h = -465 + y. Which is greater: 2 or h?
2
Let m = -19207/131604 - -19/132. Which is smaller: 1 or m?
m
Let l be 2/(-10) + (-33)/(-15). Suppose -10 = 5*q + l*i + 3*i, 11 = -q - 4*i. Let b = 10 + -11. Which is bigger: b or q?
q
Let g be ((-9)/(-12) - (-11)/(-44))*-12. Let i(k) = k - 12. Let f be i(6). Is f < g?
False
Suppose 39 - 64 = -f. Let i = f + -81. Which is bigger: i or -1?
-1
Suppose -3*g + 12 = i + i, 0 = i + 5*g - 13. Let r be 1*(-1 + -3 + i). Is r greater than 2/13?
False
Let i be (0 - 106/36) + 3. Which is bigger: 1 or i?
1
Let t be (-3 - 66/(-21))*-6. Let u be ((-30)/24)/((-1)/4). Suppose 15 = -u*o + 5. Is o greater than t?
False
Let x(c) be the third derivative of -c**4/6 + c**3/2 - 12*c**2. Let p be (-3 + 5)*(2 - 1). Let g be x(p). Is g > -5?
False
Let y(n) = -2*n**2 + 34*n. Let c be y(17). Which is smaller: c or -1/45?
-1/45
Suppose -46*z - 42 = -44*z. Which is bigger: z or -14?
-14
Let d be ((-24)/27)/4 + (-24765)/459. Let g = d + 54. Is 0 at least g?
True
Let q = -0.74 + -9.26. Let s = -5 - q. Is 11 at most s?
False
Suppose 0*p = 3*p - 3*i - 15, 5 = p - 4*i. Suppose -2*r + 136 = p*a + 2*r, 2*r - 56 = -2*a. Let k = a - 49/2. Are -0.06 and k non-equal?
True
Let c be 852/210 + (-16)/280. Let g(n) = -2*n - 8. Let x be g(-6). Are c and x unequal?
False
Suppose 2*v - 5*v = 4*n - 11, 0 = -3*n + 5*v - 28. Let w be 12/8*(n - -3). Suppose -18 = -5*d - 2*l, 2*d - w*l = 2*l - 16. Is 4 greater than d?
True
Let l = -201.1 + -32.9. Is l < 4/3?
True
Let f be (-10)/(-3)*(-21)/(-14). Suppose f*o - 2*m - 22 = 2*m, 5*o = -4*m - 2. Suppose -4*u + 5 = -5*c, 0*c - c + o*u = 1. Is -2/7 at least as big as c?
True
Let o = -64.75 - -64. Let p = -1 - o. Is 0.1 > p?
True
Let z be (21 + -6)*25/(-18). Let y = 2893/138 + z. Is y greater than or equal to 0?
True
Let f(w) = -10*w**3 - 3*w**2 + 1. Let m be f(-1). Which is smaller: m or -17?
-17
Suppose m - 5 = 6*m. Suppose 0 = p + p - 3*l + 21, -p = 3*l - 3. Let d be p/(-8) + 66/(-216). Which is smaller: m or d?
m
Suppose -48 = 4*b - 5*o, 2*b + 161*o - 36 = 156*o. Suppose -2*q + q + 7 = -x, -5*x = 2*q + 14. Suppose -q*p = -0*p. Which is smaller: b or p?
b
Let g(s) = 12*s**2 - 3*s - 1. Let r be g(1). Suppose -r + 10 = 2*m. Is m equal to 3/10?
False
Suppose -h = 2*c + 5, 2*c + 3*c - 28 = 2*h. Let l = -7 - -2. Let b be 42/l + 2/5. Is h at least as big as b?
False
Let j(l) = -9*l**2 - 23 + 4*l - 8*l**2 + 16*l**2 - 3*l. Let x be j(6). Which is smaller: x or -52?
x
Suppose 12*y - 4*y - 40 = 0. Is 4 equal to y?
False
Let f be 5 + (-171)/18 + 3/6. Are -43/14 and f equal?
False
Let u(f) = f**2 - 6*f + 6. Let s be u(4). Let q be (-42)/10 + (-2160)/75 + 29. Which is bigger: s or q?
s
Let n = -1.13 - -4.12. Let j = n + -3. Let k(p) = -p**2. Let c be k(-1). Is j bigger than c?
True
Let k be ((-4)/(-18)*-3)/((-2)/12). Suppose -k*v = -5*v + 6. Which is bigger: v or 0?
v
Let p = -1106227/2546 - 5/1273. Is -434 bigger than p?
True
Let k(s) = 6*s**3 + s**2 + s - 1. Let t be k(1). Let h(z) be the first derivative of z**2/2 - 6*z + 81. Let l be h(t). Which is greater: 2 or l?
2
Let x(f) = -24*f - 477. Let j be x(-20). Let m be ((-5)/((-15)/63))/10. Which is smaller: m or j?
m
Let h = -5 + 1. Let l = 14 - 10. Let s = l + h. Is s at most -0.1?
False
Suppose 58*c = 36*c + 22. Are c and -1/53 unequal?
True
Let c(v) = 2*v - 8. Let s be c(6). Suppose 22 = -9*d + s. Let t(l) = -l**2 + 7*l - 9. Let r be t(6). Is r smaller than d?
True
Let d = -209 - -47. Do -161 and d have the same value?
False
Let m = -142.9 - -144. Which is greater: 3/5 or m?
m
Suppose -3*m + 2*m = -w + 11, -4*w = 4*m - 60. Suppose 0 = -8*d + w*d + 40. Is -12 > d?
False
Let i = -13 + 8. Let t = -10 - i. Let q be 15 + (t - (0 + -3)). Which is smaller: 12 or q?
12
Let n = -112/19 - -19562/3325. Let t = 187/1050 + n. Do t and 1 have different values?
True
Suppose 0 = -m + 4*m. Let n = 6 + -9. Let y = 35/12 + n. Which is smaller: m or y?
y
Let c = 191/51546 + 37/363. Let x = c - 2773/710. Which is greater: -4 or x?
x
Suppose -3*t = 2*l + t - 30, 4*t - 5 = 3*l. Suppose -l*u - 12 = 28. Does u = -5?
False
Let z be -1*(2282/469 + (-7 - -2)). Which is bigger: 0 or z?
z
Let n = -4/51 - -242/51. Are 5 and n nonequal?
True
Suppose 9*w - 4*w + 3 = v, -v = 2*w + 4. Is w smaller than 3/95?
True
Suppose 4*q - 3*x + 15 = 0, 19 = 4*x - 1. Is -34/59 bigger than q?
False
Let o = -933 - -523. Is -410 less than o?
False
Let b(h) = h**2 + h - 2. Let u be b(0). Suppose -2*l = 3*l - 135. Let o be (-6)/(-12)*(-60)/l. Which is smaller: u or o?
u
Let p = -27 + 6. Let m(u) = u**3 - 4*u**2 - 2*u + 6. Let k be m(5). Let g = k + p. Which is bigger: g or 6/11?
6/11
Let b(s) = -6*s - 6. Let n be b(-4). Let j be (-2)/(n/14 + -1). Let h = -33 - -26. Is j less than or equal to h?
True
Let j = 2701/1155 + -2/385. Let k = -617 + 617. Which is bigger: k or j?
j
Suppose 16 + 20 = 4*f - 3*s, -3*f = -4*s - 34. Suppose 3*i - f*i = 0. Let c = -1.29 + 3.39. Is i equal to c?
False
Let m = -0.094 - 5.506. Are m and -1 unequal?
True
Let n be 1/(-4 + 2 + 3). Suppose 5*l - 14 - 36 = 0. Let x be l/(-30)*n*9. Which is smaller: -4 or x?
-4
Suppose 1059 = 9*q - 156. Which is smaller: 1 or q?
1
Let r(x) = -2*x**2 + x - 2 + 4*x**2 + x**3 - x**2 - 7*x**2. Let n be r(6). Let q be (n/6)/(22/(-561)). Does -17 = q?
True
Let s = -30.42 - -1.42. Which is bigger: s or -3?
-3
Suppose -3*b = 4*b - 35. Suppose -b + 3 = -2*c. Which is smaller: 0.12 or c?
0.12
Let j(o) = 11*o + 1166. Let c be j(-50). Which is smaller: 615 or c?
615
Suppose 18*d = -19*d - 1036. Let g be -43 - 0/(-1 + -1). Let y = d - g. Is y smaller than 15?
False
Let x be ((3 - 144) + 3)*(-3)/6. Which is bigger: x or 211/3?
211/3
Let i be -7*((-1)/9)/(10/(-30)). Suppose -4 = -3*h + 2, 0 = -2*y - h + 2. Let v be y - -2 - 6/2. Is i at least as big as v?
False
Let k(r) = r**2 - 12*r. Let n be k(8). Which is greater: n or -31?
-31
Let o = -757.7 - -757.2. Let n = 0.07 + -0.01. Which is smaller: o or n?
o
Suppose -32*c + 113*c = 405. Does c = -183?
False
Let c = -49 - -55. Let r be 1*(-1 - c/27) - -1. Which is greater: 1 or r?
1
Let h be (-2)/6 + 57/18*2. Let o(y) = 85 - 85 + y**3 + 10*y - 8*y**2. Let p be o(h). Is -11 less than or equal to p?
False
Let j(u) = -u**2 - 10*u - 2. Let o be j(-5). Let k(q) = q**2 + 50*q - 29. Let p be k(-51). Are o and p non-equal?
True
Let m = -5 - -8. Let j(a) = -4*a + 4*a + 3*a - a**2 + 0*a**2. Let y be j(m). Is y bigger than 2/25?
False
Let o(z) = -z