. Suppose 4*z - 2 = -i + 5, 4*z + 4 = 0. Suppose i - 1 = -5*q. Is w < q?
False
Let o = -1 - -1. Let j be 33/95 - 22/55. Which is bigger: o or j?
o
Let s be (3 + 0 + -3)/2. Suppose -6 = -j - s. Which is bigger: 7 or j?
7
Let w(i) be the second derivative of -i**3/2 + 3*i. Let q be w(-1). Suppose -2*c + 10 = q*c. Is 2 > c?
False
Let n(v) = -v**3 + 8*v**2 - 6*v - 7. Let q = -4 - -4. Suppose -4*c - 3*m + 37 = -0*m, 5*c + m - 38 = q. Let k be n(c). Are 0 and k non-equal?
False
Let d = 11 + -7. Is 0.1 <= d?
True
Let m(n) = -3*n - 1. Let c be m(-3). Suppose -3*i + 1 = -c. Let p = -78 + 82. Which is greater: i or p?
p
Let w = 13 - 8. Suppose 0 = 3*r - r - 2*k - 10, 0 = -2*r + w*k + 25. Which is bigger: 2/17 or r?
2/17
Let q be 16/6 + (-3 - -1)*-2. Which is smaller: q or 6?
6
Let d = -0.68 - -0.98. Which is smaller: 12 or d?
d
Suppose 4*o + 18 = 78. Is o bigger than -2/7?
True
Let m = -2.04 - -0.04. Let a = 1.8 + m. Let b(o) = -o + 11. Let u be b(11). Is u equal to a?
False
Let y = 91 + -63. Let i = -29 + y. Is -1 > i?
False
Let b = 356.9 + -396. Let q = -44 - b. Let g = q - -5. Which is smaller: 5 or g?
g
Let c be ((-17)/34)/(1/(-28)). Is c at least as big as 15?
False
Let i = -34 - -36. Which is bigger: 4/3 or i?
i
Suppose -p = -2*b - 2*p + 10, 3*b + 2*p - 17 = 0. Suppose -w = 2*w + b. Let r be (w - (-4)/3)*0. Which is smaller: 6/5 or r?
r
Suppose 0 = -4*p + 2*p - 4. Let w = p - -2. Let k = -2 + 2. Is k at least w?
True
Let r = 12 + -18. Let x = -103 - -94. Which is bigger: x or r?
r
Let k = -50 + 44.1. Let b = k + 6. Is -1 >= b?
False
Suppose 0*q = -q - 1. Which is smaller: 2 or q?
q
Let w = 1/15 - -49/15. Is w less than or equal to 2?
False
Let i be ((-9)/(-33))/(1*32). Let p = i + 17421/352. Let n = -491/10 + p. Is 1 != n?
True
Let m be 9/(-3)*8/(-3). Suppose -4*h = 8 + 8, 0 = 3*i + h - m. Let u be i/2 + (-2 - -1). Is u != -1/4?
True
Let p = 2 - 0. Suppose -11 = -p*r - 3*f - 4, -1 = -f. Let q be 0*r/(-4)*1. Which is bigger: -1 or q?
q
Let h(t) = -t. Let k be ((-4)/(-6))/((-8)/12). Let n be h(k). Which is bigger: 3 or n?
3
Suppose 4*j + 3*w = 137, j - 3*w + 7*w - 18 = 0. Is j > 37?
True
Let t = 3.2 - -1.8. Which is greater: t or -2/3?
t
Let p = 8 + -8.9. Which is greater: -1 or p?
p
Suppose 4*d - 31 + 1 = 2*u, u + 22 = 3*d. Let q = 6 - d. Do q and 0 have the same value?
False
Let t(b) = -b**3 + 7*b**2 - 9 - 3*b**2 + b + 3*b**2. Let a be t(7). Let o = -4 - a. Is -4 < o?
True
Suppose 0 = -q + 1 - 2. Let u be ((-1 + 1)/q)/(-2). Suppose -3*g + 2*w - 2 = 0, w = -3*g - u + 1. Is g bigger than 0?
False
Let g be 8/(-32) - 2/8*19. Let w(c) = -1. Let i(j) = -j**2 + 5*j - 3. Let n(f) = i(f) - 4*w(f). Let q be n(6). Is q >= g?
True
Suppose 5*p - 40 = -115. Let u = p - -11. Which is smaller: u or -3?
u
Let n be (-12184)/(-15624) + 6/(-14). Let k = -4/31 + n. Let g(s) = -s**3 + 6*s**2 + 6*s + 7. Let l be g(7). Is l smaller than k?
True
Suppose -2*d + 5 = -d. Is d at most 5?
True
Let l(n) = 16*n**3 - 1 - 8*n**3 + 9*n**3. Let s be l(-1). Is s at most -19?
False
Let s(j) be the third derivative of -j**4/24 + 5*j**3/6 + 2*j**2. Suppose 2*b - 3*b + 2 = -2*l, b - 3*l = 1. Let d be s(b). Which is bigger: 1/2 or d?
d
Let a = 205 + -3487/17. Which is greater: 0 or a?
0
Let d(y) = -y**3 - 2*y**2 + 4*y + 2. Let u be d(-3). Let p(i) = -4. Let t(w) = -w - 9. Let g(m) = -5*p(m) + 2*t(m). Let x be g(2). Which is bigger: x or u?
u
Let x(z) = -z + 1. Let l be x(-2). Suppose 0 = m + 3*c + l, -m - 3 = 2*c - 2. Suppose 2*u = j + 5, -3*j = j + m*u - 2. Which is bigger: j or 2/7?
2/7
Suppose -350*i + 3 = -347*i. Let p = 0.32 + -13.32. Is p bigger than i?
False
Let z(b) be the first derivative of -b**4/4 + 3*b**3 - 7*b**2/2 - 5*b - 1. Let o be z(8). Suppose -q + 0*q = -o. Is q at least 3?
True
Let k(c) be the first derivative of c**3/3 + c**2 + c + 2. Let d be k(-3). Suppose -3 + d = u. Is u at most -3?
False
Let x be (-2)/(-7) + (-300)/70. Is x less than 0?
True
Let c = 2 - -3. Suppose 12 + 3 = -c*w. Is w bigger than -2?
False
Let m = -21.1475 - -0.0475. Let i = m + 21. Which is greater: 5 or i?
5
Suppose 0 + 3 = -w. Let g = w + 3. Is g < 0?
False
Let t = 0 - -2. Let r = -2765 - -696779/252. Let l = 221/126 + r. Which is bigger: l or t?
t
Let l = -2 + 2.2. Let s be 174/4 + 1/(-2). Let j = 216/5 - s. Is l smaller than j?
False
Let z be 2/(-3) - 4/(-6). Let a = 6.978 + 0.122. Let r = a - 7. Is z >= r?
False
Let g(d) = d**2 - 6*d + 2. Let z be g(6). Suppose 3*t + 1 = -2. Let i be 1/(1 + -2)*t. Which is bigger: z or i?
z
Suppose 5 = -2*m - 1. Let r = -1 - m. Suppose -5 = -5*g + 5. Do r and g have different values?
False
Suppose -20 = -2*m - 3*m. Is m > 13/5?
True
Suppose -3*p + 2*u = -31, 5*p = -u - 0*u + 56. Is p greater than or equal to 12?
False
Let i = 20 + -18. Let a be (1/(-2) - -1)*i. Which is smaller: -0.1 or a?
-0.1
Suppose 0 = -5*a + 4*a - 4. Let f = a + 6. Suppose 10 = -2*r, -v - 16 + 7 = f*r. Does 1 = v?
True
Let h be 1985/56 + (-12)/21. Let r = h + -35. Does -1 = r?
False
Let t = 7.91 - -0.09. Let u = t + -7.8. Let g = 0.4 - 0.4. Is u greater than g?
True
Let s = 0 + -0.1. Let w be (-483)/18 + (-8)/4. Let c = w - -94/3. Which is smaller: s or c?
s
Let c = 170 + -169.89. Are c and 3 unequal?
True
Let o = 424/5 + -5527/65. Suppose 2*f = -5*d - 6, -2*d = 5*f + 16 - 1. Which is bigger: d or o?
d
Let j = 1.1 + -0.1. Is j less than or equal to 2/5?
False
Let a = -16/7 - -2. Is a greater than -47?
True
Let q = 6 + -9. Let h = 3.5 + q. Let k = 0.4 - h. Is 1 smaller than k?
False
Let y be (-8)/33 - (-1)/3. Suppose 2*d = 3*m - 2*d, -2*d - 14 = -5*m. Let c = m - 3. Which is smaller: c or y?
y
Let d = 11.5 - 11. Which is smaller: d or -4?
-4
Let s = -0.04 + -0.56. Let i = -1.4 + s. Let c = -2 - -5. Is c >= i?
True
Let t = -1 - 5. Which is smaller: -1 or t?
t
Let c = 3 + -2.9. Let a = -25 + 21.1. Let m = 4 + a. Is c equal to m?
True
Let k = -9 - -16. Suppose -k*z = -4*z. Is -2 <= z?
True
Let x(q) = -q**3 + 14*q**2 - 14*q + 15. Let v be x(13). Let t be ((-88)/(-6))/4 + -1. Which is bigger: t or v?
t
Suppose -5*c - 65 = -5*p, -4*p + 2*c + 48 = 4. Let j be (-1 - -2) + 8/2. Suppose -1 = j*u + p. Do u and 0.1 have the same value?
False
Suppose -4*y = -2*k + y - 530, -y = 4*k + 1038. Let t = -5978/23 - k. Which is smaller: -1 or t?
-1
Suppose 5*g + 145 + 19 = -3*y, -146 = 4*g - 5*y. Is -34 at most as big as g?
True
Suppose -s - 375 = 4*m, -5*s = -m - 58 - 41. Let j = m - -1691/18. Is 0 equal to j?
False
Let f be 2/(-10) - (1 - (-603)/(-465)). Which is bigger: f or 1?
1
Let t be -1*4*10/8. Suppose -12*z + 8*z = 12. Which is greater: z or t?
z
Let f = -0.168 + 0.068. Is 0.3 < f?
False
Let j = -1.66 + -0.04. Let y = 1.96 - -0.04. Let o = y + j. Is -2 greater than or equal to o?
False
Let v(a) = a**3 - 4*a**2 + 2*a + 1. Let t be v(3). Which is smaller: t or -14?
-14
Let y = -11 + 5. Let l = y - -10. Which is bigger: -1 or l?
l
Suppose m + 2*m = -4*i - 8, -4*i = 2*m + 8. Let w = -266/345 - 2/69. Is m not equal to w?
True
Let s be 33/(-9) + 5/(-15). Is s at least -1?
False
Let z = 11 - 8. Let x = 112 + -115. Is x at most as big as z?
True
Let y = -24 - -24. Which is bigger: 2 or y?
2
Let k = 60 + -425/7. Which is bigger: 0 or k?
0
Let j be 20/6 + 1/(-3). Let b = j - 2. Let c(z) = z - 3. Let s be c(4). Is s <= b?
True
Suppose 0*t + f + 5 = 5*t, -17 = -t - 3*f. Suppose -3*y - 15 = t*y. Which is smaller: -5 or y?
-5
Suppose -6 = -0*c - c. Suppose -c*b + 2*b = 0. Which is bigger: 0.1 or b?
0.1
Let f(n) = 2*n + 2. Let j be f(2). Let q = 10 - j. Is 4 less than q?
False
Suppose 0 = 3*s + 2*d - 6, -2*s + 0*s - 4*d + 12 = 0. Suppose m + 2*m = 0. Let b = -1/4 + m. Is s at least as big as b?
True
Let m be 0/(-3)*3/(-6). Which is bigger: m or 3/8?
3/8
Let d(g) = g - 8. Let x be d(6). Let b = 0 - x. Let a = -0.17 + 0.27. Which is smaller: a or b?
a
Suppose -10*q - 563 - 37 = 0. Which is bigger: -1 or q?
-1
Suppose -3 = -3*s + 4*u, 2*u - 5*u = 3*s + 18. Are s and -4 equal?
False
Let a = -15 + -6. Which is smaller: a or 1/6?
a
Let z be -2*18/15*5. Is z != -11?
True
Let y be -3 + -1 - 27/(-3). Is 12 at least as big as y?
True
Suppose -15 = -3*d + 15. Suppose -4*h - 27 = -3*t, -2 = 4*t + 4*h - d. Is t smaller than 3?
False
Let i(t) = -t**3 - 3*t**2 + 3*t - 3. Let b be i(-4). Let k(g) = -21*g**3 + g**2 - g + 1. 