 t be ((-162)/63 - -2)/(4/(-14)). Is h less than or equal to t?
True
Suppose 5*d - 53 = -3*c + 4, 0 = -5*d - c + 49. Suppose 0 = 3*m + 2*i + 6, 3 + d = -5*m - 4*i. Let v be -4*((-9)/32)/3. Which is bigger: v or m?
v
Suppose 7*q + 3*z = 3*q - 83, 2*q + 55 = 3*z. Is -23 smaller than q?
False
Let v = -462 + 455. Which is greater: -1 or v?
-1
Let h(f) = -f**3 + 4*f**2 + 9*f - 13. Let c be h(5). Which is bigger: 22/3 or c?
22/3
Let n = 80 + -36. Let j be (14/20)/((-11)/n). Which is smaller: -2 or j?
j
Let h(q) = 2*q - 1. Let r be h(3). Suppose f - 21 = -r. Let g be 16*(-4 - -3)/(-1). Is g greater than f?
False
Suppose -5*s + 3*m - 169 = 0, -2*s - 181 = 3*s + 3*m. Let y = s - -37. Let d be (y/6)/((-8)/104). Which is smaller: -3 or d?
d
Let p = 11.27 - 11.17. Which is bigger: p or 57?
57
Let r be 4/(-2)*66/4. Let g = r - -23. Let j = g + 4. Is j at least as big as 0?
False
Let i be ((-39)/(-9) + -3)*-6. Let k(d) = -d**2 + 3*d + 10. Let g be k(-4). Let a be 9/g + 26/(-4). Which is bigger: a or i?
a
Let f(b) = 35*b - 117. Let l be f(12). Is l bigger than 302?
True
Let c = 45459/301 + -1058/7. Is c equal to -1?
False
Let v be (-99)/(-45) - (-2)/(-10). Suppose 1 = 2*h - j, j = -v*h + 6 + 1. Suppose -2*p - h*q + 11 = 3, q = p - 2. Is 2 at most as big as p?
True
Suppose i - 98 = -161. Which is bigger: i or -65?
i
Let u(g) be the first derivative of g**5/40 + 3*g**4/8 - g**3 + 5. Let t(o) be the third derivative of u(o). Let m be t(-4). Is m < -2?
True
Suppose 4*o = -3 + 15. Let x = o + -11. Let d be (6 - 5 - -1) + -10 + 0. Does d = x?
True
Let a be (2/78)/(20/24). Let l(h) = h**3 + 7*h**2 - 3*h - 54. Let u be l(-6). Which is greater: u or a?
a
Let n = 16/45 + -7/45. Is -29 >= n?
False
Suppose -5*g = -g + 16, -5*x = 5*g - 155. Let w be 12/(-7) + (-10)/x. Let j = 3 + w. Are 3/4 and j equal?
False
Let d = -1.52 + -0.48. Is 1/3 at most as big as d?
False
Let h = 36 + -31. Let x = -29 + 19. Let f = -5 - x. Is f smaller than h?
False
Let t(w) = w**3 - 4*w**2 - 9*w - 2. Let b be t(5). Let n = -2 + 6. Suppose n*s = -2*z - 0*z - 80, z - 114 = 5*s. Is b greater than or equal to s?
True
Suppose -2 = b + 2. Let h(z) = -z**3 - 4*z**2 + 2*z + 3. Let s be h(b). Let j be (-93)/30 - 2/5. Which is smaller: j or s?
s
Suppose 96 = -4*t + 8*t. Suppose d - 25 = -s, 3*d + 121 = s + 3*s. Let n = s - t. Which is bigger: 3 or n?
n
Suppose 460 = -40*z + 3060. Is z less than 0.5?
False
Let p = 754 - 755. Is p less than or equal to 3/1124?
True
Suppose -7*a + 93 = -3*n - 4*a, -3*a = 4*n + 159. Is -38 smaller than n?
True
Let k be 0*2/4 - (20 - 23). Let z be 3/(k - 45/(-20)). Is z at most as big as 0?
False
Suppose -61*v + 59*v + 8 = 0. Suppose -t - 51 = v*w, 0*w - 18 = w - 5*t. Is w greater than or equal to -0.01?
False
Let s be 3 + (-16)/(-12)*3. Let p = 40 - s. Is 34 greater than or equal to p?
True
Suppose 5*g = 4*z - 144 + 76, 51 = 3*z - 5*g. Let i = -7 - -24. Are i and z equal?
True
Let a(t) = t**3 + 6*t**2 + 10*t + 16. Let o be a(-4). Which is greater: o or 1.3?
o
Let y = 0.15 + -5.15. Let h = -0.2 - 5.8. Let i = y - h. Is i bigger than -2?
True
Let u be 4/(-4) + (-1)/(-4)*4. Suppose 2*l + u*p = -p, 0 = 3*l + 2*p. Is l smaller than 1/3?
True
Suppose -1 = 2*f - 3. Let s be (2/(2 + -4))/f. Let j be (4 + s)*2/(-15). Which is smaller: j or 3/7?
j
Let b(j) = j**3 + j - 2. Let a be b(0). Let s(c) = 8*c - 28. Let g be s(2). Let n(l) = 4*l + 46. Let h be n(g). Is h bigger than a?
False
Let u = -277/2 - -1383/10. Let p = -36 - -58. Let d be p/(-18) + 3/3. Which is bigger: d or u?
u
Let s = 67 - 120. Let h = s + 54. Is 1 at least as big as h?
True
Let j be 4/((-5248)/(-18))*-284. Let d be -5*(826/205 - 4). Let v = d - j. Which is bigger: v or 3?
v
Suppose 0*n - 3*n + 2*w = -78, 53 = 2*n - w. Let a be 16/(-6)*(-63)/n. Suppose v = -5 + a. Is -1/9 not equal to v?
True
Let p = -66 - -67. Let a be (-8)/(p + (-10)/6). Is a at most 12?
True
Let i = -45 - -66. Let b(l) = -l**2 - 10*l - 13. Let o be b(-6). Let w be 3/i - o/(-21). Is w > -3/2?
True
Suppose -c + 4*z + 374 = 0, 2*c - 601 = -z + 183. Let m be ((-4)/(-6))/((-20)/c). Is m > -13?
False
Let f = -106 - -105. Let i = 209/3 - 71. Is f < i?
False
Let w be (-17)/1*(-2 - 1)/(-3). Which is smaller: w or -13?
w
Suppose p - 2*s = -5*s + 13, -4*p = 4*s - 28. Suppose -v = -5*b - 7, 4*b - p*v = 5 - 17. Is b < 3?
True
Let y be 18/(-30)*((-57)/(-66) - 2). Which is smaller: 0 or y?
0
Let c(w) = -w**3 - w**2 - w. Let q(i) = 4*i**3 + 7*i**2 - 10. Let v(o) = 3*c(o) + q(o). Let x be v(-4). Let t = -23 + 26. Which is smaller: t or x?
x
Let f be (185 - 3)*(1 - 12/8). Is -91 < f?
False
Let c = 2.9 + -3. Let z = -4.196 - -0.096. Let h = 5 + z. Is c > h?
False
Let s = -4 + -4. Let x be (-1)/(-14*(-2)/s). Is x smaller than 0.1?
False
Suppose -3*y + 4*w = -6*y - 14, -y + 7 = -w. Suppose 3*l - c - 3*c = 17, y*c = l - 7. Suppose -2*u = -3*v, 0 = 4*v - 4*u + l*u. Which is smaller: v or -1/2?
-1/2
Let n(h) = 24*h + 9. Let m be n(-2). Let f = 38 + m. Is f > 2/13?
False
Let j be (-14)/(-4) + 3/6. Suppose 0 = -m - d + 6, 0*m + 5*d - 12 = j*m. Let x be (-21)/((-6)/m) + -4. Which is smaller: -1/3 or x?
-1/3
Let l = 233.5 - 235.5. Is l equal to 804?
False
Let x = -9638/9 + 1094. Which is greater: 23 or x?
x
Let x(a) = 15*a**2 + 12*a - 9. Let z(i) = 7*i**2 + 6*i - 4. Let s(p) = 6*x(p) - 13*z(p). Let j be s(-4). Suppose j*t = 7*t + 8. Which is smaller: t or 2?
t
Let k(h) = 2*h + 9. Let s be (4 - 3)*10/(-2). Let y be k(s). Which is smaller: y or -2/71?
y
Suppose -16 + 1 = -3*l. Suppose 1297 - 505 = -a + 2*c, l*c - 783 = a. Let g be a/(-270) + -4 + 1. Are 0 and g equal?
False
Let b be -22 - (7 - 9 - (-6)/2). Which is greater: -19 or b?
-19
Suppose 6*v + 12 = 6. Suppose -5*w = 3*l + 43, 37 = -2*l + 3*w - 8*w. Let z be ((-9)/18)/(v/l). Which is smaller: z or 0?
z
Let s(d) = 3*d**3 + 15*d + 5. Let m be s(-3). Is m <= -121?
True
Let p be (-7)/(-3689)*(-1 + (1 - 2)). Which is smaller: p or 1?
p
Let i be 16/140 + 2/7. Suppose -6*v - 9 = -3*v. Let u be -2 + (-3 - -2)*v. Is i at most u?
True
Let w = 115 - 31. Do w and 81 have the same value?
False
Let d(p) = -p**3 - 34*p**2 - 33*p. Let o be d(-33). Which is smaller: -1/61 or o?
-1/61
Let b(t) = 13*t - 15. Let q be b(2). Let g be 26/(-22) + q/((-242)/(-4)). Which is greater: g or 1/54?
1/54
Let n(o) = -3*o**3 - 33*o**2 - 46*o + 7. Let k be n(-12). Is 990 at least k?
False
Let f be ((-74)/111)/((-8)/(-414)). Which is smaller: f or -34?
f
Let a be (-20)/18*(2 + -1). Suppose d - 15*d - 14 = 0. Which is smaller: d or a?
a
Suppose 2418*q - 2416*q = -1990. Which is smaller: q or -996?
-996
Let g be 1*3 + -2*2022/1356. Let p = g + 212/791. Let k = 0.8 + -1.4. Is k at least p?
False
Let f = 211 - 194. Is f >= 47/3?
True
Let k be 0/(-2*3/6). Let l = 68581/14 - 4898. Which is smaller: l or k?
k
Suppose 485 = 8*k + 485. Which is smaller: k or 8/57?
k
Suppose 3*n = -3 - 6, 3*j - 3*n = -480. Let v = 171 + j. Let q be (50/(-12))/(2/(-4)). Which is smaller: v or q?
v
Let v = 23/663 + 10/51. Let u(c) = 3*c**2 + 9*c + 8. Let q be u(-1). Suppose -2*o - q*t = 8, -3*t - 16 = 5*o + t. Which is smaller: v or o?
o
Suppose i - i + 3*i = 0. Which is smaller: 6/59 or i?
i
Let y be (-16)/(-125)*3/((-27)/(-180)). Which is smaller: y or 3?
y
Suppose 5*k + s - 11 = 0, 2*s = 2*k - 2*s. Suppose k*p + d = p + 4, 0 = p + 5*d - 20. Which is bigger: p or -2/67?
p
Let y(w) = -w - 1. Let o(q) = -8*q - 15. Let i(f) = -o(f) + 6*y(f). Let a be i(0). Suppose p = -2 + 10. Which is smaller: a or p?
p
Let y(q) = 6*q**2 + 3*q - 3. Let r be y(-2). Suppose -p = 2*p + r. Is p at least -21/5?
False
Let z = -517 - -525. Is 37 smaller than z?
False
Let g(p) = -9*p**3 + 5*p**2 + 32*p + 8. Let k(n) = 5*n**3 - 2*n**2 - 16*n - 4. Let c(b) = -4*g(b) - 7*k(b). Let a be c(8). Which is greater: -3 or a?
-3
Let y(x) = x**2 - 33*x - 60. Let i be y(35). Suppose 0 = -4*h - 3*b + 8, 0 = -3*h - 2*b - 2*b - 1. Let j be (-4)/(-10) - (-53)/h. Which is greater: i or j?
j
Let l be ((-520)/77454)/((-2)/9). Which is bigger: l or -1?
l
Let p be -55*(42/(-10))/7. Is p at most 33?
True
Suppose 0 = -3*v - v + 8, -1 = -t + v. Let m be (-6)/(-9) - t/(-9). Let a be 3 + 10 - 1 - m. Is a greater than or equal to 0.1?
True
Let h = -526.1 - -526. Which is smaller: h or 133?
h
Let q be -31 - (160/96)/((-5)/(-18)). 