hich is smaller: s or 6?
6
Let c = -8339.9 - -8340. Let k = 42 - 90. Is k at least as big as c?
False
Suppose -3*v = -6, -5*w - 5*v + 8*v - 636 = 0. Which is greater: w or -128?
w
Let d(i) = i**2 + 10*i + 9. Let f be d(-9). Suppose f = -2*u + 3*s - 51, 4*s = 6*s - 2. Is -25 <= u?
True
Let w = -60738 - -426099/7. Let n = w - 133. Let f = -0.88 - -1. Do n and f have the same value?
False
Suppose -t - 5*t = 2*t. Do -2/13 and t have the same value?
False
Suppose -2*j = -168 - 124. Does 147 = j?
False
Let g = -43 + 69. Let b = 26.3 - g. Which is bigger: b or -6?
b
Let o = -5 - -5.2. Let c = 0.08 + 0.22. Which is bigger: o or c?
c
Let g(n) = n**3 - 8*n**2 + 6*n + 7. Let q be g(7). Let z(x) = q + 5 - 7*x + 6*x. Let k be z(3). Are k and -1 equal?
False
Suppose -47 = 4*d + 21. Let k = -13 - d. Let j be (14 - 12)/(k + 0). Is 2 less than or equal to j?
False
Let o = -64/3 + 1052/51. Let n = 27/34 - o. Let j be 5 + (1 - -3) + -7. Which is smaller: j or n?
n
Suppose -5*c + 2269205 = -0*c. Let m = c + -5896824/13. Let h = m - 239. Which is smaller: -1 or h?
-1
Suppose l = -0*b - b + 24, b + 1 = 4*l. Suppose -4*g + u + 210 = 0, 0 = -g - u + 31 + b. Which is smaller: g or 51?
51
Let z be (-218)/(-8)*(9 - (6 - 5)). Is 216 > z?
False
Suppose -m = 50 + 23. Let o = m + 74. Is -2/49 greater than or equal to o?
False
Suppose 7 = -2*k - 1. Let w = 10 + -6. Let c = 3.9 - w. Which is greater: k or c?
c
Let j = 9 + 25. Suppose 4*p = 4*x - 8, 5*p + 5*x = 14 - j. Let c be 9*-2*(-1)/(-2). Is c >= p?
False
Let i = -492 - -2661. Which is smaller: 2/5 or i?
2/5
Let t = 14 - 11. Is 1 at most t?
True
Let r(m) = -7*m + 7. Let j be r(10). Let t be -1 + (8/12)/(4/j). Is t greater than -12?
True
Let a(n) = -n**2 - 5*n - 5. Let x be a(-4). Let p(j) = 26*j - 2. Let l be p(x). Is l < -26?
True
Let m be (11440/1431)/(-4) + 4 + -2. Is 0 at least m?
False
Let g be (-19764)/80*-2 + 2/(-8). Let x = 494 - g. Which is smaller: x or 1?
x
Suppose 0 = x + 103 - 105. Which is greater: x or 9/8?
x
Let d be (-120)/(-55) + 4/(-22). Suppose -o - d*p + 17 = -4*o, 2*o = -3*p - 7. Is o less than -3?
True
Let s = 0 - -4. Suppose 5*t - 30 - 15 = -4*u, -s*u - 3*t = -35. Suppose 4*y = -8, 0*y - 10 = -u*x - 5*y. Which is greater: 7 or x?
7
Suppose -5*o - 33 - 7 = 5*u, -3*u - 5*o - 26 = 0. Let p be 4 + u - (53 + -4). Are -51 and p nonequal?
True
Let g = -56 + 12. Let p = g - -406/9. Which is smaller: p or 1?
1
Let v = -1537 - -3442. Which is greater: 1906 or v?
1906
Suppose 0 = -d + 5 - 8. Which is bigger: -10 or d?
d
Let h(u) = -u**3 + 15*u**2 + 75*u + 17. Let m be h(19). Which is smaller: 2 or m?
m
Let a = -107 - -106. Which is smaller: 3/14 or a?
a
Suppose -4*r + 6 = 2*b, -b - 2*r + 1 = 2*b. Suppose 0 = 4*u + u + 10. Let i be (-12)/(-8)*u/(-17). Are b and i equal?
False
Let x = 23847/10 + -2390. Let w = -941/170 - x. Is -1 equal to w?
False
Let r = -0.035 - 34.965. Let o = r - -26. Which is smaller: o or 0?
o
Let c be 2/4 - (-10)/(-6). Let n(t) be the second derivative of t**4/12 + t**3/2 - 5*t**2 + 13*t. Let d be n(-5). Which is smaller: d or c?
c
Let b = 704 + -2140/3. Let h(u) = -9*u - 36. Let l be h(-3). Which is bigger: b or l?
l
Let q = 2704/7 - 3139358/8127. Which is bigger: 0 or q?
0
Let l = -15 - -29.5. Let s = l - 12. Let n = s - 2.5. Is -2 > n?
False
Let h(g) = -g**2 + 2*g + 52. Let r be h(0). Let n = r + -152. Is -99 equal to n?
False
Let u = -5 - -10. Suppose u*g - 15 = -5. Suppose g*a - 4*a = 12. Does -5 = a?
False
Let d = 1 - 1. Let o be (((-1)/(-14))/(-1))/4. Do o and d have the same value?
False
Let b = -4715/36 - -1100/9. Which is smaller: -8 or b?
b
Let i = -235 + 364. Suppose -5*f + 70 = 5*h + 10, -5*f + h = -78. Let y be 10/f - i/(-9). Which is greater: 0.2 or y?
y
Let n(t) = -t + 4. Let r be n(5). Let k be (5 + r)*45/12. Let d = -189 + 203. Is d smaller than k?
True
Let j = -1324763/630 - -68363/30. Let p = j - 176. Which is bigger: p or 1?
1
Let i(d) = d**3 - 11*d - 8. Let w be i(0). Is 3 less than or equal to w?
False
Let u = -6 - -6. Let i = 529/5090 + -2/509. Which is smaller: i or u?
u
Let a be (141/(-9)*3)/(-1). Which is bigger: 48 or a?
48
Suppose -2 = -v - 5*g - 3, -4 = 4*v + 3*g. Is -2/1749 equal to v?
False
Let i = -59 - -64. Suppose 0 = 3*z - i*x - 147, 0*z - 2*z + 85 = x. Is z >= 43?
True
Suppose 2*k + h = 572, 0 = -k - k + 4*h + 582. Is k less than 287?
False
Suppose 37*r - 38*r + 2*t - 134 = 0, 2*t - 622 = 5*r. Suppose -j = -29 + 152. Which is smaller: r or j?
j
Let v be (-2 + (-20)/(-3) + -5)*93. Which is smaller: v or -216/7?
v
Let l be -2 + 2 + -1*(-6)/(-3555). Is -1 equal to l?
False
Let w be (-708)/(-355) - (-1 - -3). Are -1 and w non-equal?
True
Let z(p) = p**2 + 11*p - 12. Let x be z(-13). Let u = -69/5 + x. Which is bigger: -1 or u?
u
Suppose -7 = -2*s - 31. Let g(l) = 2*l**2 + 23*l - 20. Let q be g(s). Which is smaller: -6 or q?
q
Let h = 85.998 - 86. Let w = 31.002 + h. Which is smaller: w or -0.1?
-0.1
Suppose -2*c = -3*l + 48, -1 = -c + 2*l - 26. Suppose -4*u = -5*t - 84, -4*u = -4*t - 15 - 49. Which is greater: c or t?
t
Let h(t) = 4*t**2 + 13*t + 18. Let j be h(-4). Which is bigger: j or 32?
32
Let u = -3.1 - -2.2. Let h = u - -1. Let n be (-6)/(-24) + 74/(-8). Are h and n unequal?
True
Suppose 5*d + 120 = -5*j, j + 16 = d - 12. Is -25 < j?
False
Let b(v) = v**2 - 3*v + 1. Let p be b(2). Let w = 6695/362 + 1/181. Let d = -19 + w. Which is smaller: d or p?
p
Let d = -0.524 + -56.476. Which is greater: d or -0.01?
-0.01
Suppose 2*p + 31 - 149 = 0. Let j = p + -22. Is j equal to 36?
False
Suppose -o + 2*o = -16. Let l = o + 16. Let t(r) = -r**3 - 5*r**2 - 4*r + 1. Let p be t(-4). Is p equal to l?
False
Let o be 4/(-16) - (-21)/(-12). Which is bigger: o or 1.8?
1.8
Let h = 1849/2 + -904. Is 21 != h?
True
Suppose -5*y - 4*b + 25 = 0, -2*y + 7*y - 25 = b. Let u be -1 + 0 - 5/y. Let d be u - (96/(-14))/4. Is -5 at most as big as d?
True
Suppose p - 84 = 5*x + 93, -5*p + 863 = -3*x. Is 172 >= p?
True
Let j = 37 + -128. Which is greater: -92 or j?
j
Suppose t + 16 = 2*o, 0 = -0*t + 2*t. Let p be (-2)/5 - o/30. Suppose -236*a + 435 = -47*a - 102*a. Which is bigger: p or a?
a
Suppose 5*f - 6*f + 5 = 0. Suppose -4*z + z - 12 = k, z = -f. Let s = 2 + k. Which is bigger: 4 or s?
s
Suppose 2*z + 0*z = 4*u - 18, -3*u + 2*z + 13 = 0. Suppose 2*s - u = s. Suppose -i = s*i. Which is bigger: 1 or i?
1
Let c be 84/8 + 3/2. Let r = -7 + c. Suppose -r*k + 5*q - 15 = -55, 4*k = -4*q - 8. Which is smaller: k or 8/5?
8/5
Let d = 46688 - 980624/21. Are -9 and d equal?
False
Let f(q) = -2*q - 2. Let y be f(-4). Let h be (-1)/(21/(-24) + 1). Let o be y/(-40) + 2/h. Is -1 greater than o?
False
Let l = 16 - 17. Let d = 8 - l. Suppose -d*m = -14*m + 30. Which is smaller: m or 1?
1
Suppose 0 = 3*p - 1 - 2. Let q(l) = -10 + 13 + 3*l - 4 - 2. Let g be q(1). Is p >= g?
True
Let u = -92 - -88.7. Which is smaller: 1/9 or u?
u
Suppose 5*g - 6*g - 31 = -2*s, -90 = -5*s + 5*g. Let n be (-4 + 2)*12/(-2). Is s equal to n?
False
Let h be (5/(10/2088))/((-330)/(-140)). Let p = h - 1534658/3465. Is p greater than or equal to 0?
True
Let p(j) = -j - 12. Let n be p(-8). Let s be (-16)/6 + n + 6. Let k = -7 - -5. Is k equal to s?
False
Let x = -4 - -3.8. Let l = 0.3 + x. Suppose -3*b + 5*q = 5, -2*b - 5*q + 9*q = 4. Is b at most as big as l?
True
Let a be (-518)/8 + (-12)/48. Let v = -45 - a. Are v and 21 equal?
False
Let y(p) be the second derivative of -p**3/6 + 3*p**2/2 - 8*p. Let i be y(4). Suppose u + 7 = 6. Is i > u?
False
Let g be (130/(-4))/(1/(-2)). Let x = g - 44. Which is smaller: x or -1/3?
-1/3
Let g = 1046/675 + -44/27. Let h(j) = j**3 - 6*j**2 - 6*j - 7. Let q be h(7). Which is smaller: q or g?
g
Suppose 4*j + j = -15. Suppose -8 + 59 = -17*f. Is j not equal to f?
False
Let w = -16 + 271/17. Let k = 711/4 + -178. Does w = k?
False
Suppose 0 = 40*t + 6*t + 1518. Does t = -7?
False
Let n = 0.52 + -4.92. Let a = n + 3.4. Is -1 less than a?
False
Let m(h) = h**3 - 5*h**2 - 2*h + 2. Suppose 0 = a + 2*x - 13, -3*x = 3*a - 0*x - 27. Let i be m(a). Which is smaller: i or -7?
i
Suppose 30*r + 2377 + 353 = 0. Which is greater: -93 or r?
r
Suppose -m - 4*c + 2*c - 11 = 0, 2*c = m - 9. Let r(t) = t**3 - 7*t**2 + 7*t - 5. Let w be r(6). Let q be (-1)/(-5) - (w + 18/(-30)). Which is smaller: m or 