 Are 69 and c unequal?
False
Let h = -0.6 + -0.4. Which is greater: -1/4 or h?
-1/4
Let x = 11 + -23. Let c be 1 + -1*(-4)/x. Which is smaller: c or -5?
-5
Let b = 2.94 - -0.06. Let s = 1.1 - 2.1. Is b greater than s?
True
Let b = -2 + 3. Suppose 2*r - 4*r = -4. Suppose r*t - 5*t + 3 = 0. Is t at most b?
True
Let q be 4/(-18)*3/(-8). Let d be 0 + (-2 + 2 - (-1 + 0)). Which is bigger: q or d?
d
Let w be -2 + -2 + 48/4. Which is bigger: w or 17/2?
17/2
Let l be (-53)/14 + ((-78)/(-12))/13. Which is bigger: -4 or l?
l
Suppose 0*p - p = 7. Let l = p - 2. Let v = l + 10. Are v and -4/5 unequal?
True
Let b = 2 + -1. Let d = -1285405 - -1210851365/942. Let w = d + -2/157. Are b and w unequal?
True
Let g(l) = -l**3 + 8*l**2 - 2*l + 11. Let s be g(8). Is s at least as big as -5?
True
Suppose -13 = -4*u + b, 2*b - 3 + 19 = 3*u. Suppose u*m - 33 = 3*c + 7*m, 0 = 2*c - 5*m - 3. Are -1 and c equal?
False
Let k = 40 - 64. Are -0.2 and k unequal?
True
Let o be 38/8 + 5 + -4. Let c = 25/4 - o. Suppose -8 = -5*s + 2. Does c = s?
False
Let y(l) = l**3 + 3*l**2 + 3*l - 1. Let n be y(-3). Let g = n - -6. Let s = -1 - g. Is 2 equal to s?
False
Let t = -1 + 5. Suppose t*s - 4 = 8. Which is smaller: 1 or s?
1
Let o = -1 - 0. Let r(y) = y**3 + 4*y**2 + y + 3. Let l be r(-4). Is o at most l?
True
Suppose -4*m + 70 = 2*o, -5*m - o + 75 = 4*o. Is 21 > m?
True
Let v(m) = m**3 + m - 3 - 2*m**2 - 3*m + 4. Let i be v(3). Let z = 17 + -15. Do z and i have the same value?
False
Suppose -3*l = 5 - 2. Let i = l + 3/2. Is i equal to -2?
False
Let f = 11 - 13. Let m be (0 - 2 - f)/(-1). Which is bigger: m or -2?
m
Let a = 36 - 26. Suppose 4*t + t = a. Which is bigger: 1 or t?
t
Suppose -5*a - 9 = -34, 4*s + 2*a + 6 = 0. Are s and -5/2 equal?
False
Let k be (-3)/((132/40)/(-11)). Which is smaller: 8 or k?
8
Let k = 11068/7 + -1584. Suppose 7*u - 2*u = -15. Is k != u?
True
Let o(z) = -z**2 + 3*z + 3. Let s(j) = j**2 - 2*j - 2. Let m be s(-2). Suppose -15 = i - m*i. Let r be o(i). Is r >= 4?
False
Let q be 45/20 - 2/24*3. Is 13/8 equal to q?
False
Let f(q) = -20*q**2 - 2*q + 1. Let r be f(1). Let v be 2/r - (-12)/28. Are v and 0 nonequal?
True
Let y = 0.2 + -0.2. Which is smaller: y or -1?
-1
Let c = -14 + 7. Is c greater than 3?
False
Let t = -0.02 + -5.98. Let r = 7 + t. Is r at most 2?
True
Let h(p) = -p**3 - 4*p**2 - 5*p - 3. Let a be ((-6)/4)/(2/4). Let u be h(a). Let b be -6*((-12)/18 + 2/6). Which is smaller: u or b?
b
Let q be 2*(-4)/(-24)*-3. Suppose 4*j - 16 - 46 = -5*f, 0 = 2*f - 2*j - 14. Let y be (-4)/f - (-4)/10. Which is smaller: q or y?
q
Let o be (2 - 3)/2*-4. Suppose -23 = -5*p + o. Suppose -3*l = -4*f + 3*f - 8, -p*l - 3*f = -4. Do l and 2 have different values?
False
Let c = -29 - -34.4. Let g = -5 + c. Let s = g - 0.4. Which is smaller: s or -0.1?
-0.1
Let c(o) be the third derivative of -o**6/120 - o**5/15 + o**4/4 + 2*o**3/3 + o**2. Let p be c(-5). Is p at least as big as 2/9?
False
Suppose 0 = 3*q + 3*h + h + 209, 0 = 5*q - 5*h + 290. Let l be (-2)/6 - 6861/q. Let u = l + -109. Which is smaller: u or 0?
u
Suppose 2*w + 2*r - 5*r = -129, 3*r + 231 = -3*w. Are -71 and w non-equal?
True
Let n = -302/45 - -33/5. Which is smaller: n or 1?
n
Let s = 3 - 8. Let l = 5 + s. Which is smaller: 1/14 or l?
l
Suppose -2*p - 4*i = -0*p - 12, -2*p + 4*i + 36 = 0. Suppose 85*h = 78*h + 91. Which is bigger: p or h?
h
Let h = 0.4 + 4.6. Let y = h + -4.9. Is 5 greater than or equal to y?
True
Let l(d) = -d**2 - d + 2. Let m be l(2). Let q = m - -6. Let w = 4 + -3. Which is greater: w or q?
q
Let z(g) = g - 2. Suppose 0*o - 3*v = 2*o - 12, 3*o = -5*v + 18. Let y be z(o). Let x be y/80 + 1/5. Is 0 >= x?
False
Let z = 310.99 + -308. Let t = z - 3. Let n = t + -0.99. Which is smaller: 1/2 or n?
n
Let p(r) = -r + 6. Let u be p(5). Let y = 5 - 2. Let h = -5 + y. Is u < h?
False
Let c = 320/21 + -47/3. Suppose -5*o - 3*q - 5 = 0, 5*q + 4 = 4*o - 8*o. Is c at most o?
False
Suppose 3 = 8*d - 5*d. Is 1/23 smaller than d?
True
Let x = -18 + 17.84. Which is greater: x or 0?
0
Let c = -47 + 20. Let y = c + 28.1. Which is bigger: y or 2/3?
y
Suppose -4*m + 13 = t, 13*t - 10*t + 9 = 4*m. Which is bigger: 5/3 or t?
5/3
Suppose 0 = -5*s + y + 14, 5*y - 9 = -s - 1. Suppose 4*w - s = -7. Which is greater: 6/13 or w?
6/13
Let s = -49/45 + 1/5. Let c = -95/117 - s. Which is smaller: c or 0?
0
Suppose 0 = -2*k - 2. Let p = -31 - -30. Is p bigger than k?
False
Let b(t) = -t + 3. Let l be b(13). Which is smaller: -31/3 or l?
-31/3
Let i = -29 - -30.9. Which is smaller: i or 3?
i
Let n(f) = -8*f. Let h be n(2). Let a = h + 18. Is 3/4 greater than a?
False
Suppose -76 = 5*l - 191. Is -1 at most as big as l?
True
Suppose 0 = -r + 2 + 1. Let k = 9 - 6. Suppose -k*i + r = -6*i. Which is smaller: i or 1/6?
i
Suppose 6 = -17*c + 11*c. Are 1/45 and c nonequal?
True
Let c be (-1)/9*3*-3. Let x be 0 + 0 + 4/(-14). Is x smaller than c?
True
Let u be (1 - 5) + (-12 - -16). Is u greater than or equal to -1/20?
True
Let h(b) = b**3 - 9*b**2 + 5*b - 7. Let q be h(8). Which is bigger: -32 or q?
q
Let y be -1*((-357)/87 + 4). Is y smaller than 1?
True
Let w(b) = 2*b**2 + 2. Let x be w(-2). Let h = x - -2. Suppose 2*f = j - 6, 5*j + f + h = j. Is -2 greater than or equal to j?
True
Let v be 6/(-2 + 0/2) - 1. Is v at least as big as -33/8?
True
Suppose -10*h - 8 = 2. Do 3/139 and h have different values?
True
Let z = 2225 + -122367/55. Let a = -6/11 + z. Suppose -3*o + j + 2*j = 0, 0 = 4*o - 2*j. Is a at most o?
True
Suppose 4*f - 6*f - 2 = 0. Let d be f/(-5) - (-4)/(-10). Is d greater than -1?
True
Let z(v) = -2*v - 1. Let d be z(-1). Let i(h) = 2*h + 6. Let y be i(-4). Let a be y/10 + (-3)/35. Which is smaller: a or d?
a
Suppose 3*o - o + 2*n - 8 = 0, 4*o - 5*n = 34. Let w be 2/(-6)*(12 - o). Which is greater: w or -15/7?
w
Let a = 54 + -66. Which is smaller: a or -11?
a
Let r = -42 - -46. Let k = 0.2 - 0.3. Which is greater: k or r?
r
Let g = -4 - -4. Let t(j) = -7*j - 3 - 5*j**2 + g*j**2 + 4*j**2. Let o be t(-6). Which is greater: o or 3/2?
o
Let w = -129 - -128. Let o = -6/17 + 1/51. Is w less than o?
True
Let m = 154 + -155. Do m and -5/4 have the same value?
False
Suppose -5*v = 5*u - 40, u - 5*v = -v + 3. Which is greater: u or 1?
u
Suppose d - 3*w = 4, -4*d + 5*w - 60 = -9*d. Let j be d/50*5/(-8). Let i = j + -1/8. Which is bigger: 2/5 or i?
2/5
Let p be 53/1*(-7)/14. Let t = 26 + p. Are t and -1/2 unequal?
False
Let u = -0.7 + 1. Let s = -0.6 - -0.1. Let t = u + s. Which is smaller: t or 1/3?
t
Suppose -4*c + 6 = -2*c. Suppose -z + c = 1. Which is smaller: z or 4/7?
4/7
Let j = 0.282 - 0.042. Which is smaller: -1 or j?
-1
Let b = -12 - -13. Let d = -395 + 5927/15. Which is smaller: d or b?
d
Let u be (-6)/(-14) - (-11)/7. Suppose -u*p = 5*x - 6, -4*p = x - 14 + 2. Which is bigger: -2/11 or x?
x
Let g be (-3)/(-2)*4/3. Suppose 0 = -9*t - 13 + 40. Is g != t?
True
Suppose -4*o - 8 = 8. Let r be (3/30)/(2/5). Is o > r?
False
Let l = -392905/10548 + -2/2637. Let a = l + 721/20. Which is bigger: -2 or a?
a
Let u be 88/(-123) + (-2)/(-3). Let n = 29/246 - u. Is n greater than -1?
True
Suppose 2*b + b = 0. Is -2/237 <= b?
True
Suppose 1 = 4*l - 7. Suppose -5*b - 11 = 4*r, -2*r - 4*b - 7 = 3*r. Suppose 0 = l*j - 1 - r. Is j > 2/7?
True
Let a = -31.6 + -5.4. Is a smaller than -0.1?
True
Suppose r - 17 = 3*b, 5*r - 41 = -3*b + 7*b. Suppose -i = 3*i + 16. Is b greater than i?
False
Let o = -0.7 - -13.7. Which is bigger: 0.1 or o?
o
Suppose 4 = 2*y + 2*y. Let j = y + -3. Let l be j/(-5) + 144/(-210). Is l greater than or equal to 0?
False
Let d(i) = -3*i + 6. Let b(l) = -7*l + 13. Let r(a) = -2*b(a) + 5*d(a). Suppose -w + 3*p + 10 = 0, 5*w - 45 + 13 = -3*p. Let k be r(w). Is k bigger than 0.1?
False
Suppose 4*w + 0 = 8. Let q(z) = -z**2 + 10*z - 4*z + w + 0*z**2. Let l be q(6). Is l < 0?
False
Let j be 2/(-3436)*(-917452)/(-30). Let c = -2/2577 - j. Let p = c + -18. Is -2/5 greater than or equal to p?
False
Let v(x) = 2*x**2 - 8*x - 6. Let k be v(-6). Let p be (0 - 0) + (-6)/k. Which is smaller: -1 or p?
-1
Let c = 4 - 1. Suppose k - r - r - 9 = 0, 0 = -4*k - c*r + 14. Is 4 greater than k?
False
Suppose -j = 2*l, 2 = -4*j - 5*l - 1. Let c be (3/(-30))/(2/24). Which is greater: c or j?
c
Let b = -0.03 + -1.97. Let h = -