ppose -w - 3*w = -p. Are w and r nonequal?
True
Let l = -11 - -16. Let m = l - -7. Let j be (0*3/m)/1. Which is greater: -2 or j?
j
Suppose 4*r + 38 = -2*k + 130, 5*r = 3*k + 93. Suppose o - r = 13. Let p be (2 + o)/((-9)/6). Which is greater: -23 or p?
-23
Suppose -2*i - 9 = -2*t + 19, -4*t + 5*i = -60. Suppose 2*q + q + l + 5 = 0, 2*q - 25 = 5*l. Let f be 12 + -4 + (4 - q). Which is greater: f or t?
f
Let a(k) = 9*k - 29. Let l be a(4). Which is greater: 5 or l?
l
Let b = -2 + 3. Suppose -6*q - 10*q = 256. Let w be ((-2235)/740 - -3)*q/18. Which is smaller: w or b?
w
Suppose 0*s - 20 = -2*n - 2*s, 4*s = 3*n - 23. Let g = -4 + n. Let d be (38/(-4))/(12/(-6)). Is d < g?
True
Let w = -2/835 - 1636/14195. Let b be (-203)/(-6*(-4)/(-6)). Let m = -51 + b. Which is smaller: m or w?
m
Let f = -276363/358720 + 228/295. Which is smaller: f or 0.1?
f
Let w be (-6)/(-4) + (-5)/10. Is w at most as big as -1/107?
False
Let m = 114.3174 - -0.0826. Which is smaller: m or -2/5?
-2/5
Let p(t) = t**2 + 2*t - 3. Let i(n) = 3*n**2 + 5*n - 8. Let u(k) = 3*i(k) - 8*p(k). Let y be u(2). Let z(f) = 2*f - 3. Let r be z(y). Which is smaller: -2 or r?
-2
Let t be 3/((-2)/8*6). Let m be 14/6 - (-2)/3. Let w = m + t. Which is smaller: -2/9 or w?
-2/9
Let g = 197 + -212. Is -3 less than g?
False
Let o be 4182/34 + (-12)/(-2). Is o <= 128?
False
Let m = -602.8 - -7.8. Are m and -1 nonequal?
True
Let g = -1.3 + 1.51. Let m = -14.9 - -14.09. Let w = m + g. Is w less than or equal to -0.2?
True
Suppose 4*b = -5*g + 6*b + 5, -b - 1 = -4*g. Suppose -3*z = 3*x + 2*z - 33, 2*z - 6 = 0. Let n be x/(-8)*1/12. Which is smaller: n or g?
g
Let v(k) = 8*k - 1. Let n be v(4). Let d = n - 51. Let u(s) = 3*s - 38. Let r be u(6). Is d >= r?
True
Let c be (-213)/(-624) + (-22)/143 + 0. Let v(s) = -s**2 + 4*s - 3. Suppose 4*m - 2 - 6 = 0. Let r be v(m). Which is smaller: c or r?
c
Let j be 21/30*(-4)/28. Is -40 > j?
False
Let m be -13*(100/(-12) + 8). Is 4 less than m?
True
Let d be -1*(-4035)/20*4. Let p = -29861/37 + d. Is -2 > p?
False
Suppose 0 = -9*y + 4*y + 240. Suppose 2*j - 2*p = -36, -6*p + y = -j - 11*p. Is 0 not equal to j?
True
Let q = 0.026 - 0.176. Let b = 0.85 - q. Which is bigger: -6 or b?
b
Suppose -5*l - 3*r + 11 = 0, -l - 2*r + 3*r - 1 = 0. Is 64 less than l?
False
Suppose -r = -3*o - 10, 5*r - 21*o - 32 = -12*o. Let x = -2752/21 + 131. Which is smaller: x or r?
x
Let i be (-3)/(2/(4 + -10)). Let o = i - 8. Is o <= 0?
False
Let u(p) = -p**2 + 7*p + 4. Let x = -79 + 88. Let v be u(x). Is v less than or equal to -14?
True
Let t(q) be the third derivative of 0 + 0*q + 4/3*q**3 + 1/60*q**5 + 6*q**2 - 7/12*q**4. Let m be t(13). Which is smaller: m or -6?
-6
Let l = 248 + -248. Let z = 16 - 11. Let f = z + -5.4. Is f greater than l?
False
Let u = -2.531 - 4.503. Let o = 0.034 + u. Which is smaller: 6 or o?
o
Let m(d) = -5*d**2 + 28*d + 11. Let z be m(6). Is z greater than or equal to 7?
False
Suppose -4*n = -433 - 123. Let h = n + -140. Which is greater: h or 22?
22
Let q be (-10)/(-110) - 342/4730. Which is greater: -2/3 or q?
q
Suppose 0 = -5*i + 6 - 1. Let t be (5/5)/(i/2). Let d be t/8 - 153/180. Is d smaller than -2?
False
Suppose 29*q - 24*q = 0. Which is smaller: 11 or q?
q
Suppose 0 = 5*p - 30 + 55, -p = 2*k + 25. Which is smaller: -11 or k?
-11
Let f be 5/30 - 10/(-12). Let a be 0*(-1)/(-2)*f. Let i(m) = -m**2 - 5. Let v be i(a). Which is smaller: v or -6?
-6
Suppose 3*i = g - 0*i - 9, 3*i + 93 = 5*g. Suppose -p - 3*t = p + 17, 5*t + g = 4*p. Is 2/5 less than p?
False
Let g(i) = i**3 + 2*i**2 - 10*i - 5. Let z be g(-4). Suppose 10*n = 7*n - 252. Let f = 173/2 + n. Is f less than or equal to z?
True
Let v = 28 + -8. Suppose -c - 21 = -v. Let d be -18*(6/9)/c. Is d less than or equal to 11?
False
Let x = -22 + -24. Let h = x - -45.7. Which is bigger: 4/5 or h?
4/5
Let q be (-6)/4*(-176)/24. Let o(k) = -k**2 + 11*k + 5. Let z be o(q). Is 5 bigger than z?
False
Let t be (35/(-25))/((-8)/(-10)). Let u(r) = -r**2 - 8*r + 4. Let o be u(-8). Suppose -5*l - v - 10 = v, o = -2*l - v. Is t smaller than l?
False
Let c = -5.9 + 102.9. Which is smaller: 1 or c?
1
Let c(i) = 73*i**3 + i**2 + 3*i + 1. Let o be c(-1). Is o < -76?
False
Let u = 0.1267 + -1.1267. Is u less than 5?
True
Let b be 1*(1 - -1) - 0. Let x = -27.2 - -15.9. Let c = x + 12. Which is smaller: c or b?
c
Let t = -47 + 46.24. Let k = t - -0.06. Let s be -3 + (65/52)/(1/2). Which is smaller: k or s?
k
Let o = 219031/11 - 19931. Are -20 and o equal?
False
Let h be (6/(-4))/(7/56). Let i be 12/(-30)*(0 - -60)/2. Let j = h - i. Which is bigger: j or 2/3?
2/3
Let b be (48870/492 - -1)*-6. Let f = -602 - b. Let a(g) = -g**3 + 2*g**2 + 2*g + 2. Let y be a(3). Which is bigger: f or y?
f
Let a = -476 + 653. Which is smaller: a or 0.2?
0.2
Let s be (1326/12)/((-6)/12). Which is bigger: -222 or s?
s
Let a = -16.3 + 17. Let o = a + -0.73. Which is smaller: o or 0.1?
o
Let t = -754 + 4519/6. Suppose d = 3*l + 8, -d = 3*l + 6 - 2. Which is greater: l or t?
t
Let i(a) = 2*a**2 + a + 2. Suppose 15 - 3 = 3*x + 2*t, -3*x + t = -3. Let o be i(x). Suppose 93 - 17 = 5*n + 4*h, 4 = -n + 4*h. Is n <= o?
True
Let k = 227/2736 + -22150871/35568. Suppose -l = -201 + 824. Let v = l - k. Which is bigger: -1 or v?
v
Let x = -1.47 + 1.8. Let d = x - -1.67. Is d smaller than -0.1?
False
Suppose 5*k - 18 = 4*k. Suppose 5*u - k = 4*b + 90, b = 2*u - 42. Let g be ((-9)/42)/((-15)/u). Which is greater: 0.1 or g?
g
Suppose -4*t = 4*t - 24. Suppose 7*o = 2*o - t*z + 163, 43 = o - 2*z. Are -1 and o non-equal?
True
Suppose -3 = 4*r - r - 3*j, 2*j = 0. Which is smaller: -2/35 or r?
r
Let w = 17 + -14. Suppose -a - 19 = w*p, -2*a + p - 7 = -a. Let s(j) = j + 10. Let q be s(a). Which is bigger: 6/19 or q?
6/19
Let b = -113/7 - -9047/560. Which is greater: 1 or b?
1
Let f be 3*73*8/6. Is f greater than or equal to 291?
True
Let k = -2/431 + -401/6465. Let t be (2/(-3)*-6)/(-1*1). Let v(f) = -f**2 - 5*f - 3. Let d be v(t). Is k bigger than d?
False
Let i(t) = -2*t - 4. Let m be i(5). Let x = m + 8. Let w be ((-3)/x)/((-2)/8). Which is greater: -8/5 or w?
-8/5
Let w be 3/((-153)/(-1444)) + 2/(-3). Let f = -3292/119 + w. Which is smaller: -1 or f?
-1
Let c be (-731)/(-4) + 44 + -54. Is c at most as big as 172?
False
Let a = 2 - 1. Let i(p) = -p**2 + 13*p + 16. Let y be i(14). Let n = a + y. Is 4 less than or equal to n?
False
Suppose -5*p + 4*k = -435, 0 = -4*p + 3*k + 151 + 197. Let b be p/1080 - 3/24. Is 0 equal to b?
False
Let j be (3/2)/(7/448*12). Let v be (-705)/(-60) - ((-10)/j - -1). Do v and 12 have different values?
False
Suppose 3*i = 53 - 2. Let k = 56/3 - i. Suppose -85*g + 59*g = 214*g - 480. Which is greater: k or g?
g
Let s(i) = i**2 + 9*i + 12. Let r be s(-5). Let c = 9 + r. Which is bigger: -4/15 or c?
c
Let l(g) = g**2 - 15*g - 24. Let y be l(20). Let j = -78 + y. Let r be ((-2)/(-2))/(-5 - 0). Which is smaller: j or r?
j
Let p be 4/(-12)*72/(-6) - 1. Which is smaller: p or 38?
p
Let z = -4/27 + 3977/54. Let t = z + -69. Is t at least 4?
True
Let f = 54773/2603 + 672/137. Suppose 119 = -5*u - 11. Let s = u + f. Which is greater: 1 or s?
1
Let n = -0.136 + -5.824. Let i = -0.04 + n. Which is smaller: 4 or i?
i
Suppose -29160 = 35*i + i. Is -809 at least as big as i?
True
Suppose 0 = 6*a - 9*a. Let q be (110/77)/(186/14). Let p = 3/124 - q. Which is smaller: p or a?
p
Suppose 54 = -2*y - 5*t + 3*t, 2*t - 38 = 2*y. Let w = y + 139/6. Suppose 5*b = u - 4, -26*b + 24*b = 3*u - 12. Is w bigger than b?
True
Let c = 1/247 + -3/19. Suppose f - 16 = -3*q - 2*q, -2*f + 4*q = 10. Which is smaller: c or f?
c
Let i be (-930)/(-12) - (-1)/2. Let u = -42 + i. Let p = -15 + u. Which is smaller: p or -1?
-1
Let i(s) = s**2 - 4*s + 6. Let g be i(3). Suppose -2*l + g*l - 4 = 0. Let o be 30/(-16) - (3 - l). Is 0 smaller than o?
False
Let x = -8.07 + 8. Let i = -0.17 - x. Let a = -0.4 + 7.4. Which is smaller: a or i?
i
Let l be -52 - 0/(4 - 2). Suppose 29 - 34 = -5*x, 154 = -3*n - 2*x. Is l less than n?
False
Let n = 30 - 31. Let i = 0.287 + -0.037. Is n smaller than i?
True
Suppose 5*a - 9 = -59. Does -14 = a?
False
Let g be -14*16/6*9*1. Which is smaller: -335 or g?
g
Let c(q) = 6*q + 11. Let y be -2*(-1 + -2 - (-36)/8). Let m be c(y). Which is bigger: -8 or 