 19 = 1, 3*c + a = -f. Do c and -6 have the same value?
True
Suppose -3*b - 3 = 3*u, 3*b + u = 1 + 2. Let r be -3 + (b - (-10)/8). Which is smaller: r or 0?
0
Suppose -5*w - 6 = 3*m - 81, 2*m = 10. Is w less than or equal to 0.04?
False
Let z = 518041/20 + -25909. Let u = z + 27/4. Is u greater than or equal to -1?
True
Suppose 0*y = -v - 4*y - 13, -15 = 5*y. Let n be (-3 - 2*v)*-1. Let x = 0 - 0. Is x >= n?
False
Let k = -4 - -9. Is k greater than or equal to 14/3?
True
Suppose -5*i = 6 - 1. Which is smaller: i or 3/8?
i
Suppose -3*u - 40 = 2*u. Let g be u/(-14) + 78/(-63). Let m be 0 - -2*1/5. Which is smaller: m or g?
g
Let b(w) = w - 5. Let z = 5 - 0. Let r be b(z). Is r bigger than -3?
True
Let t = 11237/21 - 535. Is t greater than or equal to -2/9?
True
Let i = -24 - -11. Let k = i + 13. Is 0.3 less than k?
False
Let h be 2/(-9) - (-64)/180. Let o(z) = z + 3. Let q be o(3). Let r = q - 16/3. Which is bigger: h or r?
r
Let r = -24 - -23. Which is smaller: r or 15?
r
Suppose -3*u + 29 = 4*b, -1 + 3 = -u + b. Let t = u - 3. Is 4/7 equal to t?
False
Let c = -5203/13 + 400. Is -1 at least as big as c?
False
Let r = 0.87 - 0.9. Let l = 7 + -6.77. Let g = l + r. Which is greater: 1 or g?
1
Let g = -19 + 31. Let m = g - 14. Which is smaller: -4 or m?
-4
Let m = -14 - -9. Is m less than -6?
False
Let c = 0.05 - -0.03. Let v = c - -2.92. Are -1/4 and v non-equal?
True
Let i = -2/23 - -79/644. Is -1 bigger than i?
False
Let g = 2/233 + 3019/1165. Is 2 greater than g?
False
Let r = -88 - -98. Is 11 bigger than r?
True
Suppose 3*z - 5*i - 27 = 0, 3*i + 2*i = 0. Suppose -13*l = -z*l + 76. Are l and -20 equal?
False
Let t be (24/5)/(-3) + 1. Suppose 5*z - 2 = -12. Does t = z?
False
Suppose -16 = -2*j - 4. Let r be ((0 - j) + 4)*-1. Are r and 4 equal?
False
Suppose -2*h + 26 = -a, 3*h - 5*h + 4*a = -14. Is 59/4 less than h?
True
Suppose -2*r = 3*r - 30. Let d = 9 - r. Suppose -d = -5*c - 13. Are -2 and c unequal?
False
Let x = 51 - 461/9. Let s be (-38)/(-14) - (-2)/7. Suppose -h - 2 = -s*h. Is x at least h?
False
Let a be ((-4)/11)/(0 + 2). Let s(d) = d**3 - 6*d**2 - 8*d + 1. Let y be s(7). Let o be 3 - y/3*-2. Is a <= o?
False
Suppose -6*b + 2*x = -b + 12, -x + 5 = -2*b. Suppose 5*z + 23 = g, 14 = -4*z - g + 1. Let p be (5 - 7)*2/z. Which is greater: p or b?
p
Let x = 7 + -4. Suppose 0 = x*r + 5 - 2. Which is smaller: 1 or r?
r
Let d = -0.3 + 1.3. Let k = 7 - 4. Suppose r = 5*y + 21, -5*r + 0*r - 7 = k*y. Is d greater than y?
True
Let l(j) be the first derivative of 2*j**3/3 + j**2 - 3*j + 1. Let z be l(2). Let p = -10 + z. Is p not equal to -1/2?
True
Let u = -36 - -36. Is u at most as big as -5/14?
False
Let o be ((-6)/(-99))/(1/(-3)). Is o != 7?
True
Let r be 4 - 3 - (-2 + 6). Is -20/9 at least r?
True
Let t = 115 + -116. Is t > -8/5?
True
Let o(k) = 2*k**3 + 17*k**2 + 9*k + 7. Let i be o(-8). Is i >= -24/11?
True
Let n be 15/51 - 6/18. Which is bigger: n or -1?
n
Suppose -i - 8 = -u, 0*u + u + 27 = -4*i. Let m = -7 - i. Are 2/7 and m non-equal?
True
Let b(i) = i + 7. Let c be b(-5). Suppose -c - 3 = -5*o. Let p be -1 + (-2 - (-4)/2). Is o less than p?
False
Let n = 124 + -124. Which is smaller: -2/321 or n?
-2/321
Suppose -3*t + 5*t = 0. Let n be (t/1)/(-3 + 2). Do n and 3/7 have the same value?
False
Let d = 141 - 142. Which is bigger: -1/54 or d?
-1/54
Suppose 4*c + 16 = -8. Let y = c + 7. Is y at least as big as 1/5?
True
Let q(z) = z**3 + 6*z**2 + 5*z - 1. Let t be q(-5). Let s be ((-15)/(-18))/(-5)*-14. Let w = s - 29/15. Is t less than w?
True
Let r(j) = -j + 0 + 0 + 6. Let b be r(7). Let n be (-2)/(-42) - (-6)/21. Which is smaller: n or b?
b
Suppose 3*u = 1 + 11. Let z be 0/(0/u + 2). Is 3/4 at least z?
True
Let b = 15 - 18. Which is smaller: 3 or b?
b
Let d be (-1)/3*-1*-3. Let x = -4 + d. Let y be 4 - x/(5/(-2)). Which is smaller: y or 3?
y
Let k be -21*((-3)/(-9) + -1). Let y be k/(-40) - 4/16. Let b = -0.1 + 0.1. Is b less than y?
False
Suppose -a + 5 = -0*a - 3*h, 4*h = 4*a - 12. Suppose 0 = -4*t + 5*t - 3*l - 20, -a*l = 2*t. Suppose 0 = t*r - 0*r - 5. Which is bigger: r or -1/7?
r
Let l = -7.6 - -7.61. Are -1/3 and l nonequal?
True
Let j = 197/21 - 29/3. Which is bigger: j or 0.19?
0.19
Let v be (0/1)/(-7 - -6). Let b = -8 - v. Let k be 5/4 + (-6)/b. Which is bigger: k or 3?
3
Suppose 5 = -5*g + 5*k, 0 = 4*g - 2*k - 2. Suppose 0 = -r + 3*q - 5, 0 = -r - 3*r + q - 20. Let h be (r/g)/5*-2. Which is smaller: 0 or h?
0
Let n(h) = h**3 - 5*h**2 - 6*h. Let i be n(6). Which is smaller: -1 or i?
-1
Let m be 3*3/(-9)*1. Let x be -1*(1 + -2)*m. Is -1 greater than or equal to x?
True
Let k = -12/77 + -2/77. Which is smaller: 1 or k?
k
Let a be (8/(-10))/(9/(-5)). Which is greater: -1 or a?
a
Suppose -3*u = 4*l - 8*l + 26, 4*u + 13 = l. Suppose -4*q + 69 = -3*d, -3*q + 0*d + d + 53 = 0. Suppose -3 = -5*v - q. Is v greater than u?
False
Let m be (-4)/(-2) - 819/396. Is m at most as big as -1?
False
Let b = 17 - 18. Are -9 and b nonequal?
True
Suppose 6 = 3*g, -1 = -l + 7*g - 3*g. Which is smaller: 0.2 or l?
0.2
Let a be 4 - 3*3/2. Which is bigger: a or 9?
9
Suppose -m - 3*k = -4*k + 5, 2*m - 4*k + 18 = 0. Which is smaller: -1/6 or m?
m
Let d(b) = -b**3 - b + 5. Let f be d(0). Suppose u - 14 = -f*k, -4*k + 4 = -3*k. Let y be (2/u)/(7/(-3)). Is y != 0?
True
Let c = -30 - -30.1. Suppose 0 = 5*j + 11 - 1. Which is smaller: j or c?
j
Let r = 4 + -4. Suppose 4*b + b = -4*x + 4, -2*x + 5*b + 2 = r. Let h = -0.19 - 0.01. Which is smaller: h or x?
h
Let u be 2 + 8/(-1)*3/(-9). Is 5 at most as big as u?
False
Let d(i) = i - 11. Let a be d(7). Let w(q) = q**2 + 6*q - 4. Let f be w(-6). Is f != a?
False
Let w be 5*(-1)/((-5)/2). Suppose 0*o + o = 0. Let c be o/(w + 1) - 1. Is c greater than or equal to -1?
True
Suppose 0 = -5*h + 3*h + 4. Let l be -5 + 2 - (6 + -10). Are l and h nonequal?
True
Let b be (-88)/(-2) + (-2 - -4). Let m = b - 66. Let w be -1*1 - m/28. Which is greater: w or -1?
w
Let k(x) = -x**2. Let c(s) = -1 + 10 + 11*s - 4*s - s**2. Let l be c(8). Let u be k(l). Which is bigger: 0 or u?
0
Let r = 18/55 - 456/385. Let h(g) = -g**2 + 7*g - 7. Let s be h(5). Suppose 4*q = -z + 4, 0 = z - 5*q + s*q + 2. Which is greater: z or r?
z
Let v be (6/(-9))/(2/14) + 3. Are -3 and v equal?
False
Suppose u + 3*u = 5*t - 4, -3*u = -5*t + 3. Suppose 5*v - 5 = k, t = -k - k - 4*v - 10. Is k greater than -4?
False
Let b be (-2)/(-10)*5/2. Let c be ((20/32)/(-5))/(17/(-136)). Is b at least as big as c?
False
Let r be (10/(-20))/(4 + -2 + 0). Which is bigger: -1.6 or r?
r
Let u = 41 + -43. Which is smaller: u or -3?
-3
Let w = -0.7 + 0.8. Let p be (-2)/(-5) + 14268/130. Let v = p - 110. Which is smaller: v or w?
w
Let h = -12 - -10. Which is bigger: h or -3?
h
Let k be (-34)/17 - 98/6. Let b = 18 + k. Which is greater: 1/5 or b?
1/5
Let z(i) = -i**2 + 20*i - 37. Let k be z(15). Which is smaller: k or -1?
-1
Let f = -78 - -79. Let y = 2 - 2.4. Let w = y - -0.2. Is f at most as big as w?
False
Let m(h) = 3*h**2 + 3*h**2 - 5*h**2 - h. Let v be m(0). Is v not equal to 0?
False
Suppose 9*g + 0*g - 9 = 0. Which is smaller: -2 or g?
-2
Let k = 38 - 38. Which is smaller: -53 or k?
-53
Let r = -0.4 + -2.6. Let l = r + 1. Are -2 and l equal?
True
Let g be 5/(-2)*8/(-20). Which is smaller: g or -6/19?
-6/19
Let z = 19 + -21. Let v(b) = -4*b - 6 + 5*b + 0*b. Let s be v(6). Which is bigger: z or s?
s
Let t = -2 - -1. Let s be 1/2*(-3 - t). Suppose -4*z - 5*a - 20 = 0, 2*a = -2*z + 3*a + 4. Which is smaller: z or s?
s
Suppose -t + 0 - 2 = 0. Let k(s) = -s - 13 + 12 + 0*s. Let o be k(0). Are o and t nonequal?
True
Let k be 184/44 - (-4)/(-22). Suppose -k*d = -d + 9. Suppose q = 4*u - 2*u - 8, 2*u - 8 = 0. Which is bigger: q or d?
q
Let f(a) = a + 19. Let p be f(-8). Is 1 not equal to p?
True
Let o be 4/(-8)*227/(-2). Let m = 57 - o. Is -3 smaller than m?
True
Let h = -5 - 1. Let l = h + 9. Suppose 0 = -3*n - l. Is -2 bigger than n?
False
Let s(p) = -p**2 - 3*p + 4. Let r be s(-4). Suppose r = 2*n - 3 - 1. Let d be (-3)/((-1 - -4) + n). Which is bigger: d or -1?
d
Let q = 54 + 65. Let n = q + -835/7. Which is bigger: n or -1?
n
Let o be (7/(-28))/((-21)/(-12) - 2). Is 54 >= o?
True
Let o be 2/(-3)*(-9)/(-15). Let d = 6 + -3. Which is bigger: d or o?
d
Let a = 4878/13 - 375. 