))/1. Let d(h) = h + 4. Let q be d(-4). Which is smaller: q or n?
q
Let w be (-6)/4*(-32)/21. Which is smaller: w or 1?
1
Let f(u) be the first derivative of 2 - 1/4*u**4 - 1/2*u**2 - 4*u - 2*u**3. Let a be f(-6). Are a and 1 equal?
False
Let g(q) = -30*q**2 + 5*q - 4. Let n be g(1). Is n at least as big as -28?
False
Let m be (-2 + 22/12)/((-2)/6). Is 1 != m?
True
Let x = 5/911 + 4501/175823. Let z = 212/5597 + x. Is z at least -1?
True
Let g = -51 + 54. Do g and 5 have the same value?
False
Suppose -i + 75 = 4*i. Let l = -16 + i. Which is smaller: 1/10 or l?
l
Let n be 3 - 2*(-1)/2. Suppose -5*b + 16 = -n. Suppose 5*v - 4*v + 3*t - 7 = 0, -4*t = -2*v - 6. Is v equal to b?
False
Let d(v) = v**2 - 12*v + 2. Let k be d(12). Let y be ((-6)/k + 2)*1. Which is greater: -4 or y?
y
Let d(r) = r**2 + 8*r + 8. Let q be d(-7). Let o be 10/4*q*2. Let b = 9 + -5. Which is smaller: o or b?
b
Let t = 1140 - 55858/49. Is t != 0?
True
Let r = 57 - 59. Which is greater: r or -1?
-1
Let m = 1 - 2. Let v(y) = y - 1. Let t be v(4). Suppose -5*c = -4*c + t. Is m at most as big as c?
False
Suppose 2*a + 2*p = 3*p - 11, 5*a = 4*p - 35. Let i be 13/5 + a/5. Suppose 0 = -i*s - 0*s. Is 0 smaller than s?
False
Let x = 9 - -1. Suppose -4*s + x = s. Is s at most 2?
True
Let c = -5 + 2. Let y(d) = d**2 + 4*d - 6. Let m be y(-5). Which is bigger: m or c?
m
Let o be (-43)/9 - (-2 + 60/27). Let u be (-19)/((-2)/(-1) + 2). Is o at most as big as u?
True
Let p = -0.2 - -1.2. Let m = -0.106 - 0.094. Do p and m have different values?
True
Suppose 0 = -4*b - 13 - 7. Let z be (-2)/4 - b/2. Suppose 0*t - z = t. Which is smaller: -4 or t?
-4
Let n be (-459)/45 - (-8)/(-10). Which is bigger: n or -10?
-10
Let c = -25 - -32. Which is bigger: c or 5?
c
Let i = 18 + -16. Suppose -p - 3*p = 3*g - 7, -i*p + 2*g = 0. Let o be (3 - 1)*1/3. Which is smaller: o or p?
o
Suppose 2*f - 96 = 6*f. Let x = -30 - f. Which is greater: -8 or x?
x
Suppose -3*z = 4 - 16. Suppose i = 5*i + z. Which is bigger: i or -3?
i
Let z(x) = 3*x - 5 - 4*x + 2. Let o be z(-6). Suppose 0 = -c - o*c. Does 1 = c?
False
Let j = 7.18 + -0.18. Let b = j + -6.7. Let m be 2/15*(-4 - 1). Which is smaller: b or m?
m
Let g = 0.15 - -11.85. Let i = 11 - g. Which is smaller: i or -5?
-5
Suppose 4*i - 3*i - 5 = 0. Suppose -34 = -2*x - y + 9, -i*x + 106 = y. Let k be -5*x/(-33) - 3. Does -1 = k?
False
Let c = 41 - 32. Is c not equal to 26/3?
True
Let x(n) = n**3 + 6*n**2 - 6*n + 6. Let k be x(-7). Let z = 2/601 + -1236/10217. Is k bigger than z?
False
Let g(z) = -3*z + 17. Let p be g(15). Is p greater than or equal to -27?
False
Suppose -12 = -5*b - 2*r, -4*r = -2*b - 6*r + 6. Let z = -37/12 - -15/4. Is b bigger than z?
True
Let z(p) = 1. Let u(g) = -3 - 2*g + 0 + g. Let l(b) = -u(b) - 5*z(b). Let k be l(3). Do k and 1 have different values?
False
Let r = -112 + 157. Is 45 not equal to r?
False
Suppose 2*q - 2*p = 8, -2*p - 12 = -3*q - 7*p. Suppose -2 = -q*x + 2. Suppose -4*o - 3 = x. Is 2/15 greater than o?
True
Let d be ((-21)/(-28))/(22/48). Is d <= 1?
False
Let a be 126/35 + 3/(-5). Suppose -4*j + m + 4 = 0, -j - m - 2 = -a. Let g be ((1*-1)/(-2))/(-2). Which is greater: g or j?
j
Let c = -12.05 + 12. Which is bigger: c or 2?
2
Let j = 0.237 + 0.763. Suppose 4*a + 4*w = -1 - 23, -5*a + 3*w + 10 = 0. Is j >= a?
True
Let n(q) = -2*q**2 - 2*q + 1. Let b be n(-3). Let y be (-2)/b - (-4)/(-22). Let c be (-2)/11 + 8/22. Is c bigger than y?
True
Let r = -1094633537/39270 - -613249/22. Let g be ((-1)/6)/((-119)/(-4)). Let l = g + r. Which is smaller: l or 0?
0
Let n = 0 + 1. Let c be (-3)/(-6)*-2*n. Which is bigger: c or 1/6?
1/6
Let r = -40/209 - -14/19. Which is smaller: r or 1?
r
Let h = -30 + 32. Let p(c) = -c - 3. Let m(w) = -w - 4. Let a(k) = 3*m(k) - 2*p(k). Let g be a(-6). Does g = h?
False
Let m = 2 + 18. Suppose -4*k + m = 2*x, -5*k - 25 = 5*x - 10*k. Do 2/5 and x have different values?
True
Let i = 29/20 + -5/4. Is i not equal to 1?
True
Suppose 4*o - 2*o = 0. Which is bigger: 1 or o?
1
Suppose 24 = -4*z + 88. Is z less than 15?
False
Let r = 1 + -1.4. Let h = 1.7 - 3.3. Let k = h + r. Do k and 1 have the same value?
False
Let f(y) = y**3 - 2*y**2 + 3*y + 4. Let k be f(3). Suppose -t - 3*x = 2*x + 4, -2*x - k = -3*t. Suppose 52*g = 51*g + 5. Is g <= t?
True
Let f(z) = z**3 + 3*z**2 + z + 1. Let b be f(-2). Which is greater: 0 or b?
b
Let v(q) = -3*q**2 + 3*q - 3. Let z(p) = -p - 1. Let w be z(-3). Let b be v(w). Let o(h) = -h**2 - 8*h + 4. Let t be o(b). Is -5 less than or equal to t?
True
Let g = 0 - 0. Let y be 18/(-6) + (-52)/(-10) + -2. Which is bigger: y or g?
y
Let p be (-568)/(-16) - 1/(-2). Let k be (4/12)/(4/p). Which is greater: k or 1?
k
Let p = -294/5 - -59. Suppose 2*u + 1 = 3*u. Which is greater: u or p?
u
Suppose -r - 5*q - 29 = 0, -5*r - 34 = 5*q + 11. Let p be (-1)/r + (-18)/(-24). Is p greater than 1/6?
True
Let q be (-363)/(-15) - 3/15. Suppose -16 = j + 3*j, 5*j = 4*n - q. Suppose 5*x + 0*o = 5*o, 2*o = -5*x + 14. Which is greater: n or x?
x
Let i be (-1)/(-3) - (-238)/6. Let l = i - 192/5. Do 3 and l have the same value?
False
Let x = -1 + 1.01. Let q = x - -0.99. Which is bigger: -0.2 or q?
q
Suppose -h + 4*q - 20 = -0*q, 3*h + 5 = q. Let c be 2*(h - -1) + -2. Suppose -3 = -j, -5*j + 19 = 4*k - 0*j. Do c and k have the same value?
False
Let l = 2.6 - 2.5. Which is greater: -3/13 or l?
l
Let j = 106 - 19. Do j and 88 have different values?
True
Let x = -0.139 + 0.039. Which is bigger: 1/46 or x?
1/46
Let b = -3 + 5. Suppose b*z - 3 - 1 = 0. Let o = -37/20 - -13/5. Which is bigger: z or o?
z
Let l = 62 - 59. Let h(n) = -n**3 - 4*n**2 - 2*n + 3. Let p be h(-3). Is l equal to p?
False
Let r be (-2)/(-11) - (-6)/(-33). Suppose 4*n + o + 28 = 2, r = n + 4*o + 14. Let h be (-4)/n - 24/63. Which is smaller: 0 or h?
0
Let u(c) = 8*c + 8*c**2 - 2*c - 1 - c**3 + 3*c. Let t(w) = -w**3 + w + 9. Let o be t(0). Let i be u(o). Which is smaller: i or -2?
-2
Suppose -h - 4*h = 0. Which is smaller: -12/17 or h?
-12/17
Let f(c) = -c**2 + 7*c + 20. Let o be f(9). Is -0.24 bigger than o?
False
Suppose -5*d + 239 - 14 = 0. Is 44 < d?
True
Suppose 3*p - 16 = 56. Which is greater: p or 23?
p
Let a be 2 - (-1 - -1 - 24/(-14)). Is 3 <= a?
False
Let d = 2 - 3. Let p be 3/2*(-6)/75. Let r = p + -4/175. Are r and d equal?
False
Let f = 1/55 - 137/1485. Let i = 5 - 4. Which is smaller: i or f?
f
Let j = -0.4 - -1.4. Let m = j + -0.9. Let v = -0.9 - m. Which is bigger: v or 0?
0
Let n = 9.8 + -9. Let a = 9 + -8. Let z = a - n. Is z bigger than 0?
True
Let o = -7 - -4.3. Which is smaller: o or 1?
o
Let x be (-18)/(-6) - (-20 + -1). Is x smaller than 23?
False
Suppose -3*p - 4*t = 13, -3*p + 7*p + 10 = 2*t. Suppose -3*l + 4*x = l, -5*l - 5*x - 40 = 0. Let g be -1 + (2 - l/p). Which is smaller: 0 or g?
g
Let y = -131 - -132. Is y <= 2?
True
Let h be (-344)/(-48) + (-1)/6. Which is smaller: 6 or h?
6
Let h be (-1)/4 - 1/(-4). Is 5/9 at least as big as h?
True
Let g = -0.26 + 0.16. Suppose 0 = 2*i + i. Is g greater than i?
False
Let i = -56 + 34. Let m be (i/4)/(1/2). Let t = 15 + m. Does t = 4?
True
Suppose 0 = -0*o + o. Let d be -5 + (o - (-3 - -4)). Which is bigger: d or -5?
-5
Let n = 106 + -75. Which is bigger: n or -1/3?
n
Let f(x) = 3*x + 43. Let b be f(-14). Suppose 5*s + 0*a + 6 = 2*a, 4*s - 2 = 5*a. Is s < b?
True
Let p be 26/56 - (-14)/49. Do 0 and p have different values?
True
Let n be (-12)/(-36)*(-1 + 1). Is n greater than or equal to -1?
True
Let s = 46/121 + -2/121. Which is bigger: s or 0.2?
s
Suppose 5*b + 2*s + 1 = 5*s, -4*b - 4*s = -12. Which is smaller: 1/35 or b?
1/35
Let t = 639 - 16621/26. Let o = 31/91 + t. Are o and 1 equal?
False
Let p = -1.4 - 0.6. Let c = 4 - p. Let o = c + -6.4. Is o bigger than 1?
False
Let z = -0.03 + -0.27. Let r be (1 - 6)*(5 + 635/(-125)). Do z and r have the same value?
False
Suppose -3*v - v = -5*j, -5*j = -2*v. Suppose -5*o - 4 + 24 = j. Let l(p) = p - 1. Let f be l(o). Is 3/2 > f?
False
Let d = -2 + 4. Suppose 4*h + h + d = 4*q, -5*h - 12 = q. Let y be (-15)/27*q/(-5). Which is greater: 1 or y?
1
Let t(f) = f**3 + 4*f**2 - 5*f - 2. Let o be t(-5). Let b be 4535*(o - 75/(-39)). Let y = 349 + b. Which is smaller: y or 1?
y
Let l be (1/3)/((-1)/3). Let x be (-3 - 0)*5/15. Let w be 