. Let d(s) = s**2 - 19*s - 48. Let k be d(21). Let x be 1/((k/45)/((-2)/3)). Is l greater than or equal to x?
False
Let l(t) = -12*t**2 + 193*t + 966. Let y be l(-5). Which is greater: y or 7?
7
Let o be (122/(-18))/(1/4*60/285). Which is greater: -130 or o?
o
Suppose 37*q = -543 + 506. Is q < 67/188?
True
Let f = 3618 - 3620. Which is bigger: f or -768?
f
Let a(s) = -s**3 + s**2 + 2*s + 78. Suppose 7*n = 309 - 309. Let p be a(n). Is 78 > p?
False
Let d = 28060 + -17851. Is d not equal to 10208?
True
Let o = 367/2178 + -2/1089. Let l(a) = -a**3 + 11*a**2 + 12*a - 10. Let m be l(12). Let r = m - -14. Which is smaller: o or r?
o
Suppose 5*t + 0*t = 5*w + 325, 5*w + 133 = 2*t. Suppose 0 = -3*f - 2*g - 7, -4*f + 2*g - 8 = 4*g. Is t != f?
True
Let r(z) = 73*z + 511. Let s be r(-7). Are 2/5783 and s equal?
False
Let r be 9/3 - (-21 - 9). Suppose 3*s = -3*l + 24, -69*l - 2*s - r = -74*l. Is l != 49/8?
True
Let q = -154 - -154. Suppose -7*f - 1131 - 73 = q. Does -173 = f?
False
Let q = -270 - -558. Let n be (q/42 - 6) + 2432/(-2821). Which is smaller: n or 1?
n
Suppose 48*j + 1920 = 43*j. Let b = -407 - j. Which is bigger: -20 or b?
-20
Let k be ((-21)/(-148))/7*240. Let z = k + -305037/481. Let l = 629 + z. Is 1 greater than l?
True
Let p(h) = 10*h - 115. Let a be p(9). Let w be (-6 - (-2 - a/15))*-3. Suppose 2*o = o + 13. Does o = w?
False
Suppose k = 0, 2*n + 0*n + k = 6. Let h = 14872/6363 - -83/909. Which is smaller: h or n?
h
Let q be 7 + -9 + 20/11. Let o(z) = -z**2 + 33*z + 34. Let w be o(26). Let u be (28/3)/((-9)/(w/(-16))). Which is bigger: u or q?
u
Let n be -13 + 20 - 0 - 667. Is n at least as big as -660?
True
Let k be ((10 + 12)/66)/(0 + -1). Do k and -364 have the same value?
False
Let i = -1801 - -1451. Which is smaller: -352 or i?
-352
Let m be (-4*2 - 0) + (-736)/(-392). Do m and -6 have different values?
True
Let o = 10246 - 10245. Which is greater: 114/119 or o?
o
Let x = -1127.2 - -1390.4. Is x at least as big as 5?
True
Let t = 0.0198 + -23.7518. Let o = t - -23.8. Are -2 and o equal?
False
Let y be -47 - -37 - 1452/(-14). Is y not equal to 93?
True
Let k = 5694 + -3475. Which is greater: -2 or k?
k
Let m be (244/(-40) - -6)*-10. Is m >= 4/5619?
True
Let x be (-10)/(-40)*2/4*8. Do -32/1229 and x have different values?
True
Let w = 0.1 + 0. Let a = -385384 + 385399. Which is smaller: a or w?
w
Let x be 1 + 79615/(-9690) + 7 + 5/30. Which is bigger: x or -1?
x
Let v = -214 - -231. Let r(s) = 3*s - 75. Let n be r(v). Is -23 greater than or equal to n?
True
Suppose -7*t = 35067 + 5897. Let c = t - -9139. Let v = c + -496339/151. Is v > 0?
False
Let r = -19764 - -257250/13. Let u(l) = 5*l**2 - 1007*l + 4357. Let c be u(197). Is c greater than or equal to r?
False
Let i = -609 - -617. Suppose -i*u = -41 + 17. Are u and 72 nonequal?
True
Suppose -2*l + 5 = t, 2*l - 2 = 2*t - 0. Let r be -9 - -10 - (l - 0). Is 2/235 equal to r?
False
Let l be ((-36360)/(-31680))/(14/12 + -1). Which is smaller: l or 7?
l
Let n be ((-36)/7)/(12/(-112)*(-10 - -8)). Is n at most -49?
False
Let d(c) be the third derivative of -c**5/60 - 7*c**4/24 - 11*c**3/6 - 308*c**2. Let b be -1 + 1 + 0 + -4. Let w be d(b). Is 4/11 bigger than w?
False
Suppose u + 3*u + 5*t = -5, 2 = -u - 2*t. Suppose u*m = m. Let g be (-2896)/(-3258)*(-9)/(-1). Which is bigger: m or g?
g
Let d(v) = 8*v**2 + 30*v + 1154. Let c be d(-42). Which is smaller: c or 14007?
c
Suppose l + 53 = -3*q, -2*q - 2 = -3*q. Let w = -96 - l. Let n = w - -37. Which is bigger: n or -2/53?
n
Suppose 17163*y - 17326*y - 541 - 12499 = 0. Let q = 18 + -100. Which is smaller: q or y?
q
Let u = 0.13955 - -19.86045. Which is smaller: 4/103 or u?
4/103
Let d = 0.95 + -3.69. Let b = d - -9.64. Which is smaller: b or 3?
3
Let s(n) = n**2 - 24*n + 72. Let m be s(21). Let h = 3063/4 - 27223/36. Which is smaller: m or h?
m
Let q(k) = 2*k**3 + 25*k**2 + 81*k + 26. Let y be q(-7). Which is greater: -49/33 or y?
-49/33
Let t(c) = 68*c - 2792. Let b be t(42). Is 66 bigger than b?
True
Let a = -6060 + 6060. Are a and -15/118 equal?
False
Let g = -2863 + 2863. Which is greater: g or 1/63?
1/63
Let a = 0.8 - 0.9. Let v = 305 + -302. Which is greater: a or v?
v
Let p = 125 - 122. Suppose -p*b = 14 - 11. Which is bigger: -1/37 or b?
-1/37
Suppose -2*v = 2*x - 2, 6*v - 9*v = x - 11. Suppose -v*f = 15, -3*o - 2*o + 25 = 5*f. Suppose -2*i - 2*i + 3*h - 42 = 0, -i - o = -2*h. Is -11 <= i?
False
Let s(y) = -y**3 + 2*y**2 + 15*y - 14. Let t(p) = -p**2 - 19*p + 48. Let i be t(-21). Let q be s(i). Let b = 76 + q. Which is smaller: -3 or b?
-3
Suppose 5*o = 3*o - 2. Let k(u) = 41*u - 79. Let h be k(3). Let z be (-11)/h*(3 + 0). Which is smaller: o or z?
o
Let c(k) = -7*k**2 - 3*k + 7. Let b(d) = -4*d**2 - 2*d + 4. Let j(n) = 5*b(n) - 3*c(n). Let w be j(1). Which is smaller: w or -2/107?
w
Let y = -295.74 - -295.64. Let l be ((-3)/5)/((-2)/(-5)). Is y at most as big as l?
False
Let l(s) = s**3 - 2*s**2 - s + 27. Suppose -2*h + 3*v - 15 = 0, -2*v + 15 - 5 = 0. Let z be l(h). Suppose 0 = 8*w + z + 69. Is w != -11?
True
Let u = -3.037 + -0.163. Let i = u - 136.8. Which is smaller: -1 or i?
i
Let q = -22349.18 - -22133. Let j = -216 - q. Which is greater: 2 or j?
2
Suppose -2*s - 21*s = -161. Let a = 3.08 + -0.08. Is a < s?
True
Let d = 0.1786 + -0.2786. Let n = 15.9 + -5.73. Let c = n - 0.17. Is c less than d?
False
Let s = 0.1984 - -2588.8016. Which is smaller: -0.2 or s?
-0.2
Let g be (-2)/3 - -1 - (-10)/15. Let r be (g/(-6))/(4/(24/(-117))). Let i(w) = w**2 + 10*w + 9. Let o be i(-9). Which is smaller: r or o?
o
Let b = -8828 + 5025. Which is greater: -3802 or b?
-3802
Let a be -5*(0 - 3) - 1. Let d(s) = -s**3 - 2*s**2 - 2*s - 9. Let r be d(-3). Suppose -r*p - 31 = -115. Do a and p have different values?
False
Suppose -2*c - 2*c - 12 = 4*r, 3*r = 3*c - 21. Let y(k) = -29*k**2 + 9*k. Let j be y(c). Which is bigger: -100 or j?
j
Let n = 208.8 - 209.1. Which is greater: 0.05 or n?
0.05
Let f = 696 + -5106. Which is smaller: -4409 or f?
f
Let b be (16 - 1260/80) + (-333)/24*-18. Is 264 greater than b?
True
Let z = 70 - 70.108. Let p = -0.322 + z. Which is bigger: p or 0.1?
0.1
Let v(q) = 2*q**3 + q**2 + 4*q - 96. Suppose -5*b = 5*b. Let u be v(b). Let f = 107 + u. Which is bigger: 12 or f?
12
Let w = 3452 - 3902. Suppose 184 = -p - 266. Is p greater than w?
False
Let x be (-6)/9 + 1*55/15. Suppose t + 3*n + 25 = 0, -x*t - 8 = n + 35. Which is smaller: t or -25?
-25
Let z be 1/3 - (-165)/45. Suppose 0 = 5*y + z*r - 5, -r + 6*r + 3 = 3*y. Is y at most 1/233?
False
Let u be ((-15)/25)/(12/(-40)). Suppose -p + 2*g = 8 + 28, u*p - g = -69. Is -3 at least p?
True
Suppose t - 14 = -3*n + 2*t, -n = 5*t - 10. Let u(h) = -1661*h + 1651*h + 14 + 41. Let d be u(n). Is 6 >= d?
True
Let w = -58386 - -58395. Let i = 4 - 3. Which is bigger: i or w?
w
Let d = 1465 + -1675. Which is greater: -216 or d?
d
Let k = -89.94299 + -0.05701. Which is bigger: -0.07 or k?
-0.07
Let g be 0*(-6)/90*1/(-2). Which is bigger: 2/161 or g?
2/161
Let i = 5746 + -5745. Let l = 1721095/494 - 3484. Which is smaller: l or i?
l
Let s(o) = -18*o + 237. Let h be s(13). Let n be (8/h*-2)/((-1254)/(-342)). Which is greater: n or 0?
0
Suppose -3*m - 20 = -4*q - 6, 5*m + 3*q + 62 = 0. Let l be m*(-5)/10 - 91/18. Let d = 12 + -12. Which is greater: l or d?
d
Suppose -4*x = -2*a + 268, 0 = -4*x + 2*x + 5*a - 142. Let f = 85 + x. Which is greater: 20 or f?
20
Let a(g) = -195*g + 12283. Let l be a(63). Let c = -71866/159 - -452. Is c less than l?
False
Let m(y) = -y**3 + 22*y**2 - 22*y + 31. Let w be m(20). Suppose -8*o - w = 49. Let h be 963/33 + 10/o. Does 29 = h?
True
Let p(f) = -f**3 + 8*f**2 + 71*f + 5. Let s be p(-11). Which is smaller: 1525 or s?
s
Let k be 32/(-3)*5904/(-32)*1. Is k != 1967?
True
Let r = -5.08 - -0.08. Let x = -1.5 - -168.5. Let o = x + -169. Does r = o?
False
Let u be -1 + 0/1*1 - -4. Suppose -2*f = -s + 3*s + 6, u*f = -4*s - 14. Which is smaller: f or 3?
f
Let k be (-11)/((-110)/(-15))*(-4 - -10). Let g be 8*(k/(-18) - (1 - -1)). Does -38/3 = g?
False
Let o = -31365 + 28667. Is o != -2?
True
Let k(c) = -c - 3 + 35*c**2 - 2*c - 34*c**2. Let g be k(5). Suppose -g*b = -b - 12. Which is bigger: b or 0.1?
b
Suppose -4*q - 55 = 4*g - 39, -3*q = -g - 8. Is 87/332 at m