i(v) be the third derivative of v**6/120 + v**5/6 - 13*v**4/12 - 4*v**3 + 2*v**2. Let j be i(-12). Is 234 <= j?
False
Suppose 0 = 3*q + 2*q - 2*c + 197, 4*c = 5*q + 189. Let f = q - 10. Let x be (-6)/f + 70/(-306). Which is greater: 4 or x?
4
Let q = 2022 - 2072. Let s = -0.4 + -3.6. Is s smaller than q?
False
Let f be 4/(-6)*(-6)/(-2). Let p = -6079/110 - -598/11. Are p and f equal?
False
Let n be 1706/612 - 1 - 38/4446*-26. Which is smaller: n or 1?
1
Let o = 13891/3 + -4679. Which is smaller: o or -49?
-49
Let x be -3 + -6 + 5 + 9. Suppose -3*o + x = 20. Does -63 = o?
False
Let r be ((2/2)/(-2))/(-1). Let c = -1078 + 1077.217. Let m = -5.117 + c. Which is smaller: m or r?
m
Suppose 5*v + 2*z - 12069 = 0, 4*v - z + 4829 = 6*v. Which is greater: v or 16887/7?
16887/7
Let u(f) = 10*f + 1. Let p be u(2). Let c(d) = 3*d**2 - 18*d + 6. Let n be c(11). Let o be n/(-35) - p/(-35). Which is greater: -4 or o?
-4
Suppose -s = 3*s + 24. Let a be (-2)/78*s/(-3). Let r = 891/2 - 445. Which is greater: a or r?
r
Suppose -4*m - i + 127 = 0, m + 3*i - 1 - 17 = 0. Let q be (-9)/((-45)/(-20)) + m. Suppose -33*d + 8 = -q*d. Which is bigger: d or 5/6?
d
Let o = 151 + -283. Let i be 3/o*-4*-8. Let m = 0.5 + -1.5. Which is greater: m or i?
i
Suppose 0 = -5*u + 5*b + 10, 4*u - 2 = 5*b + 4. Suppose z + 3330 = u*z. Let x = 14420/13 - z. Is x at least as big as 0?
False
Let y(f) = 76*f + 6. Let j be y(-1). Let l be j/(-245) + 48/(-70). Is -4/39 at least as big as l?
True
Let m be (-1)/4*(-35)/((-70)/(-48)). Let p be (189/84)/(0 + m/(-16)). Is 46 > p?
True
Let v = 989 + -216. Let d = 5381/7 - v. Which is smaller: d or -3?
d
Suppose 0 = 153*u - 145*u + 2384. Let s be (-6)/(-8) + (-4 - u/8). Which is greater: s or 174/5?
174/5
Let u(y) = 2*y - 12. Let l be u(4). Let a be l/1 + (-912)/28*-1. Is a equal to 30?
False
Let q(i) = -2*i**2 - 17*i - 6. Let a be q(-8). Suppose -5*t + 1 = -d - 17, 26 = -a*d + 5*t. Let b(l) = 3*l + 26. Let x be b(d). Is x at least as big as 2?
True
Let w be ((-9 + -22)/(-31))/((-2)/6586). Which is greater: w or -3292?
-3292
Let p be (94/8 + -3)*(-2064)/392. Is p at most -47?
False
Let m = 14613 + -72262/5. Let q = m + -165. Which is smaller: q or 0.2?
q
Suppose -34 = -11*n + 21. Suppose -n*i + 8 = -12. Suppose -3*v + c + 6 = 0, -c - 12 = -i*v - 5. Does v = 4/11?
False
Let w = -0.02833 - 50.97167. Is -6/5 greater than w?
True
Let s = 83.55 - -15.45. Which is bigger: -17 or s?
s
Suppose 2*u = 5*p + 4*u - 22, -4*u - 12 = -4*p. Suppose t = -p, -o + t - 41 = 6*t. Is -85/4 > o?
False
Let j = -131 + 127. Let k be ((-177)/(-89) - 2)/(j/(-8)). Let x(b) = b**2 - 7*b. Let r be x(7). Which is bigger: r or k?
r
Let y(d) = -3*d**2 - 3 - 2*d - d**3 - 2 + 4 + 4. Let x be y(-4). Let a be ((-4)/x + (-2)/(-9))*-5. Is a <= -1?
False
Let l be 1*(-3)/(1 + -2). Suppose -3*u = -g + 2*u + 144, -2*g = u - 266. Let s = 136 - g. Is s at least l?
False
Let i = 4569 - 4689.4. Which is smaller: -2 or i?
i
Let w = -7.9 - -7. Let v = -15.9 - w. Let m = -26463.9 - -26464. Which is smaller: v or m?
v
Suppose -6*j = -5*m - 263, -159*j = -2*m - 156*j - 101. Which is greater: m or -298/5?
-298/5
Let n = 87 - 88. Let t = n + 1.3. Which is smaller: t or -96?
-96
Let m = -2.1507 + 1.1507. Is -1155/37 smaller than m?
True
Let u(f) = 4*f + 4. Let p(s) = 3*s + 5. Let o be p(-3). Let g be o/12 - (8/3 + -2). Let a be u(g). Is a < -7/11?
False
Let m(i) = -i**2 + 2*i + 81. Let p be m(-8). Let c be ((-155)/434)/(p/(-26)). Which is smaller: 10 or c?
c
Let b be (2/(-18) - 63528/(-216)) + (15 - 23). Which is greater: 263 or b?
b
Let h be (-58)/(-14) - 9/63. Suppose 0 = -z - h*c + 31, -4*z + 66 = 5*c - 25. Suppose 4*r - z - 45 = 0. Is 16 less than or equal to r?
True
Let v = -0.03 - 8.97. Let p = 73.29 + -0.29. Let h = p - 72.9. Do h and v have different values?
True
Suppose -3*y + 4*m - 18 = 0, -3*y = 3*m + 1 - 4. Let l = -98 + 100. Suppose l = 62*j - 60*j. Is y smaller than j?
True
Let h be 497 - 0*5/(-10)*-2. Which is greater: 2989/6 or h?
2989/6
Let h be 15*1*(38/(-6) - -6) + 6. Which is bigger: -2/6229 or h?
h
Let f = -50416 + 2067184/41. Let y = f + -25390/8159. Which is bigger: -1 or y?
y
Let l(r) = -279*r + 1639. Let i be l(23). Are -4776 and i nonequal?
True
Let q = 27445 - 25482. Which is smaller: q or 17656/9?
17656/9
Suppose -9664 + 12704 = -40*a. Is a at most -10?
True
Let o be (-2)/6*-1*3. Let k be 415/65 + (o - 7 - -3). Are k and 2 equal?
False
Let l be (-1825)/5500 - (12/22)/(-3). Which is bigger: -3 or l?
l
Suppose 0 = -3*a + 6 - 0, -5*a + 1145 = -5*s. Let z(u) = u**2 + 192*u + 8029. Let w be z(-127). Is s less than or equal to w?
True
Let l = 101763/5 - 20349. Which is smaller: l or 0.7?
0.7
Let y = 515 + -511.69. Let l = -3.3 + y. Let f = 0.09 + l. Which is bigger: -1/12 or f?
f
Let x(o) = -7*o**2 - 3*o - 23. Let y(w) = -3*w**2 - w - 8. Let k(h) = -4*x(h) + 11*y(h). Let p be k(-1). Is p bigger than -254?
True
Let h = 1557/1899025 + -15/2053. Is 1 smaller than h?
False
Let q be 2/74*28/21. Suppose -20 = 109*y - 89*y. Do y and q have different values?
True
Let x = -174741793/189 - -924528. Let f = x + 215/7. Which is greater: 0 or f?
0
Suppose 2*x = 557 + 59. Let m = 3.3564 + -3.2564. Does x = m?
False
Let l = -28312/3 - -9620. Are 182 and l non-equal?
True
Let c(x) = x**3 + 6*x**2 - 9*x - 6. Let l be c(-4). Let b(v) = v**2 - 3*v + 9. Suppose 2*h = -17 + 5. Let f be b(h). Is l at most f?
True
Suppose -16*q = -11*q + 2*u + 237, 2*q = 4*u - 90. Let m be 68/(-7) - 2/7. Let f = m + -38. Do q and f have the same value?
False
Let f = -733.3 - -731.9. Let i = -0.25 + 0.16. Let x = 0.09 + i. Are f and x equal?
False
Suppose -3*x + 16 - 4 = 4*g, 0 = -2*x + g + 19. Let i(c) = 2 + 20 - 388*c + 383*c. Let h be i(3). Is h bigger than x?
False
Let m = 176 + -174. Let l be (3 - m) + (2 - 16) - -4. Is l less than -14?
False
Let h be ((-1)/4)/(22/88) + (-14)/(-18). Which is smaller: 1256 or h?
h
Let r = 12201 - 10849. Which is smaller: 1353 or r?
r
Suppose -11*l = -3*w - 16*l + 27, -6*w + 27 = l. Let o be ((-4)/18)/((-4)/(-7680)). Let s = 431 + o. Which is smaller: w or s?
w
Let r(k) = 194*k + 192. Let z be r(-3). Which is bigger: -385 or z?
-385
Let p = -53/27 + 8/27. Let l = 110.7 + -166. Let m = l + 55. Which is greater: p or m?
m
Let n = -67 - -55. Let v be (6/9)/(n/(-126)). Suppose 12 + 79 = v*g. Does 1 = g?
False
Let u be 1*(11 + -3 + -2 - 5). Which is greater: u or 257/17?
257/17
Let x be (-42 - -40) + 0 + (-8)/2. Let a be -10*(x/(-2))/(-3). Suppose a = -2*z + 10. Which is bigger: z or -5/17?
z
Let v = 1262 + -2655/2. Let o = 55 + v. Which is smaller: o or -10?
o
Suppose 35*x - 28*x + 28 = 0. Let g be (-4)/7152*x*-9. Is -1 smaller than g?
True
Suppose 2*u - 4 = -2, -2*a - 3*u + 63 = 0. Suppose -3*p + a = 2*p. Suppose 15*x + 117 = p*x. Is x at most as big as -12?
True
Let w be (1/7)/(1/2). Let x = 53758 + -53758.41. Which is greater: w or x?
w
Let q be 113 - (-29)/(261/189). Which is bigger: 1467/11 or q?
q
Let c(z) = z**3 - 11*z**2 - z + 11. Let h be c(11). Let i be (-3 - h)*(-13)/39. Let g be (-6)/8*(-70)/(-336). Do i and g have different values?
True
Let b = 62 + -59. Suppose -37*c + 34*c = -b. Which is greater: c or 2/157?
c
Let q = 12 + -10. Suppose q*b - 101 = -15. Let g = 36 - b. Is -9 less than or equal to g?
True
Let z = -207.0796 - -207. Let h = -59.0796 - z. Is 2 >= h?
True
Let z = 6/10661 + -7346/2228149. Which is bigger: z or -1?
z
Let j = -1 - -0.4. Let i = j - -0.7. Suppose -11*f + 132 = f. Which is greater: f or i?
f
Let f(h) = h**3 + 5*h**2 - 2*h - 10. Let m be f(-5). Suppose 3*s + i - 73 = 0, m = -4*s + 3*i - 4*i + 99. Let v = -59 + 85. Is v at most as big as s?
True
Let k(i) be the first derivative of -i**4/2 - 8*i**3/3 - i**2 - 9*i + 117. Let q be k(-4). Which is bigger: q or -11.7?
q
Let a = 2726 + -2679.46. Let p = -47 + a. Let f = p - -0.66. Which is smaller: -13/4 or f?
-13/4
Let q = -1848 + 1862. Suppose -4*b + 19 = -37. Suppose -2*s + b = -s. Is s smaller than q?
False
Let h(k) = -k**3 - 2*k**2 - 27*k + 8. Let x be h(0). Is 15 greater than or equal to x?
True
Let q(f) = 38*f**3 - 4*f**2 + 2*f + 1. Let z be q(1). Let p = z - 35. Suppose 5*y - 24 = -p*t + t, -12 = -3*t. Which is greater: 1/4 or y?
y
Let g(z) = 10*z - 58*z**2 + 110*z**2 - 54*z**2 + 7. Let o be g(6).