-15)/10. Is w >= 13?
True
Let t be (-1)/(-4) - (-3 + 69/(-12)). Do 9 and t have the same value?
True
Let g = -38 + 33. Which is smaller: g or -9/2?
g
Let q = 22 - 18. Let t = -0.3 + 0.2. Which is bigger: q or t?
q
Let v = -9 + 9. Let a be ((-8)/20)/((-31)/(-5)). Which is greater: a or v?
v
Let k = -22 + 22. Which is smaller: k or 0.17?
k
Suppose 2*u = 7 - 1. Let k(a) be the third derivative of a**6/120 - a**5/20 + a**2. Let p be k(u). Is p > 0?
False
Let f(a) = 1 + 3*a + a + 12 - 5*a. Let c be f(11). Which is smaller: c or 1?
1
Let m be (3/(-2))/(15/(-6))*-5. Suppose -3*z - 14 = -4*z + 5*x, 0 = -z + 4*x + 11. Which is bigger: m or z?
z
Suppose 0 = -2*t + 10, -4*j + 0*t - 2*t = -6. Let c(u) = u + 7. Let b be c(-5). Suppose w + b*w + 3 = 0. Is w < j?
False
Let y = 7 + -11. Let b be 35/(-49) - y/(-14). Which is smaller: b or 2/9?
b
Let t = 3 - 0. Suppose -t = 4*v + 1. Let o = -52/9 - -269/45. Which is smaller: o or v?
v
Let s = 8 + -13. Which is greater: 0.2 or s?
0.2
Suppose 5 = 5*l - 30. Let r(d) = d - 6. Let j be r(l). Which is bigger: j or 3/5?
j
Suppose -5*b + 5*k - 30 = 0, 4*k - 8 = -4*b + 8. Which is smaller: 2/33 or b?
b
Let t be 1/3 + (-1)/21. Suppose 7 - 43 = 2*r. Let u be 10/(-15)*r/(-4). Does u = t?
False
Let q = -1 + 8. Which is bigger: q or 6?
q
Let p be ((-9)/(-3))/(-3)*-2. Suppose -7 - 1 = p*k. Which is smaller: k or 0?
k
Let x = 10915/4 - 2789. Let a(w) = -w**3 - 11*w**2 - 4*w. Let p be a(-10). Let y = x - p. Which is greater: y or 2/9?
2/9
Suppose -5*j + 2*i + 2*i + 15 = 0, -6 = -2*j - 2*i. Suppose 5*r = -a + 1, -j*r = -6*r. Which is bigger: a or 2?
2
Let d = -4 + 3. Let z be 32/(-1640)*5/(-2). Let l = z + -49/164. Which is bigger: l or d?
l
Let l be (0 + 0)/(-2 + 4). Suppose j - 3*h = -l*j - 4, -3*h = -6. Let d be 10/(-6)*j/5. Is d >= -1?
True
Let d = -4 + 10. Let u be 0 + 3*2/d. Is 2/9 greater than or equal to u?
False
Let n = 0.13 - 1.73. Let c = n + 1.9. Is -1/6 not equal to c?
True
Suppose 13 = 5*c + x, 1 = -c - 4*x + 15. Let b = 1 - 3. Let j be (-2)/(-6)*(7 - b). Which is smaller: j or c?
c
Let a = 2 + -2.1. Let l = a + 0. Is l bigger than -6?
True
Let p = -70/3 - -23. Let l be (-42)/30 - (-2)/(-15)*-3. Which is smaller: l or p?
l
Let o = -1828.99 + 1818. Let f = o - 0.01. Which is smaller: -1 or f?
f
Suppose -6*v = -2*v - 400. Let w be (v/(-45))/(1/21). Let y = 46 + w. Which is smaller: 0 or y?
y
Let d be 8/(-6)*(-3)/10. Suppose 5*l + 4*t + 4 = 9, -2*t = l - 1. Let s = l - 0. Which is bigger: s or d?
s
Let d = -59 - -26. Let k = -67/2 - d. Is k equal to 0.4?
False
Let a = 18.06 - 19. Let m = 0.06 - a. Is m not equal to 1?
False
Let v be (-116)/(-32) + (4 - 8). Which is bigger: 1 or v?
1
Let p = 71.5 + -71. Which is smaller: p or 1/4?
1/4
Let y be (-4)/(-5)*5/2. Let f = -15 + 15. Let v be f + y - 140/77. Which is smaller: 0 or v?
0
Let y(b) = b**3 - 10*b**2 + 8*b + 12. Let q be y(9). Suppose q*a + 5 = 8*a. Let p be (-1)/(-2)*2/(-3). Is p < a?
True
Let f = 3 + 1. Suppose 3*u - 3 - 3 = 0. Which is greater: f or u?
f
Let j be -1 + -7 + 1/(-1) + 3. Which is smaller: -2/7 or j?
j
Let z = 14 + -23. Let f = -8 - z. Which is smaller: -1/4 or f?
-1/4
Let a(g) = -g + 5. Let y be a(4). Which is bigger: -0.2 or y?
y
Let j = 43/72 + -3/8. Let m = 0.16 + -10.16. Let l = -10.1 - m. Is j greater than or equal to l?
True
Let r(v) = -2*v - 2. Let m be r(-2). Suppose m*i + 0 - 2 = 0. Do -2/29 and i have the same value?
False
Let u = -9 + 9. Let k = 2 + u. Is 1 < k?
True
Let z = 8 - 5. Let l = z - 4. Which is smaller: l or 2/13?
l
Suppose 3*g + 4*h - 38 = 4*g, g + h = -13. Let c = 13 + g. Which is greater: -6 or c?
c
Let r(l) = -l**2 + 5*l + 8. Let m be r(6). Suppose -4*a + 5*t = -20, m*t = a + 5*t - 5. Which is greater: 0 or a?
a
Suppose 0 = 5*a + t, -26 + 7 = a + 4*t. Let u(s) = -s**3 + 4*s**2 - 3*s. Let p be u(3). Suppose y - 3*y = p. Is a greater than y?
True
Let o = 2/31 + -783/124. Do o and -6 have different values?
True
Suppose y = -7 - 2. Suppose -5 = 5*h + 35. Which is bigger: h or y?
h
Let b be 4/(0 - 2 - -3). Suppose -b*h + 3*h = -4. Let o be (-5 - 0) + (h - 2). Do o and -4 have the same value?
False
Let p(y) be the second derivative of y**3/6 - 9*y**2/2 - 4*y. Let n be p(8). Which is smaller: -0.6 or n?
n
Let y = -1 - -1. Let d be ((-1)/2*y)/1. Let m be ((-7)/5 + 1)*5/7. Which is smaller: m or d?
m
Suppose 5*x = 4*x + 4. Suppose -k = x*k + 5. Which is bigger: k or 1/15?
1/15
Let k be -2 + ((-4)/(-2) - -1). Suppose -2*x - 4*m + m - k = 0, -3*x = 4*m + 1. Let z = -105.9 - -106. Are x and z non-equal?
True
Suppose 2*q + 313 = 3*q. Let a = q - 7827/25. Does a = 1?
False
Suppose 19 = 4*n + 3*g, -11 = -2*g - 1. Let z = 0 - n. Let t = -1 + z. Is -1 > t?
True
Let l = -378 - -19655/52. Let d = l + -3/13. Is d less than 0?
True
Let p be (-12)/8*(-22772)/(-102). Let l = 335 + p. Let u = -16 + 16. Which is greater: u or l?
l
Let u = 12 - 16. Which is smaller: 0 or u?
u
Let u be -4 - -6 - (1 - -2). Which is greater: -6/7 or u?
-6/7
Let t = -37 + 22. Which is smaller: t or -3?
t
Let f = -0.41 + -1.29. Is 1/2 <= f?
False
Let w = -16 - -20. Suppose 0 = 2*l - 3*c + 13, -w*l - 2 = 4*c - 2*c. Which is smaller: l or 2?
l
Suppose -3*f + f - 28 = 0. Let u = 20 + f. Let p(z) = z - 4. Let x be p(u). Which is greater: 2/3 or x?
x
Let o(q) = -q - 7. Let j be o(-5). Suppose 7*u = 2*u + 25. Suppose -i = -u*i. Is i != j?
True
Let f = -8263/27 - -306. Which is greater: 1 or f?
1
Let h = -5 - -7. Let w be 5/2 - 3/h. Which is bigger: w or 1/3?
w
Let d = 7 - 4. Let m be 3/9 + 2/d. Let z be m/((-2)/3)*-2. Which is bigger: 2 or z?
z
Let z be ((-12)/(-18))/((-4)/(-6)). Is z equal to 10/7?
False
Let l = 529010/833 + -10201/49. Let f = 427 - l. Is f < 0?
False
Let d = 11 + -7. Let w be (-10)/(-12)*d/10. Let f(z) = -z - 9. Let n be f(-8). Are w and n non-equal?
True
Let q be 921/1260 + (-6)/8. Let x = q + 43/420. Is x less than 0.1?
True
Let y = 534 - 202. Let o = 2641/8 - y. Which is smaller: -2 or o?
-2
Let z(x) = x**2 - 7*x - 12. Let a be z(9). Which is greater: a or 7?
7
Let b be 10/20 + (-2)/4. Which is bigger: 5/7 or b?
5/7
Let h = 1005/4 + -250. Is h smaller than 2?
True
Let b(n) = -13*n - 12. Let y be b(4). Is y bigger than -65?
True
Suppose 4 = -5*m + 9. Let y be 2/(-3)*(-27)/18. Is y smaller than m?
False
Let m = 1402/855 - 8/95. Let h be ((-5)/5)/(1/(-3)). Is h >= m?
True
Let w(h) = h**3 - h**2 - 2*h + 2. Let l be w(0). Is l greater than or equal to -8?
True
Let p = 44 - -10. Suppose -7*v - 4*t - 87 = -2*v, -4*v + 2*t - p = 0. Let r be 6/v + 19/10. Is r greater than 1?
True
Let y(o) = -o + 1. Suppose -w + 3*i - 6 = 0, -2*w - 4*i + 12 = -2*i. Let z be y(w). Is z at least 1?
False
Let w be 1*(-9)/(-3) + 18. Let l be (w/(-14))/(1/2). Do l and -3 have different values?
False
Let h = -129 - -199. Let i = -22166/321 + -30/107. Let r = h + i. Which is greater: 1 or r?
1
Let x(j) = -j**3 + 2*j**2 - 2*j - 2. Let d be x(2). Let b be (-2)/d + 1/(-3). Let k = 91/2 + -997/22. Is k > b?
True
Let q = -0.26 - 1.64. Let v = 2 + q. Is v >= 0?
True
Suppose -x + 5*x + 32 = 0. Are -5 and x non-equal?
True
Let a = 0.29 + -0.13. Is a != 2/3?
True
Suppose -g - 56 = -3*g. Let w be 2/(-1) + 62/g. Which is bigger: w or -1?
w
Let k = 5 + -3. Let j be (2/(-1)*1)/((-49)/21). Which is bigger: k or j?
k
Let f = 0.76 - 0.81. Let z = -121/3 - -40. Is z != f?
True
Let y(r) = r**2 - 7*r + 5. Let f be y(8). Suppose -5*i = f + 2. Is -3 not equal to i?
False
Let r(b) = b**3 - b - 4. Let s be r(0). Let l = -10 + 9. Which is greater: s or l?
l
Let h(b) = -2*b**3 + 2*b**2 + b + 2. Let d be h(2). Let a be (d/114)/(6/(-9)). Let x = 59/38 - a. Is 1 less than or equal to x?
True
Let i be 32/63 + (-4)/14. Suppose 15*f - 4 = 11*f. Is f at most as big as i?
False
Suppose 0 = -4*j + 3*l + 5 + 3, -4*l = -4*j + 12. Is 2/131 at most j?
False
Let v be 3/(-1) - (-7 - 0). Is v less than 2/7?
False
Let x = 15/2 - 7. Suppose -4*k - 5*j - 3 + 14 = 0, -26 = -4*k - 2*j. Let v be (8/6)/(6/k). Which is smaller: x or v?
x
Let g = -24 + 170/7. Which is smaller: -26 or g?
-26
Let a = 0.983 + 0.017. Which is smaller: 0.28 or a?
0.28
Let x(k) be the third derivative of k**4/24 - 2*k**3/3 - 3*k**2. Let w be x(3). Is -4 not equal to w?
True
Let h = 3 + -1. Suppose -4*y - 3*u = 10 - h, 5*y - 4*u = 21. Is 2 smaller than y?
