24 = -4*l + 232. Let n be (1/l)/(63/(-84)). Is -133/5 > n?
False
Suppose -3*q + 2 = 5*r - 2*q, 0 = 4*q - 8. Let d be -55*(0 - (1 + r)). Let g = -170/3 + d. Which is smaller: -1 or g?
g
Let o be 26/99 - ((-31)/(-11) + -3). Is o smaller than 0.04?
False
Let u = -97 - -90. Which is smaller: u or 4/3?
u
Suppose -r + n - 12 = -5, r + 23 = 5*n. Let x be r*1*4/12. Let p(a) = -6*a + 2. Let m be p(x). Is m < 9?
True
Suppose 3*r = -0*r + 3*k + 24, -2*r + k = -12. Suppose -6*j + 3*g = -3*j - 6, -4*j - r*g + 16 = 0. Suppose -d + 12 = j*d. Is d greater than 3/2?
True
Suppose -5*q - 24 - 21 = -3*t, -5*t = -4*q - 62. Let l be 2 - 3 - (-28)/t. Let x be ((348/1305)/((-2)/10))/(4/(-6)). Is x less than l?
False
Suppose 0 = -5*p - 41 + 16. Which is greater: -4 or p?
-4
Let k = 0.0386 + -0.0386. Let l = -0.75 - 34.25. Is l <= k?
True
Suppose 0 = -7*q + 12*q - 90. Suppose -3*w + 4*r = -10, 3*w - 3*r - q = 6*w. Is w less than or equal to -3/5?
True
Let s be 6 + (252/(-10) - -4). Do s and -16 have different values?
True
Let y(d) = -d**3 - 10*d**2 - 10*d - 6. Let t be y(-9). Suppose 5*q = s + 45, -t*q = -4*s - 16 - 28. Which is bigger: 5 or q?
q
Let n be (-1036)/(-52) + (-7)/1. Which is smaller: n or 13?
n
Suppose 43*a - 55*a - 12 = 0. Is a less than -1/610?
True
Suppose -y + 5*f = -264, 0 = -2*y + 5*f + 311 + 242. Let w = y - 164. Let t be (-1)/(w/(-40) - -4). Is 0 at most as big as t?
False
Let s(b) = b**2 - 4*b + 3. Let j be s(2). Let c(o) = -o**3 + o**2 - o - 1. Let r be c(j). Suppose 28 = 5*z + u, r*z + 2*u - 9 = 7. Is z <= 15/4?
False
Let p = -0.9 + -0.1. Let t = -0.8 - p. Let x = 154 - 159. Which is bigger: x or t?
t
Let x be 3 - 5/((-105)/(-83)). Let m = x - -145/42. Is 3 at most as big as m?
False
Suppose 0 = 4*u - z - z - 14, 0 = 4*z + 4. Suppose -k - u*k - 20 = 0. Is -3 < k?
False
Let o = -518423/54 - -9601. Let t = -732 + 19766/27. Let x = o - t. Which is smaller: x or -0.06?
-0.06
Let j(z) = 200*z**2 + 7*z + 11. Let m be j(12). Let o = m + -202635/7. Let p = -53 - o. Which is bigger: 1 or p?
1
Let t(o) = 7 + 2*o**2 - o - 2*o**3 - 1 + 3*o**3 - 8*o**2. Let a be t(6). Is a bigger than 0.12?
False
Let z(t) = -t**2 - 4 + 19 + 10*t + 5 - 5. Let j be z(11). Let d be 2*(0 + 5 - j). Is d greater than or equal to 2?
True
Let t = 0.84 - 0.935. Let g = t + -3.205. Which is smaller: -0.2 or g?
g
Let o = -104671233919/4316 - -24251908. Let c = 1/332 - o. Is c less than or equal to -1?
False
Let x = -0.198 + 0.148. Let l(m) = m**3 - 3*m**2 + 2. Let j be l(3). Is j at most as big as x?
False
Let l = 5.149 + 0.051. Let v = -5.3 + l. Do 4 and v have the same value?
False
Let a(n) = -n**3 + 8*n**2 + 1. Let b be a(8). Let d = b + -19. Let z be (-3)/d + 7/30. Is -18 at least as big as z?
False
Let d be 1 + 4/(8/6). Suppose 2*j - 2*l = -d*l + 10, -j + 4*l = -10. Is 7 bigger than j?
True
Let z be ((-15)/(-18) - 2) + 1. Let r = 30 + -28.9. Let q = r + -0.9. Which is smaller: z or q?
z
Let b be 4/14 - (-114)/(-105). Suppose -3*s = 8 + 7. Let p be s + 0 + (0 - -3). Is p smaller than b?
True
Let l = 28 + -4. Suppose 0 = 3*b + 3*c - l, -b = -3*c - 2*c + 4. Let q = 34 + -26. Which is greater: q or b?
q
Let i = -29.723 - -31.723. Let r = -5/12 - -13/28. Are r and i equal?
False
Suppose 0 = -574*d + 564*d + 510. Does 50 = d?
False
Suppose 2*n - 2 + 7 = -3*i, -n = -i. Let r be (-2)/(-5) + (-7)/5. Let w = r + -1. Is n at least as big as w?
True
Let r = 502 + -6522/13. Let j = -1/2142 - 54965/27846. Let s = j + r. Which is greater: s or -2?
s
Let j = -1256 - -1288. Which is smaller: 28 or j?
28
Suppose -1 = -f + 2. Suppose -3*d = -2*o - 2 - 13, -24 = -4*d + 4*o. Is f at least d?
True
Let f = -5.75 - -6.15. Which is smaller: 279 or f?
f
Suppose -4*k = -12 + 4. Suppose -4*o - k*b + 13 = -7, -3*o + b + 5 = 0. Suppose 4 = -c + o. Which is smaller: 1/6 or c?
c
Let t(a) = -3*a**3 + 19*a**2 + 13*a + 3. Let v be t(7). Is v smaller than -8?
False
Let h = 0.061 - -0.479. Let a = -9.54 + h. Which is greater: 0 or a?
0
Suppose 7875 = 42*c - 7*c. Is 225 less than or equal to c?
True
Let y be (1 - 5)/(2/8). Let x be y/104 + (-284)/13. Let i = x - -87/4. Is 1 equal to i?
False
Let g = 540 + -355. Suppose -2*p = -7*p + g. Which is smaller: 38 or p?
p
Let s = -1332319/229 - -5818. Let y be -4 + 6 - (-1395)/(-1603). Let n = y + s. Is n smaller than 2?
True
Let r = -5/27 - -41/513. Let t(x) = -3*x**3 - 47*x**2 + 16*x. Let c be t(-16). Which is smaller: c or r?
r
Suppose -w = 3*q - 3 + 20, -4*w + 2*q - 40 = 0. Let h(o) = -o**3 + o**2 - o - 33. Let n be h(0). Let v = 22 + n. Are v and w equal?
True
Suppose 0 = -4*p - 16*k + 18*k + 86, 0 = -5*p - 3*k + 102. Is 27 equal to p?
False
Let t = 1457 + -1464. Which is bigger: t or -27/2?
t
Let o = 10410578/53025 - 1/17675. Are o and 195 equal?
False
Let z = 9 - 7. Let j = 5 + z. Suppose -5*q - 29 + j = -3*y, 5*q - 5*y + 30 = 0. Which is greater: q or -2/3?
-2/3
Let v be ((7/(-2) + 4)/(-1))/1. Is -27 at most as big as v?
True
Suppose -2*x - x + 17 = -h, 5*x - 5*h = 45. Suppose -u - x*v - 1 = -0, u - 2*v = -7. Let w = u - -4. Which is smaller: w or -1/11?
w
Suppose 2*m - 130 = 4*p, -3*p - 3*m = -2*p + 29. Suppose -c + 216*r - 219*r - 39 = 0, -4*c + r - 130 = 0. Which is smaller: p or c?
c
Suppose -3*k + 83 + 67 = 0. Let r = -50 + k. Is r less than -4/11?
False
Let u(h) = -h**3 - 5*h**2 + 6*h - 4. Let w be u(-6). Let v be -11 + -9 + w/1. Is v bigger than 1?
False
Let k = -2945/44 + 67. Let f be (-3)/((-45)/(-6)) - (-2509)/660. Let i = f - k. Is 4 <= i?
False
Let p(g) = g - 2. Let x be p(2). Suppose -w + 0 = 5*u + 28, 5*w + 3*u + 30 = x. Let r be 4*1*w/6. Which is smaller: -4/5 or r?
r
Suppose 0 = -4*n + 2*n + 6. Suppose 5*m - 3*o = 4*m - n, -2*m + 4*o = 6. Let f be 1*(m + 4)*-2. Which is greater: f or -1/2?
-1/2
Suppose -b + 23 + 35 = 0. Let m = 231/4 - b. Let y = -617/5 - -123. Which is bigger: y or m?
m
Let t be (6/(-27))/(6*(-8)/(-288)). Let o = -1 - 1. Which is greater: t or o?
t
Suppose -4*s = o - 5, -2*s - o = 10 - 15. Is s less than or equal to -138?
False
Let y = 28.8 + -71.8. Which is smaller: y or -1?
y
Suppose 1 + 11 = 3*s. Suppose -s*x = -2*t + 20, 10 = -5*t - 0*x - 5*x. Which is greater: 1 or t?
t
Let f = 14 + -15. Let b be (0 + f)/(2/(-78)). Let z be 123/b - (0 + 3). Is -1 at least as big as z?
False
Let b be 114/27 + 4/(-18). Suppose -m = b*m. Suppose -v = -3 + 2. Which is greater: v or m?
v
Let a be 25/4 - (-2)/(-8). Suppose 139*d = 140*d + 35. Let o be d/(-30) - 2/a. Which is bigger: -0.1 or o?
o
Let h = -39 + 17. Let b be 2 - 3*h/3. Which is bigger: 25 or b?
25
Suppose 0 = 2*l + 4*t - 8, -6 = -3*l + 2*t - 18. Let k be (l/(-4))/(2/(-4)). Is 3/17 at most as big as k?
False
Let o(q) be the third derivative of -q**5/30 - q**4/4 + 2*q**3 + 30*q**2. Let k be o(-5). Is -36/5 smaller than k?
False
Let i = 0.4 + -1.6. Let n = -0.7 - i. Let a = n - 0.4. Which is smaller: -4/3 or a?
-4/3
Let q be (-5)/15 + 6 - (6 + (3 - 4)). Suppose 0*r = r. Let b be r/(2 + -4)*1. Which is bigger: b or q?
q
Let t(h) = 11*h - 96. Let k be t(-24). Is k > -360?
False
Let c = 14 + -9. Let g = 3229 - 3223. Which is smaller: c or g?
c
Let k be (9/(-3))/((-1269)/18). Which is smaller: k or -1?
-1
Let h be (-1110)/75 + 4/2. Let w = h + 13. Are w and 0 equal?
False
Let n be ((12/10)/3)/((-84)/(-60)). Which is greater: 1/3 or n?
1/3
Let x(s) = -s + 13. Let g be x(12). Let z = g + -3/4. Let v = -2/77 - -85/308. Is z not equal to v?
False
Suppose 3*t - 2*u - 175 = 3*u, 3*u + 117 = 2*t. Let z = t - 24. Is 36 >= z?
True
Let b = -14 - -14.28. Let r = -14.72 - b. Do r and -2 have the same value?
False
Let z be 4/(-290)*(-5 + 0). Let j = 48 - 51. Let q(f) = 12*f + 36. Let l be q(j). Which is smaller: z or l?
l
Let k = 12.7 - 14.7. Which is bigger: k or -122?
k
Suppose 5*m + 15 + 12 = -w, 2*w - 3*m + 54 = 0. Let v = 28 + w. Let f be (2/(-3))/((-44)/18). Which is bigger: f or v?
v
Let g(k) = k - 1. Let t(f) = 4*f + 37. Let m(j) = 2*g(j) - t(j). Let a be m(-17). Which is smaller: a or 1?
a
Let h be 0 - (0 + -4) - -2. Let d be (-1634)/(-18) - h/(-27). Let j be (-25)/d - 6/(-14). Which is bigger: 1 or j?
1
Suppose 5*v = 0, -2*j - 8 = -6*j - 4*v. Let t be (-69)/(-5) - j/(-10). Let i(f) = 18*f**2 - 179*f + 4. Let g be i(10). Is g equal to t?
True
Let k(t) be the third derivative of -t**5/60 - 9*t**