 + 42. Let k be j(q). Is i <= k?
True
Let i = 97057 + -97074.8484. Let j = 0.1616 - i. Let l = -18 + j. Is 0.1 != l?
True
Let t = 1/1154 - 319/35197. Which is greater: 2/9 or t?
2/9
Let k be (135/(-6))/9*-2. Suppose 0 = -5*b - k + 30. Suppose 2 = h + b. Is -3 != h?
False
Suppose 4*u = -2*w - 6, -6*u + u - 1 = -4*w. Which is greater: w or 3/16?
3/16
Let d = 69 + -64. Let p be (-2 - -1) + 7/d. Is p != -38/9?
True
Let j = 1.064 + -1.1. Let b = j - 2.964. Are 3/2 and b equal?
False
Let o = 123 + -123.72. Which is smaller: -0.2 or o?
o
Let j(h) = h**2 + 6*h + 8. Suppose q = -3*t + 12, -4*q + 0*t - 2*t = 2. Let r be j(q). Let n = 37875/23 + -1647. Is r equal to n?
False
Suppose -21 = -3*g + 4*c - 2, -12 = 3*c. Let q be 1/(1*((3 - g) + -1)). Which is smaller: q or 7/8?
7/8
Let r(s) = -s**3 - 4*s**2 + 5*s. Let z be r(-5). Suppose z = 5*m - 2*t - 45, 3*m = m - 3*t + 18. Let x be (-89)/29 - (-12 + m). Which is bigger: x or 0?
0
Suppose 4*j = 0, 0*v - 4*v = 4*j. Let d be (85 + (v - -1))/(-1). Let l be d/(-69) - 56/42. Which is smaller: l or 0?
l
Let q be -2 + 4 - (-33)/(-21). Suppose -47 = -10*z - 7. Which is smaller: q or z?
q
Suppose -2*h - 5 = -0*h + 3*n, -h - 4*n - 5 = 0. Let y be (-288)/146 - (-1 + h). Which is smaller: -1 or y?
-1
Let g be 3 - ((-11675)/780)/(-5). Let m = g - -101/468. Is 1 != m?
True
Let a be 3 - (21/3)/(-7). Let y = 5 - 3. Are a and y equal?
False
Let o = 44 + 660. Is o bigger than 703?
True
Let q = 78.11 - 78. Which is smaller: 0.07 or q?
0.07
Suppose -2*j = -19 - 11. Suppose -5*k + 2*k = -j. Suppose 0 = k*l + 29 + 1. Which is smaller: l or -5?
l
Let y be (3/6)/(1/6). Suppose 7*m + y = 45. Which is greater: 8 or m?
8
Let h = -9.85 + 0.75. Let f = 8.6 + h. Which is smaller: f or -2/7?
f
Let y = -12 - -17. Suppose -3*l + y = -4*l. Suppose 0 = -5*x - w - 27, 8 = -5*x + 5*w - 7. Is l at least x?
True
Suppose -11 - 59 = 5*q. Let c = q + -31. Are c and -45 non-equal?
False
Let p = 96 + -72. Let z = -24.4 + p. Is z equal to 1?
False
Let x = 389 + -386. Which is bigger: 56/19 or x?
x
Suppose 0 = 4*y + 6 + 18. Let n(u) = u**3 - 11*u**2 - 6*u - 6. Let k(j) = j**3 - 10*j**2 - 6*j - 5. Let g(p) = -5*k(p) + 4*n(p). Let l be g(7). Is l > y?
False
Let o(v) be the first derivative of -v**4/4 + 7*v**3/3 - 3*v**2 + 4*v + 5. Let p be o(6). Let x be ((-1)/2)/(24/16). Is p equal to x?
False
Let l(o) = 2*o**2 - 146*o - 456. Let w be l(76). Let m = 4159/12 + -347. Is m < w?
True
Suppose 0 = v + x + 2, 5*v - x = -0*x - 22. Let f = v + 5. Let i = f + 2. Which is bigger: 4 or i?
4
Let o = -1.8 + -2.2. Let p = -4.3 - o. Which is greater: -3 or p?
p
Suppose -n - 2 = 0, 2*h = -9*n + 5*n + 38. Let x = h - 59. Let u be 9/x + (-34)/(-8). Is 1 equal to u?
False
Let r(t) = -17*t**2 + t. Let p be (-2 + (-20)/(-12))*6. Let d be r(p). Let i be (-26)/d - 8/14. Which is bigger: 0.2 or i?
0.2
Let j = 0 + -1/18. Let i be -1 + 1 - 7/7. Are i and j nonequal?
True
Suppose x = -x + 2. Suppose -2*v + 5 = 1. Let u be (-15)/(-9) - v/(-6). Which is greater: u or x?
u
Let g be (-12 + 325/26)*(4 + 0). Is g at most 32/11?
True
Suppose 4*p + 20 = 8*p. Suppose p = -5*r - 2*t - 0*t, 3*r + 3 = -2*t. Which is bigger: -0.9 or r?
-0.9
Let l(p) = p**2 + 8*p + 19. Let c(s) = s**2 + 7*s + 20. Let y(v) = 4*c(v) - 5*l(v). Let r be y(-6). Is r equal to 22?
False
Let f = 1.275 - -0.005. Let d = -1.2 + f. Let i = -0.12 - d. Which is bigger: 0.3 or i?
0.3
Suppose 4*x + 3*v - 447 = 7*x, 3*x + 453 = -3*v. Is x at least as big as -148?
False
Let k = -71.4 + 70. Is k less than or equal to 2?
True
Let x(c) be the first derivative of c**3/3 + 3*c**2/2 - c + 7. Let t be x(1). Let v be 1*(-4)/(-2 + 0). Is v equal to t?
False
Let o be ((-16)/(-6))/(4/(-12)). Let c be -3 + (3 + -4)*o. Suppose 5*l - p = 3*p + 11, 2*l = -c*p - 22. Which is smaller: l or -2/3?
l
Suppose 6*h + 1278 = -5*q + 8*h, 0 = -4*q + 3*h - 1028. Is q at least -252?
False
Let g = -381 - -385. Which is greater: g or 14?
14
Suppose 0 = 2*o - 5*o + 6. Let v be 36/(-56)*o + 1. Let u(n) = -n**2 - 3*n + 9. Let b be u(-7). Which is bigger: b or v?
v
Let p(y) = 4*y + 79. Let l be p(0). Which is smaller: 82 or l?
l
Let o be 4 + (6 - -2)/(-2). Let p = -73 - -291/4. Is p less than o?
True
Let q(t) = 3*t**3 + 4*t**2 - t + 1. Let f be q(-2). Let w be f - (30/(-5) + 3). Is 4 < w?
False
Let n = -1.107 - -1.207. Let k = 1.9 + -2. Let i = k - -0.02. Which is greater: i or n?
n
Let p be 3*((-23)/9 + 3). Suppose -3*w - j + 5 = 0, 2*j = 2*w - 0*j - 6. Which is bigger: p or w?
w
Suppose 4*l + 4 = 0, -110 - 247 = -2*j + 3*l. Which is smaller: j or 175?
175
Let l = 146 - 150. Is l smaller than -1?
True
Let q = -13.23 - -13. Let f = q - 0.17. Let w = -1.4 - f. Which is bigger: w or 12?
12
Let j be (1 + (-6 - -8))*5. Let g(p) = p**3 + 5*p**2. Let k be g(-5). Suppose f + 62 = 5*b - f, -2*b + 4*f + 12 = k. Is j != b?
True
Let b(q) = 3*q - 2. Let w be b(1). Let p be -58*4/(-8) - w. Which is smaller: p or 26?
26
Let g = -2 - -7. Suppose -g*h = -h - 4. Which is greater: h or -2/49?
h
Let n be 2 - (-5)/((-10)/(-652)). Let z be (573/2)/((-49)/(-56)). Let p = z - n. Which is smaller: p or 1?
p
Let r be (-8)/(2/(28/(-6))). Suppose -4*k + 76 = l, 4 = 5*k - 2*l - 91. Is k greater than or equal to r?
True
Let q be (0/(-1))/(2 - 1). Let p be ((-1)/(-2))/((320/(-12))/(-4)). Let u = -31/120 - p. Is q at most as big as u?
False
Let h be (-100)/((11/(-33))/(1/3)). Is 101 smaller than h?
False
Let f = 16 + -11. Suppose f*i - 5*y = -0 + 5, 7 = 5*i - 3*y. Let b be (1 - -3)*i/(-44). Is 0.1 <= b?
False
Suppose 5*z = 2*v - 8, 4*v - 2 = -0*v + 3*z. Let n be -1 + -4 + 1 - -37. Suppose 28*s + 5 = n*s. Are s and v unequal?
True
Let u be (-52)/(-9) - 18/(-81). Suppose 0*f = -2*f + u. Is 3 greater than or equal to f?
True
Suppose -v = 3*v. Suppose -s + 9 = -2*n + 4, s + 5*n + 9 = v. Let k be ((-2)/6)/(s/(-13)). Which is smaller: k or 5?
k
Let m be (-1)/(-2) + 0/(-2). Let t = 85 + -104. Let v = 19 + t. Which is greater: v or m?
m
Let f be (-3 + 9)/((-4)/2). Let r = 111 + -43. Let o be r/(-16) + 2/8. Which is greater: f or o?
f
Suppose -9*q - 36 = -5*q. Let r(k) = -k**3 - 10*k**2 - 10*k + 9. Let c be r(q). Let m be -3 - (1 - 44/c). Which is greater: -2 or m?
m
Let f = 5 - 3. Let y = 11 + -1. Let r(w) = w**3 - 10*w**2 + 2*w - 14. Let n be r(y). Is f equal to n?
False
Let j = 0.01 + 3.44. Let v = j + -3.4. Which is smaller: v or -2?
-2
Let g = 2.23 - 2.33. Is 46 less than or equal to g?
False
Let h be 16 + -20 + 4 + 2. Which is greater: -23 or h?
h
Let r = -1.96 + -0.04. Let k = 1 - r. Suppose -5*f - 29 = -2*j, f + 2*f + 15 = 0. Which is smaller: k or j?
j
Let a(x) = -6*x + 148. Let v be a(-6). Is v equal to 182?
False
Suppose 174 = 9*y - 3*y. Which is greater: 31 or y?
31
Suppose 1 = 2*m + 2*c - c, m - 8 = c. Suppose 0 = v - 0*n + 4*n - 55, m*v - 5*n = 80. Are 36 and v equal?
False
Let p(x) = 3*x**2 + 8*x - 25. Let v be p(5). Let i = v + -91. Is i less than -1/102?
True
Let k be -3*((-6)/2)/(-3). Which is smaller: k or 0?
k
Suppose -2*q + 25 + 7 = 0. Let s be (-1)/((-20)/q) + -3. Which is bigger: -2 or s?
-2
Let m(l) = -48*l**3 - 2*l**2 + 1. Let z be m(1). Let n be ((-2)/(-5))/(8652/(-1440) + 6). Which is greater: n or z?
n
Let m = 31.15 + -22.12. Let a = -8.93 + -0.07. Let p = m + a. Which is greater: p or 0?
p
Suppose -4*y - 31 = 5*o, -4*o - 32 = -62*y + 67*y. Which is bigger: o or -11/4?
-11/4
Suppose 52*o - 51*o = -44. Is -47 less than or equal to o?
True
Suppose 2*n - 1 = -5. Let d be 1/(1/(n - -3)). Let f be 14/(-42)*(-10 + 7). Is f >= d?
True
Let v = 6898/23 - 300. Let z = 21 + -22. Let l be -5*(-10)/25 + z. Which is bigger: l or v?
l
Suppose 797*t - 9660 = 787*t. Does t = 968?
False
Let o = 313 - 312.9. Suppose 8 + 24 = -2*f. Which is smaller: f or o?
f
Let a(b) = 5*b**2 - 12*b + 3. Let w(t) = -4*t**2 + 11*t - 2. Let d(h) = 6*a(h) + 7*w(h). Let s be d(-3). Suppose -27 = 36*q - 207. Is q less than or equal to s?
True
Let c = -612 - -755. Do c and 143 have different values?
False
Let m be 2/(-48)*14/7. Suppose 0 = -2*p - 2*l, 4*p = -p - 4*l - 1. Let r = p - -2. Is m at most r?
True
Let q = -51 - -162. Let b = 111.037 - q. Which is greater: b or -1/3?
b
Let w = 55/6 - 697/78. Suppose 11*a + 5*a - 64 = 0. Suppose 2*b = 7*b - 2*q - 3, -q = -5*b + a. Which is bigger: b or w?
b
Let b be 