k(g) = g**2 - 2*g - 19. Let i be k(-4). Suppose 4*c - 4*x - 8 = -40, 3*c = -i*x - 8. Is -18 bigger than c?
False
Let o(k) be the third derivative of -k**6/120 - k**5/15 - k**4/12 - 3*k**3/2 - 3*k**2 + 13. Let z be o(-4). Which is smaller: z or 7/29?
z
Let a = 13.9 + -13.655. Let b = 0.045 - a. Let l = -2 - -1. Which is smaller: l or b?
l
Let w = -110.015 + 109.25. Is w at least -3?
True
Let i = 920 + -857. Is 64 >= i?
True
Suppose -6*r + 1662 = -3*o + 6*o, r - 4*o = 268. Do 277 and r have different values?
True
Suppose 10 = -12*h - 8 + 6. Which is smaller: h or -32/209?
h
Let x = -201/1087 - 3750232/5435. Let q = 680 + x. Do -11 and q have different values?
True
Let d = 359 - 354. Suppose -3*t - 3*q = -384, -d*t - 3*q = -15 - 629. Which is smaller: 1 or t?
1
Let l be (-2)/((-6)/36*-3). Let p(j) = -24*j - 101. Let g be p(l). Which is bigger: -64/11 or g?
g
Let j = -69280/3 - -23093. Is j at least -1.4041?
True
Let t be (-5 - 73/5)/((0 + -2)/(-20)). Is t at most -193?
True
Suppose -4 = 64*z - 31 - 37. Is -11/383 at most z?
True
Let b be (2/4 - 0)*4. Let u be ((-5)/50)/(b/32). Let f = -18.2 - -18.3. Which is greater: u or f?
f
Let j be (12/(-747))/((-10)/860292). Let w = 1382 - j. Let s = w + 1237/1660. Is -10 greater than or equal to s?
False
Let q be (0 - 113)*(440/5 - -17). Is -11865 greater than or equal to q?
True
Let f = 9610 - 9610.19. Which is bigger: f or -200?
f
Suppose -2*t - n = 55, 4*n - 307 + 359 = 0. Suppose l = -0*l. Let y be 1/2 + -21 + l. Which is bigger: t or y?
y
Suppose -23*b = -16*b - 28. Suppose b*t = -16, 3*k - 2*k - 54 = t. Is k at least as big as 48?
True
Let k = 15756 + -78712/5. Let u = 34 - 21. Is u less than k?
True
Let z = 23848 - 166604/7. Is z less than 48?
True
Let b = -12.6 - 7.55. Let d = b - -0.15. Let c = -19.9 - d. Is c at least 10?
False
Let g be 5/(-6)*100/(-250). Which is greater: 248 or g?
248
Let c = -1499.9 - -1500. Which is smaller: c or -2694?
-2694
Let g = 7632 - 7613. Let v be -2*1 + (-24)/(-10). Which is greater: v or g?
g
Suppose -156*a - 157*a = 65417. Is -213 bigger than a?
False
Suppose 0 = -164*u + 85 + 79. Which is smaller: u or 37/42?
37/42
Let q be 47119282/56 + (7/(-4) - -1). Let t = q + -19344751/23. Let k = t - 339. Is 1 smaller than k?
False
Suppose 5*x + 0*k + 15 = -5*k, -x - 3*k - 5 = 0. Let n = 0.116 - 0.416. Is n at least as big as x?
True
Suppose g - 109*f + 532 = -112*f, -2*g + 7*f = 1103. Which is greater: -543 or g?
g
Suppose -282*j + 140*j - 39870 = -127*j. Which is bigger: j or -2659?
j
Suppose -2431*i = -2632*i + 5025. Let a = 1.2 - 11.2. Is a less than i?
True
Let p(a) = 2*a**2 - 9*a + 9. Let y be p(6). Let k be ((-36)/10)/(y/(-90)). Let c be (10/(-8))/(k/144). Is -15 less than c?
False
Suppose 0 = -83*h + 173*h + 24480. Is -1895/7 > h?
True
Let v(n) = -n**3 - 18*n**2 - 2*n - 21. Let c be v(-18). Let j = 20 - c. Suppose 0 = j*h + 5 - 10. Which is smaller: -2/35 or h?
-2/35
Let u = 0 + 0.3. Let l = -78 - -179. Let n = 96 - l. Is u > n?
True
Let x = 3/1637 - -6509/21281. Which is smaller: x or -0.088?
-0.088
Suppose 10*u - 37*u - 13*u + 2840 = 0. Does 81 = u?
False
Let y = 0.13 - 0.067. Let n = 0.065 - y. Let v = n + -0.002. Is v smaller than -68?
False
Let i = 13383/100 - 502/25. Let l = 116 - i. Which is smaller: l or 0?
0
Suppose -2*g = u + 8, -g + 3*g = u - 12. Let q be 45/9 - 18/u. Let y be -2 - (8/4 + q - -4). Which is smaller: y or 0.3?
y
Suppose 0 = 122*j - 128*j - 10 - 8. Is 82 less than or equal to j?
False
Let d = 4531143/1822024 - 3/95896. Let v = d + 5/19. Which is greater: v or 2?
v
Let y(w) be the second derivative of -w**5/20 - 3*w**4/2 - w**3/2 - 6*w**2 - 21*w. Let f be y(-18). Let b = f - 67. Is b equal to -24?
False
Let y = -57.21 - -58.371. Is y >= 0.1?
True
Let o(u) = -30*u**2 - 180*u + 36. Let j be o(-8). Which is bigger: -437 or j?
-437
Suppose -31*m - 82 = -26*m - s, 2*s = 4. Let f be ((-5)/(3540/m))/((-4)/30). Is f at least as big as -1?
True
Suppose -17*p + 3*f = -12*p - 479, 3*f = -9. Is p less than 565/6?
True
Let o be (0 + -2 - 4)*(-4)/(-12). Let d be (13 - 1*o) + (-14 - -16). Let u be (-60)/11 - (d - 21). Is 0.1 greater than u?
True
Let f = -192 + 196. Let s = f - 3.8. Is -3/14 greater than or equal to s?
False
Let m = -327 + 203. Let y = 62 + m. Is y < -1?
True
Let o(d) = -267*d + 276. Let g be o(1). Suppose 3*a - 5*q + 1 = -4, -5*q = -2*a. Is a not equal to g?
True
Suppose b - 5*k + 42 = -55, -113 = b + 3*k. Let s = 228 + b. Which is smaller: s or 120?
120
Let w = 3962 + -3972. Are -8/11 and w equal?
False
Let t(l) = -95*l + 3704. Let z be t(39). Which is smaller: 2/6181 or z?
z
Let i = 4912 + -4912.1596. Is -0.2 at least as big as i?
False
Let d be 5 + 2 - (-8 - (3 - (-13540)/(-752))). Which is smaller: d or -6?
-6
Suppose 866*s - 262260 = 819*s. Is 5580 less than or equal to s?
True
Let q = -1092 - -1091. Let z = -809153/727 - -1113. Which is greater: q or z?
z
Suppose 34 = h + 1060. Let p = -5103/5 - h. Let f(r) = r + 7. Let m be f(-3). Is p at most as big as m?
False
Let r = -497.94 + 498. Suppose -4*t - 12 = 0, 5*t + 1 + 6 = -4*q. Let g be (-2)/12*3/q. Is g > r?
False
Let u = 24045 + -24069. Are u and 97 unequal?
True
Let l = -5644 - -5644. Which is bigger: 3/143 or l?
3/143
Suppose 395 = 22*p - 23*p. Let x = -396 - p. Which is smaller: -2/161 or x?
x
Let v = -2/3445 - -3453/13780. Is v less than or equal to 96?
True
Let x(a) = a**3 - 35*a**2 + 11*a - 82. Let b be x(35). Let f = -312 + b. Which is greater: 1 or f?
1
Suppose -3*u + 8*u = 15. Let i(s) = 31*s - 8. Let j be i(u). Is 85 <= j?
True
Suppose 17*b = 24*b - 28. Suppose b*i + 1581 = 241. Is i equal to -336?
False
Suppose -4*x - 20 = x. Let o be -4 - 3410/(-1050) - x/14. Is 1 not equal to o?
True
Let s = -8059/7 - -1151. Which is smaller: -20.11 or s?
-20.11
Let y = 22 + -22.071. Let a = 1.071 + y. Suppose 5 - 11 = -n. Is a greater than n?
False
Let p = -23380 + 22915. Which is greater: -473 or p?
p
Let k(v) = v**2 - v + 7. Let j be k(0). Let g be -4*10/(-56)*j. Suppose 69 = g*z - 86. Is 31 <= z?
True
Suppose -5*f + 3*r + 15 = 0, -4*r - 20 = 3*f - f. Let w be ((-4 - -6) + f)*5. Let d be 33/w - (8 + -5). Are d and -1 nonequal?
True
Let t be (-3)/9 - ((-56186)/156 - 2/12). Which is greater: t or 361?
361
Let a = 53635/4303 + -162/13. Let o be 3*(-4)/24 + 0 + (-33)/(-22). Which is greater: o or a?
o
Let t be (55/4961)/(4/2164) - 6. Which is bigger: t or -1?
t
Let j = 2.0543 + -2.0143. Which is bigger: -2401 or j?
j
Let m = -5.59 - -5.47. Let y = -1.56 - -1.76. Which is smaller: y or m?
m
Let x be (-5)/(55/(-2)) - 1382/(-22). Let v = x + -57. Let r be ((-3)/(24/(-10)))/(5/v). Which is smaller: r or 2/7?
2/7
Let n(m) = -25*m**2 - 18*m + 6. Let c be n(-3). Let t be 99/c + 3262/5470. Is 1 bigger than t?
True
Suppose -t + 4*i + 17 - 4 = 0, 0 = 2*t + 5*i. Suppose 2*z = -5*s + 82, -t*z - 3*s + 188 = s. Suppose -2 = m - z. Is 34 bigger than m?
False
Let h = 15132 - 20626. Is -5494 at least h?
True
Let d be (0 + (-20)/(-6))*(-1624)/16. Let t = 339 + d. Suppose 4 = -h + 3*z, h = -h + 2*z. Is t equal to h?
False
Let l be 4 + (-7 - 18) - -7. Let a be ((-301)/l)/(15/110). Which is smaller: a or 158?
a
Let a = 185 + -317. Let b = a - -129. Is b less than or equal to 20?
True
Let x be ((-1295)/(-766325))/((-1164)/5470). Let l = x + -5/5626. Which is greater: 0 or l?
0
Let x = -64 + 68. Suppose 5*p = 2*p + 9, -x*p + 12 = 3*t. Suppose w - 5*d + 6 + 0 = t, -4*w + d + 52 = 0. Which is smaller: w or 40/3?
40/3
Let x(l) = 131*l + 552. Let i be x(-3). Is i at least as big as 172?
False
Let a be 12/(-9) + (-266)/21. Let i = -5 - a. Suppose -11*k + i = -2. Which is smaller: -4/29 or k?
-4/29
Let n be 8/(-20)*(-30)/(-12). Let j be (-22)/44 - (n + 0). Let l = 3.3 - -0.7. Which is smaller: j or l?
j
Let t(p) = -2218*p + 6509. Let k be t(3). Suppose -285 = 2*g - x, -x = g + x + 145. Which is smaller: k or g?
k
Let y(i) = 5*i**3 + 14*i**2 + 5*i - 6. Let q(m) = 9*m**3 + 27*m**2 + 9*m - 13. Let d(k) = 3*q(k) - 5*y(k). Let c be d(-4). Are c and 31 non-equal?
False
Let d be 10/12 - (6/(432/(-1164)) - -16). Is d <= -11/582?
False
Let k(g) = g**2 - 45*g + 125. Let v be k(42). Let m be (-4 + (-252)/(-64))*v/(-3). Suppose -q - 5 = -2*q - a, -11 = -3*q - 2*a. Which is bigger: q or m?
q
Let j = -88/3 + 641/15. Let t(p) =