= -0*w - 4*n + 104. Which is greater: w or -31?
-31
Let q(x) = -x + 11. Let o = -97 - -144. Let g = o + -36. Let n be q(g). Which is greater: n or 1/2?
1/2
Suppose -4*j + 0 = -3*p - 2, 4*p - 6 = j. Let c be p/12 + 230/(-12). Which is smaller: -18 or c?
c
Let c = -39 + 40. Let q(j) = -j**3 + 0*j**2 - 5*j**2 - 3*j**2 + 4 + 2*j**3. Let d be q(8). Which is bigger: d or c?
d
Let p(w) = 4*w - 10. Let h be p(3). Let l be 2*h/(-1164)*3. Is l less than or equal to 0?
True
Suppose 2*k = a + 151 - 33, 4*k = 3*a + 232. Suppose -4*z - 3*g + 12 + 103 = 0, -2*z = 5*g - k. Let s = 29 - z. Is -2/33 less than or equal to s?
True
Let p = -52 + 52.3. Are 1 and p non-equal?
True
Suppose -v = 5*f - 45, v + 11 = -0*f + 2*f. Suppose 15 = f*h - 3*h. Let r be 0/(-2) + (-4 - -5). Is h bigger than r?
True
Let b = -7.52 - -7.5. Let g = b + 0.02. Which is smaller: g or -3/5?
-3/5
Let i(m) = -29*m + 11. Let f be i(-3). Let j be (-2)/(-4) - 7/(f/(-665)). Does 47 = j?
False
Suppose -2*g = 5*w - 25, w - 4*g - 1 = 4. Suppose -n + w*n = 0. Which is bigger: 1 or n?
1
Let d be ((-2)/(-4))/((-246)/(-24)). Suppose 4*n + 0*n - 12 = 0. Let m = -4 + n. Which is bigger: m or d?
d
Let j = -1324 - -1446. Which is smaller: 121 or j?
121
Suppose -j - 334 = -2*k, 0 = 12*k - 7*k - 5*j - 840. Is k > 165?
True
Suppose 29*b - 4*q = 32*b - 33, -4*b + 3*q + 19 = 0. Is b at least 5?
True
Suppose -3*x + 5*x = -2*v, -3*v = -5*x. Suppose 3*p - p = x. Suppose p*m = 2*m. Which is smaller: 1/31 or m?
m
Let q be -1 + 1 - (4 + -3). Suppose 0 = -b + 4*s - 14, 5*b + 5*s = -0*s + 55. Let x be q/((-4)/b)*-2. Which is smaller: -4 or x?
-4
Let u = -11/3 - -23/6. Is u at least -177?
True
Let h be ((-1)/2)/(((-161)/(-420))/(-23)). Suppose -14 = 2*j + 3*l - 8*l, -3*l = -3*j - h. Suppose 30 = -3*a - 6. Does a = j?
True
Suppose 10*x + 5 = 5*x. Let i be (0 - -2)*(-3)/6. Is i equal to x?
True
Let a = -519 + 519.1. Which is smaller: -1/83 or a?
-1/83
Let i be 56920/(-8128) + 9 - (2 + 0). Which is greater: i or 0?
0
Let i = -184159/60282 + -2/3349. Let z = 14501/4734 + i. Is z greater than 1?
False
Let z(w) be the first derivative of -w**2 + 5*w + 38. Let y be z(3). Which is smaller: 15 or y?
y
Let c = 37 + -20. Let p be (8/(-6))/(((-56)/3)/4). Is c less than p?
False
Suppose -4*t + 20 = 4*l, -9*l = -t - 4*l - 7. Suppose 5 = -o - 2*k - 1, 5*o = -t*k - 2. Let w(m) = m + 13. Let r be w(-10). Do o and r have the same value?
False
Let y(z) = 185*z + 457. Let n be y(-3). Which is bigger: n or -91?
-91
Suppose 0*s + 4*s = 28. Let a be 10/(-12)*(-28)/s. Are 2 and a non-equal?
True
Suppose 0 = 7*b + 13*b - 220. Let m be (-56)/(-6)*(132/40)/b. Is 2 at most as big as m?
True
Let r = 18/39113 - 34615689/1486294. Let b = -4/19 + r. Let v = b + 24. Is -0.8 not equal to v?
True
Let w be (-192)/(-572) + (-2)/13. Let g = 85 + -677/8. Which is smaller: w or g?
w
Let w(u) = 4*u + 41. Suppose -8*a = -29 + 125. Let s be w(a). Suppose y - 5*q = 9, -y - 3 = -2*y + 3*q. Is s at most as big as y?
True
Let d = -1858 - -1901. Which is smaller: 4 or d?
4
Let q = -32.2 - 1.8. Let v = -438 - -438. Is v not equal to q?
True
Let h = -640/11 - -74251/1276. Let o be (-8)/(-16)*(-2 + 2). Which is greater: h or o?
h
Let r(y) = -6*y + y**2 + y**2 - y**2 + 7 + 16*y. Let p be r(-10). Suppose z - p = -15. Is z smaller than -1/3?
True
Let d = 12 - 43. Let c = -33 - d. Let k(t) = 5*t - 1. Let r be k(-1). Which is greater: c or r?
c
Suppose 0 = -7*d - 137 - 38. Let v = d - -25. Are 1/18 and v unequal?
True
Let f = -1117 + 428. Let d = -4793/7 - f. Is d less than or equal to 4?
False
Let p be ((-468)/(-65))/9*10/4. Is p <= 14/27?
False
Let m be 4/6 - (-26)/6 - 0. Suppose 2 = m*f + 4*j - 51, -3*f = -2*j - 45. Which is smaller: 14 or f?
f
Let p(h) = h**3 - 2*h**2 - 3*h + 1. Let i be p(3). Let g = -2/941 - -127043/3764. Let d = g + -34. Which is bigger: d or i?
i
Let i = 209 - 16. Is 193 >= i?
True
Let u be (-660)/(-20)*((-1)/(-1) + -2). Which is smaller: 0.1 or u?
u
Suppose -5*h = 3*s + 25, 4*s + 3*h + 2 + 13 = 0. Let g be (-2 + 1)/((-2)/(-82)). Let c = g - -124/3. Which is smaller: c or s?
s
Let i = -3111/4 + 777. Is i equal to -1.92?
False
Suppose -16 = c - 5*c - a, -4*c + 5*a = 8. Let o be 57/21 + c/(-1). Let q = 130 - 125. Is o not equal to q?
True
Let t(g) = 4*g - 31. Let a be t(6). Let h = 607 + -3063/5. Is a at least as big as h?
False
Suppose -6 = -9*r + 12*r. Let j be (-40)/948*(1 - r/10). Which is greater: j or 1?
1
Let d = -1.0641 - -0.0641. Is d greater than 412?
False
Let u = -438 + 438. Is -20/17 smaller than u?
True
Let s = -13187/66 + 1225/6. Is s smaller than -4?
False
Let o be (-13137)/23*(-22)/22. Let u = -571 + o. Which is smaller: 1 or u?
u
Let s be ((-3)/3)/3 - -1. Let p = -511/627 - 2/627. Is s at most p?
False
Suppose 0 = 3*l - 4*l + 53. Let j = 43 - l. Is j at least as big as -1?
False
Let d = -8/5 - -19/15. Which is bigger: d or 4?
4
Let n be (-3)/(-1) - (-10)/(-15). Let m be 8/(-6)*(-3 - 0). Suppose 5 + 7 = m*j. Is n != j?
True
Let h(s) = s**3 - s**2 + s + 10. Let j be h(0). Let c = 12 + -21. Let q = c + j. Is q > 6/5?
False
Let p = -61 + 237/4. Let a(x) = -x**2 + 2*x - 2. Let h(j) = -j**3 - 6*j**2 - j - 4. Let r be h(-6). Let i be a(r). Is i > p?
False
Let v = -3 + 7. Suppose -4*u = -v*b - 44, -b + 2 = -2*u + 19. Suppose -s + 4*s - u = 0, 2*s - 24 = 5*q. Are q and -4 non-equal?
False
Let v(a) be the second derivative of 8*a**3/3 + 3*a**2 + 3*a. Let l be v(-2). Which is smaller: -25 or l?
l
Let m(a) = -4*a - 51. Let w be m(12). Do w and -99 have the same value?
True
Let i = -43 + 26. Suppose 4*z = 3*q - z + 39, -84 = 5*q - 2*z. Are i and q non-equal?
True
Let j(q) = -q**3 - 3*q**2 + 4. Let g be j(-3). Suppose g*v + 1357 + 243 = 4*p, 3*p + 2*v = 1175. Let m be p/925 - 2/5. Which is smaller: 0 or m?
0
Let w be ((-12)/16)/(12/16). Which is smaller: 7/23 or w?
w
Let q be (-1*(-2 + 4))/2. Let y be -5 + 7 - (-243)/(-90). Is y at least q?
True
Let a(j) = 8*j + 375. Let v be a(-47). Let g = -523 - -9943/19. Is v smaller than g?
True
Suppose -3*x + 5*j = 19, j + 0*j + 41 = -5*x. Let a = -25 - -19. Let l be 15*a/(-10)*-1. Which is smaller: x or l?
l
Suppose 14 + 1 = -5*u. Let c(x) be the first derivative of -x**4/4 + 2*x**3/3 + 3*x**2/2 - 3*x - 6. Let k be c(3). Do u and k have different values?
False
Let j(s) = -5*s - 6. Let a be j(-2). Suppose a*g - 3 = 17. Is g smaller than 38/7?
True
Let f(i) = -8*i + 117. Let a be f(15). Which is bigger: 4 or a?
4
Let f = 2140.496 + -2070.5. Let r = f - 70. Which is smaller: 1 or r?
r
Let r = 10351/4315 - -1/863. Which is greater: r or 0.11?
r
Let v be (765/75 + -13)*(-100)/(-6). Which is smaller: -47 or v?
-47
Let h(a) = 10*a + 150. Let y be h(-15). Let c = 6 - 4. Suppose y = l + c - 6. Is 4 <= l?
True
Let y be 1476/7971*(-4)/8. Let z = 1374165/568598 - y. Let p = z + -1/107. Is p greater than 4?
False
Let a(p) = -p**3 - 47*p**2 - 46*p + 11. Let r be a(-46). Which is bigger: 9 or r?
r
Let h = -12 - -9. Let w(z) = -z - 4. Let g be w(h). Which is smaller: g or 0?
g
Suppose -j = -21*o + 16*o + 3, 6 = 3*j. Is 1/562 greater than o?
False
Let q = 4/359 + 20060/3949. Which is smaller: 4 or q?
4
Let n be 26/(-42) - ((-16)/7 - -2). Let d = 7.7 - 29.7. Which is bigger: n or d?
n
Let q(i) be the first derivative of -i**3 + 3*i - 5. Let r be q(2). Is 2/3 > r?
True
Let x be ((-74)/(-12) + 324/(-54))*-6. Is -25/97 at most x?
False
Let o(z) = 2*z**2 - 93*z + 131. Let k be o(44). Is k at least as big as -87?
False
Let b = 83 - 34. Suppose -3*g - 4*g = b. Is -19/3 at most g?
False
Suppose 12 = -3*n, 3*h - 22*n = -20*n + 170. Which is bigger: 53 or h?
h
Let r = -154.33 + 155. Let j = r - 0.67. Is j <= 1/16?
True
Let x = 115.818 + -1.818. Which is greater: x or 1?
x
Suppose 2*j + 5*c - 6 = 0, -4 = -4*j - 5*c - 2. Let z be (j + 2)/((-1)/(-1)). Is z < 2/11?
True
Let f = 69/91 + 18/13. Let z = 17 - 15. Is f less than z?
False
Suppose 3*q - 70 = 10*q. Let s be (-20)/28*4/q. Is s < 5/4?
True
Suppose -2*b = b - 2*p - 3, -5*p = 3*b + 18. Which is greater: b or -1/257?
-1/257
Let i be 64448/(-1292) + (-2)/17. Which is smaller: -99/2 or i?
i
Suppose 5 - 3 = 2*f. Let m be 13869/13731 - (-1 + 3)/2. Is f smaller than m?
False
Suppose -38 = p - 36. Let n = -203 - -1416/7. Which is bigger: p or n?
n
Let c be (-40)/(-220) - (-273)/11. Su