j - 20 = -3*t. Which is greater: s or t?
t
Let g be (-8)/(-6)*(-30)/(-4). Let s be (-3 - 33/(-2)) + (-15)/30. Let t = s - g. Are t and -3 unequal?
True
Let w be (-56)/(-120) + 4/(-30). Let l = 0.156 - 0.066. Is w equal to l?
False
Let s = -2.15 - 0.25. Let g = 2.362 + 0.038. Let i = s + g. Which is smaller: i or -0.3?
-0.3
Let q(i) = i**3 + 4*i**2 - 7*i - 5. Let t be q(-5). Suppose t*d + u + 12 = 0, -2 = 2*u + 2. Let s = 28 - 20. Which is bigger: s or d?
s
Let c(k) = -34*k - 86. Let d be c(-3). Let b = -37 - -54. Which is smaller: b or d?
d
Let g = -1.6 + 1.71. Let c = 0.11 - g. Is 5/3 at most as big as c?
False
Let i = 1649 + -1048. Which is smaller: i or 602?
i
Let d = -475 - -410. Is d > -65?
False
Let o(c) = -c**2 - 27*c + 88. Let s be o(-31). Is s greater than or equal to -32?
False
Suppose -5*l - 4*o + 394 = 0, -5*l = 5*o - 3*o - 402. Suppose s - 3*k = 93, -2*s - 3*k - 33 = -183. Which is smaller: s or l?
s
Let b(u) = u**2 - u. Let f be b(3). Suppose 2*y - 6 = f. Let t be (32/(-6))/(34/(-34)). Which is smaller: y or t?
t
Let d = 1166 + -1166.0436. Is d at most as big as -0.1?
False
Let g(h) = h**2 + 9*h - 22. Let q be g(-10). Let l be -12*(0/(-2) + 1). Let p = l - q. Which is greater: p or -2/11?
p
Let l = 1/10644 - 397379/31932. Is -11 not equal to l?
True
Let j(h) = 4*h + 36. Let l be j(0). Is l at most as big as 34?
False
Let w = 2684 + -3019. Which is greater: -0.2 or w?
-0.2
Let q = -29.35 - 8.65. Which is smaller: 0.11 or q?
q
Let q(n) = n**2 + 11*n - 12. Let r(m) = -m**2 - 12*m + 13. Let f(a) = 7*q(a) + 6*r(a). Let g be f(-6). Let u be (28/(-11))/(-1) + -2. Is u less than g?
False
Let b be 4/(14568/44136 + 1/(-3)). Which is smaller: b or -1225?
b
Let x(u) = u**3 + 3*u**2 - u - 3. Let g be x(-3). Let j = -619 + 10527/17. Which is smaller: g or j?
g
Let p be 0/((2/1)/2). Which is smaller: p or -8?
-8
Let h be (-32)/(-14) - 11*(-8)/(-308). Suppose -h*j - 14 = -4*u, 3 = -5*j + 2*j. Which is smaller: 5/2 or u?
5/2
Let d(i) be the third derivative of -i**5/60 - 5*i**4/12 - i**3/2 - i**2. Let l be d(-10). Let c be 2/(-12) - (-115)/(-30). Is c >= l?
False
Let f(k) = -8*k**3 - k**2 + k - 2. Let d be f(-2). Let p be 32/(-3) + d/(-42). Let h be p - -8 - 6/(-2). Are h and -3/7 nonequal?
True
Let o = -6.7 + -0.3. Let n = 6 + o. Suppose 45 = -5*d + 5*a, -4*a = 3*d + d + 20. Do d and n have the same value?
False
Let i(q) = -16*q**2 + 91*q - 61. Let n(p) = -3*p**2 + 18*p - 12. Let j(c) = -2*i(c) + 11*n(c). Let w be j(15). Suppose 3 + w = 4*d. Is d equal to 1?
False
Let b(x) = -x**2 + 7*x - 12. Let f be b(6). Let a = -11 - f. Suppose 4*v + 3 = -17. Is a < v?
False
Let c = 10/139 + -579/6116. Which is smaller: c or 2/7?
c
Let k = 365 - 365. Is k < -4/343?
False
Let m = 1.99 + 0.01. Are -1/8 and m equal?
False
Suppose 768 = 15*m - 7*m. Let k = 95 - m. Is k less than 0.4?
True
Let p = 61 + -62. Let j be 66/10 - (-4 + p). Are j and 12 unequal?
True
Let h be (56/190)/((-2)/(-50)*10). Which is bigger: 1 or h?
1
Let q be (-1 - (-22)/18) + (-28084)/18. Let u = q - -60836/39. Which is smaller: u or 0?
u
Let u = 69 - 47. Let c be 9/54 - u/(-12). Suppose -c*x = -5*x + 3. Which is greater: 3 or x?
3
Let n = -5 + 11. Let b be ((-63)/n)/(4/(-8)). Let r = b + -12. Is r at least 10?
False
Let v = 1826.9 + -1827. Let o = 23/30 - 1/60. Which is greater: o or v?
o
Suppose 205*u - 206*u + 2 = 0. Is u less than or equal to 11/10?
False
Suppose 2*l - 16 = 18*l. Which is greater: l or 0.012?
0.012
Let n = 1780 - 1912. Which is smaller: n or -0.5?
n
Let r be (13/26)/((-2)/(-140)). Which is bigger: r or 38?
38
Let w be 1/(-2) - (-237)/6. Let r = -5694 + 5731. Are r and w equal?
False
Let q(s) = -s**3 + 11*s**2 + 2*s - 12. Let a be q(11). Suppose 0 = 7*k - a*k + 3. Are k and 9 unequal?
True
Let c = -132052/9 - -14656. Which is smaller: -17 or c?
-17
Let k(y) = -y + 24. Let c be k(14). Let u = 0.035 - 0.235. Is u at most c?
True
Let g be 0 + ((-651)/28)/(75/(-40)). Which is bigger: 2/3 or g?
g
Let h(j) = -13*j + 8. Let s be h(8). Let l be s/(-4)*2/6. Let p = 9 - l. Which is bigger: p or 2?
2
Let n = 39 - 7. Are n and 57 equal?
False
Let i = 1410 + -1419. Is -62 smaller than i?
True
Suppose 4*y + d - 10 = 0, -3 = 4*y + 5*d - 5. Suppose 1 = -2*b + y. Which is bigger: -1/23 or b?
b
Let i = -5 + 2. Let z = 1 - i. Let h be z/14*(-28)/(-6). Is 1 less than h?
True
Let h(t) = -t**2 - 2*t + 2. Let m be h(-3). Let s be (-38)/(-10) - 3*(18 - 16). Which is smaller: m or s?
s
Let x = -81 - -99. Let y be (-3)/(-9)*x/15. Is -32 bigger than y?
False
Let x(y) = -2 + y**2 - 5 + 6*y - 4 + 15. Let g be x(-5). Which is smaller: g or -3/25?
g
Let t(k) = k**3 + 3*k**2 - k - 4. Let h be t(-3). Let r be (12 - (-4)/(-1)) + h. Let u = 7 + 1. Which is smaller: r or u?
r
Suppose -l = 4*z - 628, 1624 = 3*l + 3*z - 215. Is l >= 608?
True
Let i = 222 + -228. Is i smaller than 2?
True
Let m(n) = -n - 6. Let y be m(-9). Suppose -9 - y = -2*z. Let k be z/(-5) + 5/25. Which is smaller: k or 0?
k
Suppose 0*x + 2 = -2*x. Let d be 121/(-154) + x/(-2). Let g(a) = -a**2 + 6*a - 6. Let o be g(5). Which is greater: o or d?
d
Let l = -362 + 271. Are l and -91 non-equal?
False
Let i be (-6)/(1 - (-2)/(-4)). Let h = -11 - i. Let p be (-3)/9 + (-1)/(-39)*7. Which is smaller: h or p?
p
Suppose -9*c + 27*c + 198 = 0. Let b(a) = a**2 - 8*a. Suppose 0 = -n + 2 + 4. Let w be b(n). Which is bigger: c or w?
c
Let v(m) = 9*m - 2. Let g be v(-1). Which is smaller: g or 0.1?
g
Let x be ((-24)/(-20))/6*(-5 - -4). Is -172 equal to x?
False
Suppose 4*t + 37 = -l, 0 = 5*l - 4*t + 282 - 49. Let v be (2 - -1 - 4)*l. Which is smaller: 44 or v?
44
Let r = 6997 - 104956/15. Let d be (-102)/(-27) + 2/9. Suppose -z - 4*c = -0 - 11, -3*z = -d*c + 15. Which is bigger: z or r?
r
Suppose v - 2206 - 445 = 0. Let c be (v/1826 - 3/2)/2. Which is smaller: 0 or c?
c
Let w = 63 + -93. Let s be ((-9)/w*5)/((-2)/12). Is s bigger than -9?
False
Suppose -b + 17 = 19, 3*j + 4*b + 8 = 0. Is -3/8 not equal to j?
True
Suppose 4*h - 5*c = 21, 6*c = -h + 4*c - 11. Which is greater: h or -15/88?
-15/88
Let u = 13/193 - 1811/32617. Which is smaller: u or 0.2?
u
Let t = -135 + 151. Which is smaller: t or 20?
t
Let t(n) = -21*n - 1. Let m = 8 - 10. Let s be t(m). Let x = 165/4 - s. Is x smaller than 0?
False
Let r be -27*(-4)/(-12)*3. Let z = -24 - r. Let v be 8/(-10) - 0/z. Which is greater: -2 or v?
v
Let y be (0 + 0)/(-2 + 1). Let k = -8/601 + 2251/33656. Is k at least as big as y?
True
Let y(v) = -8*v - 1. Let d(i) = i. Let a(n) = -2*d(n) - y(n). Let h be a(2). Let q = h - 5. Do q and 9 have different values?
True
Let y be (6/5)/3 + -1. Let a be ((-58)/3)/(18/(-27)). Let c = a - 29. Is c <= y?
False
Let o(l) = -l**3 - 7*l**2 + 10*l + 7. Let n be o(-7). Suppose -4*p - 115 - 151 = 2*b, 0 = -4*b - 12. Is n bigger than p?
True
Let t = 699 - 658. Let p(g) = g**2 + 7*g - 3. Let a be p(-11). Are t and a equal?
True
Let k be (-27)/18*(-132)/18. Is -6/11 < k?
True
Let r = -0.72 - 117.28. Let l = -138 - r. Which is greater: l or 1/3?
1/3
Let h be (-2)/(-9) + (9 - 1042/(-9)). Which is greater: h or -2?
h
Let i be 7140/40359 + (-9)/(-297)*-6. Which is smaller: i or 1?
i
Let v = -280 + 312. Let w = 9 - 5. Suppose 17 = -3*p - 2*i, -w*p - 2*i - 3*i = v. Is p at most as big as -1?
True
Suppose 43*i + 321 = 63. Does -90/13 = i?
False
Suppose -5*m + 119 = -2*m - p, 4*p = 3*m - 116. Suppose 4*t = -t + m. Do 23/3 and t have different values?
True
Let i(f) = f**2 + 7*f - 9. Let y be i(-8). Let l = y - 3. Let x be 5/4 - (-10)/(-8). Which is bigger: x or l?
x
Suppose 0 = -4*t - 0*t. Let x be (102/(-7))/((-6)/153). Let v = x + -371. Which is bigger: t or v?
v
Let j(x) = -x**3 + 4*x**2 + 5. Let h be j(4). Suppose h = -3*k - 2*k. Which is bigger: k or -2/113?
-2/113
Suppose -f = -4, 4*y - 5*f + 5 + 11 = 0. Which is greater: 97 or y?
97
Suppose 4*a = 13 + 99. Let x be (-160)/a - 2/7. Which is greater: x or -8?
x
Let i(y) = y - 15. Let q be i(11). Let o = q - -3. Let s(u) = 4*u - 1. Let c be s(o). Which is greater: c or -4?
-4
Let p = -0.218 + 1.218. Is p equal to 3/2?
False
Let d(u) = -u**3 - 3*u**2 + 13*u - 7. Let j = 8 + -14. Let m be d(j). Let k = 0.2 + -0.3. Which is smaller: k or m?
k
Let o(l) = -l**2 - 4*l + 6. Let f be o(-5). Suppose x - 71 = -2*k + 2*x, 0 = 3*k + 5*x - 100.