 812 = 0. Let j = 7716/19 + c. Is -1 not equal to j?
True
Suppose 6*i - 29 = 3*i + 2*l, 2*l = -2*i + 6. Let s = -7 + 13. Is i greater than or equal to s?
True
Let s = -5 + 9. Let q(w) be the third derivative of w**4/24 - w**3/2 + 2*w**2. Let f be q(s). Is f at least as big as -1?
True
Let c = 37 + -35. Is c greater than or equal to 2?
True
Let q = 0 - -1. Let y be 5*4/10*-2. Let w be 44/(-104) + (-2)/y. Is w greater than or equal to q?
False
Suppose -6 = 2*n + 3*i, -n - i = -0*n + 1. Let q(s) = s**2 - 2. Let g be q(2). Suppose 4*b - 16 = 2*m, -m = g*m - n*b + 12. Is m < 0.1?
True
Let s be (-23)/(-63) - (-8)/(-24). Is 0 equal to s?
False
Suppose -7 = 5*z - 22. Suppose u - z*u + 2 = 0. Which is greater: u or 2?
2
Let o = -15 + 11. Which is greater: o or -5?
o
Suppose 5*x = 3*c - 8, -3*c - 2*x + 2 = c. Suppose t = -4*t + 25. Let y be (16/(-220))/(2/t). Is y >= c?
False
Let y = -17 - -16. Let k = -2/945 - 1808/38745. Is k >= y?
True
Let o be (4/(-34))/((-4)/(-16)). Let q = 58/51 + o. Do q and -0.2 have different values?
True
Let u = 2 + -1.9. Let f = -0.2 + u. Let y = -0.207 + 3.207. Which is smaller: f or y?
f
Suppose 0 = q + 5. Which is smaller: q or -1?
q
Suppose 4*k = 5*t - 74 - 48, 0 = 3*k - 6. Which is greater: t or 27?
27
Suppose 0 = 3*a - a - 8. Suppose -2*v - 2 + a = 0. Suppose -2*n = -3*n + v. Which is smaller: 0 or n?
0
Suppose -3*o = -5*p + 68, o - 3*p = 2*o + 32. Let v = o - -103/4. Let s be 2/7 + 6/(-21). Which is smaller: s or v?
v
Let u = 117 - 70. Which is bigger: 49 or u?
49
Suppose 3*c + 3*i = -2*i - 98, -i = c + 36. Do -39 and c have the same value?
False
Suppose 5*o - 5*h = -2*h + 33, -h + 29 = 5*o. Let d = -7 + o. Which is bigger: -4/5 or d?
-4/5
Suppose 0 = -5*g + 5, 5 = 2*m - 3*m + 4*g. Let j be (465/20)/(1/4). Let p = -559/6 + j. Is p >= m?
True
Suppose 4*a + 1 + 7 = 0. Suppose 0 = 4*g + 4*q + 16, g = 2*g - 3*q - 8. Is a bigger than g?
False
Let u be (-51)/9 - 2/(-3). Is u <= -5?
True
Let h(s) = -s**2 - 6*s - 7. Let c be h(-4). Which is bigger: c or -2?
c
Let q(a) = -62 - a + 62. Let p be q(-3). Which is smaller: p or -2?
-2
Suppose 2*w - 28 = 3*w + b, -5*b - 44 = w. Let q(i) = -3*i - 44. Let o be q(-7). Which is smaller: w or o?
w
Let a(k) be the third derivative of -k**4/24 + 7*k**3/6 + 3*k**2. Let w be a(7). Suppose -6*y + y = w. Is 1 > y?
True
Let d be ((-12)/99)/(2/(-3)). Is -14 less than d?
True
Let j be -226*3/900 - -1. Let i = j - 2/25. Let r be (1 - -1)/(-6)*-1. Which is greater: i or r?
r
Let a = -28335/43 - -659. Which is greater: -1 or a?
a
Suppose 0 = 3*w + 2*g + 3, 0 = 2*w + 2*g - 4*g + 2. Let a be (524/(-6)*-1)/w. Let l = 88 + a. Is l less than or equal to 0.3?
False
Let i = -0.01 - -0.01. Which is bigger: 3 or i?
3
Let i = -84/5 + 538/35. Let f = 24 - 26. Which is smaller: f or i?
f
Let w be (-52)/(-65)*2/4. Let v(a) = a - 6. Let x be v(6). Is x bigger than w?
False
Suppose 3*q + 25 = 6*a - a, -3*a + 4*q + 26 = 0. Suppose 3*w + 15 = a*s + s, 2*s - 13 = -w. Let p be 8/6*(-9)/s. Are p and -2 non-equal?
False
Let i be -8 + 8 + (-3)/2. Which is bigger: -2 or i?
i
Let m(f) = -f - 14. Suppose 1 = 4*s + 9, -4*s = -a - 4. Let w be m(a). Are w and -4/5 equal?
False
Suppose 5*i + 3*b - 86 = 0, -4*b - 24 = -3*i + i. Which is smaller: 18 or i?
i
Suppose 4*x = x + 14181. Let v = -165456/35 + x. Let b = -5/7 - v. Is b > -2?
True
Suppose -s + y - 9 = -2*y, -5*y = 25. Is s less than or equal to -0.2?
True
Let d be 4/6 + 8/(-3). Let y be 25/10*d/(-1). Suppose 5 = z + 4, -5*z + y = 4*q. Which is bigger: 1/2 or q?
1/2
Suppose 406 = 25*x - 1069. Are x and 57 unequal?
True
Let x = -10899/23 - -474. Which is smaller: 1 or x?
x
Suppose -5*g + 8 = -12. Suppose 0 = -4*j - 3*p - 35, -4*j - g = -p + 11. Is -5 at least j?
True
Let j = 53 - 77. Let i be 4/14 - j/14. Which is bigger: i or 1?
i
Let s(m) = 9*m**2 - 4*m + 2. Let d be s(1). Which is smaller: d or 46/7?
46/7
Suppose -5*i - 4 = j, -6 = -i + j - 2. Suppose 4 = q - 8. Suppose 4*m = -m + x - 18, 4*x - q = i. Which is smaller: m or -2?
m
Let t be 3/(-9) - (-52)/228. Which is bigger: 1/3 or t?
1/3
Suppose 0 = 2*z + 3*z - 25. Let b be 6*(2 + -1 + 0). Which is smaller: z or b?
z
Let g be ((-3)/27)/(14/(-12)). Is 0 smaller than g?
True
Let f = 0 + -0.2. Let k = f - -0.4. Let i = -0.2 + k. Which is smaller: -1 or i?
-1
Let g(i) = -i - 3 - 2 + 8. Let t be g(3). Which is bigger: t or 6/17?
6/17
Suppose -4*u = 2*f - 22, 0 = -u + f + 2 - 4. Let k be (-1)/u*-1*-1. Let y = -48 - -47. Is y bigger than k?
False
Let t = -80.03 + 80. Which is smaller: t or 2/7?
t
Let r = 256/7 - 36. Which is smaller: r or 1/2?
1/2
Suppose -2*b + 19 = -3*b. Suppose -3*u = -t + 62, -5*u + 3*t - 72 = -2*u. Is u greater than b?
False
Suppose 0 = 5*f - 3*f. Is 4 >= f?
True
Let j be (1/4 + -1)*4. Let h = j - -1. Is -2 not equal to h?
False
Let r(d) = d**3 - 3*d**2 + 3*d - 1. Let z be r(3). Suppose -5*j + 22 = -2*c, 3*c + 2*j - z = -3. Which is smaller: 2/3 or c?
c
Let z = 9/322 - 1823/42182. Which is bigger: 0 or z?
0
Suppose -9*g + 18 = 9. Which is greater: g or 4/13?
g
Let v = -7 + 3. Let l be (-2)/v + (-40)/16. Let o be l + (0 - 2)/(-2). Are o and 0 unequal?
True
Let w = -5.8 - -5. Let r = w - -0.5. Which is smaller: -1 or r?
-1
Let r = -6 + 5. Let g = -557 - -6121/11. Which is greater: r or g?
g
Let x be -130*(25/10 - 2). Is x equal to -66?
False
Suppose 2 = i - u + 2*u, 2*u + 4 = 0. Is i greater than 4?
False
Let w = -31 + 30.91. Which is bigger: 1/4 or w?
1/4
Suppose -4*j - 4 = -6*j. Suppose j*c + 15 = -2*w + 7, -c - 8 = 5*w. Which is bigger: w or 1/4?
1/4
Let d = 0.2 + -0.3. Let q = -14 + 18. Is d greater than q?
False
Let w be ((-5)/((-60)/(-17)))/((-2)/(-4)). Which is greater: w or -4?
w
Let m be -2 + (-519)/(-87) + -4. Is 0 greater than or equal to m?
True
Let l be 1/(-2) - 72/(-16). Let d(f) = -4 + l + f**2 - f. Let a be d(1). Which is greater: a or 2/13?
2/13
Let p = 53.8 + -39. Let o = p - 15. Is o bigger than 2?
False
Suppose 14 = -2*c - 6. Which is smaller: -11 or c?
-11
Let q be (-2 - 1)*6 + 1. Let b = 69/4 + q. Let h be (-2)/8 + 1/4. Is b greater than h?
True
Let x = 15 + -17. Suppose d = 3*l + 10, 3*d + 3*l = -2*d - 22. Is d less than or equal to x?
True
Let h(k) = 2*k + 2. Let c be h(3). Let a(z) = -13*z + 5. Let d(v) = -7*v + 2. Let w(s) = 6*a(s) - 11*d(s). Let p be w(c). Which is greater: -2/17 or p?
p
Suppose -1 - 2 = -3*u. Let k be 2 + (22/(-14) - u). Suppose -z + 24 = -13*z. Which is smaller: z or k?
z
Let x = 5 - 3. Let r(y) = y - x - 1 + 4. Let w be r(-3). Which is smaller: -3 or w?
-3
Let s = 6 - 3. Suppose 2 = -5*d + g, s - 1 = -2*d + g. Is 1/4 greater than or equal to d?
True
Suppose 20 = -4*p + 9*p, 0 = -2*w - 5*p + 20. Suppose q - 2*q + 2 = w. Suppose 0 = -q*v + 3 - 1. Is v smaller than 6/11?
False
Let x be 3/5*(-2)/3. Do x and -1 have different values?
True
Let h = 1/12 - -7/12. Which is bigger: 2 or h?
2
Let o(l) = -l**3 + 5*l**2 + 2*l - 5. Let m be o(5). Suppose -5*p = -3*w - 2, -9 = -3*p - m*w - 1. Which is smaller: 1/3 or p?
1/3
Let c = -0.4 + -0.6. Let o = 7 - 5. Let k = o + c. Which is smaller: -1 or k?
-1
Let w(d) = -d**2 + 2. Let b be w(-2). Let m(h) = -h**2 - 5*h - 4. Let l be m(-3). Suppose r - 2 = l*r. Does b = r?
True
Let j = 182 + -186. Which is smaller: -42/11 or j?
j
Let k = -0.03 - 0.37. Is k at least 0.1?
False
Suppose -3*g - x = -58, -2*g = -g - 2*x - 24. Does 22 = g?
False
Let f = 5.8 - 11.8. Are 0.06 and f nonequal?
True
Let j = -6 - -8. Suppose d = -j + 4. Suppose -5*n + 5*y + 40 = 0, -d*n - 3*y = -8*y - 28. Is n at most 3?
False
Let b(k) be the third derivative of k**5/60 + k**4/4 + k**3 + 2*k**2. Suppose 5*n = -u - 1 - 4, 5*u = 4*n - 25. Let s be b(u). Is -1/10 less than s?
True
Let s = 10 + -9. Let v = s - -1. Is 1 bigger than v?
False
Let c = -3 - -3. Suppose c*w + 6 = -3*w. Let y be (0 - 0)/w + 0. Which is greater: y or -1?
y
Let s = -11 + 23. Let a = 20 - s. Let p be (2/6)/(a/48). Which is smaller: 0 or p?
0
Let t(i) = -i**3 + 5*i**2 - 4*i. Let w be t(3). Is w < 7?
True
Suppose 5*n + 19 = -4*l, 2*n = -4*l + l - 9. Is 2/15 < l?
False
Suppose -2*h = -0*h. Which is greater: h or -1?
h
Suppose -l - 4*y + 2 = -4*l, 2 = -2*l + 2*y. Let v be (-30)/2*l/3. Let t be 4/v + (-8)/(-5). Do t and 2/3 have different values?
True
Let o = -151 + 1361/9. Is -1 at most o?
T