- 3 - 3) + (6 - r). Which is smaller: m or -3/11?
m
Let c(k) = -k - 3. Let g be c(-7). Suppose 4*h - 6*f - 40 = -3*f, -g*h = 2*f - 60. Suppose -5*v + 11 = -2*w - 6, -w + 4*v = h. Which is smaller: 1/3 or w?
w
Let r = 226 + -227. Is 7/24 greater than r?
True
Let o(r) = 2*r**3 + 4*r**2 + 3*r. Let n be o(-2). Let d(s) = 7*s - 9*s**2 + 3 + 2*s - 8 + 5*s + s**3. Let u be d(7). Which is bigger: n or u?
u
Let b be (-56)/(-180)*(5 - 10). Suppose 2*w - 6 = 4*i, 0 = -0*w + 4*w + 5*i + 1. Let p be (2 + -1)/(w/(-1)). Which is bigger: b or p?
p
Let r be -3*429/(-27) - 4/6. Suppose r*z - 46*z + 1 = 0. Which is smaller: 5 or z?
z
Let l be 1 + -1 + 2*1. Let f(c) = -c**3 - c**2 - c + 1. Let o be f(0). Let y be (2 - o)/((-2)/(0 - 2)). Which is greater: l or y?
l
Let t(m) = 5*m - 135. Let v be t(27). Is v greater than or equal to 3/50?
False
Let a = -155339/13 + 11957. Which is smaller: a or 8?
a
Suppose -337 = a - 464. Suppose 168 = -5*z - a. Which is smaller: -58 or z?
z
Let c = -114.23 - -115. Let p = 0.23 + c. Are 5 and p unequal?
True
Suppose 11 = -3*l + 7*l + 3*w, l - w = 1. Suppose 0*r - r - 1 = 2*i, -3*r = -l*i + 3. Which is smaller: -1/7 or r?
r
Suppose 2*w - 7*w = 2*y + 89, -2*w + 150 = -5*y. Suppose -14*q - 203 = 231. Is q > y?
True
Let q(r) = -2*r. Let b be q(-1). Let k be 4/((-1 + b)*2). Let c = -2 - k. Are -4 and c non-equal?
False
Let b be (-24 - (-2702)/112)/(2/16). Which is smaller: -23/58 or b?
-23/58
Let i = -236 + 236. Is i at most 16/13?
True
Let a = 0.1 - 0.6. Let s = -110 + 110.53. Let h = a + s. Which is smaller: 0.1 or h?
h
Let g(n) = -n**3 + 37*n**2 - 38*n + 70. Let a be g(36). Which is smaller: a or -33/17?
a
Let s be (12 - 8) + -2 + 2. Is s smaller than 14?
True
Let u = 0.5 + -0.28. Let c = u - 11.22. Let y = c - -14. Is 1/2 greater than or equal to y?
False
Let m(d) = 2*d**3 + 3*d**2 - 15*d - 54. Let i be m(-4). Is i <= -77?
False
Let t = -26.1 - -25.622. Let o = 1.892 - t. Let p = -0.37 + o. Is -1/4 > p?
False
Let p = 5.2 - 4. Let c = -3 - -4. Let q = p - c. Is -7 >= q?
False
Suppose 54*f - 6354 = 5256. Are f and 215 unequal?
False
Suppose 637*q - 160 = 633*q. Which is smaller: q or 42?
q
Let u be 12*4*(52/13)/12. Is u at most as big as 160/11?
False
Let r be 9/(-12) + 41/4*-1. Let q = -8 - r. Which is smaller: 1 or q?
1
Suppose a = 4*w + 303, w + 2*a + 75 + 12 = 0. Is -76 at least w?
True
Suppose 5*x + 2*c = 18, c - 20 = -4*x - 2*c. Suppose 2 - 4 = x*k. Is 0 >= k?
True
Let q(p) = p**2 + 9*p + 2. Let m be q(-10). Let w be (-18)/m*(-2)/3. Let t be (1 + -1 + -1)*(-268)/(-2680). Do w and t have the same value?
False
Let n(b) = -10*b**2 - 3*b + 9. Let s be n(-5). Let k = s - -909/4. Are k and 1 non-equal?
True
Let o be ((-4)/8)/((-5)/280). Let u be (-76)/(-2)*(-14)/o. Which is smaller: u or -1?
u
Let k be (3/31)/(1/6). Let a = 23/8712 + 1860803/1350360. Let v = k - a. Is v > -1?
True
Let m(z) be the second derivative of z**3/6 + 2*z**2 + z. Let g be 0 - (0 - (-5 - 1)). Let b be m(g). Which is smaller: b or -6/5?
b
Let p be (-1 - 0)*(-6 - 3). Suppose -4*t - p + 5 = 0. Which is bigger: t or -9/10?
-9/10
Let w be -26 + -9 - (0 - 10). Which is smaller: -29 or w?
-29
Suppose 177 = a - 12. Is a smaller than 188?
False
Let t = 38304413/207 - 185045. Let q = t - 16/23. Is q at most as big as 1?
True
Let n be (8/30)/((-2)/(-5)). Let s = -23.46 - -24. Let g = s - 0.44. Is n at least g?
True
Suppose -l - 2*y = 10 - 0, -2*l - 20 = -y. Let b be (-25)/10*l - 2. Is 23 > b?
False
Suppose 0 = 2*x - 3*a + 6, -2*x + 4*a = -3 + 7. Let b = 24 - 38. Let o = x - b. Which is bigger: o or 1/4?
o
Let z = 28 + -39. Let i be 10/15 + z/21. Suppose -5*v - 2*x = -5*x - 7, 4*x = v - 15. Is i at least v?
True
Suppose 6*g - 27 = 3*g. Suppose 0 = 5*d + 3*z - 4, -2*d = -4*z + g + 5. Is d < -3/11?
True
Let a(r) = -2*r + 6. Let g be a(-7). Let s be 15/342*8/g. Is 1 < s?
False
Suppose -5*b = -20 - 70. Let y(n) be the second derivative of 9*n**5/10 + n**4/12 - n**3/3 - 12*n. Let t be y(1). Is b at most t?
False
Let g be 44/(-132) - 2147/12 - -3. Which is greater: g or -175?
-175
Let d = -3.2 + 2.2. Let v = 5 - 10. Is d <= v?
False
Let v = 59.8 - 59.8. Which is bigger: v or 20.2?
20.2
Let z be 0/(-4) + 2628/(-369) + 7. Do 3 and z have the same value?
False
Let a be (3/(-12))/(4*(-6)/(-7456)). Which is greater: a or -77?
-77
Let r = -17 - -17. Let m = 41.966 + 0.034. Which is greater: r or m?
m
Suppose 4*q - 3 = -11. Suppose 2*r - 7 + 1 = 0. Suppose -r*n = -0 + 9. Which is smaller: n or q?
n
Let c = 85 + -149. Let t = -66 - c. Which is smaller: t or 6?
t
Let d(x) = 7*x**2 + 43*x + 212. Let z be d(-9). Is 391 bigger than z?
False
Let i be (-3 - 0) + 19/((-171)/(-135)). Which is bigger: 0.1 or i?
i
Let q = -505 + 508. Is 8 bigger than q?
True
Suppose -29*t - 466 - 15310 = 0. Is t less than or equal to -545?
False
Let q = 43 - -42. Which is smaller: -5 or q?
-5
Let t = -33 + 72. Let z = t + -17. Suppose 0 = z*a - 21*a - 1. Is a >= 2/13?
True
Let y = 1198 + -532. Let b = 5986/9 - y. Let c(f) = f - 1. Let g be c(-1). Are b and g unequal?
True
Let h = 22 + 17. Let w = h + -38.9. Is w > -74?
True
Let i(x) = 3*x - 107. Let t be i(37). Suppose 3*c - 3*k = -9, -5*c - 3 = -0*c - k. Does t = c?
False
Suppose -4*l - 4*j = -412, -3*j - 226 = -2*l - 45. Which is greater: 97 or l?
l
Suppose t = 3*t + 50. Suppose -15 = -8*r + 3*r, -5*w + 5*r - 35 = 0. Let p be (18/(-135))/(w/t). Is p equal to 0?
False
Let g = -38 - -6. Let n = g - -52. Let x = n - 19.91. Which is bigger: x or -1/2?
x
Let q = 241.27 - 240. Let h = -1.37 + q. Which is smaller: 0.26 or h?
h
Let y = 428701/934 - 459. Let f = y - -223261/6538. Let a = -2419/77 + f. Which is greater: a or 4?
4
Let k = 386/3 - 1148/9. Let o(f) = -2*f**3 - f**2 - 2*f - 1. Let a be o(-1). Is a less than or equal to k?
False
Suppose -c - 26 = -2*c. Let s = 26 - c. Which is bigger: 5/26 or s?
5/26
Suppose 4*s - 30*s = 46*s. Let w be (-2)/4*36/(-39). Which is smaller: w or s?
s
Suppose 4*w - 10 = 2. Suppose 0 = 4*m + w*p - 1 - 3, -2*p + 1 = m. Which is greater: m or 1/25?
m
Suppose 556 - 5372 = -8*f. Let r = 2997/5 - f. Which is smaller: -4 or r?
-4
Suppose -101 = -37*s - 64. Which is bigger: s or 7/195?
s
Let f(u) = u**2 - 7*u - 37. Let a be f(11). Is a bigger than 11?
False
Suppose 0 = -4*j + 4*i, -i - 3 = -0. Let k(p) = -p**3 + 2*p**2 - 2*p + 4. Let g be k(2). Which is greater: g or j?
g
Let i = 7 + -5. Suppose i = c + 1. Let z = 3/169 + 233/5915. Which is smaller: z or c?
z
Suppose -2*v - 3*d = -16, -v - d = 2*d - 8. Let a(j) = -3 + 6*j**2 - j**2 - 8*j - 4*j**2. Let o be a(v). Is o <= -3?
True
Let k be 10745/(-21518) - (78/12)/(-13). Which is smaller: 1 or k?
k
Let h = -1.5 + 2.6. Let i = -11.3 + 15. Let x = -4.7 + i. Does x = h?
False
Suppose 0 = 4*u - 11 + 227. Let b = u - -66. Suppose -2*v + 21 = -3. Is b equal to v?
True
Suppose 6*i - 10*i + 8 = 0. Suppose -2*o - 4 + i = 0. Is o greater than 21?
False
Let x(z) = -4 - 8*z + 5*z - 8*z + 3*z**2 + z**3. Let t be x(-5). Is 1/57 equal to t?
False
Let f = -243 + 256. Which is bigger: 38/3 or f?
f
Suppose -4*g + 3 = -25. Suppose 2*w - g*w + 40 = 0. Which is greater: w or 6?
w
Let c(u) = 5*u - 13. Let t be c(4). Let f(h) = -2*h**2 - h**2 - 7*h + 2*h**2. Let z be f(-6). Which is smaller: t or z?
z
Let u = 13 + -12.93. Let q = 13 - 13. Suppose 3*j + 14 = 5, -3*r + j = q. Are r and u equal?
False
Let j = 344 + -113. Let n be (j/(-12))/((-9)/(-24)). Let m = -749/15 - n. Is 1/4 equal to m?
False
Let i = 162029/45 + -3601. Is 1 less than or equal to i?
False
Suppose 5*w = 2*w + 4*f + 8, 5*w - 3*f - 28 = 0. Let d(g) = g**2 + 2*g - 1. Let r be d(-5). Let s be (r - -2)/(-3 + 5). Is w at most as big as s?
True
Suppose f = 3*m + 5, -f + 0 + 4 = -2*m. Let r be -1 - (m + (-139 - -2)). Let t = 1229/9 - r. Which is bigger: t or 2?
2
Let w = -1238 - -1168. Let u(f) = f**3 - 7*f**2 - 5*f + 4. Let t be u(5). Is t equal to w?
False
Let b be (-1)/14 - 3/(-6). Are b and 80 non-equal?
True
Let p be 67910/4*215442/2530. Let l = 1445717 - p. Let q = l - -25/22. Which is greater: q or 1?
1
Let f be 19/3 + (-16)/12. Suppose f + 28 = 3*z. Let j = 5 - z. Is j != -5?
True
Let o(f) = 6*f - 3*f**2 + 4*f**2 + 121 - 115. Let r be o(-5). Which is greater: r or 1/3?
r
Let f = 0.486 + -0.096. Let x = -0.39 + f. Is x less than 16?
True
Su