. Let r(h) = -11*h**2 - 94*h - 227. Let t be r(-4). Which is smaller: o or t?
t
Let p = 0.8917 - 5.8917. Which is greater: 24/35 or p?
24/35
Let h = 351 + 41. Suppose 390 = 2*t + h. Is 5.2 <= t?
False
Suppose 2*k + 0*k + 220 = -2*d, 4*k = -8. Suppose -13*x - 699 + 3183 = -36*x. Is d less than x?
False
Let b = 29.82 + -29.92. Does -2581 = b?
False
Let f = -74 - -58.9. Let c = -2.9 + f. Which is bigger: 2/5 or c?
2/5
Let i = -9800 - -9792. Are i and -206/25 nonequal?
True
Suppose -5*c - 30 = -10, 0 = 3*d - 5*c - 12737. Which is greater: d or 4237?
d
Let o = 393 + -378. Let f be 15714/(-336) - o/40. Which is greater: f or -47?
-47
Let b be (-22 + 25)/(231/7). Let s = 13 + -8. Let d be 0 - -1*(-1)/s. Are d and b equal?
False
Suppose -73*f - 66*f + 23630 = 0. Is f at most 168?
False
Let i = -7979 + 7942. Are i and 3 equal?
False
Let r be 210 + -196 - 147/15. Let q be 2/(-7) + 88/14. Suppose q*m - 25 = m. Is m at most r?
False
Let c(g) = -1 - 6 + 6*g - 2*g**3 + 8*g**2 + 3*g**3. Let x be c(-7). Let z be 24/396 - 93/(-99). Is z < x?
False
Suppose 4*x + 12*y = 8*y - 40, x + 5*y = -30. Let k = 5817 - 22785/4. Let d = k + -125. Is x at most as big as d?
True
Let y be (-38892)/(-2464) - ((-348)/(-44) - (-7 + 15)). Let k = 12 - -5. Do y and k have different values?
True
Let f(n) be the first derivative of 3*n**2 - 14*n + 146. Let p be f(12). Which is greater: 60 or p?
60
Let j = -0.83196 + 1.03196. Let f = -3.2 + 3.167. Is j < f?
False
Suppose -6*u + 47 = -73. Let i be ((-64)/u)/(-8) - 3/(-5). Which is greater: i or 34?
34
Let m = 643379251410 - 734085431790723023/1140984. Let y = 15/5512 + m. Let o = 2/23 - y. Is o not equal to 1?
True
Let a = 16580 - 17421. Is -847 bigger than a?
False
Suppose 0 = p + 3*i + 1008, 22*p - 25*p - 3048 = -3*i. Which is smaller: p or 0?
p
Let h(m) = 2*m**3 - 29*m**2 - 15*m + 4. Let a be h(15). Suppose a - 109 = 7*s. Suppose d - 32 = 3*d. Is d bigger than s?
False
Suppose 47*g - 1641 = -8*g + 12604. Is 259 < g?
False
Let t be (-9 - 0) + 16/(1088/292) + 0. Let p be (2 + -1 + -2)*4. Is t <= p?
True
Let b be ((-36)/21)/(-3 + 39/14). Let g(p) = 6*p**2 - 18 - p**3 + 4*p**2 + 12*p - p**2 - 2*p**2. Let m be g(b). Which is smaller: m or 15?
m
Let n(u) = 30*u - 128. Let r be n(4). Let p be 270/3*(4 - 13 - r). Is -89 at least as big as p?
True
Let p be 2/(-8) - (14985/(-84) - 11/11). Which is smaller: 180 or p?
p
Suppose 13*u - 4*u - 36 = 0. Let l be (u/(-12))/((-1)/3). Is 4/17 equal to l?
False
Suppose -11 + 18 = m + 2*s, -3*m - 4*s = -17. Suppose 2*b = -2*p + 6 + 6, 5*b - 70 = m*p. Are -1 and b unequal?
True
Suppose -23*k + 15572 - 1174 = 0. Suppose -k*c = -634*c + 104. Is 12 <= c?
True
Let v(j) = -j**2 + 4*j - 6. Let l be v(4). Let z be 15/l*16/75. Suppose 5*x + 3*a - 4 + 26 = 0, 5*a = 5*x - 10. Is x at least as big as z?
False
Let g = 206 + -81. Let j = g - 737/6. Let n(a) = -a**3 - 30*a**2 - a - 27. Let o be n(-30). Is o not equal to j?
True
Let i(l) = -l**3 + 6*l**2 - 6*l + 2. Let w be i(5). Let f be 3*(-2)/(-3) + (-225)/w. Which is bigger: 75 or f?
f
Let g(u) = -3*u - 28 - u**2 + 7*u + 33. Let z be g(3). Which is bigger: 7 or z?
z
Let y = -7 - -11. Suppose f - 4 = 4*w - 0, 0 = 4*w + f + y. Let g be (-238)/(-91) + 1 + (-4)/1. Is g > w?
True
Let t = -461620/7 + 65756. Let x = t - -190. Let i be ((-2)/3)/(42/63). Is x less than or equal to i?
False
Let j = -25 - -29. Let r be ((-189)/j)/((-18)/(-12)). Let c = r - -31. Is c equal to 6?
False
Let f = -367 + 374. Is 148 at most f?
False
Let o(n) = -2*n**2 - 35*n + 17. Suppose 5*a + 5 = 4*u + 61, -4*a = -u - 3. Let k be o(u). Which is smaller: -81/2 or k?
-81/2
Let h = 314 - 111. Let i = h - 145. Let k = -69 + i. Is -17 at most as big as k?
True
Let p be 10/60 + 50/(-12). Let k be (2/p - -1)/((-115)/10). Let a be 0 - (2/1 + -1). Which is greater: k or a?
k
Let l(p) = 195*p + 4100. Let f be l(-21). Is f < 4?
False
Suppose -14*z + 852 = -2*z. Suppose 0 = -15*k + 499 + z. Which is greater: k or 23?
k
Suppose -1320 = -8*d + 19*d. Let a = 100 + d. Which is bigger: a or -17?
-17
Let v = -31/177 - -27116/153813. Are 1 and v nonequal?
True
Let c be (20/(-18) + 1)/((-8)/84). Let q = 0.577 - 1.588. Let o = 0.011 + q. Is o equal to c?
False
Suppose 28 = 8*z - 4*z. Suppose s - z*s = 444. Let j be 12/66 - s/77. Is 1 > j?
False
Let z = 7022 + -63200/9. Is z less than -1247?
False
Let i be (25 + (-3 - -2))*62/(-3). Let j = i - -445. Which is smaller: -48 or j?
j
Let b be (5650/17300)/((-10)/(-46)). Let m = b + -2/865. Are 1/64 and m non-equal?
True
Suppose 60*k = 22*k + 22*k - 32. Is -156/109 < k?
False
Suppose -124 - 9 = 7*f. Let h = -17 + f. Let p be ((-12)/h)/((-1)/6). Is p bigger than -2?
False
Let j = 12245 + -12245.14. Is j > -103?
True
Let s(b) = 2*b**3 - 15*b**2 + 10*b - 27. Let j be s(7). Which is greater: j or 314/5?
314/5
Let w = -5115 + 5396. Which is smaller: 3/8 or w?
3/8
Let w(f) = 3*f**2 - 6 - 57*f + 57*f. Let c be w(-5). Let g be (-2)/50*c - -3. Which is smaller: g or 0?
0
Suppose 3*n - 76 - 140 = 0. Which is greater: 23 or n?
n
Suppose -144591 - 29901 = 37*q. Which is bigger: -4718 or q?
q
Suppose -3*h - 2*h + 315 = -p, 0 = -5*p - 2*h - 1683. Let g = p - -199. Let a = g - -541/4. Is 0 less than or equal to a?
False
Let y(n) = -9*n + 1. Suppose 13*t - 117 = 4*t. Let g be y(t). Is -116 bigger than g?
False
Suppose -76 + 64 = 4*r. Let x(h) be the second derivative of h**3/3 - 3*h**2/2 + 2*h. Let i be x(0). Is r at most as big as i?
True
Let l = -19706 + 216762/11. Which is bigger: l or -10.1?
l
Suppose 2*f + 2*g + 202 = f, -3*f - 596 = g. Let y = 86 - 87. Which is smaller: y or f?
f
Let k = -715 - -713. Which is greater: -1579 or k?
k
Let y = 254.03 + -254. Let u = 50 + -44. Suppose 4*f = 5*i - 0 - 3, 4*f = 2*i - u. Is f less than or equal to y?
True
Let y = -15/83 + 3131/332. Suppose 0*z - 33*z + 297 = 0. Which is greater: z or y?
y
Let n(q) = q**2 + 53*q - 45. Let w be n(-54). Is 88 greater than or equal to w?
True
Let g(k) = 4*k**2 + 0 - 587*k - 1 + 4 + 567*k. Let p be g(5). Suppose 0 = 5*c - 7*c + 3*m + 62, 6 = -p*m. Is c less than 27?
False
Let q(f) = 2*f + 1. Let b(u) = -u**3 + 6*u**2 - 3*u - 9. Let m be b(5). Let c be q(m). Suppose 5*x = -5*n, 0*n + c*x - 28 = 4*n. Is -4 <= n?
True
Let l = 97 - 86. Suppose z = -d - l + 40, 0 = -4*d + 5*z + 161. Which is smaller: -0.3 or d?
-0.3
Let i = -6991757/33174 - 65/3686. Let c = i + 211. Let r = 34 + -33. Is c bigger than r?
False
Let d = -4.7 + 10. Let x = d - 5.3. Let o = 1.7 - 0.9. Is x greater than o?
False
Let x be ((-32)/6 + -3)*36/(-60). Suppose -10 = -4*r - x*d, r - 5*r - 3*d + 6 = 0. Is 6/31 < r?
False
Let s(n) = -7*n - 4. Let w be s(-5). Let a = -25 + w. Suppose 0 = -a*o + 6 - 6. Which is smaller: o or -1/20?
-1/20
Suppose -2*a + 2*d = -3*d + 18, 12 = -a + 4*d. Let v be 7/a + 42/(-8). Which is greater: v or -72/11?
-72/11
Let w be ((-33)/(-6) + -4)*2/(-9)*303. Which is smaller: w or -119?
-119
Suppose 6*k = 3*k - 312. Suppose -592 = -4*y + 5*d - 111, 0 = -4*y + d + 461. Let a = k + y. Do a and 0 have the same value?
False
Let u = 24 - 16. Let w be (-12)/u + (-27015)/18. Let n = w - -1488. Does -15 = n?
False
Suppose 4*q - 49 = -161. Suppose -38*z + 371 - 1473 = 0. Which is smaller: q or z?
z
Let x be -2 - (6 + -1) - -3. Suppose 9*c - 2 = 7*c. Let w = x + c. Do -7/2 and w have the same value?
False
Suppose -3*a + 7 = -j - 0, -21 = -5*a + 4*j. Suppose -205 = 39*d + 2*d. Is d < a?
True
Suppose 0 = 3*x - o + 22, o - 28 = -x + 5*x. Let f be (x + 5 + 22/20)*3. Suppose 5*p - 3*u - 7 = 0, -4*p - u - 8 = -0*u. Is f greater than p?
True
Suppose -r = 16*r - r + 236752. Is -14798 not equal to r?
True
Suppose -7*f + 57 = -531. Let j be ((-16)/3)/((-3752)/f). Are 0.1 and j equal?
False
Let p(o) = 6 + 10 + o - 3 + 0. Let t be p(-12). Let v = -62 + 70. Are t and v non-equal?
True
Let m = -68 - -99. Suppose 3*t - 4*c = -1, -2*t - 4*c - 11 = -t. Let f be ((-4)/t)/(70/(-15)). Which is smaller: m or f?
f
Let d be 3 + (101 - (6 + -2)). Suppose o - 64 = 36. Is d at least o?
True
Let b(w) = -w + 25. Let z(i) = i**2 + 8*i - 2. Let c be z(-10). Let g be b(c). Let m be (34/2)/(8 - g). Which is smaller: 18 or m?
m
Let h be (-1 + 2)/((-4)/(-8)). Let w(a) = a**2 - 7*a**h - 5 + 5*a**2 - 11*a. Let q be w(-11). Is q <= -5?
True
Let a(d) = -d**3 - 13*d**2 -