se 15*c = -5 + 35. Is 29 equal to c?
False
Let f(o) = -o**3 + 9*o**2 - o - 1. Let j(r) = r**2 + r. Let m(g) = -f(g) - 2*j(g). Let q be m(11). Are q and -9 nonequal?
True
Suppose 4*j + b - 7 = 0, -2*j + 6 = -4*b - 2. Let x = 0.08 - -0.72. Let p = 7.2 + x. Is p less than or equal to j?
False
Suppose 4*k + 36 = -5*g, -5*k + g = -2*k + 27. Let f = 24 + k. Suppose -683*s = -18*s - 9310. Do s and f have the same value?
False
Let w(i) = -i**2 + 5*i + 2. Let g(h) = h**2 - 4*h - 2. Let s(c) = 3*g(c) + 2*w(c). Let x be s(3). Let d be -1*1/(-1)*x. Is d at least as big as 2/9?
True
Suppose -2*u - n + 166 = n, -u = -n - 93. Is u >= 88?
True
Let h = -0.73 - 14.27. Are h and -1.9 non-equal?
True
Let i = -16 + -7. Let x = 53 + i. Suppose x = 4*k + k. Which is smaller: k or 5?
5
Let o be (2/15)/(320/420). Which is smaller: 0.1 or o?
0.1
Let s = -157 - -93. Let u be (2/36)/(16/s). Which is smaller: 3 or u?
u
Let o(h) = h**3 + 11*h**2 + 17*h - 18. Let z be o(-9). Which is smaller: z or -94/9?
-94/9
Suppose 3*n + 24 = -5*h + 5, 0 = -n - 2*h - 8. Suppose -n*o - 3*c + 13 = 0, -5 = o - 4*c + 5. Let z(i) = -8*i + 5. Let y be z(o). Which is bigger: y or -10?
-10
Let t(o) = -o**3 - 4*o**2 + 2*o - 3. Let i be t(-4). Suppose 2*s - 8 = 2*v, 0 = 5*s - 5*v + 2*v - 10. Let y = s - 11. Is i less than y?
False
Let g = -30 + 29. Let y = -0.04 + 0.04. Which is greater: g or y?
y
Suppose 8 + 2 = 10*j. Suppose -d - 404 = -0*i + 3*i, 3*i + 3*d = -396. Let o be i/(-308) - (-2)/7. Which is bigger: o or j?
j
Let m be (-1 + 1)*(8 + -9). Let l(v) = 2*v - 4. Let p be l(m). Which is greater: -5 or p?
p
Let l = -0.16 + -2.24. Let v = l - -2.5. Suppose 3*r = -0*r. Which is smaller: v or r?
r
Let t = 0.0488 + 7.9512. Which is greater: t or -24?
t
Suppose 0*w - 10 = -2*w. Suppose -4*g = g + w. Let o = -308 + 3384/11. Is g < o?
True
Let m be 0/(5/(15/(-6))). Suppose 5*l + 5*k = 27 - 12, -3*l = -3*k - 3. Is l smaller than m?
False
Let h = 1/231 + -5/77. Is 1 < h?
False
Let i be 202/5 + (-2)/5. Suppose -3*b + 8*b = i. Let l be (1/b)/(2/12). Which is smaller: l or 1/2?
1/2
Let h = -15.549 - -6.48. Let p = h + 0.069. Which is smaller: p or -0.05?
p
Let g be (4/(-3)*-2)/(2/1). Which is bigger: -1/2 or g?
g
Let l(a) = a**3 + 6*a**2 + 9*a + 2. Let t be l(-4). Let q be 2/((-1 - 0) + t)*3. Let n be -1*(0 + 3) + -1. Which is bigger: q or n?
q
Suppose 36*b + 387 = -261. Which is smaller: b or -19?
-19
Let n = 262 - 318. Which is greater: n or -726/13?
-726/13
Let v = 561 - 553. Let s(g) = -8 - 3*g + 1 + 5*g - 3*g. Let c be s(-7). Which is greater: c or v?
v
Let o = -610 + 628. Suppose 2*p = -0*p + 40. Is p less than o?
False
Suppose 20 = 2*b + 3*b. Let u be 1/4*(b - 8). Which is bigger: u or 1/38?
1/38
Let q be 1 + -2 - (-5)/3. Let g = -103 + 73. Let t be 6/10*g/12. Which is bigger: t or q?
q
Let u be ((-3)/10)/((-318)/(-8)). Which is smaller: -0.1 or u?
-0.1
Let p be (-10)/(-8) - (-8368)/64. Is p != 132?
False
Let l be (1375/(-8))/(-11) - (-3)/8. Do 16 and l have different values?
False
Let g be (-4)/3*(-51768)/(-336). Let w = g - -205. Are 2 and w unequal?
True
Let b be (-9)/(2430/603)*-2. Which is smaller: 4 or b?
4
Let f = -2399/1134 + 31/14. Which is smaller: -1 or f?
-1
Let k = 23.8 + -23. Let g = k + -0.79. Which is smaller: g or 1/6?
g
Let g = -83280590/47831 + 12188/7. Which is smaller: -1 or g?
-1
Suppose 5*i + 168 = 3*r + 2*i, r - 68 = -3*i. Is 178/3 less than or equal to r?
False
Let w = -15 + 21. Let l = -50 + 54. Suppose 0 = 3*k - l*x + 13, -4*x + 8 = 4*k - 3*x. Which is greater: w or k?
w
Let r = 826 - 825. Which is smaller: r or -4?
-4
Let w = -10/2031 - -452963/10155. Is 46 at least w?
True
Let w = -4813 - -14464/3. Let a = -8 - -15. Which is greater: w or a?
w
Let u = 8.3 + -42.3. Let f = -48 - u. Which is bigger: f or -2/7?
-2/7
Let i(f) = f - 5. Let g be i(-14). Let j = 18 + g. Which is bigger: j or -15/8?
j
Let b = -3275343/35 - -93575. Let v = b - -34/5. Let q(c) = 13*c - 104. Let n be q(8). Do v and n have different values?
True
Let g = 7 + -6.7. Suppose 0 = 5*d - 4*k + 71, -4*d + 4*k = -8*d - 28. Does d = g?
False
Let u = -1572 + 1545. Is u at most as big as -28?
False
Let j be (4/(-24)*3)/((-2)/36). Let w be (-6 - (-48)/j)*(-6)/(-4). Which is smaller: 4/9 or w?
w
Suppose 7 - 68 = -3*z + 5*n, -53 = -4*z + n. Let b = 0.1 - 0.15. Let o = b + 0.05. Which is bigger: o or z?
z
Suppose 27*c - 29 = 25. Suppose 0 = -5*l - 2*b + b + 19, 2*l - 6 = -2*b. Suppose -c*w = l - 20. Is 6 > w?
False
Let y = 70 + -27. Suppose -275 = -6*g + y. Is g <= -1?
False
Let w = 15.4 + -13.8. Which is smaller: w or 10?
w
Let j = -6 - -10. Suppose 3*m - j - 14 = 0. Suppose -q = -m*q. Which is smaller: 6/11 or q?
q
Let r = 65 - -145. Which is smaller: r or 208?
208
Suppose -3*n + 42 = 5*y, -2*n + 10 = y - 11. Let a(q) = -3*q - 9. Let w be a(n). Let l be (-10)/(-6) + 24/w. Which is smaller: 2 or l?
l
Let z = -635 - -636. Which is greater: z or -2/439?
z
Suppose -d - 3*m = -62, -8*d + 218 = -4*d - 3*m. Is d > 61?
False
Suppose 0*n = 4*n + 2*k - 84, 120 = 5*n - 5*k. Let z be (-4)/2 - (-40)/n. Suppose 6*f = 2*f. Which is smaller: z or f?
z
Suppose 8*x + 154 - 890 = 0. Is 92 >= x?
True
Suppose x + 6 + 3 = -4*s, -5*x - 45 = -2*s. Let t(y) = -y**3 - 10*y**2 - 3*y - 5. Let r be t(x). Are r and -59 nonequal?
False
Let s = 64 + -56. Suppose -5*n + s = 53. Is n at most -10?
False
Let u(g) = g**3 - 11*g**2 + 7*g + 7. Let y be u(9). Is -90 equal to y?
False
Suppose -j + i - 11 = -5*j, -5*i = 2*j - 1. Suppose -u = -j*r - 14, 5*u - 4*r - 98 = -3*r. Is u less than 21?
True
Suppose 4*h + 4*h - 128 = 0. Suppose 0 = -4*f + 13 + 47. Which is bigger: f or h?
h
Let b(a) be the third derivative of a**4/12 + 13*a**3/6 + 12*a**2. Let u be b(-6). Let z be (6/7)/(u/(-7)). Is z smaller than -4?
True
Let w = -65 + 55. Is w > -29/3?
False
Let g(m) = m + 19. Let r be g(-15). Suppose 3*i + 1 - 10 = 5*b, r*b + i + 14 = 0. Which is smaller: b or -6?
-6
Let p = -51 - -44. Let d(r) = r + 3. Let m be d(-5). Let j be (28/(-7))/(m - 0). Which is smaller: j or p?
p
Let b = -6.6 - -5.9. Let m = b - -0.78. Which is smaller: 2 or m?
m
Let v = -4 - -17. Let w = v + -14. Which is bigger: -3 or w?
w
Let j be (12/(-2))/3 + 2. Which is smaller: j or 9/40?
j
Suppose 0 = -y - y + 6. Suppose -2 = -n + y. Suppose -n = 2*v - 7. Is -1/3 < v?
True
Let r(w) be the first derivative of w**3/3 + 5*w**2 - 12*w + 18. Let h be r(-11). Which is greater: 1/19 or h?
1/19
Suppose 2 = 5*b - 4*b. Let y = -21 + 271/13. Which is smaller: y or b?
y
Let c(t) = 2*t**2 + 0*t**2 - t**2 - t + t**3 + 0*t**2. Let k be c(0). Let f = -46143/55 - -839. Which is bigger: f or k?
f
Let h(w) = -3*w**3 - 19*w**2 - 39*w + 2. Let x be h(-5). Is x < 874/9?
True
Suppose 8 = 3*b + 5*a, 5 = 4*b + a - 0. Let t be 5*(-15)/(-50)*20/(-6). Let i be (-94)/(-70) - t/(-35). Does i = b?
False
Let v be (6 - 232) + -13 + 7. Is -232 <= v?
True
Let d be (-8)/3 - 2/6. Suppose -3*w + 225 = 222. Let x be ((-1)/w)/(d/9). Which is smaller: x or 5?
x
Suppose -2*j = -j - 2*s - 9, 5*s = -3*j + 5. Suppose -2*r = -4*x - 6, 2*x + 2*x = -j*r + 1. Let a be (-14)/(-10) + (-2)/2. Is a at least as big as r?
False
Let b(n) = -7*n - 4. Let i(g) = -2. Let z(r) = -b(r) - i(r). Let y = 1 + -3. Let h be z(y). Which is bigger: -34/5 or h?
-34/5
Let b = 57 + -31. Let w = 180/7 - b. Let h = 2/85 - 93/340. Which is smaller: w or h?
w
Let x = 0 - -5. Suppose -3*c - 12 = 0, 10 = 4*w - 3*c - 14. Which is smaller: x or w?
w
Let b(x) = x**3 - 2*x**2. Let c be b(2). Let f(k) = 22*k - 2. Let m be f(-4). Let z be (12/m)/(6/20). Is z at least c?
False
Let m(k) = -31*k + 4. Let b be m(2). Let g = -35 - b. Suppose -2*t - 18 = -4*y, -4*y + g = -5*t - 10. Does y = 1/2?
False
Let r = 102 + -103. Is 3/32 bigger than r?
True
Let c = 93 - 92.93. Is 1 <= c?
False
Let j = -4086961/687 + 5949. Which is smaller: -1 or j?
-1
Let s = 409 + 108. Is s bigger than 516?
True
Let b = 4 + -7. Let r be (b - 0/(-2)) + -3. Let i = 7 + r. Which is smaller: i or -2/9?
-2/9
Let f be (18 + 1)*2*-1. Let p be -2 - 74/f - 0. Let n be 1*((-5*4)/5 - -4). Is n less than or equal to p?
False
Let r = -0.1 + 4.1. Let c = 589/66 - 100/11. Is r at least c?
True
Let u be 11 + (-11)/((-11)/(-6)) + -261. Which is smaller: u or -254?
u
Suppose 2*l = -4*v + 8, 9*l = 6*l - 5*v + 11. Supp