 = -2*f + 39. Suppose -11*d = -f*d. Suppose d = 4*y + 4*l + 16, -2*l = 4*y + 17 + 3. Is y < -5?
True
Suppose -2*s = -4*g - 24, -3*g - 7 - 5 = 0. Suppose -j = s - 0. Let a = -205 - -200. Is a <= j?
True
Let p = 75871/57 - 1331. Are p and 1 equal?
False
Let m(d) = 3*d - 12. Let a be m(5). Suppose -a*k + 4*n = -2*k + 4, 4*k - 2*n = -16. Let w be -1 - -1 - (7 + -2). Which is smaller: w or k?
w
Suppose -150 = -8*p - 182. Do p and -10/3 have the same value?
False
Let j(b) = -26*b - 198. Let p be j(-11). Which is smaller: p or 263/3?
263/3
Suppose 6*i - 4*i - 4 = 0. Let l(o) = 2 + 6*o - 5*o + 2*o**2 - 6*o**i - 2*o**2. Let g be l(-1). Is g not equal to -4?
True
Suppose -5*f = 25, 0 = 5*z + 2*f - 7*f - 20. Which is smaller: z or 1?
z
Let p be 66/15 - 12/(-20). Let q be (4/12)/(p/(-3)). Which is smaller: -7 or q?
-7
Suppose 3*b - 81 = -0*b. Suppose 28 = 5*q - b. Suppose -4*r - q = -3. Is r greater than -1?
False
Let d = 3030 - 430257/142. Are -1 and d equal?
False
Suppose 0 = -5*b + 5*w, 3 = 3*b + 17*w - 19*w. Is b != 0?
True
Let q(p) = -7 - 2*p + 7*p - 4*p. Let g be q(9). Let b be -1 + 2 - 2/10. Which is bigger: b or g?
g
Let m(y) = 93*y + 3. Let d be m(-1). Let f be (-2)/(-9) - (-5)/d. Suppose 1 = -a, 3*i = -i - 4*a. Which is greater: f or i?
i
Suppose 0 = -86*m + 21 + 65. Which is smaller: 1143 or m?
m
Let l(k) = k + 7. Let f be l(-7). Let v(a) = -4*a - 7. Let m be v(-6). Do m and f have the same value?
False
Let k be 2/((-13)/(-3) - 4). Let s(z) = z**2 - 3*z + 4. Let g be s(k). Which is smaller: 23 or g?
g
Let r(f) = f**2 + 12*f - 10. Let w be r(-11). Let n = w + 33. Which is bigger: n or 14?
14
Suppose 18*b + 1 = 15*b + 5*v, 4*b + 11 = -3*v. Which is smaller: 2 or b?
b
Suppose 4*z - z + 333 = -5*g, -4*g = z + 265. Which is smaller: -732/11 or g?
-732/11
Let o be 6 + 1 - -6 - 0. Which is bigger: -6 or o?
o
Let w(k) = k**3 - 4*k**2 - 5*k + 13. Let b be w(6). Let h = b - 59. Let a(l) = -2*l - 1. Let i be a(2). Is h != i?
True
Let b = 0.22 - 0.1. Let w = 0.06 - b. Let h = -0.06 - w. Is h at most 1?
True
Let d = 14.2 - 14.56. Is d at most as big as 2?
True
Let u(y) = 3*y - 1. Let j be u(-2). Let o(b) = 2*b - 2. Let t be o(2). Let d be (2 + t + -3)/(-1). Which is bigger: j or d?
d
Let n = 13 + -2. Let f(q) be the second derivative of q**3/6 - q**2/2 - 13*q. Let l be f(13). Does l = n?
False
Suppose 0 = -2*r - 2*q + 2 - 0, r - 11 = -3*q. Let a be 680/(-270)*6/4. Which is smaller: a or r?
r
Let j = 1112 + -1137. Is -212/9 bigger than j?
True
Let g = -63/29 + 8329/3567. Is -1 greater than g?
False
Suppose h + 11 = 5. Let k be (h/4)/(24/64). Is k < -4?
False
Let c = 21071689/90 - 506015689/2115. Let g = -5121 - c. Let p = -6/47 - g. Is p at least 1?
False
Let q = 64/9 - 13349/1881. Let w = q + -2/19. Is w greater than 9?
False
Suppose 5*z - 6*z + 84 = 0. Is 84 at most as big as z?
True
Suppose 0 = 5*k - 2*b - 61, -3*k - 5*b + 45 + 4 = 0. Suppose -6*w = k - 25. Is 15/7 less than w?
False
Let p = 81 - 81. Suppose 2*x = -p*x - 24. Which is greater: x or -16?
x
Let h = 1118 + -1133. Which is smaller: -134/9 or h?
h
Let q = 10 - 32. Let g be q/3 + 3/9. Which is smaller: g or 1?
g
Let n = -203/6 + 98/3. Let c = -24 + 28. Which is greater: n or c?
c
Let x be (34/(-10) - 0)/((-20)/(-100)). Is x less than or equal to -12?
True
Suppose -9*j + 10*j - 3 = 0. Let k be j/7 - ((-12)/(-3))/(-56). Let q(o) = o - 4. Let c be q(6). Is c at most as big as k?
False
Let b = 153/25 - 2423/400. Let q be -2*2/(-4)*2. Suppose -3*f + q + 1 = 0. Is b <= f?
True
Suppose 0*n + n - 5*j = -12, -3*j = -9. Suppose m + 3 = 3*r - n*m, 0 = -4*r + 5*m + 3. Which is smaller: -22/5 or r?
-22/5
Let h = 218 + -223. Is h equal to 2?
False
Let n(z) = 7*z + 132. Let x be n(-26). Is -50 greater than x?
False
Let d = 29.34 + -29.3. Is -2 > d?
False
Let t = -189565/153 - -1239. Is t at most as big as -1?
False
Let x be (-4)/6 + -1 + 2002/(-21). Do x and -97 have the same value?
True
Let r be 363*(-8)/(-36)*3/(-2). Which is bigger: r or -124?
r
Let t = -2778 + 30518/11. Are t and -4 non-equal?
True
Let o = 205.06 - 205. Which is bigger: o or 2?
2
Let f(a) = 2*a**2 - a - 1. Let o be f(-1). Suppose -r = 7 - 9. Suppose r*s + 15 = -5*z, o*z - 3 = 2*s + 5. Which is smaller: 4 or z?
z
Suppose x + 5*g - 21 = 0, -4*g = 5*x - 8*g + 11. Is 2 greater than x?
True
Let u be ((-42)/7)/(-6) - (-27)/7. Which is smaller: u or 5?
u
Let k(d) = d + 32. Let x be k(16). Suppose 9*y = 15*y - x. Let v be 3 + 2/(-2) + 7. Are y and v non-equal?
True
Let y(d) = -d**2 - 7*d - 1. Let f be y(-8). Let v(c) be the first derivative of c**3/3 + 4*c**2 - 8*c - 3. Let t be v(f). Is -2/11 greater than t?
False
Let z = -3 - -5. Suppose 2*c + 0 - 70 = -4*p, -5*p - c + 80 = 0. Suppose -p*r + 38 = 4*r. Is z at most r?
True
Let g be (-5)/(-66)*(-252)/(-315). Let o be 15/(-2)*8/(-12). Let c = o - 6. Which is smaller: g or c?
c
Let l = -46.4 + 25.3. Let x = l - 5.9. Which is smaller: x or 0?
x
Let a = -858 - -858. Is a smaller than -34/55?
False
Let u(t) = 3*t**3 + t**2 - 2*t + 1. Let l be u(1). Let v(x) = -x**2 + 2 + 11*x + 28*x - 3 - 32*x - 8. Let z be v(l). Is 5/3 > z?
False
Let d = -4.43 + 3.03. Is 1/8 smaller than d?
False
Let d be (-3 - (-33)/3)*2. Let b = 16 - d. Is b not equal to -10/7?
True
Let k(p) be the second derivative of -p**5/20 + 2*p**4/3 - 4*p**3/3 + 5*p**2 - p. Let s be k(7). Which is bigger: s or -2?
s
Suppose -2*s + 4*s - 8 = 0. Suppose -2*x + 19 = 5*a + 6, 5*a - s*x + 11 = 0. Is a at least as big as 1/21?
True
Let b be 7*4/45 - (-4)/(-10). Let u be ((-12)/10)/((-1)/(-5)). Let k be (-4)/((-8)/u) - -2. Does b = k?
False
Let y = -0.1 - 0. Let w be (5 + 18/(-4))*0. Suppose -5*g = v - 2*g - 13, -4*g + 16 = w. Are y and v equal?
False
Suppose -3*g = -6, 2*g + 7 = 3*t - 136. Which is smaller: 452/9 or t?
t
Let t = 8 - 9. Let r be 0/(3/1) - t. Let q be 2/6 + 0/r. Which is smaller: q or -1/4?
-1/4
Let o be ((-6)/(-4))/(-7 - (-219)/30). Suppose 63 = o*j + 8. Let c = 13 - 2. Is j bigger than c?
False
Let f = -1.13 + 1.03. Is f > -1/16?
False
Let b = -38144 + 191432/5. Let z = b - 142. Let n = -2.6 - 7.4. Which is greater: n or z?
z
Let l(r) = -r**3 + 16*r**2 + r - 15. Let v be l(16). Is -15 bigger than v?
False
Let g = 13221/2816 - 15/256. Which is smaller: 6 or g?
g
Let b be 84/20 + (-1)/5. Suppose -11 = -3*y + b*m - 8*m, 2*y - 5*m + 8 = 0. Does 3/8 = y?
False
Let c be 15/13095*(5 + -3). Does 0 = c?
False
Let a = 5728 - 74502/13. Which is bigger: -3 or a?
a
Let y = 3.21 + -3.17. Is -0.07 < y?
True
Let s = -14 - -14.1. Let t = 0.16 - s. Let b = -0.19 + 0.49. Is b less than t?
False
Let y = -0.3 + 1.3. Let s = -42.9 + 4.9. Let u = s + 39. Is u at most as big as y?
True
Let r be ((-10)/20)/((-1)/4). Suppose r*q - 26 + 66 = 0. Let k be q - (-1)/(1/4). Which is smaller: k or -15?
k
Let o = -105 + 105.86. Let n = 0.14 + o. Let v = 1 - n. Is -3 >= v?
False
Let l = -42 + 118. Let a = -79 + l. Which is bigger: a or -5?
a
Let m = -1/468 - -1465/28548. Which is smaller: m or 0?
0
Let i(v) = -2*v**2 - 2*v - 1. Let w be i(-1). Suppose 0 = -t + 5*t. Suppose -4*f = 5*x + 12 - 3, -5*x - 5 = t. Is f equal to w?
True
Let k = 1 + 0. Let z = 435 - 1691/4. Let p = z - 12. Which is smaller: p or k?
p
Suppose 3*s = 5*s - 2. Let j = 154 - 401. Let x = 6173/25 + j. Is s less than or equal to x?
False
Let t be (-27)/(-12) - 1/4. Suppose 0 = -5*z - 0*j + 4*j + 5, -2 = -t*z + 5*j. Let k be z*(3 + 9/(-3)). Is -4 greater than k?
False
Let a = -17 - -19. Let u be 7 - ((-12)/a)/(-2). Suppose 0 = 2*x + 4*g - 16, -2*x + u*g - 7 - 1 = 0. Is 6/11 less than x?
True
Suppose -238 = -5*f + 2*g + 99, -4*f + 268 = -2*g. Let l be (20/6)/(1/21). Is l at least as big as f?
True
Let g = 15810/59 + -268. Let v = g + -281/413. Let m(x) = -x**2 + 9*x. Let q be m(9). Is v at most q?
True
Suppose -a - 4*k + 0 - 12 = 0, -3*a + 3*k + 24 = 0. Suppose -i + a = 2*c, -5*i + 32 = -2*c - 0*c. Let b = 3/40 + 7/40. Are b and i unequal?
True
Let b(p) be the third derivative of -p**4 + 2*p**3/3 + 30*p**2. Let v be b(-1). Which is smaller: 0 or v?
0
Suppose -27 = -4*b + 45. Let k(i) = i**3 - 17*i**2 - 17*i + 3. Let l be k(b). Is 0 less than l?
True
Let c be 2/(-6) + (-3135)/45. Let m = c - -137/2. Which is smaller: -2 or m?
-2
Suppose 0 = -3*g - 7*y + 10*y + 762, 0 = -7*g + 3*y + 1762. Is g equa