ve of -1/24*t**4 + 0 - 7/15*t**5 + 0*t - 9*t**2 + 1/3*t**3. Let l be m(1). Is -26 at least as big as l?
True
Let g be 3/(21/(-70)) + 6. Let w be 84 - (g + 7/1). Is w smaller than 80?
False
Let b = 50 - 50.07. Let v = b + 1.77. Let z = v - 0.7. Which is bigger: z or 1/5?
z
Let g(c) = -c**3 - 27*c**2 + 28*c - 66. Let t be g(-27). Let f = 904 + t. Which is smaller: f or 87?
f
Let o = 6553 - 268667/41. Suppose 2*r + 6 = 2*m - 8, -4*m + 3*r = -23. Suppose 2*j = m - 0. Are j and o equal?
False
Let s be (-1)/(-2) - (-5184018)/30632. Let f = s - -8/547. Let l = f - 167. Are 2 and l unequal?
True
Suppose 120*r = f + 118*r - 3, 0 = f + r + 15. Which is greater: f or -434?
f
Let z be (-6)/9*9/6. Suppose -33*i + 23*i = 280. Let k be (8/i)/((-90)/70). Is k bigger than z?
True
Let b = 102.81 + -102.81. Which is greater: b or 6325?
6325
Let b be 1 + 2 + -3 + 45. Suppose -4*z + 79 = 2*u - 101, -3*z - 2*u + 137 = 0. Which is smaller: z or b?
z
Let a be -11*(4 - 2 - 8). Let t = 33328/505 - a. Which is bigger: t or -1?
t
Let g = 15223/216672 + 6/2257. Which is bigger: 1 or g?
1
Let s(w) = 2*w**2 + 143*w + 975. Let v be s(-9). Which is bigger: -156 or v?
v
Let s(r) = -r**3 - 56*r**2 - 41*r + 476. Let x be s(-55). Is -295 bigger than x?
False
Suppose 2*f - 6483 = -6527. Is f < -17?
True
Suppose n - 106 - 44 = 0. Let z be (-5)/n + (-5)/(-25). Let p(m) = -m**3 + 4*m**2 + 6*m - 6. Let h be p(5). Which is bigger: h or z?
z
Let i be (430 + -15)*(-78)/65. Is i less than or equal to -496?
True
Let w = 0.3 - -3.7. Let u = w + -4.2. Let l = 12.81 + -19.81. Is u smaller than l?
False
Let j = -275 - -321. Suppose d - 58 = 3*a, d + a - j = -2*a. Is d at least as big as 54?
False
Let k = -1803/5 - -351. Let c = k + 101/10. Is 222 at most c?
False
Let s be ((-1)/3*0)/2. Suppose -2*g + 4*u + 72 = s, -5*g + 3*u + 76 = -3*g. Let r be (12/g)/(9/(-6)). Is r < 1?
True
Let d be -111 - 2 - (2 - (0 - -5)). Let s be 38/(-45) + -2 + (-44)/d. Which is bigger: s or -1?
-1
Let d(a) = -17216*a**3 + 56*a - 57. Let o be d(1). Are -17217 and o nonequal?
False
Let g be (-279150410)/10010 - 4/(-26). Which is greater: g or -1?
-1
Let p be ((-75)/(-125))/((-1062)/(-60)). Is p bigger than 2/3?
False
Let o be (-8)/(-4) - (-37)/(-46). Let q = o - -2071/230. Suppose m - 10 = j, -4*j - 6 = -m + j. Which is bigger: m or q?
m
Let s = -134935/99 - -1363. Let d = s - 151/2574. Which is smaller: -14 or d?
-14
Let h(c) = c**2 + 16*c - 1160. Let k be h(27). Is 79/168 != k?
True
Let m = 63 + -63.19. Let x = -506 - -1063/2. Let u = x + -25. Is u >= m?
True
Let o be (0 + (-28)/140 + (-1)/(-4))/(-5). Which is smaller: o or -1/10?
-1/10
Let w be 4/4 - (-130)/8. Suppose -196 + 84 = 7*v. Let a(g) = g**3 + 18*g**2 + 28*g - 46. Let t be a(v). Which is bigger: t or w?
t
Let n be (-3 + 4)*(-65696)/(-40). Let c = n + -1690. Which is greater: c or -48?
c
Suppose -6*d - 103*d = -16*d + 46965. Is d at most -505?
True
Suppose -59 = -23*z + 194. Suppose z = x - 2*n, -3*n - 28 = -3*x + 2*n. Do x and -12/119 have the same value?
False
Suppose 0*u + 7*u + 14 = 0. Let n = 5 - 1. Let y be u/3*6/n. Is y greater than or equal to -1/9?
False
Let r = -1009/715 - -9/65. Which is smaller: -87 or r?
-87
Let r(a) = -a**2 - 8*a + 73. Let f(d) = -d**2 - 8*d + 73. Let u(j) = 4*f(j) - 3*r(j). Let m be u(7). Is 0.1 <= m?
False
Let y be (-330)/(-2475) + (-188)/(-1065) + 0. Which is greater: 1 or y?
1
Let d = -1957 - -2420. Is d at least as big as 1?
True
Let l be -46*6/(-24)*(1 - (-3)/(-1)). Are -33 and l non-equal?
True
Let c = -10458 + 11527. Are c and 1 non-equal?
True
Let b = -5/8 - 1/24. Let w be ((-24)/18 + 0)/((-114)/(-9)). Is b >= w?
False
Let r be ((-104)/78)/((-4)/54). Suppose r*b - 16*b = 106. Is b less than or equal to 55?
True
Suppose -3*h + 2*d + 2 = 0, 5*d - 1 = -5*h + 19. Suppose 374 = -4*w + n, 5*w - 4*n = -h*w - 659. Is w bigger than -93?
False
Suppose -60*a - 274834 - 30566 = 0. Is -5090 smaller than a?
False
Let c(t) = -t**3 - 5*t**2 + 4*t - 7. Let o be c(-6). Suppose 2*h + 3*j = 2, -o*h + 5*j = -0 - 5. Let u be (-1 + 3)/(25 + 0). Is h bigger than u?
True
Let p be (-27)/42*(-2254)/(-71484). Suppose 2 = k + k. Is k <= p?
False
Let h = 1489 + -906. Let b = h - 584. Which is smaller: 0.024 or b?
b
Suppose 59*v = -95*v - 269500. Is -1749 <= v?
False
Let t(a) = -a**3 - 7*a**2 - 10*a + 1. Let c be t(-5). Let k be (-1 - -15) + 0 - (-2 + c). Let w(h) = 2*h - 28. Let v be w(k). Are 5/3 and v equal?
False
Suppose 0 = 33*z - 15*z - 167580. Let c = z - 3696072/397. Which is smaller: -1 or c?
-1
Let d = -1472/1007 + 3739477/2120742. Let c = 1/162 + d. Is c greater than or equal to -1/3?
True
Let d = -1.50448 + 0.30448. Which is bigger: d or -17.9?
d
Let a(k) = -12 - 1301*k + 2603*k - 1305*k. Let v(f) = f + 3. Let r be v(-8). Let y be a(r). Is 7/4 bigger than y?
False
Let h be (-488)/(-2562)*(2 - 19/6). Which is smaller: h or 30/19?
h
Let f(o) = 4*o + 16. Let u(a) = -8*a - 33. Let w(q) = -5*f(q) - 3*u(q). Let p be w(-5). Let t be 4/6 + p*(-12)/9. Is t at least as big as 8?
False
Suppose -3*t + t = 84. Let b = 2407 - 2372. Let w be 4/5 - t/b. Is 10 less than w?
False
Suppose -8*y = -13*y. Let k = -218 + -128. Let p be 4/8 - k/(-708). Which is greater: y or p?
p
Suppose -2*p - 14 = -3*h + 3, -2*p + 32 = 4*h. Let z = 1451/222 + -4/111. Which is smaller: h or z?
z
Let m = -33882 + 18652. Is m >= 2?
False
Let i(c) = 10*c - 9*c - 64 + 12*c + 6*c. Let l be i(4). Is 12 < l?
False
Suppose 1012 = -p + 257. Let h be p/(-255) - (-9)/(-3). Let c = h + 116/357. Is c equal to -7?
False
Let v(w) = 16*w - 47*w - 4 + w**2 + 25*w. Let j be v(7). Suppose -j*l = -4*l - 35. Is -34 at most l?
False
Let y(b) = -b**2 - 20*b - 4. Let u be y(-22). Let t be ((-156)/(-130) + (-526)/30)*3. Which is smaller: u or t?
t
Let z = -6567 - -6567.4386. Which is smaller: 2/7 or z?
2/7
Let t = 3.97 + -3.832. Let j = t + -2.138. Let b = -21 + 30. Which is smaller: b or j?
j
Let p = 16673 + -35826. Which is smaller: p or 0?
p
Let c(s) be the first derivative of -31*s**3/3 - 7*s + 66. Let o be c(-2). Is -131 at least o?
True
Let f = -10409.69 + 10460. Let a = -50 + f. Let t = a + -0.41. Which is smaller: 26 or t?
t
Let x be 1080/81*(-42)/(-8). Let q be (15*7/x)/((-2)/8). Which is greater: q or -2?
-2
Let t be ((-10)/6)/(125/(-75)). Which is bigger: -3/112 or t?
t
Suppose 416*f = 392*f + 33888. Do 1411 and f have the same value?
False
Suppose 0 = 4*x + 2*i - 4650, -i + 49 = 46. Which is bigger: x or 1160?
x
Let q be ((-33)/9 + 0)*-3. Let s(o) = o**2 + 10*o + 43. Let z(h) = 2*h**2 + h + 1. Let l(g) = -s(g) + z(g). Let u be l(13). Is q < u?
False
Suppose 0 = 5*o - 426 - 139. Suppose -o*y = -107*y + 612. Which is smaller: y or -101?
y
Let y be 32/(-6)*15/2. Suppose 126 = -3*a + 2*r, -3*r = 29 - 29. Is a at most y?
True
Let f = -6687 + 6687.09. Which is bigger: -0.0037 or f?
f
Suppose -9*p + 11 = h, 2*h = -p + 6*h - 7. Which is smaller: p or -36/293?
-36/293
Let l be 310/34 + 2/(-51)*3. Suppose r = 3*i - 74, 6*i - 2*i = l*r + 68. Is 25 smaller than i?
True
Suppose -5*o - g = 19, 3 = -11*o + 14*o - 3*g. Which is smaller: o or -2/3?
o
Let a(v) = v**3 + v**2 - 5*v + 3. Suppose 0 = 13*h + 66 - 27. Let f be a(h). Let j = 89/11 + -8. Is f <= j?
True
Let k = 412 - 256. Let q = k - 154. Which is greater: q or 0?
q
Let v be 9/(1260/260)*4683/24. Which is smaller: 362 or v?
362
Let h = 3.172 - -0.028. Let k = 61.2 - h. Let v = k - 46. Is -0.1 > v?
False
Let j(c) = 13*c**2 + 1. Let t be j(-1). Suppose 4*n - 2*n = t. Let o = n - 3. Do o and -2 have the same value?
False
Let v = -474.198 - 0.802. Let o = 477 + v. Are 56 and o nonequal?
True
Let s(l) = -l**3 - 36*l**2 + 69*l - 255. Let g be s(-38). Which is bigger: 9 or g?
g
Let z be 79 - (18/(-12) + 1). Let p be -81 + 3*4/6. Let f = p + z. Which is smaller: 15 or f?
f
Let b = 1267.4 + -1269. Which is greater: b or -20?
b
Suppose 2*z - 3*z + 5 = 0. Suppose 7*l - z*l - 10 = 0. Let w be 18/45 - (-3)/l. Is w greater than or equal to 1/5?
True
Suppose 0 = 15*m - 11*m - 20. Suppose -2*a = -c + m, -c - 3*a = -3*c + 12. Let n = -3 - c. Which is greater: n or -10?
-10
Let c(m) = -36*m - 3889. Let x be c(-94). Which is bigger: x or -5540/11?
-5540/11
Let p = -1807 - -1789. Is -1/44 equal to p?
False
Suppose -2*v + 12 = -6*v. Let w be (0 + v)*((-8)/15)/(-8