= -21*g - 64. Let x be c(-3). Let d = 4 + -2.9. Let a = d + -1.8. Which is greater: x or a?
a
Suppose 5*a - 7*a + 10968 = 0. Let k = a - 1859074/339. Which is smaller: 1 or k?
k
Let n(u) = u**2 - 4*u - 55. Let q be n(-7). Suppose 0 = 13*i - q*i + 630. Does 71 = i?
False
Let i = -37 + 2. Let l be 0/1 - (0 - 1 - 4). Suppose -y = l*b + 30, 97 + 12 = -3*y + 4*b. Is y at most i?
True
Suppose 5*w + 123*w - 78694 = -411*w. Are 127 and w nonequal?
True
Let q = 17080 - 444101/26. Let v be 12/(-4) + -1 + 4. Which is smaller: q or v?
q
Suppose -3*k + 0*k = -30. Let w be 2/k + 23/(-115) - -24. Are w and 22 nonequal?
True
Let d = 3350 - 3575. Do 1 and d have the same value?
False
Let m = 0.7 + -1.6. Let f = -89.69 - -92.69. Is f bigger than m?
True
Let i(d) = -5*d + 26. Let s be i(5). Suppose -2 - 2 = 4*z - 2*n, -z = -5*n + s. Is -66 > z?
False
Let l(j) = -13*j - 32. Let s be l(-4). Suppose -2*d + 16 = -s. Let x(n) = -n + 1. Let b be x(-1). Are b and d unequal?
True
Let v(q) = -2*q**3 - 5*q**2 + 78*q - 5. Let s be v(7). Which is greater: s or -387?
-387
Let f be (-575)/100 + (-11)/(-3) + -4. Is -0.1 not equal to f?
True
Let o = -109 + 116.7. Let i = 4.6 - o. Let c = 3.2 + i. Is 36 greater than c?
True
Let n(m) = -m**3 + 17*m**2 + m - 15. Let z be n(17). Suppose -4*f + 43 = a, a + 33 = 3*f + z*a. Suppose -16*y - 186 = -f*y. Which is bigger: y or -30?
-30
Suppose 5*k - 4 = k. Suppose 2*s = 5*h - 139, -2*h + 3*s = 124 - 184. Is h < k?
False
Let q be (94020/(-80))/(6/(-8)). Suppose 11*g - 16*g + q = -4*w, -w - 3*g = 379. Do w and -388 have different values?
False
Let o = 8 - 26. Let f = 3.62288 + -0.62288. Is f smaller than o?
False
Let b(d) = -4*d**3 - 8*d**2 + 12*d - 35. Let o(z) = 9*z**3 + 15*z**2 - 25*z + 69. Let r(s) = -7*b(s) - 3*o(s). Let u be r(-12). Which is smaller: 2/83 or u?
2/83
Let v be ((-11)/(-7))/(9/5742). Let o = v - 1008. Suppose -5*f - 10*r - 29 = -9*r, 0 = -2*f + 2*r - 2. Is f at most as big as o?
False
Let t = 136 - 88. Let o be 14/4 + 1/2. Suppose t = 5*k - o*x, 6*k - 39 = 3*k - x. Which is bigger: 11 or k?
k
Let x = 518 - 416. Suppose w + 3*o = -x, 392 = -3*w - w - 4*o. Are w and -97 equal?
False
Let y = 410959 + -410914. Suppose t - 11 - 34 = 0. Is t < y?
False
Suppose -39*h - 7*h - 456 = 11*h. Let n(x) = -x + 5. Let z be n(-8). Is z less than h?
False
Let i = 68/99 + -10/11. Let h = -53213/30 + 8868/5. Which is smaller: h or i?
i
Suppose 3*s = -2*a + 572, 6*s + 264 = a + 2*s. Suppose -a*d - 4 = -284*d. Which is greater: d or 12/35?
d
Suppose -5 = f - 2*f. Let x(h) = h**3 + 6*h**2 + 2*h - 8. Suppose -13*z = -8*z + 25. Let b be x(z). Which is smaller: f or b?
f
Let l = 22 + -18. Suppose l*d = z - 3 - 89, 5*d + 4*z = -94. Let h be (-16)/(-12) + d/(-6). Which is greater: 7 or h?
7
Let b = 116 + -115.919. Let a = 12.919 + b. Which is greater: a or 3?
a
Let z = -195 - -194.88. Let p = z - -0.32. Suppose 0 = -4*l - 3*u + 36, 4*u - 18 = -4*l + 2*l. Is p bigger than l?
False
Let c = 10077 + -10064. Which is bigger: 31 or c?
31
Let i = 64488241/7124 - 36209/4. Is i less than -1?
False
Let f = -40/293 - -90617/586. Is f < -0.3?
False
Let d(p) = p**2 + 9*p - 12. Let j be d(-10). Let a = 37/3 - 662/51. Which is bigger: j or a?
a
Let r = -8/2139 - -19315/17112. Which is greater: 75 or r?
75
Suppose 3*b = i - 0*i - 77, 5*b - 203 = -3*i. Suppose -j = 28 - i. Let v be 9/(-6)*176/(-6). Is v at most as big as j?
False
Let h = 372 + -572. Suppose 3*c - 3*r + 4*r + 593 = 0, 4*c - 4*r = -812. Which is smaller: c or h?
h
Let d = 0.284 - 1.474. Let s = 1.46 + d. Let x = 1.37 - s. Are 0.2 and x non-equal?
True
Let c(q) = 96*q + 13. Let x be c(2). Let m = x - 204. Is -1/256 greater than m?
False
Let w = 6946/70668430929 + -2539140099745919251/9364203113970861. Let t = w - -4/91737. Let j = t + 271. Is j greater than 1/4?
False
Let k = -40.76 - -30.76. Does k = -0.6?
False
Let h(y) be the third derivative of y**6/120 - 3*y**4/8 + y**3 - 15*y**2. Let g be h(3). Let t be (g/(-4))/(39/104). Which is smaller: -5 or t?
-5
Let t = -0.0217 + -0.0541. Which is bigger: t or -1?
t
Let w be (6 - 2) + (13 - 7). Suppose 3*q + 1480 = -q. Let a be ((-6)/(-15))/((-16)/q). Which is greater: a or w?
w
Let n(v) = -2*v**2 - 22*v + 7. Let y be n(-11). Suppose -y*k - 306 = 142. Let c = k + 63. Which is bigger: c or 2/7?
2/7
Let k be 178/91 - (-6)/(-3). Suppose -291*h = -290*h + 1. Which is bigger: k or h?
k
Let j be (0 - 0) + 0 + 0. Let w(m) be the second derivative of 5*m**3/3 - 109*m**2/2 + 230*m. Let q be w(11). Are q and j non-equal?
True
Let w = -42690 - -42691. Let g = -3806/3 - -3185624/2511. Is w not equal to g?
True
Suppose -4*i + 2*i + 64 = 0. Let f = 16 - i. Let t be 12/(-90) - f/75. Is t < -1?
False
Let r = -101.8 + 101.042. Which is bigger: r or 3?
3
Let g = 1864.7 - 1905.1. Which is smaller: g or -4/7?
g
Let c(q) = -2*q**2 + q - 6. Let n(k) = -k**3 - 16*k**2 - 28*k + 5. Let s be n(-14). Let x be c(s). Let o be 1/(((-3)/(-156))/(-1)). Which is smaller: x or o?
o
Let a = 24215/237 + 157/158. Which is smaller: a or 103?
103
Let j = -2093 - -2061. Which is smaller: 9 or j?
j
Let c = 5290 - 5289.968. Is c smaller than 1/80?
False
Suppose 6*q - 3*b - 12 = 4*q, -2*q = 3*b. Suppose -q*n = -10*n. Which is bigger: -4/93 or n?
n
Let s = 10370 - 1016305/98. Is -1 less than s?
True
Let r(l) = l**3 + 34*l**2 - 73*l - 56. Suppose -7*f - 132 - 120 = 0. Let h be r(f). Are -20 and h unequal?
False
Suppose 2*c = -c. Suppose -4*i + 145*b - 148*b = -18480, 0 = -4*i - b + 18480. Let q = i + -1178098/255. Is c >= q?
False
Let u = -18/61 - -24347/82716. Let f(t) = 2*t**2 + 510*t - 511. Let h be f(1). Is h at least u?
True
Let v = -85 - -43. Let s = -25741 - -25696. Is s >= v?
False
Let p(a) = -20*a - 130. Let f be p(-8). Let m = 18 + -18. Let b be 116/4 + m + 2. Which is greater: b or f?
b
Let h(y) = -3*y - 51. Let f be h(-18). Suppose f*d + 151 + 293 = 0. Is d not equal to -149?
True
Suppose 241 = 13*x + 267 - 169. Is 9 != x?
True
Suppose -1375 = 18*c - 791 + 1252. Is c at most -100?
True
Suppose 2*f - 7*f + 20 = 0. Suppose 0 = -5*l - 4*j + 75, 0 = -f*l - 0*j + j + 60. Let i be -31*(9/l)/3 + 2. Is i at least as big as -1?
False
Let s be ((-3)/2)/((-108)/1152)*(-39)/(-135). Is s smaller than 4?
False
Let r = 113.51 + -114. Let s = r + 0.39. Which is greater: s or 4/3?
4/3
Let r be (1/4)/(13/(-6)). Suppose -2*k - 7 = -3*w, 26*w - 23*w - 5 = k. Does r = w?
False
Let l(y) = 4*y**2 - 11*y + 15. Let o(v) = v**2 - 3*v + 4. Let q(w) = -2*l(w) + 9*o(w). Let x be q(4). Let z be 24/(-72) + x/9. Which is smaller: z or 0?
z
Suppose 899 = 16*s + 15*s. Suppose 4*z + 42*k - 37*k = s, 0 = 3*z + 5*k - 28. Is z at least 8/61?
True
Let t = 1530146653/1081 + -1415492. Let o = 22/47 - t. Let h = -361/483 + o. Which is bigger: -1 or h?
h
Suppose 41*o - 35*o = -606. Let z = 403/4 + o. Let g = -7 + 5. Is z less than or equal to g?
False
Suppose 2*u - 89*p = -84*p + 6220, 5*p = 30. Is 3124 < u?
True
Let h = 8722 - 13756. Do -5035 and h have different values?
True
Let o = 7.134 - 0.034. Let s = 68463 + -68463. Which is greater: o or s?
o
Let m = 10328 - 10328. Is m less than or equal to 7/755?
True
Let f be 4 - (46134/231 - (-2)/7). Which is smaller: -190 or f?
f
Let v = 59 - -123. Let s = v - 189.3. Let y = s + 9.3. Is y >= -32?
True
Suppose -2*t - 423*u = -427*u - 26, 34 = t - 5*u. Which is smaller: t or -23/31?
t
Let d = -23 + -243. Let a = -272 - d. Is 18 <= a?
False
Let w be (80/(-20))/((-10)/(-13150)). Is -5260 at least w?
True
Let z = -4978 + 4981.8. Which is bigger: z or -34?
z
Let n = 1846 - 1848. Suppose -23 = -4*g + 1. Suppose 7*q = 10*q - g. Is n bigger than q?
False
Let j = -26 - 3. Let d = -301 - -272. Is d less than or equal to j?
True
Let q be 3 + -1 + -3 + 18. Let w be (16/(-7))/(1 + 64/(-56)). Suppose i + w = q. Which is smaller: i or 1/34?
1/34
Let o be (-2)/(-4) + (-767)/26. Let k(x) = 3*x. Let c be k(-6). Let j be (c/8)/(3/40). Is o smaller than j?
False
Let u(g) = g**3 - 7*g**2 - 6*g - 21. Let y be u(8). Let x be -2 + -13 - (y - -3). Let a(s) = -2*s + 1. Let k be a(6). Which is greater: k or x?
k
Let f = -7937 + 8897373/1121. Which is smaller: f or 0?
f
Let r = -49 + 52. Suppose -3*y - 12 = -5*p - 2*y, -3*y = -r*p. Let m be ((-4)/88)/(p/(-9)). Which is bigger: 0 or m?
m
Let b be (-4)/((-4)/(