 q. Let d be 6/4*j/27. Is d < -2/17?
True
Let z(t) = -t**2 + 9*t - 6. Let j be z(9). Suppose 2*k - 58 = 5*v, 2*v + 6 + 30 = 4*k. Let i be (j/v)/((-2)/(-10)). Is 3 equal to i?
True
Let v(b) = -b**3 - 5*b**2 - b - 5. Let l be v(-5). Let n be 1 - ((-2 - l) + 4). Which is greater: n or 4/9?
4/9
Let o = -12 - -12.8. Which is greater: 1/4 or o?
o
Let v(n) be the third derivative of n**7/5040 - n**6/180 + n**5/60 - 2*n**2. Let j(t) be the third derivative of v(t). Let r be j(3). Which is smaller: 1 or r?
r
Let b be ((-16)/(-3))/((-11)/(-3) - 3). Which is bigger: -0.1 or b?
b
Let l = 6 - 5. Let o(u) = -u - 3. Suppose 4*i + 12 = i. Let s be o(i). Is s < l?
False
Suppose -3*t - 7 = i, -5*i - 2*t = -10*i - 1. Let j be (i/(-2))/((-2)/8). Let w = -1.1 - -0.1. Is w <= j?
False
Let p be 0 + 152 - (0 - (-2)/(-2)). Which is greater: 152 or p?
p
Let d = -1.4 + 2.4. Is d greater than 4?
False
Let x = -27 - -31. Which is smaller: x or 0?
0
Let c be 1*(1 + 1 - -1). Which is greater: c or 0?
c
Suppose -3*h = -h - 2. Let l = h - 1. Is l != 1?
True
Let j be (-18)/(-24) - (2 - 27/12). Is 30/13 at most j?
False
Let b be -3 - (-63)/33 - -1. Which is bigger: 0 or b?
0
Let m = 4.8 - 3.8. Which is smaller: -2 or m?
-2
Let v be (3/((-6)/(-4)))/4. Let t = 4 - 4.06. Which is greater: t or v?
v
Let m = -20 + -235. Let q be (9/m)/((-6)/(-4)). Let n = q - 79/255. Which is bigger: n or 2/9?
2/9
Suppose -2*b - 2*l = 0, 0*l + 4*l = 5*b + 9. Which is bigger: b or 1/7?
1/7
Suppose 20 = -5*t, -5*t - 26 = 3*g - g. Is 0 >= g?
True
Let t be (-2)/4*(-10)/(-1). Let r(v) = -v. Let b = 6 - 1. Let i be r(b). Is i > t?
False
Suppose k = 4*t - 16, -5*k + 3*k + 3*t = 7. Suppose -6 = 5*l + k. Are l and -5/4 non-equal?
True
Let k be ((-3)/4)/3*-2. Are k and 0 nonequal?
True
Let z = -22 - 7. Let x = -146/5 - z. Is -1 bigger than x?
False
Suppose u = l - 2, 9 = 2*u + 4*l - 5. Suppose 0*g = g + u. Let x be 1 + g - (-6)/(-6). Which is smaller: -1/3 or x?
x
Let x be (0 + 1 - 1)/(-2). Suppose 5*s = -3*v, 2*v - 4*v + 5*s = x. Let p(r) = -r**2 - 6*r - 1. Let t be p(-6). Is v bigger than t?
True
Let y = 22 + 2. Is 22 less than y?
True
Suppose 0 = 2*f - 0*f + 10. Let h = 8 - 13. Is h less than or equal to f?
True
Let r = 204.2 + -204. Is r equal to 1/8?
False
Suppose -v = -3*d + d, 0 = 3*d + 5*v. Let b = -0.1 - 0. Is d smaller than b?
False
Let n = 79.44 + -78. Let r = 1.3 - n. Let h = r + 0.04. Is h bigger than -3?
True
Let x = -6.4 + 5.4. Let u be 6/4*4/22. Which is bigger: u or x?
u
Let i be 0 + (-1 + 1 - -11). Let q = i + -6. Suppose -z + 20 = q*s, 3*z + 4*s - 4 = 3*s. Is 0 at most as big as z?
True
Let c(x) = -3*x + 6. Let y be c(4). Which is greater: y or -2?
-2
Let l be (68/3)/(14/78). Let q = l - 126. Which is smaller: 0 or q?
0
Let t = 8 - 6. Suppose 1 - 9 = t*f. Let c be 6/5*10/(-3). Is c at most as big as f?
True
Suppose -4*y = -34 + 6. Which is greater: y or 0.02?
y
Let d = 48 + -67. Let x = d + -5. Is -23 > x?
True
Let j = 160 + -247. Let t be -2 + (-60)/j*3. Are -1 and t non-equal?
True
Suppose v + 2*v = 5*z - 9, -4*v - 2*z + 14 = 0. Suppose v*k = 4*o + 18, 0*o + 5*k = 2*o + 29. Let r be 1 + o + (-5)/(-10). Is -1 less than or equal to r?
True
Let w(i) = -i**3 - 5*i**2 + 7*i + 8. Let z be w(-6). Suppose z*m + 7 - 9 = 0. Which is greater: m or 3?
3
Let w = 43/94 - -2/47. Are w and -0.1 non-equal?
True
Let h be (2 - 1)*1*147. Let u = -738/5 + h. Is -2 greater than or equal to u?
False
Suppose 6*o = 2*o. Suppose 4*p - 4 = -o. Which is smaller: p or -7?
-7
Suppose 5*i = -0*i + 15. Let k be 96/28*i/12. Which is smaller: 2 or k?
k
Let c be (-1)/(-4*(-2)/136). Let t = -12 - c. Are t and 5 unequal?
False
Let p be 5/15 + 10/6. Which is smaller: 7/4 or p?
7/4
Let x = 1165 + -798. Let r = -1841/5 + x. Is r at least -1?
False
Let a = -965146/15 - -64320. Let f = -68/3 - a. Let u = -6 + 5. Which is smaller: f or u?
u
Let b(c) = -214*c. Let z be b(-1). Let a be 1/48*z - -1. Let d = a + -45/8. Which is smaller: 0 or d?
d
Suppose -65 = -f - 4*f. Is 13 less than or equal to f?
True
Suppose -4*p - 43 = -3*b + 13, -2*b + 5*p + 28 = 0. Are b and 23 unequal?
True
Let i(d) = -d**2 + 16*d - 62. Let o be i(9). Is 1/12 equal to o?
False
Let z be 10/(-7) - (-5 - -3). Let o = 15 + -15. Is o greater than or equal to z?
False
Let p be 3*8/3*(8 - 10). Is -14 <= p?
False
Suppose 0*w + 4*w = 0. Let o be ((-2)/60)/(6/(-24)). Which is smaller: w or o?
w
Let t = -0.5 - -0.5. Let f be -2 - (-19)/20 - 2. Let x = f - -14/5. Which is greater: t or x?
t
Let y be ((-2)/(-556))/(3/(-30)). Let t = -11875/1668 - y. Let i = t - -16/3. Is i at least as big as -3?
True
Let m = -49237/4 + 12182. Let a = m + 128. Suppose -3*z + 4 = 1. Which is bigger: z or a?
z
Suppose -4*w - 8 = -5*z + 4, 0 = z. Let p be (-4 + 0/w)/(-2). Suppose 8 = 2*u, -5*c + u = -u - p. Which is greater: 1 or c?
c
Let o = -27 + 23. Which is bigger: -2 or o?
-2
Let w = -4 - -17. Suppose 3*v + u - 10 = 7, -5*v - 5*u + 45 = 0. Suppose -v*f = -5*y + w, 2*y + y - 7 = 2*f. Is y greater than 0?
True
Suppose -3*a - 2*t + 12 = t, a - 4*t = -16. Let v = -8 - -6. Is a at least v?
True
Let x = 249444/207485 + 52/2441. Let n = -14/17 + x. Let d = 16 - 16. Are n and d unequal?
True
Suppose -2*z + 16 = -2*s - 2, 4*z = -5*s. Suppose n + 11 = 6*d - z*d, 20 = 4*d. Let v be (-4)/15*n + -1. Which is bigger: 1 or v?
1
Let b(z) = 4*z + 4. Let c be b(-1). Let h = -0.03 - 2.97. Is h <= c?
True
Let j be -9 + 7 - 27/(-5). Which is smaller: j or 3?
3
Suppose 2*v = -0 - 6. Suppose 0*a + 4*a = -4. Is a at least as big as v?
True
Let s(y) = 0 + 3 - y - 5. Let o be s(0). Is -1/2 > o?
True
Let h be (8/(-3))/((-57)/(-9) - 4). Is h greater than or equal to -2?
True
Let q(o) = -o**3 + 10*o**2 + 2*o - 14. Let g be q(10). Let p be g/(-15)*(-10)/2. Is 0 bigger than p?
False
Suppose 0 = 8*a - 5*a + 6. Let h be 582/(-18)*a/(-210). Let q = 3/35 + h. Is 0 equal to q?
False
Suppose 0 = -5*q - 5*g + 5, g = q - 3*q + 1. Is 1/16 equal to q?
False
Let a be 14/10 - 24/60. Is a bigger than -1?
True
Suppose 0*h = -2*h. Let y = -0.01 + -0.03. Let s = -0.64 - y. Is h at least as big as s?
True
Let a = 37 - 23. Which is smaller: 0 or a?
0
Let i = 802 + -7226/9. Is 2 bigger than i?
True
Let t be 104/(-27) + (17 - 13). Which is bigger: 0 or t?
t
Let u be (-3 + 1)*(-1)/3. Let q = -107/30 + 17/5. Let l = q + u. Is 0 <= l?
True
Let g be 1 - ((-1 - -2) + -1). Suppose 3*x - 7 = -2*r - g, -r = 0. Suppose 0 = -x*h + j + 2, 4*j + 2 = -4*h - 6. Which is greater: h or -0.04?
h
Let c(b) = b - 7. Let d be c(28). Which is greater: 25 or d?
25
Suppose 3*z + 20 = -4*q + 2*z, -2*z = 3*q + 15. Let h = -5714/5 - -1148. Let l = q + h. Is -1 < l?
True
Let i = -1069/17 - -63. Let r be (-5)/4 + 1/4. Which is bigger: i or r?
i
Suppose 3*g + 24 = 4*o, -4*o - o - 4*g - 1 = 0. Is 3 <= o?
True
Let l = -175 + 123. Which is smaller: l or -0.1?
l
Let x(m) = -m - 2. Let w be x(-4). Suppose -w = 4*h + 2*g, 0 = 5*g + 3 - 8. Which is smaller: h or 1/3?
h
Suppose -3*y + 1 = -4*f - 20, -24 = -3*y + 5*f. Let v be 6/(-3) + y + 17. Suppose -4*i - 2*r = -v, 0 = 3*i - 3*r - r + 14. Which is greater: 0 or i?
i
Let x be (10/15 + 0)*(-9)/(-12). Suppose -29 = -3*f + 1. Suppose 0 = -u + 5*a + f, 2*u + 2*a + 2*a + 8 = 0. Is u <= x?
True
Let j = -226 + 60. Let z be j/(-8) + 3/(-4). Which is greater: 19 or z?
z
Let a = 5 + -4.94. Let p = 2.94 + a. Let x = p + -3. Which is bigger: x or 1/7?
1/7
Let v = 2.5 - 3. Let m be (-4)/(-30) - (-1)/5. Are m and v non-equal?
True
Let f = 16 - 16. Which is smaller: -3/8 or f?
-3/8
Suppose -5*j - t + 4 = 0, -5*j + 16 = 3*t + 4. Suppose 4*i - 4 + 0 = j. Which is smaller: i or 7?
i
Suppose -5*m - 20 = -9*m. Suppose 0 = 9*p - 4*p - m. Which is bigger: 2 or p?
2
Let n be (-18)/20 - (-3)/6. Suppose 5*t - 5 = -0*t. Let p(g) = g. Let s be p(t). Which is bigger: s or n?
s
Let j be (-4 + -3 + -4)*-1. Let b = j + -12. Is -7/3 at most as big as b?
True
Let s = -0.4 + -1.6. Let m = -0.16 + 0.36. Which is smaller: m or s?
s
Let v be (-4)/10 + (-2596)/60. Let f = v + 43. Let j(m) = m**2 - 7*m - 2. Let q be j(7). Are f and q nonequal?
True
Let c(b) = -b**3 - 7*b**2 - 6*b + 4. Let x be c(-6). Suppose -6*a = -x*a - 12. Let f = a - 7. Is -1 > f?
False
Let r be 58/(-7) - 4/(-14). Which is bigger: -10 or r?
r
Let g(a) = a**2 + 5*a + 7. Let v be g(-3). W