 k. Do 3 and n have different values?
True
Suppose -1 = 2*b + 3*b - 4*v, 4*b + 1 = 3*v. Let j(y) = 33*y + 3. Let w be j(-1). Let h = -26 - w. Is b less than h?
True
Let o(h) = -h + 68. Let l(n) = n - 45. Let t(z) = -8*l(z) - 5*o(z). Let d be t(5). Suppose 12*x + 7 = d*x. Which is bigger: -2/53 or x?
-2/53
Let g(o) be the second derivative of o**4/12 + o**3/2 + 13*o**2/2 - 221*o. Let a be g(6). Does a = 65?
False
Let g(j) = -j**2 + 32*j - 16. Let d be g(26). Suppose 4*i + i - d = 2*z, -25 = 5*z. Let t be i/((-78)/(-18) + -4). Does 79 = t?
False
Let q(i) = 20*i**2 + 1519*i + 13. Let x be q(-76). Is x < 84?
False
Suppose 4*v + h - 3*h = -12, -5*v + 2*h = 14. Let l be 2/v - 11/((-77)/(-14)). Let w be (-5 + (-14)/l)*-3. Which is greater: 0.01 or w?
w
Let w be (1 - 28 - (-1)/(-3))/((-728)/26208). Which is smaller: w or 975?
975
Let x(w) = -40*w**3 - 3*w**2 - w + 3. Let d be x(-2). Is 334 bigger than d?
True
Suppose 3*s = -0*s + 303. Let a = -101 + s. Let q be (-3)/(-186)*-61 + 1. Which is smaller: a or q?
a
Suppose 4*n + i + 48 = 89, 0 = 4*n - 2*i - 14. Which is bigger: n or 20.95?
20.95
Suppose -3*i + 4 = -i. Suppose -a - a = 3*t - i, 4 = -a - 4*t. Let s be (2/(-15))/(3/(-70)). Which is smaller: a or s?
s
Let n be (-2)/(2 + 8/(-6)). Let c(t) be the second derivative of t**4/12 + t**3/3 - 3*t**2/2 - 3*t - 18. Let p be c(n). Is p equal to 15/11?
False
Let t = -2345 + 2338. Which is smaller: -143/19 or t?
-143/19
Let b be (1 - (-345)/2)/((-52)/(-104)). Let r = b + -2425/7. Let x(l) = -l**3 + l**2 + 2*l + 1. Let p be x(-1). Are r and p equal?
False
Let o = 10156 - 10296. Is -59 smaller than o?
False
Let k(w) = 1. Let h(s) = 3*s**3 + 2*s**2 - 6*s - 1. Let b(p) = h(p) - 4*k(p). Let t be b(-1). Is -9/71 equal to t?
False
Let i(p) = -p**2 + 7*p - 33. Let q be i(-18). Let c be 2/8 + q/28. Let s = 13 + c. Is -17/6 less than s?
False
Let g = -2.036 + 142.036. Is g greater than or equal to -4.9?
True
Let m = -3/1858 + -2811145/5574. Is m smaller than -2?
True
Suppose -d + 2*w = -8 - 84, 0 = -5*d + 3*w + 453. Let n be -6*((-78)/d)/(-13). Is n < -39?
False
Suppose -36*p + 19*p - 117 = 100*p. Which is bigger: -43/280 or p?
-43/280
Suppose -2*r - 606 = 3*f - r, -5*f + 4*r = 1010. Let j = 227 + f. Is j equal to 26?
False
Suppose -3*h = -10*h + h - 3738. Which is greater: h or 2?
2
Suppose 2*h - 31 = -5*k, 11*k - 14*k = -5*h. Suppose k*w = -40 - 90. Let p(t) = -t. Let g be p(-1). Which is greater: g or w?
g
Let x = 39.736 + -1.676. Let n = x - 39. Let p = n + 1.14. Is p equal to -18?
False
Let z = -8069691/377 + 21405. Which is greater: z or 1?
1
Suppose 0 = -2*r + 4*k - 28286, 3*r + 50*k - 52*k + 42429 = 0. Are r and -14143 non-equal?
False
Let f(d) = 145*d**2 - 23*d - 24. Let b be f(-1). Which is bigger: b or 0?
b
Let r(f) = 520*f**2 - 31*f + 59. Let a be r(2). Is 2074 at most a?
True
Let k(b) = -b**3 - 14*b**2 + 53*b + 34. Let s be k(-17). Let p be 32 - (6 - ((5 - 4) + s)). Is 32 <= p?
False
Let f = 4.2 + 11.3. Let t = -15.6 + f. Is -40 greater than or equal to t?
False
Let i = 98.0137 + -98. Let m = i - -18.9063. Let y = m - -0.08. Which is smaller: 1/4 or y?
1/4
Let j = 34836 + -34835. Which is smaller: j or 1/2987?
1/2987
Let t be (271 - 269)*41169/6. Which is smaller: 13722 or t?
13722
Let w be (4*(-6)/(-8))/(42/(-56)). Which is smaller: -64/19 or w?
w
Let d = -6.07382 + -0.16538. Let z = 0.0392 + d. Are z and -1 non-equal?
True
Let l(z) = 15 - 2*z - 4 - 2 + 15 + 15. Let k be l(5). Is k at most as big as 30?
True
Let b be (-3)/6 - (-45)/42. Let t(g) = g**2 - 15*g + 2. Let h be t(11). Let i = -40 - h. Is b at most as big as i?
True
Let r = 66.7 - -0.3. Let o = -1.33 + 1.23. Which is smaller: o or r?
o
Let c(z) = -z**3 + 9*z**2 - 19*z + 41. Let o be c(6). Suppose -o*v + 4104 = -2896. Is 199 not equal to v?
True
Suppose -1016 = 4*h - 4*b, -4*h - 3*b - 739 - 291 = 0. Let n be ((-1)/10)/(h/240). Suppose -m = -0*m. Which is bigger: n or m?
n
Let y = 3921.3 - 3921. Which is smaller: y or 2918?
y
Let z = -7398 + 8176. Which is smaller: 793 or z?
z
Suppose 218 = -2*h - 1902. Is h equal to -1057?
False
Let n = -94.7022 + 94.7. Let k = -2.9978 + n. Is k at least as big as -46/3?
True
Let s be (2 - 3) + 2 + 8/2. Let a be 1*(s - -2)*2. Are 17 and a non-equal?
True
Let t = -4835/10044 - -41/324. Is 1/2 greater than t?
True
Let t = -107 - -106.9. Let s(j) = 445*j - 6. Let o be s(-7). Let v = -365159/117 - o. Is t equal to v?
False
Let w be (1261/208 + (-1)/(-12))*(-4)/(-40). Which is smaller: 2 or w?
w
Let w = 4522 - 4522. Is w at least 6/265?
False
Let u be (-6188)/2044 - (-2)/(2/3). Let g be 2/5 + 98/(-70). Is u < g?
False
Let f be (-6907)/21 - (-26)/(-273). Which is smaller: f or -328?
f
Let w = 1.68 + 167.32. Let o = -169 + w. Which is smaller: 67 or o?
o
Suppose 0 = -0*o - 3*o - 12, 4*g + 3*o = 0. Suppose 22*x = -7*x + 145. Let s be g - ((-5416)/(-676) - x). Which is bigger: s or 0?
0
Let a be (-6 - 70/(-20)) + 10/4. Let y be (-6)/8*12/2466. Let p = 75/1781 + y. Is a greater than or equal to p?
False
Let i = 25108 - 25108. Is i bigger than 2/56359?
False
Let u = -2875 - 1364. Let o = -34119/8 - u. Which is greater: o or -27?
o
Let z(g) = g - 44 - 7*g + 2*g. Let q(v) = 2*v**2 + 56*v + 347. Let m be q(-18). Let o be z(m). Which is smaller: 9 or o?
o
Let w = -109.112 + 109.25. Which is smaller: w or 24?
w
Let r be -1 + 1/(-1) - (-3 - -1). Let k(z) = -z**3 - 1. Let j be k(0). Let y be 1/(j*164/(-12)). Which is smaller: y or r?
r
Suppose a + 15 + 2025 = -135*a. Let v = 0.2 - 0.2. Let s = v - 0.1. Is a <= s?
True
Let f = -3813 - -3396. Which is bigger: -416 or f?
-416
Let t be (-69)/(-12) + (-10)/(-40). Suppose w + t = -2*g + 9, 15 = -4*g + 5*w. Let v be (1/(-15))/(28/21). Which is smaller: g or v?
v
Suppose -5*s = 8 - 28. Suppose s*i + f - 5 = 0, i - f + 20 = 3*f. Suppose 0 = -b + 5*o - 5, i = -5*b - o - 3*o + 4. Which is greater: b or 1?
1
Let s = 12.034 + 0.266. Let p = s - 13.3. Which is smaller: -1/4 or p?
p
Let s be 1/(2/(-42)*-3). Suppose -57 = -s*c + 76. Let x = 18 - c. Is 2 <= x?
False
Let a(z) = -z**3 + 9*z**2 + 12*z - 15. Let n be a(10). Suppose n*b - 120 = -b. Suppose b*o - 170 = 25*o. Is -34 > o?
False
Let k be -2 + (4032/245)/9. Let x = 12 + -13. Which is smaller: k or x?
x
Let r(k) = 5*k + 6. Let g(f) = 5*f + 6. Let c(t) = -2*g(t) + 3*r(t). Let x be c(-3). Let p be (48/x)/(2*(-4)/(-24)). Is p less than -16?
False
Let p = -69 + 82. Let r be (p + -5)/(58/(-1)). Is r at most as big as 0?
True
Let o be 0/(-5) - -7 - 4. Suppose -2*y = o*y - 25. Suppose 108 = -y*z - 7. Is z at most as big as -24?
False
Let s be (3/(-2))/((-1)/(-10)). Let c(d) be the second derivative of -d**4/12 + 5*d**3/6 - 15*d**2/2 - d - 10. Let o be c(5). Is o less than s?
False
Let r = 163 - 118. Let g = 42 - r. Suppose s = -s - 18. Is s smaller than g?
True
Let w(s) = -10 + 10 + 10 + 2 - s. Let h be w(15). Let n be 0 + h + (-168)/(-49). Which is bigger: 14 or n?
14
Let j be ((-33)/6 - -3)*-2. Let l(h) = -5*h + 28. Let w be l(j). Suppose 0 = w*m + 3 - 87. Is m bigger than 30?
False
Let k = 24.34 + -24.14. Is 117 less than k?
False
Let q be (4/(-10))/(12/120). Let p be (-1)/q + (-35)/(-20). Suppose 0*r - 8 = -p*r. Do 4 and r have the same value?
True
Let h be -15 - (-18)/9 - -12. Are -55/49 and h unequal?
True
Let c = 0.02238 + -7719.02238. Is c less than 0?
True
Let l(q) = q**2 - 11*q - 66. Let p be l(23). Let s = p + -194. Which is greater: s or 50/3?
50/3
Suppose 136 = -2*t + 146. Suppose -s - 82 = -t*n + 3*s, 0 = -2*n + s + 34. Which is greater: n or 20?
20
Let f = -8009 - -8010. Which is smaller: f or 206/29?
f
Let a = 248 - 55. Let o = -238 + a. Is -45 smaller than o?
False
Suppose d - 61 = 3*k - 0*d, 4*d - 4 = 0. Does -17 = k?
False
Let r = 2.8 + -234.8. Let w = -230 - r. Are 42/5 and w unequal?
True
Let b be (2/(-5))/(10 + 828/(-90)). Which is smaller: b or 0.47?
b
Suppose 0 = -15*g + 2*g - 17*g + 5*g. Is g less than -17/146?
False
Let x = 3239 + -3393. Which is smaller: -162 or x?
-162
Let s be -2 - (-1 - (-6)/(-9)). Let j(u) = -3*u + 15. Let h be j(3). Let c be (h/4)/(36/208)*3. Does s = c?
False
Let z be 8/(-12) - -2 - (-8617)/(-21). Let x = z - -409. Which is smaller: x or -2/9?
-2/9
Let x = -1560 - -1561. Is 4/251 less than x?
True
Suppose -o = 2*c + 2, -3*o = c - 2*c - 22. Sup