et n = k - -2.65. Which is smaller: n or d?
n
Suppose 208 = -35*j + 943. Suppose 0 = 19*k + 2*k + j. Let i = 1030 - 73128/71. Is i at most k?
False
Let m = -26 - -27. Let r be (-4)/((-3 - -1) + m). Let y be r + -5 + (-26)/(-24). Is y at least 1/4?
False
Suppose 10*r + 653 = 41*r - 370. Is r smaller than 439/13?
True
Let r(n) = -n**2. Let a(m) = 23*m**2 + 8*m - 1. Let x(b) = a(b) + 5*r(b). Let c be x(-2). Is c equal to -3?
False
Let q be (-186)/332 + 1/2. Let h = q - -1280/581. Let w be 3/(-4)*(-5 - (-238)/102). Is w bigger than h?
False
Let a(u) = 263*u - 679. Let t be a(3). Is 107 at most t?
True
Let p be (-112079)/(-28) + 56/(-98). Are 4003 and p non-equal?
True
Let m be 2516/161 + -1*(-2)/23. Let t = 39 + -39. Are m and t non-equal?
True
Let i be (-95)/(-30) + -3 + (-205)/6. Let o = -20 - i. Suppose -z - 19 = -4*c, 3*z + 3*c - o - 4 = 0. Which is smaller: -1/11 or z?
-1/11
Let a = 7575 - 3219. Which is bigger: a or 4355?
a
Let t = 0.182 + -2.082. Let f = t + 1.89. Is -12/5 smaller than f?
True
Let n(p) = -2*p**2 - 4*p + 1. Let h be n(-2). Suppose -2*o - w = h, 2 = -2*o + 5*w - 7*w. Is o less than -2/2385?
False
Suppose 755 + 7867 + 606 = -12*p. Is p != -772?
True
Let s = 3088 - 4305. Which is bigger: -1218 or s?
s
Suppose -17*k = -21*k. Suppose k = 2*z - 13*z - 2*z. Let q be 39/(-210) + 2/5. Is z at least as big as q?
False
Suppose -4*q - 452 - 248 = 0. Suppose -12*v - 1429 = 671. Does v = q?
True
Let m be 77/(-12 - -23)*((-266)/(-212))/7. Which is smaller: m or 0?
0
Let z(n) = -n**3 - 10*n**2 - 7*n - 1. Let o be z(-6). Let p(m) = -m**2 - 61*m - 116. Let b be p(-59). Which is bigger: o or b?
b
Let l = 4968 + -4762. Is l equal to 70?
False
Suppose -3*f - 6*f + 18 = 0. Suppose -294 + 260 = -f*v. Is 13 < v?
True
Let d(k) = -k**3 + k**2 - k + 110. Let w be d(0). Let t = -3974 - -3973.9. Are t and w unequal?
True
Let p = 303/2 - 2731/18. Which is smaller: p or -85/14?
-85/14
Suppose -17 = 5*l - 3*g, g + 12 = 4*g. Let z be l/((-7)/333) + (-160)/280. Is 42 < z?
True
Let u = -17540 - -17541. Is u not equal to -1/14223?
True
Let d be ((-483)/(-92) - 6)*4/(-3). Is d > -2/1615?
True
Let l = -254110 - -254110. Let g be -3*54/(-154) + -1. Is g != l?
True
Let g = 0.18 + 0. Let d = 0.0839 - 4.3539. Let c = d - -4.47. Is c smaller than g?
False
Let i be 882/36 - 6/(-4). Let x(d) = -2*d + 48. Let q be x(i). Let a(w) = w**2 + 6*w + 3. Let b be a(-4). Which is smaller: b or q?
b
Let p = -92.1 - -91. Let a = p + -21.9. Which is bigger: a or -2?
-2
Suppose -20 = k + 3*c, 2*k + 1 - 6 = 3*c. Let v(y) = 3*y**2 + 4*y + 1. Let p be v(k). Let s = -57 + p. Which is smaller: 3/19 or s?
s
Suppose 0 = j + 3*j + 2*g + 842, 2*g - 10 = 0. Let w = j - -84. Are -127 and w nonequal?
True
Suppose -3*t = 3*o + 36, t = -3*t - 4. Let g(k) = -2*k**2 + 0*k**2 + k**2 + 85 - 59 - 3*k - 5*k. Let b be g(o). Is -7 less than or equal to b?
True
Suppose 61 = 8*s - 115. Let p be ((-220)/33)/(s/(-12)). Which is smaller: 4 or p?
p
Let v(c) = c - 17. Let a be v(4). Let y(m) = -2*m - 31. Let l be y(a). Let w be 1/(-4)*(-72)/210*l. Which is greater: 3 or w?
3
Let b = 145/22 + 7028/11. Is b smaller than 645?
False
Let v = 3749 - 2129. Which is greater: v or 2?
v
Let d = 727 - 1156. Let u = d - -4713/11. Let k(h) = -30*h - 631. Let f be k(-21). Is f smaller than u?
True
Let s = 80 + -79.67. Let d = 28.33 - s. Let b be 4/(-1) + (7 - 4). Which is smaller: d or b?
b
Let n = 2849 - 4347. Is n < -1499?
False
Let n = 1204/9 + -134. Let c be (96/44)/24 + (-2296)/88. Which is greater: n or c?
n
Let k be (-44)/33*-9*1. Let b be 6*(k/(-9) - -1). Let o be -4*((1 - 2) + (-1)/b). Which is bigger: -3 or o?
o
Let v be -2*1*1/(-2). Let n(y) = y**2 + 6*y - 170. Let s be n(-22). Let g be -3 - ((-52)/s + (-550)/182). Are g and v non-equal?
True
Suppose 8*v - 7*v + 5*l - 21 = 0, -3*v - l + 21 = 0. Suppose 2*d = 20 + v. Which is smaller: 15 or d?
d
Let i be -12 + 9 + 1 + (-9872)/(-4706). Let r = -7224099/68237 - i. Let x = r + 106. Is x at most 1?
True
Let g = 91 - 88. Let n be (-11)/11 - (-20)/(3/g). Is 19 not equal to n?
False
Suppose -11*k = 207*k + 1466704. Is k < -6728?
False
Let a be 1 + -1096 - (-59 + 44). Which is bigger: a or -2?
-2
Suppose 6*n - 9*n - 4*l = -602, 5*n - 982 = 4*l. Let w be 23724/n + (-8)/(-44). Is 116 <= w?
True
Suppose 8664 - 75247 = 24*r + 27545. Is r smaller than -3919?
True
Let m = -0.02 + 208.02. Let s = -206.47 + m. Is s > -2/5?
True
Let d = 916 - 917. Suppose 0 = -3*x + 2*y + 3*y + 26, -4*x - 4*y - 8 = 0. Let n = x + d. Is n not equal to 0?
True
Let v be (8/1330)/(17261/2947). Which is smaller: 0 or v?
0
Let r(u) = 936*u - 10314. Let n be r(11). Which is smaller: n or -549?
-549
Suppose -5*l + 3*l + 326 = 0. Let h be (l - -3)/(-5*2/8). Let r = h - -132. Is -1 <= r?
True
Let s = -108 - -188. Suppose s = z + 4*z. Suppose -1276*n + 76 = -1314*n. Which is bigger: n or z?
z
Let o be (-15)/((-405)/(-18))*(-6)/278. Let k(w) = -2*w - 29. Let j be k(-14). Which is smaller: j or o?
j
Suppose 6533*i - 75 = 6508*i. Which is bigger: i or 140/59?
i
Suppose 0 = 2*k + 2*b - 1004, -2505 = -3*k - 2*k - 4*b. Let n = -540 + k. Are n and 1/3 unequal?
True
Let h(p) = p**2 - 10*p + 3. Let d be h(0). Let l be (1815/(-22))/(d/4). Which is greater: l or -111?
l
Let k(f) = f**3 + 8*f**2 + 11. Let n be k(-8). Suppose -2*y = -15 - n. Suppose 5*i - 37 = y. Are 9 and i non-equal?
True
Let a be 0/(24/(-6) + 2). Suppose 2*z - 2*s = -0*s - 22, a = 2*s - 4. Let h be 1 - 2 - (6 - -1). Is h at least as big as z?
True
Let q(i) = 3*i**2 + 64*i - 59. Let b be q(-25). Is b at most as big as 2?
False
Let y = 2690.9 + -2691. Which is bigger: 3365 or y?
3365
Let m = 0.7 - 0.7. Suppose -d + 16 = -5*d. Let h be 3/(12/16)*(-1)/d. Which is smaller: m or h?
m
Let z = -39 + 47. Suppose 5*w - z + 6 = c, 0 = -5*c - 5*w - 10. Which is greater: c or -7/12?
-7/12
Let q be (-262414)/(-18) - (-1565)/(-2817). Is 14580 < q?
False
Let r = -15 - -26. Let u = 8632 + -8632.1. Is r at least as big as u?
True
Suppose 13*j - 6493 = -6. Suppose m - 80 = 419. Is j greater than or equal to m?
True
Suppose 0 = -5*o + 9 - 34, -f + 180 = -5*o. Let z = -153 + f. Which is greater: 25/18 or z?
z
Let m = 2748 - 2662. Which is smaller: m or -3?
-3
Let u = -2741 - -2742. Is 12/1105 not equal to u?
True
Let a = 127 - -93. Let x be 1724/a + 17 + -25. Is x < 0?
True
Suppose -520 = -21*s + 11*s. Let p = 56 - s. Let g be ((-18)/p)/(3/6) - -4. Is -0.6 >= g?
True
Let f be (12/22)/((-6)/(-4)). Let c(r) be the first derivative of r**4/4 + r**2/2 - 2*r - 17. Let q be c(1). Which is smaller: f or q?
q
Let s be (-4)/(-12)*((-8)/(-4) - -91). Suppose -a - 5 = -4*x + s, 5*x - 2*a = 45. Suppose -3*l - 3*t = -18 - 0, l - x = 2*t. Is 7 not equal to l?
False
Let c = 0.01 - 0.13. Suppose -2*j + m + 10 = 0, 4*j = -0*m - 4*m + 8. Suppose 3*y = -2*x - 10, y + j*x = 2*y - 6. Are c and y unequal?
True
Let v = 4458 + -57955/13. Which is bigger: 124 or v?
124
Let r = -3618 + 3622. Which is smaller: r or 4191?
r
Let k = -1157 + 1157.2. Which is greater: k or -150?
k
Let p(k) = k**3 - 8*k**2 - 6*k + 63. Let v be p(9). Let w be v/4*-5*8/20. Is w at least -45?
True
Let a = 2.9 + 25.1. Let x be ((-110)/165)/(2/45). Let h be 121/x + 8 + 4/10. Is h not equal to a?
True
Let v be (2/4)/((-140)/2616). Let i = 21/5 + v. Let o(c) = -668*c + 7342. Let x be o(11). Is i at least as big as x?
True
Let d = -139835/6 - -46587/2. Let k(t) = -t + 4 + 4*t**2 - t + 0*t**3 + t**3. Let u be k(-5). Do u and d have the same value?
False
Let y = -61 - -73. Let a be ((-7)/((-14)/y))/((-27)/6). Is -2 bigger than a?
False
Let b be 11 - 1 - (4*-1 - -2). Let n be ((-1)/1)/(b/(-96)). Let u be 1/(-2)*n + 48/14. Which is smaller: u or -1?
-1
Suppose 8712 = 34*m - 15598. Suppose -5*k + m = 2*n, 5*k - 9*k - 2*n = -574. Which is smaller: 138 or k?
138
Let n = -39950 + 39950.1. Let v be 300*-2*(-2)/(-6). Are v and n equal?
False
Suppose -119 - 133 = 341*d - 425*d. Which is greater: 140/37 or d?
140/37
Let s be (-52)/(-338) - (-5020)/325. Let h(c) = -3*c + 17. Let f be h(0). Is f less than s?
False
Let w(t) = 139*t + 2258. Let z be w(-20). Is -522 > z?
False
Let k be 39/(-9334)*((-7)/(-3) + -2). Are k and 0 nonequal?
True
Let s be (-4)/(-26) - (-408)/52. Let l be 112/(-114) - (s - 9). Let g(h) = h**2 - 9*h + 15. Let i be g