ose -5*w = 48 - b. Is w < -9?
False
Let f be 2/(-2) + 2*3. Suppose -16 - 9 = -5*v - 4*z, f*v = -3*z + 25. Suppose -v*p + 42 = -28. Which is greater: p or 13?
p
Let w(v) = -v + 3*v - 33 + 3*v**2 + 42 - v**3. Let o be w(4). Let l be (4/4)/(4/5). Is l <= o?
False
Let w = -5 + 5. Suppose b = 5 - w. Suppose 0 = b*m + u - 6, 3*u = 2*m - u - 20. Is 9/4 at most as big as m?
False
Let h = -109 + 93. Which is smaller: h or -17?
-17
Let g = 2.94 + 0.06. Let v = 0.39 + 2.51. Let m = v - g. Which is smaller: 1/2 or m?
m
Let j(g) = g**2 + g + 3. Let m be j(0). Suppose -m*y - 16 + 25 = 0. Is y at most -2?
False
Let g be (((-6)/9)/(-2))/(15/(-45)). Which is smaller: g or -7/244?
g
Let o(f) = 17*f + 71. Let i be o(14). Suppose 227 = -3*j + 4*y, -4*y + 72 = -5*j - i. Which is bigger: j or -78?
j
Suppose -4*i - 4 = -2*t - 2, 4*t = 5*i + 10. Suppose -2*f + 6*f - 17 = 3*b, -t*b - 20 = -5*f. Suppose b - 4 = 3*c. Are c and -1 equal?
True
Let w = -1.5 - -1.4. Let r = 0.06 - -0.34. Let t = r + w. Is 0.2 at least as big as t?
False
Let u be (-2)/4*(-600)/(-2375). Which is smaller: u or -1?
-1
Let o(g) = -g**3 + 3*g**2 + 2*g - 2. Let d be (-2 - -3)/(7/28). Let f be o(d). Are -8 and f non-equal?
True
Let j(h) = h**3 - 12*h**2 - 13*h - 8. Let r be j(13). Let k be 450/r + 34/8 + -4. Are k and -57 unequal?
True
Let f be (-1 + 9 - 2) + (-60)/9. Which is smaller: f or -0.6?
f
Let n(l) = -l + 2. Let f be n(-1). Let a be 7/(-5) + 0 - f. Which is greater: -4 or a?
-4
Let a = 78 + -75. Suppose 2*j - a*d + 50 = 4*j, 0 = 4*j + 4*d - 100. Let r be (24 + 1)*(-3 - -4). Is j less than r?
False
Let y = -65486/9961 - -4/1423. Let h = -7 - y. Let c = -7 - -8. Which is greater: c or h?
c
Suppose 3*t - t - 44 = 0. Suppose 362 = 4*g + t. Let d = 1956/23 - g. Is d not equal to 1?
True
Let u be 52/(-338) + 937/(-78). Which is bigger: -12 or u?
-12
Let r be (-1 + 1)/(-8 - -3). Is r at least as big as -0.0431?
True
Let w = -211.9 - -211.8994. Is 2/7 < w?
False
Let r = -704 - -636. Which is smaller: r or -61?
r
Let u = -2.76 + 2.76. Is 3/17 at most as big as u?
False
Suppose -2*z = z + 3. Let o = z + 21. Let k be (16/o)/(4/10). Which is bigger: -1 or k?
k
Let b = -263 - -252. Which is greater: 3 or b?
3
Let k = -1873 - -2130. Is -1 >= k?
False
Let w(y) = 3*y + 40. Let a be w(-13). Suppose 4*x + 19 + a = 0. Is -16/3 less than or equal to x?
True
Let y be 2 - 0/4 - 5. Suppose 0 = -5*n - 0*n - 2*d + 35, n + d - 10 = 0. Let c = -7 + n. Which is smaller: y or c?
y
Let u(v) = v + 10. Let k be u(-8). Suppose k*i - i = 0. Let p be (3 + 4*-1)*-4. Which is smaller: p or i?
i
Suppose 2*c = 2*q + 6, 0*q = 4*q - c - 3. Suppose q*i + 2*i = 4*z + 36, 20 = 4*i. Let l(u) = u**3 + 11*u**2 + 16*u + 55. Let y be l(-10). Is y != z?
True
Suppose 2*m = 7*m. Let w(y) = 9 - 3*y - 13 + 10 + 2*y. Let s be w(m). Is 6 at least s?
True
Let m be 0/((-54)/(-6) - 11). Which is smaller: -3/197 or m?
-3/197
Let o = -89.65 - -88. Let b = 19.35 - o. Which is greater: -3 or b?
b
Suppose -8*c = c - 126. Is c bigger than 18?
False
Let j = 4445 - 4435. Let d(y) = -y**2 + 5*y - 4. Let l be d(3). Let o = l - -8. Is j > o?
False
Let g = -132 - -107. Let u be g*(-1)/(-5)*-1. Which is smaller: u or 0?
0
Let g = -234 - -234. Which is bigger: g or 1/1336?
1/1336
Let s = -8206921/100 - -327453/4. Let c = 206 + s. Is c < -1/3?
False
Suppose 1421 = 30*z - 469. Which is bigger: 65 or z?
65
Let c be 45/(-20) - -2 - 393/12. Let r = c + 24. Which is greater: r or -12?
r
Let o be 12/16 + 2 - (-8 + 10). Let l = 3/4 - 27/20. Are o and l nonequal?
True
Let x be (-260866)/(-318) - 1/3. Is x at most as big as 819?
False
Let t = -122272/1111 - -1208/11. Which is greater: -1 or t?
t
Let q be 3/(-99)*100 + 3. Suppose 40 = a + 39. Do a and q have the same value?
False
Suppose d - 11 - 3 = 0. Let z be d/34*(-6)/7. Let p be (0 + (-1 - -2))*1. Is z < p?
True
Let m be 3 + (4 - (-24)/(-3)). Let x = m - -15. Does x = 2/3?
False
Let c(g) be the second derivative of -g**4/12 - g**3/2 - 12*g. Let o be c(-2). Suppose 0*y + 4 = -5*k + o*y, -4*k - 5 = -y. Which is greater: -3/5 or k?
-3/5
Let s = -0.1 + 0.1. Let v = -72 - -70. Let f = 4 - v. Which is smaller: s or f?
s
Suppose -3*k - 3 = -9. Suppose 3*q - 80 = -k*n, 4*q - 88 = -2*n - q. Suppose 0 = -l + 5*c - 30, -c = 3*l - 6*l - n. Is -9 smaller than l?
False
Let n(l) = l**2 - 7*l + 40. Let u be n(9). Which is smaller: u or 56?
56
Let b = 2 - 2. Let g = -13479 + 13396. Is g less than b?
True
Let j be -1*2*(-3)/(-6). Suppose 3*d + 29 = -2*x, -3*x + 0*x = 12. Let i be 1*d/10*(-9)/(-21). Is j < i?
True
Suppose 2618 = -6*d + 83*d. Is d > 34?
False
Let q = -586/1221 - -20/37. Let s(m) = -2*m**3 - 2*m**2 - 2*m - 1. Let d be s(-1). Are q and d unequal?
True
Let h = -16 + 16. Suppose -1 = u, d + 2*u + h = 2. Suppose d = -p + 5. Is p less than -1/4?
False
Suppose -18 = -39*k - 18. Let d be ((-2)/74)/((-1)/(-2)). Which is smaller: k or d?
d
Let y = 174 + -281. Let m = y - -107. Does m = 3/20?
False
Let r = 0 - -6. Let v be (-1 - r)*5/30. Which is bigger: -1 or v?
-1
Let f be 3/((-7)/42 - 22/(-141)). Are f and -282 nonequal?
False
Let z(u) = -3*u**2 + u + 23. Let p = 53 + -58. Let d be z(p). Is d less than or equal to -58?
False
Let l = 20 + -13. Let m be (-134)/28 - -5 - (-2)/l. Is m bigger than 2/3?
False
Let r = -100.8 - -104.8. Is r not equal to -0.05?
True
Let l(y) = 6*y**2 - 7*y - 16. Let z be l(-3). Which is smaller: 178/3 or z?
z
Let j be 0 - -3 - (-2 + 3). Suppose j*o = 8*o. Suppose -4*u - 21 + 9 = o. Is u at least as big as -5?
True
Let y = -18 + 22. Suppose -4*d + 3*g + 5 = -1, 5*d + y*g = -8. Does d = -10/21?
False
Let i = -1852 - -2042. Do 190 and i have the same value?
True
Let d = -72 + 207. Let x be ((-1)/(-3))/(275/d + -2). Are -2 and x equal?
False
Suppose h - 3*p = -2*h - 15, -35 = h + 5*p. Is h less than 12?
True
Suppose -5*s + 15 = -a, -7 = -3*a - 2*s + 4*s. Which is greater: a or 3?
a
Let k = 0.135 + -0.295. Let o = -66.04 + 82.2. Let h = o + k. Is h equal to -2/3?
False
Let d be 360/(-144)*(-82)/1. Which is bigger: 208 or d?
208
Let l be 2/15 - (-10 - (-26138)/2580). Which is bigger: -1 or l?
l
Let c(i) be the first derivative of -i**4/4 - 11*i**3/3 - 6*i**2 - 16*i + 4. Let m be c(-10). Which is smaller: 3 or m?
3
Suppose 5*s + 4*r + 84 = 0, 3*r + 101 = -5*s + 13. Let h(c) = -2*c**3 + 18*c**2 - 19*c + 4. Let o be h(8). Are o and s non-equal?
False
Let t(s) = s**3 - 8*s**2 + s + 6. Let b be t(7). Let k be b/54 - 8/(-3). Suppose -k*i + 3 = -3*i - m, 4*i + 3*m = -9. Is i at least -0.09?
True
Suppose 44 = h + 3*g + 17, -63 = -4*h + 3*g. Let r be (-1140)/(-4688) + (h/(-8) - -2). Are r and -1 equal?
False
Let d be (3/(-5))/((-58)/(-145)). Is -1/18 > d?
True
Let s = 440 - 440. Which is smaller: -1/290 or s?
-1/290
Let r = 6 - -11. Let k = r - 22. Which is greater: 3/2 or k?
3/2
Let v(b) = -3. Let j(r) = 1 + 13*r + 2 - 12*r. Let c(k) = 2*j(k) + 3*v(k). Let n be c(2). Which is bigger: n or 5/12?
n
Let a be (-1 + 5/2)*2. Suppose -2*r + 11 + 0 = -5*q, -a*q - 3*r - 15 = 0. Let n = q + 4. Which is smaller: n or -4/17?
-4/17
Suppose 17*l = -18*l + 17*l. Which is smaller: l or -4/159?
-4/159
Suppose 2*q - 6 = -2. Let k be (-1 - 0)/(-3 + q). Let s = 9/313 + -445/37247. Which is bigger: k or s?
k
Let o = 1350 + -1382. Does -44 = o?
False
Let d = 0.612 + -0.122. Let o = -0.127 - -0.137. Let s = o + d. Which is bigger: 1 or s?
1
Let x = -8/251 + -1952/1757. Let y = -0.31 - -0.01. Which is smaller: y or x?
x
Let l be (-6)/(-1)*(0 - 1). Let q be -3*2 + l/(5 - 11). Which is bigger: -6 or q?
q
Suppose 23*z - 11*z + 26136 = 0. Let j be z/(-180) - 2/(-5). Which is smaller: j or 13?
j
Let h(c) = -c**3 - 2*c**2 + c - 6. Let u be (-6)/((-2)/((-2)/2)). Let m be h(u). Which is smaller: m or 1/6?
m
Let b(n) = -2*n - 29. Let k be b(-5). Let c(y) = y**3 - 8*y**2 - 2*y - 1. Let h be c(8). Which is greater: h or k?
h
Suppose 3*z - 6*z - 31 = g, -2*z = 2*g + 18. Let b be ((-4 + 2)/(-4))/1. Is b < z?
False
Let w(h) be the third derivative of -h**5/60 + 2*h**4/3 - 11*h**3/3 - 44*h**2. Let m be w(8). Which is smaller: m or 41?
41
Let z = 1400/9 + -466/3. Which is greater: z or 3/40?
z
Suppose -39*y - 1425 = -20*y. Which is greater: -76 or y?
y
Let p(l) = -l**3 - 29*l**2 - 29*l - 94. Let g be p(-28). Which is bigger: -68 or g?
g
Let y = -513.3