*n + n. Let a be u(-3). Which is smaller: d or a?
d
Suppose -2*u = -9*u. Let y(d) = 2*d - 9. Let q be y(u). Let i be (-172)/20 - q/15. Is i less than -8?
False
Let s(j) = j**2 - j - 16. Let v be s(4). Let b(f) = -f - 17. Let h be b(v). Is h less than -15?
False
Suppose -13 + 4 = 3*v - 3*d, 4*v + 4*d = -36. Let s be 5/2 + v/(-12). Is 10 >= s?
True
Let o(p) = -p**3 - 10*p**2 + 1073*p + 10651. Let w be o(-10). Let a be 1/(-2) + (-155)/2. Is w less than a?
True
Let j = -1.1 + -2.8. Let f = -4 - j. Let v = -6815 + 6808. Which is smaller: f or v?
v
Suppose 91*v - 36806 = -63*v. Which is smaller: v or 231?
231
Let j be (-2)/(-9) + 349/9. Suppose -4 = -38*m + j*m - 5*q, q + 1 = 2*m. Which is smaller: m or 17?
m
Suppose 4*r + 12 = -2*z, 0 = -33*z + 30*z - 5*r - 20. Suppose -27 = 5*u + 48. Is u not equal to z?
True
Let q = 151 + -132. Suppose 11*f = -q + 8. Which is smaller: f or -1/148?
f
Let x be ((-4)/(-1))/(2/12). Suppose -2*a = -p + x - 5, 4*p = -5*a + 24. Let q = -431 + 881/2. Which is smaller: q or p?
q
Let r be (-2163)/(-63) - 2/(-3). Let p be 7/42 - r/(-6). Suppose 0*j = -2*j - p. Is -3 greater than or equal to j?
True
Suppose 15 = -5*i - 10*i. Let m(k) = -35*k**3 + k**2 - 17*k - 19. Let u be m(i). Let b = 0 + 0.1. Which is greater: u or b?
u
Let o = 5828 + -5404. Let c = 1246 + -822. Is c <= o?
True
Suppose -91 + 71 = -5*a. Let b(m) = m**3 - 4*m**2 + m - 6. Let g be b(a). Is g > -1?
False
Let q = -6324 - -6321. Which is bigger: q or 14?
14
Let d = 10323 + -11165. Is -1 equal to d?
False
Let w = -184220456/8387 - -21965. Do 1 and w have the same value?
False
Suppose s - 145*m - 8595 = -141*m, -3*s = 2*m - 25771. Which is greater: 8592 or s?
8592
Suppose -y + 189 = 2*y. Suppose -13*x = -10 - 16. Let l be 73 + (x - 5) - 6. Which is greater: y or l?
l
Suppose -231*s - 198 - 957 = 0. Which is smaller: s or -161/40?
s
Let r = -6.03 - -5.8. Suppose 0 = -607*i + 641*i. Which is smaller: r or i?
r
Suppose -4*c + 0*c = 92. Let x be 1 + (-998)/(-8) + 30/(-40). Suppose l + p = 6*l + x, -3*l - 5*p = 47. Which is smaller: l or c?
l
Let y(d) = -d**3 - 2*d**2 + 16*d - 6. Let w be y(-6). Let u be (13/7 - 1)*w. Is 35 not equal to u?
True
Let w = 82 + -91. Let o(f) = -5*f - 7. Let k be o(w). Let d = k + -38. Which is smaller: 1/13 or d?
d
Let k = -20422 + 20501. Which is greater: 35 or k?
k
Suppose -5*l - 1483 = 3*s, 2*l + 29 = -2*s - 561. Which is smaller: l or -308?
-308
Let o = 256 + -253. Suppose -o = -170*j + 171*j. Which is bigger: 46 or j?
46
Suppose 3*a + 3*d = 4*d + 106, -5*d - 145 = -4*a. Suppose -7*j + 8*j + 51 = 0. Let i = j + 86. Do a and i have the same value?
True
Let o(s) be the first derivative of -s**4/2 - s**3/3 - s**2/2 - 3*s + 13. Let b be o(-3). Let t = -21 + b. Which is smaller: t or 23?
23
Let p be (1094/14)/(39/273). Suppose -555 = -5*a - 181*o + 176*o, -5*a = -3*o - p. Which is smaller: 111 or a?
a
Let j = 26.7 + 47.5. Let w = j + -74. Let d = 2 - -4. Is d at least as big as w?
True
Suppose -18136 - 11981 = -106*u + 8679. Are u and 1097/3 non-equal?
True
Let g(w) = w**3 + 9*w**2 + 14*w. Let f be g(-7). Let n be ((-12)/10)/(f + (-1)/5). Let x(d) = -d**3 + 7*d**2 - 6*d - 10. Let v be x(n). Is -11 > v?
False
Let q be 24/(-18)*(-3 - (-846)/(-70)). Let y = 102/5 - q. Are y and 22 unequal?
True
Let f = 1457 + -2068. Are -610 and f equal?
False
Let t be (-968)/(-12)*(-78)/13. Is t != -480?
True
Let k = 6064/91 - 481/7. Let g = k - -2. Let p be 0 + -4 - 5/(-1). Is p <= g?
False
Suppose 133*x - 139*x + 48 = 0. Suppose 12*l + 28 = x*l. Suppose -16 = -u + 3*u. Which is bigger: l or u?
l
Suppose -3*n + 46 = 49. Let w be -120 + -2 + 5 + n. Let h = 47 + w. Is h > -72?
True
Let c(k) = -k**2 - 29*k - 30. Let h be ((-144)/54)/((-2)/(-15)). Let n be c(h). Is 150 greater than n?
False
Let k(m) = -m**2 + 10*m - 10. Let t(j) = -j**3 - 11*j**2 - 11*j + 2. Let v be t(-10). Let q be v/2 - (0 + (2 - 5)). Let o be k(q). Is o < -3?
False
Let p(g) = -g**3 + 20*g**2 + 129*g - 2. Let k be p(25). Do k and 1088/11 have the same value?
False
Suppose -4*b + 2897 = -5*h, -5*b - 10 = -0. Which is greater: -578 or h?
-578
Suppose -390*j = -228*j - 291762. Is 1803 greater than or equal to j?
True
Let l = -595.4 + 38.4. Let w = l - -559. Is w at least 183/5?
False
Let y = -19951 - -16155. Is y less than -0.1?
True
Let k = -11.6 - -31.6. Let n = k + -26. Are -0.1 and n nonequal?
True
Let p(d) = d**3 - d**2 - 23. Suppose -4*x = 3*y - 13 - 7, 15 = 4*y + 3*x. Let i be p(y). Let b = -33 - -11. Which is smaller: b or i?
i
Suppose 0*q + 5*y + 24 = 4*q, 9 = -3*q - 3*y. Let h = -1426/7267 - 14/169. Let a = h - -27/559. Which is bigger: a or q?
q
Let d = -69 - -41. Let q(f) = f**3 + 9*f**2 - 7*f - 13. Let i be q(-4). Suppose -15*y - m + i = -18*y, -2*y - 55 = m. Is y less than d?
True
Let p(g) = 13*g - 819. Let a be p(63). Which is bigger: a or -7/40?
a
Let l = 0 - 0.1. Let o = -56349.079 + 56349. Is l bigger than o?
False
Let v = 1066/4635 - 4/515. Which is bigger: 2/1487 or v?
v
Let v(p) = 46*p + 1340. Let j be v(-29). Let l(x) = x**3 - 3*x**2 - x + 1. Let s be l(3). Which is greater: j or s?
j
Let f be (765/459)/(1*3/(-16263)). Is -9035 bigger than f?
False
Suppose -37430 = -98*f - 99*f. Is 192 at most as big as f?
False
Let i = -3068.3 - -3058.3. Is i less than or equal to -2/11?
True
Let u = -98 - -104.9. Let a = u + -4.7. Let c = 2.3 - a. Is 8/9 at least as big as c?
True
Let v(h) = -h**2 - 16*h + 12. Let k = 750 + -765. Let p be v(k). Which is bigger: p or 19?
p
Let k be 1089 - (-7)/(-7)*-7. Let n be (-5488)/k - (-2 + (-2 - 1)). Which is greater: n or 0?
0
Let f = -2006 - -2784. Are 778 and f non-equal?
False
Let g be 1*(-24)/1 + -1. Let k = -180338 + 180314. Which is smaller: k or g?
g
Let x = -10416 - -10824. Is 407 less than x?
True
Suppose -7*h = -2*d - 307, -112 - 120 = -4*h - 4*d. Let y(s) = 19*s - 1. Let r(q) = 10*q - 1. Let j(v) = 7*r(v) - 3*y(v). Let p be j(4). Is h less than p?
True
Let d(y) = 30*y - 696. Let l be d(16). Is l >= -1948/9?
True
Let k = 17547 - 23788. Is k at least as big as -6239?
False
Let v be (-9 + 12 + -6)/1. Let a(g) = g**2 - g - 1. Let y be (-2)/9 - (-10)/45. Let p be a(y). Which is smaller: p or v?
v
Let h = 2866.77 - 2882. Let d = h + 14.9. Which is greater: 1 or d?
1
Let y = 246.24 + -412.23. Let v = -3.99 - y. Let b = v - 72. Is 0.1 greater than b?
False
Suppose -q = -2*d + 698, -5*d = -5*q + 1551 - 5061. Is q <= -707?
False
Suppose 3*c - 20*s = -24*s + 12, -12 = -3*c + 4*s. Suppose -2*x = -2*t + 10, -4*x - x - 2*t = c. Let q = -0.4 - -0.389. Are q and x equal?
False
Suppose 4*f - 33 - 652 = -5*o, 3*o - 15 = 0. Let t be 4/22 + (93200/f)/10. Which is smaller: t or 58?
t
Suppose 82 + 33 = 5*k. Let g = k + -18. Suppose 0 = -5*j - 2*l + 9, 3*j + 3*l - 7*l + g = 0. Which is greater: j or -1/12?
j
Suppose -p - 52 = -2*p - 12*p. Let y be 2 - (-1 + (-2)/16). Which is smaller: y or p?
y
Let b = 56 + -62. Let h(i) = -i**2 + 6*i + 31. Let p be h(b). Let a = p - -61. Which is smaller: 21 or a?
a
Let k be (4 + (-136)/32)/((-6)/(-24)). Do -6/439 and k have different values?
True
Let s = -395 + 147. Let w = 248 + s. Which is smaller: w or -2/451?
-2/451
Let s = -86.1 + 89.1. Which is bigger: s or 406?
406
Let j(z) = -4*z + 1. Let u be j(0). Which is bigger: 2/8517 or u?
u
Let v be 3/(3 - 6/3) - 224. Let m = v - -237. Suppose 5*p = 4*c - 65, 3*c - c = 2*p + 32. Which is greater: m or c?
m
Let s be (((-578956)/69)/29)/(2/3). Let m be (-1 + 5)*(-6)/60. Is s < m?
True
Let a = 859/1885 + -21/377. Which is bigger: a or 1/127?
a
Let j(i) be the first derivative of i**2/2 + 3*i - 4. Let t be j(16). Suppose -69 = 2*h - t. Is h <= -25?
True
Suppose -38*s - 453141 = 5*s - 4*s. Which is bigger: -11618 or s?
-11618
Suppose 3*r - 52 = -3*j - 10, -3*r - 2*j = -43. Suppose -r*d - 61 = 59. Let k = 16 + -16.1. Which is greater: k or d?
k
Let q(t) = -7*t + 91. Let a be q(13). Suppose a*i - 11 = -11*i. Is 14/25 != i?
True
Let u = -1172 - -454. Let t = -722.865 - u. Let q = -0.135 + t. Which is greater: q or 2?
2
Let i be ((3/(-45))/((-3)/108))/((-1756)/(-30)). Is i >= 1?
False
Let r = -8808 + 8805. Is -97/62 <= r?
False
Let g = -11450 + 11349. Which is smaller: g or -76?
g
Suppose 4*g + 312 = -4*r, 21*g - 20*g + 102 = -5*r. Which is smaller: g or -508/7?
-508/7
Let w = -30