40 + 7/28. Is p smaller than k?
True
Suppose 2 + 2 = -4*v. Let g be (-1324)/(-14) + 2 + -2. Let q = g - 95. Which is smaller: v or q?
v
Let h be (-2)/8 - 1105/500. Let l = -68 + 1701/25. Let g = h - l. Which is bigger: g or -3?
g
Let k = -11/14 - -2/7. Let o = 0.75 + -1.75. Which is smaller: k or o?
o
Suppose 28 = -5*k - 2*p, 0 = -4*k - 4*p + 3 - 23. Let x(l) = l + 8. Let z be x(k). Suppose 4*b - 11 = 3*q, -z*q + 15 = -5*q. Which is greater: -2/9 or b?
-2/9
Let j = 3 + 95. Is 98 at least as big as j?
True
Suppose s = -2*j - 3*s + 12, -20 = 4*j - 3*s. Is -2 > j?
False
Let s = -2 - -8. Let x be (-10)/s*(-4)/5. Let d(n) = n**3 - 3*n**2 - 5*n + 4. Let h be d(4). Which is greater: x or h?
x
Suppose 2*c + 16 = 6*c. Suppose c*s + 2*t = 12, 5*s = -5*t + 8 + 12. Is 4 less than or equal to s?
False
Let z be 32/(-18) + 10/(-45). Which is bigger: z or -5/9?
-5/9
Let j be ((-9)/3)/(6/(-10)). Suppose -j*o + 5*c - 385 = 0, 0 = -5*o + c + 2*c - 379. Let m be (-1)/(-4) - o/(-232). Do 0 and m have different values?
True
Let l(a) = -a + 4. Let s be l(1). Let i be 0 + (-1 + -6)/(-1). Suppose 3*f - 22 = 2*y, -3*f = -2*y + 3*y - i. Are f and s non-equal?
True
Let s = -1531/441 - -188/49. Let j = s - 2/63. Is 1 < j?
False
Suppose -4*w + 5 - 19 = -m, 0 = 5*m + 4*w - 46. Let h be (6/m)/(12/(-8)). Which is bigger: 1/6 or h?
1/6
Let u be (-4)/((-30)/4*-1). Let s = u + 17/60. Let k = s + 1/36. Are -1 and k non-equal?
True
Suppose -5*k - 4*p = -3*p + 158, -168 = 5*k - 4*p. Does -32 = k?
True
Let m = 25 - 24. Which is bigger: m or 43?
43
Let q = 65 - 57. Which is smaller: q or 1/4?
1/4
Let x = 16.15 + -16. Which is smaller: x or 0?
0
Let g = 51 - 56. Is -3 at most g?
False
Suppose 64 = -4*s - 2*v - 3*v, 16 = -s + 5*v. Let f be (-9)/s*(-18)/27. Which is bigger: -1 or f?
f
Let o = 2 + -3. Which is greater: o or -11?
o
Let c(j) = -j + j + j + 3*j**3 - 2*j**3. Let v be c(0). Are v and 6 non-equal?
True
Let k = 11 - 13. Let c be 4 + k + (-1 - 0). Is c bigger than 2?
False
Let t = -1951 + 27325/14. Which is greater: 2 or t?
2
Let k = 0.998 + 0.052. Let d = k - 0.05. Which is smaller: 3/4 or d?
3/4
Let l = 1847/296121 + -1/717. Is 0 less than l?
True
Let z be (-65)/10 + 5 - (-26)/12. Which is greater: 7/8 or z?
7/8
Let d = 13 - 14. Which is smaller: 1/7 or d?
d
Suppose 4*g + 73 = 5*v + 347, 2*g - 164 = 3*v. Let q = v + 105/2. Is q greater than -1?
False
Let a = 48 + -46. Let s = -3.98 + -0.02. Is a at most as big as s?
False
Let i = -18436559554654/94097773 + -50/8554343. Let l = -195746 - i. Let z = 184 - l. Is z less than 2/5?
True
Let l be (-25)/15*(-2 - -5). Which is bigger: -2/7 or l?
-2/7
Let o = -8 + 14. Is 4 less than o?
True
Let d(q) = -q**3 + 2*q**2 + 3*q - 3. Let j be d(3). Let r be 1 - 2/j*-12. Is -8 at least as big as r?
False
Let c(m) be the second derivative of m**5/20 - m**4/2 + m**3 + m**2/2 - 4*m. Let d be c(5). Let b be 0 + -3 - (9 - d). Are b and -6 equal?
True
Let v = 2/1021 - -1800/123541. Which is bigger: v or -1?
v
Suppose 6*t = 11*t + 5. Which is smaller: 0 or t?
t
Let n = 36.4 - 41. Let q = -5 - n. Is 0.2 <= q?
False
Suppose -4*l + 2*l - d = -31, 2*l = 4*d + 26. Suppose -m + 4*t - 2*t = -12, 0 = -3*m - t + l. Suppose -m = -2*k - 0. Which is greater: k or -1?
k
Let n(w) = 1 - w**2 + 3*w**2 - 2*w**2 - w + w**2. Let o be n(0). Which is smaller: 3 or o?
o
Let s = 0 - -20. Suppose -4*l - l - s = 0. Suppose 2 = -4*k + 2*b - 4, -13 = -3*k + 5*b. Is k not equal to l?
False
Suppose 4*b - b = 0. Suppose j - 3 = b, 0 = -3*r + r + 2*j + 8. Which is smaller: 6 or r?
6
Suppose 2*n - 12 = -n. Let u be (0/(-5))/(-1 + -2). Suppose u = a - n*a. Is -4/9 at least a?
False
Let s = 0 + 3. Let m = -7 + s. Do m and -4 have different values?
False
Let f = 8 + -11. Let a = -2 - f. Let v = -3 - a. Which is bigger: -2 or v?
-2
Let c(v) = 3*v**2 + 3*v - 3. Let b be c(2). Let i be (b/(-10))/(6/(-16)). Let r be i/(-2) + 8/3. Which is smaller: r or 1?
r
Let u be 2/65*(2 + 3). Let x = 19 - 12. Let q = 7 - x. Are q and u nonequal?
True
Let n(v) = -v**3 + 4*v**2 - v - 4. Let l = -7 + 10. Let c be n(l). Let k be c/9 - 0/2. Which is smaller: k or 0?
0
Suppose 5*v - 26 = -3*j - 0*j, 0 = 3*j - 4*v + 10. Suppose -6*o = 2*i - j*o - 22, -i = -o - 2. Let d be (-1 - -3)*(-1)/i. Is d < -0.1?
True
Let b be 1/3*(-2 - 0). Suppose -3*x = f - 8, 0 = 3*f - 6. Suppose -x*p - 1 = -p. Which is bigger: p or b?
b
Suppose -5*v + 6 = 56. Let w be v/(-35) - (-66)/14. Suppose -3*t - w*o - 3 = -4, -5*t - 5*o = -5. Is 2 smaller than t?
False
Let b be ((-1)/(-3))/((-5)/(-30)). Let o(i) = 10*i - 5*i**3 - b*i**3 - 12 + 7*i**2 + 0*i**2 + 6*i**3. Let z be o(8). Is 5 smaller than z?
False
Let d(x) = x + 7. Let p be d(-4). Let j(n) = 1 - 3*n**3 - n + 4*n**3 - n**2 - 2*n**2. Let f be j(p). Are f and -1 unequal?
True
Suppose 2*q + 16 = 6*q. Suppose -q*o = j + 12, 3*o - 5*j = 7*o - 4. Let u be (10/o + 3)*-2. Which is greater: u or -2/3?
-2/3
Let n be ((-2 + 2)/1)/1. Suppose n*c = -c. Let o = c - 3. Which is greater: o or -1?
-1
Suppose 4*n + 8 = -2*r - 6, 2*r = -2*n - 8. Is -1 at most r?
True
Let t = -4 + 4.2. Suppose -5*x = p - 6, -4*x + 2 = 5*p - 7. Is p at least as big as t?
True
Let w = 126 - 125.927. Is w <= -1?
False
Suppose 0 = -2*d + 4. Suppose d*a - 7*a + 27 = -l, -2*l - 29 = -5*a. Which is greater: l or 2?
2
Let d = 5 + -2. Let r be (-16)/6*(-18)/(-8). Let l be (-4)/r*(-1 - -4). Is l at most d?
True
Let y = 7 - 6. Let q be (-21)/18 - (-2)/1. Is q equal to y?
False
Let z = 679/507 - 1/169. Which is greater: z or -0.1?
z
Suppose 2*a = 6, 0 = -n - 0*n - 5*a + 27. Is n smaller than 13?
True
Let x = 95 + -289/3. Let j(l) = -l + 3. Let p be j(4). Which is bigger: x or p?
p
Let t(b) = -1 - b - 3*b + 3*b. Let n be t(-1). Let y be (4 - 2) + (-1 - 1). Is n equal to y?
True
Suppose 0 = -4*s - 5*r - 3, -7*r + 8 = s - 4*r. Which is smaller: -29/4 or s?
-29/4
Let x = 2 - 2.03. Let t = 0.13 + x. Which is greater: t or -4?
t
Suppose 0*m = 2*m - 5*l, m - l = 0. Which is smaller: m or -7/10?
-7/10
Let n be (2/(-10))/(4/5). Let d(q) = -q**3 - 4*q**2 - 1. Let x be d(-4). Are x and n unequal?
True
Let c = 4 - -2. Let l(n) = -4*n - 4. Let g be l(-3). Let a be (g/18)/(4/6). Which is bigger: a or c?
c
Let a be (-12)/20*(-3 - (-1 - -3)). Let t(l) = -l**2 - 2*l - 1. Let f be t(-1). Suppose -6*g - 16 = -3*n - 5*g, -4*n + 3*g + 28 = f. Which is smaller: n or a?
a
Let p = -0.1 - -0.1. Let g = -2.1 + 2. Let i = 0 + g. Does i = p?
False
Let n(g) = -g**3 - 7*g**2 - 7*g - 2. Let r be n(-6). Suppose -7 = 3*s - r. Is s greater than -1?
False
Let f(m) = -m**2 + 10*m + 1. Suppose -5*y + 38 = -5*q - 37, 3*y - 4*q = 50. Let w be f(y). Let v be -2*(3/(-6) + w). Which is greater: v or -2/5?
-2/5
Let c = -6 - -18. Let x = -10 + c. Which is greater: x or 0?
x
Suppose 0 = -3*o + 3. Suppose o + 19 = 4*x, 5*n - 25 = -3*x. Which is smaller: n or 1?
1
Let x(r) = 11*r + 2. Let f be x(2). Let s = 16 - f. Is -8 at least as big as s?
True
Suppose u + 9 = -3*b, 2*b = u - b - 3. Suppose 0 = 22*r - 27*r - 20. Let j = r - u. Is -1 greater than j?
False
Let v be 2/(-12)*109*2. Let r = 3 + 34. Let s = r + v. Which is bigger: 2 or s?
2
Let q(a) = 2*a - 6. Let p be q(4). Suppose -p*w + 4*g + 3 = g, -4*w + 17 = 5*g. Suppose 2*u + w*u = 0. Is 1 != u?
True
Let h = -58 + 59. Are h and 7/10 non-equal?
True
Let g be (-2)/(-3)*-3 + -2. Let b(h) = -19*h - 7*h**2 + 2*h**2 - h**3 - 2 + 14*h. Let w be b(g). Are 4/5 and w unequal?
True
Let l = 0.07 - 0.37. Let i = l + 0.1. Let n = 8 - 10. Is n > i?
False
Let m = -2/65 + -61/130. Let j be (2/4)/(1/8). Suppose 4*z - 3*z - 5*w = 8, j*z + 4*w + 16 = 0. Which is bigger: z or m?
m
Let j be (-4 + 7)/((-3)/(-8)). Let s = -7 + j. Let u be s/2*(6 + -6). Is u at most 2/9?
True
Let m = 9 + -5. Suppose -m*j - 4*l - 4 = 0, -j - 11 = 5*l + 2. Is 3 less than j?
False
Let y = -6 - -5. Are y and -1 equal?
True
Let a(o) = 2*o**2 - 2*o + 1. Let l be a(1). Let i = -6 - -6. Is l at most i?
False
Let s(f) = f - 4. Suppose 5*t - 36 = -2*v - 9, t - 4 = v. Let x be s(t). Suppose 0 = 2*q - x - 1. Is q greater than or equal to 5/3?
False
Let x = -3308/11 + 301. Which is greater: 1 or x?
1
Let k be (-105)/2*(-3)/(-9). Let n = k - -381/22. Let t = 19/51 - 12/17. Which is greater: n or t?
n
Suppose 8 = -4*p - 5*g - 11, 3*p - 5*g = 12. Which is smaller: 2 or p?
