 and z nonequal?
False
Suppose 0 = -4*x - x. Let g be (-222 - -227)*((-86)/40 - -2). Is x bigger than g?
True
Let w = -895 + 921. Which is greater: 31 or w?
31
Let b be 5 - (586/8 + (-12 - -15)). Do b and -71 have the same value?
False
Let q(y) = -y. Let l(w) = -w**2 + 5*w - 7. Let r(o) = l(o) - 2*q(o). Let n be r(5). Suppose 0 = -2*c - n - 3. Which is bigger: c or -4?
c
Let f(j) = -j. Let z be f(2). Let p = 54 - 49. Suppose -p - 13 = 6*m. Which is bigger: z or m?
z
Suppose 3*n + 6 = 3*m, m - 4 = -0*m. Let v be n/(-12)*-35 - (-2)/12. Which is bigger: 9 or v?
9
Let t = -9 + 8.949. Let d = 2.051 + t. Let c = -0.05 - 1.95. Is c <= d?
True
Let u(a) = a - 6. Let g be u(7). Let n be 19 - 15 - (g - -14). Is n equal to -1?
False
Let k = 2/593 - 1396/62265. Let v be (-2)/(-4)*(-1 + 1). Are k and v unequal?
True
Let n(i) = i**2 + 6*i - 8. Let r be n(-9). Let z(j) be the first derivative of j**4/2 - j**3 - j**2/2 - 4*j + 1. Let h be z(3). Are h and r nonequal?
True
Suppose -5*k + 0*k + 5 = 0. Let p be k + (1 + 3)/(-2). Let d be (1/17)/(4/(-4)). Which is smaller: d or p?
p
Suppose -40 = -3198*v + 3178*v. Let l = 5 + -3. Is l smaller than v?
False
Let w = -61 + 29. Let n = -34 - w. Let r = -3 + 2.7. Are n and r equal?
False
Let w(i) = -i**3 - 3*i**2 - 3*i - 1. Suppose 2*f - 14 + 16 = 0. Let c be w(f). Is 2/53 <= c?
False
Let w = -2.02 - -2. Let r = -76 + 74.98. Let a = r - w. Is 1 at least a?
True
Let u = -25105573408/75387295 + 4/1603985. Let o = 333 + u. Which is greater: o or 1?
1
Let j = -50 - -26. Let v be ((-16)/j)/((-1)/180). Let f be v/(-28) + 2/(-7). Which is bigger: 3 or f?
f
Let v = -94 - -94. Suppose -4*p + 8*p = 5*f + 8, -4*p + 4*f + 8 = v. Which is smaller: 14/5 or p?
p
Let n be 11 - (10 - 22)*-1. Which is smaller: -1/744 or n?
n
Let h be (2 - 0)*39/(-6). Let w = -53/4 - h. Let i = -0.08 + -1.92. Is i at most w?
True
Let p be 0 + -2 + (-27)/6. Suppose -198 - 72 = -6*u. Suppose 5*h = 5*g + u, -2*h + 5 = 3*h. Which is smaller: g or p?
g
Let a = 42 - 45. Let x be a + 4/1 - 20/14. Which is smaller: 1 or x?
x
Suppose 186 = 2*i + m, 26*m - 30*m = -3*i + 246. Let b be (-89)/((-1 - 0)*1). Are i and b unequal?
True
Let q be ((-2)/6*0)/(-2). Let k = -3 + q. Let d be k/((0 + 9)/(-3)). Which is smaller: -1/12 or d?
-1/12
Let i = 8866/327 + 24/109. Which is smaller: 26 or i?
26
Let r be (4 + -2)/(340/(-850)). Let l = 261 - 533/2. Is r less than l?
False
Let t(x) = x**2 + 13*x - 11. Let u be t(-14). Let y = u + -6. Which is bigger: -1 or y?
-1
Suppose 0 = 4*q - 3*c - 162, 0 = 4*q - 4*c - 56 - 104. Let t be (-2 - 13)*4/q. Are t and -1 equal?
False
Suppose -8 = -4*i - 20. Suppose 19*l - 29*l = 30. Is l greater than or equal to i?
True
Let c = -88/37 - -449/111. Let d = 10 - 7. Is d smaller than c?
False
Let w = 26.12 + 1.63. Let o = -29 + w. Let g = -0.25 - o. Is g at least as big as -0.1?
True
Let c be 226/8 - (7 + 1). Does c = 19?
False
Suppose 0 = 18*l - 11 + 623. Is l at least -32?
False
Let u = 5/33 - 4/99. Suppose -j - 1 = -3*f - 3, -4 = f + 3*j. Which is smaller: f or u?
f
Suppose -2*j = -3*j + 3. Suppose -6*p + j*p - 3 = 0. Let k = -912.5 - -912. Are p and k equal?
False
Let c = 170/3 + 629/6. Which is greater: c or 162?
162
Suppose 6 = -2*t + 30. Let g = -15 + t. Let c be (g + 1)/(4/8). Is -3 bigger than c?
True
Let r = 5 + -5.1. Let t = -1.1 - r. Let z(o) = o**3 - 23*o**2 + o - 22. Let h be z(23). Is h greater than t?
True
Suppose 0*y = -y - 8. Let q(i) = -15 + 445*i - 225*i - 221*i. Let c be q(y). Is c != -8?
True
Suppose 10*x - 7*x = 21. Do 7 and x have the same value?
True
Suppose -5*k = 61 - 41. Is k less than or equal to -4?
True
Let c be 8/28 - 57/(-21). Let m be c + (-177)/(-6) + -2. Let s = 32 - m. Which is greater: s or -2/7?
s
Suppose 4*a + 184 = 4*c, 4*a + 58 = -3*c + 161. Let o = 124/3 - c. Is o > 11/3?
False
Let s be 2/6 + 12/(-9). Let w(d) = -9*d**2 + 1. Let c be w(s). Let z be (152/133 + 0)/((-2)/14). Is c less than z?
False
Suppose -3530 = -5*n - 5*n. Let w = n - 1759/5. Which is smaller: w or 0?
0
Let s(p) = p**2 - 2*p. Let g be s(4). Suppose 5*o - g*o = -3. Is -1/7 less than o?
True
Let o(q) = -8*q - 21. Let k be o(-7). Is 35 smaller than k?
False
Let d = -332 - -335. Is 11 bigger than d?
True
Let j(a) = -4*a**3 - 23*a**2 - 33*a - 10. Let n(y) = -3*y**3 - 15*y**2 - 22*y - 7. Let f(p) = 5*j(p) - 7*n(p). Let l be f(11). Is 1 greater than or equal to l?
True
Let m = -249 - 15. Which is bigger: m or -1/2?
-1/2
Let w = -35/6 - -229/12. Which is smaller: 1 or w?
1
Let r = -1986 + 1985.94. Which is bigger: 58 or r?
58
Let w be 63/21 + 1*-2. Let h be (-3 - 0 - -5)*w. Which is smaller: h or 3?
h
Let f = -1.18 + -0.12. Let y = -1.1 - f. Let p be 6/96*(1 + 5). Are p and y non-equal?
True
Suppose -5*c + 198 = 33. Suppose 5*i = -167 - c. Is -40 at least i?
True
Let x(d) = 3*d - 9. Let k(y) = 4*y - 13. Let j(c) = 5*k(c) - 7*x(c). Let b be j(-8). Is b smaller than 24/5?
False
Let m(g) = g**3 - 6*g**2 + 6. Let h be m(6). Suppose 0 = 3*i + 3, 0*d - 4*i = 5*d + 9. Let u be (h/18)/(d/5). Which is smaller: u or -1?
u
Let u be (-37 - -26) + 45/4. Which is bigger: -11/129 or u?
u
Let d = 223 + -218. Let s = 19 + -4. Let k be -3*1*(-20)/s. Which is smaller: k or d?
k
Let l be (-16)/(-96) - 123/90. Is l > 0?
False
Let g = 2490.1 - 2490. Is -833 bigger than g?
False
Let s = 30.8 - 43.8. Is s <= -4?
True
Let k = -49 + 60. Suppose 0 = -k*j + 4*j + 70. Which is smaller: j or 9?
9
Suppose -3*q = -12*q - 9. Suppose 2*u + 36 + 36 = 0. Which is greater: u or q?
q
Let c be 0 + (-648)/1570 - (-10)/25. Which is bigger: c or 0?
0
Let o(g) = -96*g**3 - g**2 - g - 1. Let p be o(-1). Let b = 1709/18 - p. Let i be (-4)/8*2*1. Are i and b equal?
False
Suppose -3 + 10 = -x + 5*t, -5 = x - 4*t. Which is smaller: 31 or x?
x
Let a(p) = 2*p + 6. Let l be a(-2). Suppose t + l = -4. Let w be (9/t - -2)*-1. Is w less than -1?
False
Let k = -3696/17 + 217. Is 0 >= k?
True
Let b(v) = -4*v**2 + 1. Suppose -2*g - 4 = -2*r, -3*g = -r + 3*r - 9. Let s be b(g). Are s and 1 nonequal?
True
Suppose 150 = -y + 10. Let d be (-5)/(-20) + 11/y. Is 1 equal to d?
False
Let t = -4559 - -13367/3. Is t less than -104?
False
Let l = 356927/78 - 29489/6. Let a = 339 + l. Is 0.01 equal to a?
False
Let o = 40 + -6. Suppose 38 = 6*s - o. Let d = s - 4. Do d and 1/2 have the same value?
False
Let o = 35.8 - 11.88. Let a = o + -24. Which is smaller: a or 0?
a
Let t(x) = -2*x**3 - 10*x**2 + 3*x - 215. Let n be t(-10). Is 754 bigger than n?
False
Let s(g) = 15*g - 123. Let m be s(8). Which is smaller: 0 or m?
m
Let x = 33 - 35. Let j = -11 + 11.19. Is x <= j?
True
Suppose 4*b + 20 = 3*p, p - 14 = -p + 3*b. Suppose 5*z - 9 = p*s, -z + 3*s + 5 = -s. Let l be (-6)/(-8) - z/(-4). Is 2/9 less than l?
True
Let u be 0 + (1111/(-371) - (-27)/9). Which is smaller: 0 or u?
0
Let s = 7.48 + -5.91. Which is bigger: s or 5?
5
Let p = 292.8 - 251. Is p greater than 0.1?
True
Let h be (-2)/3 + (-76)/(-6). Suppose -10*p + 2*p = -248. Suppose -p + 5 = -2*w. Which is bigger: h or w?
w
Let z = 11 - 9. Suppose 0*d - z*d = -34. Let t = -16 + d. Is 2/27 at most as big as t?
True
Let o = 233806/65763 - -2/7307. Is 4 at most as big as o?
False
Suppose -t + 3 = -1. Let b be 11/t - (-2)/8. Suppose b*c = -2*c - 10. Is c at least as big as -4?
True
Let o = -11 - -10. Let p be ((18*o)/(-3))/(-5). Is p at most -2?
False
Suppose n + 39 = 4*l, -l + 58 = -3*n - 4. Let m be (-2154)/120 + (-9)/5 + 1. Which is greater: n or m?
m
Suppose 6*s - 2*s = -3*x + 23, x = 3*s - 1. Let t(r) = -r**3 + 5*r**2 + 2*r. Let y be t(x). Is 9 > y?
False
Suppose 0 = 4*b + 1321 - 1725. Is b less than or equal to 100?
False
Suppose 3*l = -w, 53*w = 49*w - 3*l. Let o = -40117/428 - -375/4. Which is bigger: w or o?
o
Suppose 3*v + 0*v = -27. Let n = -9 - v. Is n less than -1/9?
False
Suppose -59*f + 31 = -28*f. Which is smaller: 4/77 or f?
4/77
Let a(j) = -3*j**2 - 51*j + 58. Let y be a(-18). Let g(m) = m**3 - 5*m**2 + m - 3. Let i be g(5). Which is smaller: i or y?
i
Suppose -68 + 698 = 14*x. Are 44 and x equal?
False
Let p be (-16)/2*2 + -1. Is -10 greater than or equal to p?
True
Let d(j) = j**2 + 8*j + 11. Let x be d(-7). Let b(p) = 2*p - 4. Let m be b(x). Let g be 2*m/20*-1. Which is greater: 12/7 or g?
12/7
Suppose -4*j - 17 - 7 = 0. Suppose 0 = -5*g - 2