*p = -13, -3*q + 0*p + 5*p = 67. Let k = 29/2 + q. Is k at most 0.2?
False
Suppose 5*r = -4*j - 24 + 2, -r = j + 5. Let m = r - -3. Which is smaller: m or 2?
m
Suppose -t + 105 = -6*t. Is -20 smaller than t?
False
Let m be (1 + -5)*3/(-42). Let k = -148.1 - -133.08. Let l = k + 15. Which is greater: m or l?
m
Let t = -4.92 - -5. Let h = -2.92 - t. Let l = -0.112 + -0.088. Is l less than or equal to h?
False
Let s = -4 + 3. Let y(j) = -j**2 + j - 1. Let v be y(0). Is v greater than s?
False
Let b(f) = -f**3 - 4*f**2 + 11*f + 3. Let p be b(-6). Which is smaller: p or 7?
7
Let p = -1.19 + 0.19. Which is greater: 11 or p?
11
Suppose -5 = -s + 1. Is s bigger than 6?
False
Let l be 313/(-3)*(-15)/25. Let d = -63 + l. Let p = 3.977 - -0.023. Which is smaller: d or p?
d
Let s = -6 + 1. Which is greater: -6 or s?
s
Let n = -688 - -32337/47. Which is smaller: -1 or n?
-1
Let u be (-4 - -3)*(-16 + 1). Suppose 3*t - 4*i = 9, -2*t - u = t + 4*i. Is -2/5 greater than t?
True
Suppose -3*x = -x. Let k(h) = h**3 + 5*h**2 + 7*h + 8. Let z be k(-4). Is z < x?
True
Let n = 3/125 + -649/1000. Which is smaller: -2 or n?
-2
Let s = -0.51 - 22.49. Is -0.1 >= s?
True
Let l = 1.4 - 0.4. Is l <= -9?
False
Suppose -l - 2 = l. Is -1 at most as big as l?
True
Suppose -q + 4 + 1 = 0. Let z be 6/(-2)*(-12)/9. Which is greater: q or z?
q
Let f = 37 - 112. Let n be (-3)/(-30)*f/10. Is -1 >= n?
False
Suppose 25*j - 24*j - 6 = 0. Which is smaller: j or 5?
5
Let g(f) = 6*f**2 + 3*f - 4. Let t be g(4). Let d be (-42)/t - 5/(-20). Is d less than 0?
True
Suppose 8*g - 3*g - 45 = 0. Which is bigger: g or 8?
g
Let k be -2*1/4*0. Which is smaller: k or 1/9?
k
Suppose 2*x + 6 = -x. Let d be (-4)/x - (-8)/(-5). Let y = 2 - 1. Are y and d unequal?
True
Let q be 8/21 + 28/98. Let v = -55.02 - -57. Let d = v + 0.02. Do d and q have different values?
True
Let c be (-2)/10 + 32/(-90). Which is smaller: 0 or c?
c
Let q = -12/11 - -62/77. Is 23 greater than q?
True
Let m(f) be the second derivative of f**5/20 - 5*f**4/12 + 2*f**3/3 + 3*f**2/2 - 2*f. Let r be m(4). Let n be (-1)/(1/(-6)) + -2. Is n less than or equal to r?
False
Let v = -5 + 3. Let o = 107/13 + -1478/39. Let y = -436/15 - o. Is v > y?
False
Let q be -1 - (4 + 87/(-18)). Do q and -1 have different values?
True
Suppose 10*p - 13*p = -3. Which is smaller: 59 or p?
p
Let n(h) = h**3 + 6*h**2 - 8*h - 2. Let b be n(-7). Let i be (-4)/((-12)/(-9))*-2. Is b greater than or equal to i?
False
Let l(k) = -k**3 + 10*k**2 - 19*k + 27. Let s be l(8). Is s >= 15/4?
False
Let p = -123 + 123.04. Suppose 4*b + s + 2*s + 9 = 0, -3*b + 3 = -s. Is p greater than b?
True
Let c(m) = m**3 + 4*m**2 + m + 4. Let p be c(-4). Let h be (-2)/8 - (-11)/12. Which is bigger: p or h?
h
Suppose -8 = 4*v - 2*u - 2*u, -5 = v - 4*u. Suppose -5*b - 24 = -3*m, -2*b + 4*m - 18 = -0*m. Do v and b have different values?
True
Let p be (-34)/(-3)*24/(-16). Are -16 and p non-equal?
True
Let f be (-4336)/1440 + (-3)/(-1). Let h = 493/180 - f. Is h at least as big as 1?
True
Let k be (-1)/(-3)*(13 + 2). Suppose -4*y + 6*n - 20 = 2*n, -n - 1 = k*y. Suppose 4*o + 6 - 2 = 0. Are o and y equal?
True
Suppose n - 2*n + 2 = 0. Suppose 0 = -2*d + n, -u - 5*d = -6*u + 5. Is u at most 4?
True
Let h = -9 + 9. Let y = -1.97 + -0.03. Let n = y - h. Which is smaller: -0.1 or n?
n
Let y = -209 - -1883/9. Let v = -6 + -9. Let u be (10/v)/(6/(-9)). Is u <= y?
False
Let z = -5 - -4. Let g = 7 + -5. Suppose g*p = -2*p - 4. Is z less than p?
False
Let r = -15 - -11.8. Let t = 0.2 + r. Which is greater: 1 or t?
1
Suppose -4*f = -2*f. Suppose f*m = -4*m. Is m at most as big as 1/4?
True
Let z be (-1)/(8/(-68)) + (-3)/(-6). Which is smaller: z or 0.3?
0.3
Let x = -0.58 - 4.42. Which is smaller: -9 or x?
-9
Let z(w) = w**2. Let b be z(0). Suppose -2*f = -5*c - 5 + 6, -2*c + 4*f + 10 = b. Are -4/9 and c nonequal?
True
Suppose 5*o + 25 = -5*l, 5*o - 5 + 3 = 4*l. Let i = l - -5. Which is smaller: 0 or i?
0
Let u(f) be the first derivative of -f**5/30 + f**4/8 + f**2/2 + 1. Let l(a) be the second derivative of u(a). Let q be l(2). Which is bigger: q or -1?
-1
Let b be ((-38)/(-12) + -3)*2. Which is bigger: -1 or b?
b
Let t be (-978)/1680 + (-1)/(-10)*6. Which is bigger: 1 or t?
1
Suppose 2*v - 1 = 3, 3*w + 4*v = 11. Let l = w + 0. Which is smaller: l or 2?
l
Let m(d) = -d + 15. Let p be m(8). Which is bigger: p or 5?
p
Suppose 3*v - 77 = -2*c, -2*c - 5*v + 25 + 46 = 0. Is 1 not equal to c?
True
Let s be (-1)/((-3)/6) - -1. Suppose 15 = -0*q + 5*q. Is q less than or equal to s?
True
Let g = -55 + 55. Is g less than or equal to -9/13?
False
Let o = 5 + -4.95. Let k = -0.25 + o. Is k at most as big as -1/2?
False
Let c(p) = p**3 + 7*p**2 - p - 7. Let w be c(-7). Suppose -3 = 3*d - 0*d. Which is smaller: d or w?
d
Let y = 5 - 5. Let b = 58/13 - 1669/377. Is b less than y?
False
Let w(m) = m**3 + 8*m**2 - m - 8. Let a be w(-8). Is a >= 5?
False
Let k = -17 - -66. Is k <= 48?
False
Let u = 938/9 + -104. Suppose 0 = -4*h + 5 + 11. Let d(k) = k - 5. Let y be d(h). Is u equal to y?
False
Let v be 0/((-3)/(-6)*2). Is v < -2/61?
False
Suppose -2*l + 4*n + 2 = 0, 3*l + 3 = 2*l + 4*n. Suppose l*q + 6 = 7*q. Let i be (6/(-9))/(q/(-9)). Is 3 at most i?
False
Suppose -8 - 14 = -g. Let u be (-4)/g - (-53)/(-11). Is -5 greater than u?
False
Let j = -79/3 + 26. Let m(l) be the first derivative of -l**3/3 + 3*l**2 + l + 2. Let h be m(6). Which is bigger: h or j?
h
Let w(g) = g**3 + 17*g**2 + 3*g + 52. Let x be w(-17). Which is greater: 1/5 or x?
x
Let m = 11/15 - 1/15. Let z = 23 + -25. Is z >= m?
False
Let n = 1.5 + -0.5. Let x = 21 + -32. Let q = 21/2 + x. Is q at most as big as n?
True
Suppose -a + 4*b = -20, 4*b + 20 = -2*a - 2*a. Let u(r) = 2*r + 2. Let x(f) = f + 1. Let v(p) = u(p) - 3*x(p). Let d be v(a). Are d and -1 non-equal?
False
Suppose -3*g = -o + 50, 12 + 18 = -g - 3*o. Let v be (g/(-12))/((-1)/(-2)). Is v not equal to 3?
False
Let t = -8 + 7.75. Let d = t - 0.1. Let a = -0.05 + d. Is a not equal to 0?
True
Let z(u) = u - 13. Let t be 200/35 - 2/(-7). Let v be z(t). Which is smaller: v or -8?
-8
Let m = -17/7 + 316/133. Is m <= 0?
True
Let b be ((-22)/242)/((-1)/2). Which is greater: b or 1/4?
1/4
Let p = -2 + 2. Let r = 160/603 + 12/67. Which is greater: r or p?
r
Suppose 135*v = 130*v - 5. Which is greater: -6/95 or v?
-6/95
Let n = 2.8 - 3. Let t = -35 - -19. Let u be ((-2)/(-3))/(t/(-6)). Which is smaller: n or u?
n
Let z = 0.2 - -1.8. Let x = 8 + -5. Let p = x - 3. Which is greater: z or p?
z
Let s = 0.35 + 19.65. Let z = 102 + -90. Let u = s - z. Which is smaller: -1 or u?
-1
Suppose 4*f + 39 = -s + 23, -4*s - 8 = 2*f. Let g = -1307/105 - -62/5. Which is smaller: g or s?
g
Let c = -7 + 9. Let a be 0*-2*c/8. Do a and 2/9 have the same value?
False
Let u = -7 + 10. Let d be 2*6*1/4. Suppose 0 = -d*m + 5*z - 10, 7 = 3*m + 5*z - u. Is 2 != m?
True
Suppose -12 - 4 = -4*n. Suppose -2*v + n = 3*v + 2*s, -3*s + 6 = -v. Which is bigger: v or 1?
1
Let s be (-2)/(0 + (-2)/(-4)). Let b(n) = n**3 + 5*n**2 - 2*n - 7. Let a be b(-5). Let f = s + a. Is f at least -2?
True
Let p be (-5)/9 - 2/(-9). Let x be (5 + -2 + -3)*1. Is x >= p?
True
Suppose -3*l + 200 = 2*s, -2*s = -5*l + 4*l + 56. Are l and 65 equal?
False
Let f(n) = n**2 + 2*n + 5. Let b be f(-3). Suppose -4*m - b = -0. Which is smaller: m or -3/4?
m
Let c(n) = n + 7. Let i be c(-10). Let z be ((-18)/8)/(9/6). Is i >= z?
False
Let u be (0 - 2)/((-2)/12). Which is greater: 13 or u?
13
Let i = 8/3 + -1. Which is greater: i or 1?
i
Let q(n) = -6*n + 1. Let j be q(1). Which is smaller: -6 or j?
-6
Let s = -1.09 + -0.2. Let r = -0.11 + s. Let d = r - -0.4. Which is bigger: d or -0.02?
-0.02
Let t = -3.6 - 0.4. Let p = 2 + t. Which is smaller: p or 1?
p
Let b = 53 - 37. Let q be (-8)/b*0/(-1). Is -2/11 >= q?
False
Let s = 9 + -7. Suppose -s*r - 4*o = o - 8, -3*o - 4 = -r. Which is smaller: 3 or r?
3
Let q = 1 + -0.7. Let t = -123 - -124. Are t and q nonequal?
True
Suppose p + 4*w = -14, -2*p - 3*w - 4 = -w. Let j be p/8 - 28/(-16). Suppose j*l = l. Which is smaller: l or 1/7?
l
Suppose -2*w - 10 = 0, -3*w = 5*z + w - 325. Which is smaller: z or 70?
z
Let w(a) = -2*a**3 - 5*a**2 - 3*a - 2. Let h be w(-3). Suppose -44 = 7*m - 3*m. Let b = m + h. Which is smaller: