Let o = 194 + -183.1. Let z = o - 11. Is z less than -4?
False
Let l be 0*((-3 - -6) + -2). Let f = 0 - 1. Which is smaller: f or l?
f
Let y = 2 - 3. Let b be (-9)/3 - (1 + -4). Which is bigger: b or y?
b
Let w be (78/9)/((-4)/54). Let j be ((-13)/w)/(4/18). Which is smaller: 2 or j?
j
Let u be 0 + 4 - 6/2. Suppose -3 = -4*p + p. Is u less than or equal to p?
True
Let z = 273/2875 + -1/125. Suppose 3*d = 3, 19 = 2*p + 7*d - 2*d. Suppose 5*n + 20 = 5*r, -2*n - 5*r = -4*r - p. Which is smaller: z or n?
z
Let h be 16/(-7) - 2/(-1). Let k = 3.044 + -0.044. Which is bigger: h or k?
k
Suppose 4*w + 36 = 3*k + 2*k, -16 = -w - 5*k. Let r = w + 6. Suppose r*a - t - 3 = -0, -15 = 5*t. Is a at least as big as 1?
False
Let a be 24/20*(-30)/(-63). Let z(j) = -j**2 + 4*j + 2. Let l be z(3). Suppose -l*x - 3*t + 2*t + 3 = 0, -x = t - 3. Is a less than or equal to x?
False
Let z be 0 + -4 - (5 + (-8071)/896). Which is smaller: z or -1?
-1
Suppose 2*l - 8 = 0, l = 3*p + 3*l - 140. Suppose 4*h = 2*h - 3*b + p, 2*h = -b + 48. Let r = 99/4 - h. Which is greater: r or 1?
1
Suppose -2*w - 80 = -4*w. Let y be (-2)/w*(-8)/3. Suppose 0 = 2*x - 0 - 2. Which is smaller: y or x?
y
Let w = -25 - -11. Which is smaller: -12 or w?
w
Let k be 4/3*(-3)/(-2). Let v be (k/6)/((-12)/9). Which is greater: 2 or v?
2
Let s = 4.7 - 5. Let o = -1.6 - s. Is o >= -1?
False
Suppose 0 = -4*c - 0*c - 72. Does c = -18?
True
Let a = -7 + 14. Let q = a + -35. Let v be (-20)/q*(-4)/10. Which is bigger: -0.2 or v?
-0.2
Let q(g) = 1 + 14*g**3 - 13*g**3 - g - 6*g**2 - 2. Let j be q(6). Is -7 equal to j?
True
Let z = 0.02 - 17.02. Let m = 17.1 + z. Let y be (-4)/(-5) - 1/2. Which is smaller: y or m?
m
Let t be (-1)/(-3)*(-4)/6. Let s = -0.6 + 0.2. Let a = 0.2 + s. Which is smaller: t or a?
t
Let k = 353/15 - 70/3. Suppose h - 2*u = 7, -7*h + 17 = -2*h - 4*u. Is h smaller than k?
False
Let y = -88.46 - -88. Which is bigger: -0.1 or y?
-0.1
Let r = 35/103 + 13594/309. Let j = r - 45. Are j and 0 unequal?
True
Suppose -9 = 2*j - 4*j + 3*y, y = j - 5. Let q = 10 + -5. Is j bigger than q?
True
Suppose p + 3*p = 16. Suppose -5*j - 5 = c - 3*j, j = -p*c - 6. Let l be (18/(-28))/(-9)*2. Is c > l?
False
Let f be 15 + -1 + 1 + -3. Suppose -2*l = l + 4*v - 48, -4*v + f = 0. Which is bigger: l or 13?
13
Let r(j) = -j**3 + 12*j**2 + 4*j + 7. Let o be r(12). Which is smaller: 56 or o?
o
Suppose 4*c = -c - 5. Let q(v) = v**2 - v**2 - v**2 - 2 - 5*v - 3. Let a be q(-4). Is a greater than c?
False
Let d = -12/85 - 1251/170. Is -7 less than or equal to d?
False
Let g = -36 - -54. Let r be (-30)/g*(-2)/(-5). Is r > 0?
False
Suppose -2*q + 7*q = 3*j + 49, 0 = 3*j - 6. Suppose -q = -3*z + 1, -3*v = -2*z + 8. Is v <= 2?
True
Let h = -2 + 4. Suppose -19 = 2*y + 5*m, -h*m - 2 = -4*y - 4*m. Suppose -7*z = -y*z. Which is bigger: z or 4/5?
4/5
Let t = -559/4 + 138. Let f = -570 + 568. Which is smaller: f or t?
f
Let z = 5 + -1. Is z at least 5?
False
Let k = -25 + 22. Suppose 4*b + 6 = 2*r - 10, 3*b = -9. Suppose -4*d = -r*d + 4. Is k at most d?
True
Let p = 0.057 + -1.057. Which is smaller: 33 or p?
p
Suppose 13*n = 15*n - 16. Is 15/2 at most as big as n?
True
Let g be (6/(-4) - 0)*-2. Suppose 3*x = 3*r - 9, x + 3*r - 15 = 5*x. Let n = x + g. Which is smaller: n or -2?
n
Let s be (-1)/15 + 1/(-3). Are s and 1 non-equal?
True
Let a = 4.9 - 5.1. Which is greater: a or 1?
1
Let y be 6 + -2 + 0 + 1. Let r(x) = 2*x**3 + x**2 - x + 1. Let c be r(y). Let n = 2983/11 - c. Which is smaller: 1 or n?
n
Let h(k) = -22*k**3 + 2*k**2 - k - 1. Let u be h(1). Is u at least as big as -21?
False
Let f(j) = -j**2 + 8*j - 9. Let y be (0 - -1)/(2/14). Let l be f(y). Is l <= -1?
True
Let l = -18 + 26. Is l < 10?
True
Suppose -3*i + 15 = 2*i + 3*c, 3*c = -4*i + 15. Which is smaller: -3/17 or i?
-3/17
Suppose -i + 10 = -3*o, o + i - 10 = -2*i. Let j = -1 - 1. Is j greater than or equal to o?
True
Let b = -9 + 9. Suppose b = 4*p + 5*z + 5, 3 + 1 = 2*p - 4*z. Which is smaller: p or -3/10?
-3/10
Let s = -2/35 - 27/140. Let h = -1.9 - 0.1. Is s > h?
True
Suppose p - 2*j - 34 = j, 5*p = j + 142. Let c be -3 + (p/12 - -1). Which is bigger: 1 or c?
1
Suppose 3*b = -2*p - 2, -5*b - 3 = -4*b + 3*p. Is b not equal to 1?
True
Let w = -245545/52 - -4721. Let j = -10/13 - w. Which is greater: -1.4 or j?
j
Let n(r) = -3*r**3 + 2*r**2 - 1. Let i be n(1). Let q = -884/3 - -292. Is i at most as big as q?
False
Let k be (-1 - -1) + (-36)/(-42). Let l(i) = -i**3 + 5*i**2 + i - 5. Let a be l(5). Do a and k have different values?
True
Suppose -2*t - 27 = -73. Suppose -52 - t = 3*f. Let q = f + 49/2. Which is smaller: q or 0?
q
Suppose 0 = -5*a, -3*w - 2*a = 3*a - 30. Suppose 5*v - 25 = -w. Is 3 < v?
False
Let u(j) = -j**2 + 8*j - 5. Let q be u(5). Let z = -20 - -28. Which is bigger: q or z?
q
Suppose -4*b + 15 = b. Suppose b*j - 10 = -46. Let d be j/(-9) - (1 + 0). Is d not equal to -2?
True
Suppose w - 25 + 3 = 0. Which is greater: 0.1 or w?
w
Let v(o) be the third derivative of o**4/24 + 5*o**3/6 + o**2. Let n be v(0). Suppose g = n*g. Is g < -1?
False
Suppose -3*n + 6*n + 12 = 0. Let v = n - -3. Let y be 2/14*(v - -3). Is y less than 0.3?
True
Let l = 18.8 + -19. Is l smaller than -3?
False
Suppose 5*t - 425 = 150. Let y = t - 352/3. Which is greater: y or -2?
-2
Let p = 2 - -6. Suppose 0 = 4*t - 4*h - 4, -t + 3*h + h = p. Suppose 3*l - t = -l. Is l >= 1?
True
Let n = 20 - 10. Is 10 at most n?
True
Let i(d) = -4*d + 6. Let o be i(-5). Suppose -4*h = -3*f - 21, 2*h - o = -2*h + 2*f. Is 9 greater than h?
False
Let g(y) = -y**2 - 3*y - 3. Let p be 25/(-9) + (-10)/45. Let x be g(p). Is x greater than -3?
False
Suppose -v - v + 4 = 0. Let y be v + (4 - 2)/(-2). Let r = -37/3 + 13. Is y at most r?
False
Let r = -2 + 1. Let u be 3/(-4) - r/2. Is -1/4 bigger than u?
False
Let b = -93/2 - -50. Let w = 5 + -1. Is b bigger than w?
False
Suppose 5*f = 4*m - 10, 3*m - 4*f - 11 = -3. Is m greater than 2/81?
False
Suppose 19 = -3*y - 8. Let q be y/(-6) - (-1)/(-14). Which is smaller: 0 or q?
0
Suppose 4*p = -1 - 7. Let d be p + 0 - 4/4. Is d less than 0.1?
True
Let c = 7.9 + -8.9. Which is bigger: c or -16/15?
c
Let k be 20/(-7)*2/4. Which is smaller: -1 or k?
k
Let w be (-2 + -1)/((-21)/28). Suppose 0 = -0*q + w*q. Which is smaller: -2/5 or q?
-2/5
Let s = 624920 - 29994377/48. Let p = s - -19/16. Let t = -39 + p. Which is bigger: t or 0.3?
0.3
Let m = -11 - -11. Which is greater: -5 or m?
m
Let w(r) = r**3 + 5*r**2 + 2*r + 11. Let s be w(-5). Is 1/17 less than s?
True
Let v = -0.6 + -10.4. Let x = -6 - v. Let o = -15 - -15.1. Which is smaller: x or o?
o
Let n = 32.9 + -14.9. Is n > -4?
True
Suppose -31 = -q + 19. Which is smaller: 49 or q?
49
Let q = 0.4 - 0.33. Which is smaller: 0.5 or q?
q
Let w = 3 + 5. Let m(g) = -g**3 + 8*g**2 + g - 8. Let k be m(w). Which is greater: -2/7 or k?
k
Let v be (-3)/5 - 54/(-90). Let t(s) = s**3 - 4*s**2 - 4*s - 2. Let a be t(5). Let r = a - v. Is r <= 3?
True
Let a be 7/(-1)*(-10)/35. Suppose 0 = -0*r - a*r. Which is smaller: -0.09 or r?
-0.09
Let q = 1 - 0. Let m = 0 - q. Let p be m/(-2)*(0 - 0). Is p >= -2/9?
True
Let f = 149 - 1195/8. Let w(d) = -d - 6. Let y be w(-5). Is f < y?
False
Let h = -2269/76 + 59/2. Let f = h - -2/19. Is -2 >= f?
False
Let a(c) be the first derivative of c**4/4 + c**3 - c + 1. Let z be a(-3). Let d = -8 - -5. Does z = d?
False
Let w = 3 + -5. Let d = -3 - w. Suppose 3*c = 3*v - v - 11, -3*c - 5*v + 17 = 0. Are c and d nonequal?
False
Let t = -3 + 6. Let y = t + -3. Is y bigger than 2?
False
Suppose -6*h = -2*h. Which is greater: -2/11 or h?
h
Suppose -2*m - 76 = 5*q, -3*m - 14 = q - 4. Which is greater: q or -15?
-15
Let l(c) = -4*c - 40. Let t be l(-8). Which is smaller: -5 or t?
t
Let x(i) = -i**3 + 3*i**2 - 2*i + 4. Let t be x(3). Let g be -5*(0/t + 1). Which is greater: -4 or g?
-4
Let u = 35 + -103. Do u and -67 have the same value?
False
Let c = -24 - -31. Is 8 equal to c?
False
Let i(l) = 1. Let r(p) = p - 12. Let s(o) = -4*i(o) - r(o). Let h be s(8). Which is greater: 3/14 or h?
3/14
Let y(v) = -v**3 - v**2 - 2. Let j be y(-2). Let t(s) be the second derivative of s**4/12 - s**3/6 - s**2 - s. Let h be t(j). Which is greater: -3/8 or h?
h
Let l = -1/44 + 91/132. Let a be 2 + (0/(-3))/(-3 + 0). Is l sm