 46/10 + 14/35. Let x be (-3)/y - 95/(-75). Is x < 2?
True
Let v be 2 - -2 - (1 - 3). Let j be (-4)/(-12) + 34/v. Do j and 6 have the same value?
True
Suppose -z - 2*b = -3 - 15, 5*z - 90 = 4*b. Suppose -z = 5*i + 42. Let p be -1 - -1 - (-8)/i. Which is smaller: p or -1?
-1
Let z be 38/133 + 72/238. Which is smaller: 0 or z?
0
Let y = 297 + -570. Let m be (52/y)/(2/(-3)). Is m smaller than 1?
True
Suppose 3*f - 39 + 12 = 0. Do f and 9 have different values?
False
Let d be (6/4)/(15/(-4)). Do 0.2 and d have different values?
True
Let o = 115 + -105. Which is greater: o or 8?
o
Suppose 18 = -w - 0*i + 5*i, 0 = -3*w + 4*i - 10. Suppose -62 = -5*m - 3*p, m - 2*m = -2*p - w. Is 11 greater than m?
True
Let d = 687/775 - 25/31. Suppose -6*t + 2*t = 0. Suppose -2*s = -t*s. Which is greater: s or d?
d
Let l = -8 - -7. Let c = -7/79 - -277/1343. Is l < c?
True
Let s be (3 + -2)*84*17. Suppose -s = -p - 3*p. Let d = p - 3924/11. Which is smaller: -1 or d?
-1
Suppose 3*x = 2*x + 3*w - 12, -10 = -2*w. Suppose -n + x = -2. Are 7 and n equal?
False
Suppose d - 4 = -3*d. Suppose 0 = 2*c - 2*t + 8, -12 = -c - 3*t - 0*t. Which is greater: c or d?
d
Let t be (-46)/(-4) + 4/(-8). Suppose -2*y = -5*l + 5, 3*y - 2*y + 3*l - 25 = 0. Are t and y non-equal?
True
Let w(i) be the first derivative of -i**4/4 + 3*i**3 + 5*i**2 - 2*i - 5. Let f be w(10). Do f and -1 have the same value?
False
Let s = 3 - 3. Suppose 2*p - 3*u + 7 - 1 = s, 4*p = 3*u - 6. Suppose 0 = 5*b - p*b + 5. Are b and 0 unequal?
True
Suppose 2*l - 3*k + 10 = k, 3*l + k = -8. Are l and -5 equal?
False
Let x be 1*3*(-1)/(-21). Let n(q) = q**3 - 6*q**2 + 4*q + 5. Let l be n(5). Let a be -2 + 1 - l/1. Which is smaller: x or a?
a
Let j be (-6592)/(-34) + -11 + 8. Let c = -191 + j. Are 1 and c nonequal?
True
Let j be 52/280 - 1/(-10). Let c = 4/35 + 19/140. Which is greater: j or c?
j
Let h(u) = -4*u + 9. Let b(r) = 9*r - 18. Let d(w) = 3*b(w) + 7*h(w). Let s be d(4). Suppose j + 2 = s. Is 3 smaller than j?
False
Let u = 0.283 - 2.373. Let z = u + 0.09. Is z smaller than -2?
False
Suppose 8 = 4*u - 8. Suppose -12 = -p - p + u*q, 0 = 3*p + 2*q - 2. Let z be 1/p*2*-1. Does z = -1?
True
Let a = -65746260991/7030 + 9352242. Let t = a - -3/190. Which is smaller: -1 or t?
-1
Let d = 27 - 80/3. Which is greater: 0 or d?
d
Let n be 1 + 0/2 + -8. Is n < -1?
True
Let h(n) = -7*n**2 + n - 2. Let k be h(2). Let w be (-2)/(-18)*k/7. Which is smaller: 0 or w?
w
Suppose -2 = -t, -4*d - 6 = -4*t + t. Is 4 < d?
False
Let a(h) = -7*h + 20. Let y(f) = f - f + 10 - 3*f. Let r(k) = 4*a(k) - 9*y(k). Let p be r(-10). Which is greater: p or -3/7?
p
Let l be (2 - 10/7)/((-20)/14). Let h = -10 + 14. Are h and l non-equal?
True
Let u = 0.3 + -0.3. Let w = -0.1 - u. Is w at most 1?
True
Let h = 24 - 25. Which is greater: h or -2/41?
-2/41
Let n = -2 - -2. Let i = n - -1. Let j be ((-8)/30)/(18/(-15)). Which is smaller: i or j?
j
Let s = 6.97 + -7. Let t = s + -0.97. Let b = t - 0. Which is greater: b or -2?
b
Let q(t) = t - 4. Let u = 4 + 1. Let d be q(u). Which is smaller: d or 2?
d
Suppose 4*c - 2*c + 3*m + 6 = 0, 8 = 3*c - 4*m. Let f be c + (1 - 2) - -1. Suppose 0 = -q - f*q. Which is greater: q or 1/6?
1/6
Let w = -38 + 59. Are w and 22 unequal?
True
Let j(r) = -3*r**2 + 2*r + 3. Let y be j(-1). Which is smaller: -1 or y?
y
Let r(o) = -o**3 - 6*o**2 - o - 6. Let n be r(-6). Which is smaller: 5/8 or n?
n
Let b be (5/(-3))/(2/(-6)). Let x = -10 + 4. Let j = 12 + x. Which is greater: b or j?
j
Let g = 3 + 50. Let u = -263/5 + g. Let y = -4/5 + 41/45. Is y <= u?
True
Suppose 51 = 4*z - 5*r, -4*z = -2*r + 13 - 55. Let w = -1 - z. Let d be (2/w)/((-2)/(-6)). Which is bigger: d or 0?
0
Let k = 2.3 - 1.4. Let s = 0 + 0.1. Let f = k + s. Which is greater: f or -1/4?
f
Let g = -15.81 - -16. Let t = -0.01 - g. Which is greater: 2 or t?
2
Suppose -2*y - 3*r = -12, -y + 6*y - 2*r = 11. Which is bigger: y or 2?
y
Suppose 5*h + 4*z = -3, 0*h + z = -2*h. Suppose -n - 2 = -h. Is n equal to -4?
False
Let x be (8 + -10)*1/2. Let j = 6233/41 + -152. Is j < x?
False
Let o be 5/10*2*-26. Which is bigger: -25 or o?
-25
Let a(h) = -h + 5. Let q be a(6). Let n be -1 + q + 0 + 2. Is n smaller than -6/7?
False
Suppose -4*y + 57 + 23 = 0. Suppose 5*c - y - 14 = 4*v, -2*v = -3*c + 22. Is c not equal to 10?
False
Suppose 2*h - 5*j - 12 = 4, 5*h - 5 = -5*j. Let z be ((-3)/6)/(h/6). Is -1/3 at least z?
True
Suppose 4*d = -200 - 100. Let a = d - -527/7. Are 0 and a non-equal?
True
Let b be -52 + 1/((3 + -4)/(-4)). Is -48 != b?
False
Let c(x) = x**2. Let p be (-1 - 0)*(0 + -1). Let g = p + -2. Let f be c(g). Is -1/9 at least as big as f?
False
Let b be 0/4*(-1)/(-2). Suppose c + b*c = 0. Is c <= -1?
False
Let z = -3.4 + 2.4. Let v = 1.1 - 1. Which is bigger: v or z?
v
Let j = -1.3 + 1.4. Let d = 224.94 - 223. Let w = -0.06 - d. Which is smaller: j or w?
w
Let o = -11.2 - -2.2. Let t = o - -7. Which is smaller: t or 8?
t
Suppose 3*p + 0*p = -j - 43, 0 = -p + 4*j - 23. Is -16 at least as big as p?
False
Let z = -24 - -25. Is -3/8 less than z?
True
Let f = -4565630/6668547 + -2/60077. Let p = f - -2/111. Which is smaller: p or -1?
-1
Let f = 124.1 - 124. Which is greater: f or 0.08?
f
Let v(m) = m**2 + 4*m. Let u be v(-4). Let b be u/((-1 - -2) + -2). Let w be (2/2)/(2*8/(-16)). Which is greater: w or b?
b
Let m be 1 - -1 - (-2 + 5). Let j be ((-759)/15)/((-4)/5). Let t = 63 - j. Is m greater than t?
False
Let z(p) be the second derivative of -p**5/20 + p**4/2 - 2*p**3/3 - 3*p**2 + 2*p. Let v be z(5). Is v > 2/11?
False
Let t be (-8)/6*-3*99/(-84). Is -6 at most as big as t?
True
Let b = 0.1 + -4.1. Let x = b - -4. Let k = x - -0.1. Do -1 and k have different values?
True
Let m be (0 - (-20)/8)*24. Let n be (-1 + 3)*(-42)/m. Is 0 != n?
True
Let y be -4 - 3/(6/(-4)). Let k(w) = -2*w - 5. Let f be k(-4). Suppose -f*r = -r. Is y != r?
True
Let p = -5 - -5. Suppose -5*i + p - 5 = 0. Which is bigger: i or -2?
i
Suppose 0 = -5*a - 1 + 26. Let q be a/(-6) - 6/36. Is q at most as big as 3/8?
True
Suppose 13*b - 8*b = 245. Which is bigger: 48 or b?
b
Let n = 58.3 - 58. Which is smaller: 15 or n?
n
Suppose -5*z + 0*z = -5, 45 = -2*b - 5*z. Let k be 2/(-5)*b/35. Which is greater: k or 0?
k
Suppose 133 = 4*f - 23*f. Is -6 <= f?
False
Let p = -2812 - -30952/11. Is 1 <= p?
True
Suppose 9 + 6 = -5*t. Let c = -1 - t. Let a = c + -1. Is a bigger than 1/6?
True
Let h = -1/2 - -2/3. Let v(f) = -3*f - 5. Let n(w) = -w - 2. Let a(r) = -8*n(r) + 3*v(r). Let c be a(0). Which is bigger: c or h?
c
Let h = 70 + -68. Let r be (-2)/7 - (-18)/14. Let o = r - 0. Which is greater: o or h?
h
Let h be 20/70 + 55/28. Which is smaller: 3 or h?
h
Let g = 1.11 + -0.71. Which is bigger: 0 or g?
g
Let k = -4 - -5. Which is greater: k or 62?
62
Let u = -0.4 - -0.4. Let t = -0.1 + u. Is t less than or equal to 0.2?
True
Let k(h) = -h - 7. Let v be k(-7). Is 0 at most v?
True
Suppose 4*y + 3 = 5*m - 2, -4*y = -m + 1. Suppose -g + 4*g + 12 = 0. Which is bigger: m or g?
m
Let h be (-377)/(-203) - 2/(-14). Let f be 22/6 - 6/9. Which is smaller: f or h?
h
Suppose 24*c - 22*c = -2. Which is smaller: c or -1/3?
c
Let y = 0.07 + -0.06. Let p = y - 0.11. Let a(c) = -c**2 + 8*c - 1. Let j be a(8). Are p and j unequal?
True
Suppose 24 = 4*c + 4*v, -2*c - 2*v - 2*v = -20. Suppose 0*p + 12 = -c*p - 2*r, 0 = p - r - 2. Let g be p + 26/7 - 2. Which is bigger: g or 1/3?
1/3
Let b be (-3)/(-9) + 2/3. Let i be -2 + 2 - (2 - b). Which is greater: i or 1?
1
Let i be (-1 + 1)/((-22)/(-11)). Let t(c) = c + 2. Let h be t(-2). Let n be -1*((-2)/(-2) - h). Is n equal to i?
False
Let b(p) = p**2 + 11*p + 11. Let c be b(-10). Which is greater: 46 or c?
46
Let k(w) = -2*w**2 - 24*w + 22. Let t be k(-13). Which is smaller: -3 or t?
t
Let v = 0.2 - 0.27. Let k = 0.17 + v. Which is greater: -3/7 or k?
k
Let b be 115/275 - 4/(-22). Is -2 greater than b?
False
Suppose 108 = 5*v + 103. Which is smaller: v or -7/24?
-7/24
Let u = -1.49 + 1.3. Let m = -0.01 + u. Is m greater than or equal to 2/5?
False
Let d be (1 - -1)/(0 + 1). Suppose -d*p - p = 6. Which is smaller: p or -1?
p
Let i(h) = -h + 1. Let j be i(2). Let y be ((-1)/(-1))/(2 + j). Is 1/10 less than y?
True
Let o be (-65)/15 + (-1)/(-3). Let g be ((-2)/o*0)/(-2). Is g at least a