False
Let r(t) = t**2 + 2*t + 4. Let f be r(-3). Let y = 30053517 + -16860018374/561. Let u = 4/187 + y. Which is greater: u or f?
u
Let j be (-6 + ((-2)/2 - 1))/((-49)/(-196)). Is j >= -2.9?
False
Let l be (-3 + (-28)/(-4))*3/4. Suppose -b + 6 = -l*b. Let z(y) = -2*y + 9. Let k be z(7). Which is greater: b or k?
b
Let h be 0 + (-4)/(-5)*-4. Suppose -q + 5 = 3*j, 3*j - 2*j = 1. Suppose -2*u + x = -0*u + 9, 9 = -u + q*x. Which is smaller: u or h?
h
Let b = 164246282/54705 - 15012/5. Which is greater: b or -1?
b
Let u(c) = 6*c**2 + 10*c + 4. Let k be u(-5). Let a be k/48*(-9)/(-24). Is a equal to 2?
False
Let p be (5 + 9/(-3))/6. Suppose -2*o = -3*j + 210, -235 + 73 = -2*j + 5*o. Is j at least as big as p?
True
Let b = -14.476 - 0.024. Let l = 76.5 + b. Let f = l - 62. Which is smaller: f or 1/41?
f
Suppose 316*h - 3198 = -55022. Is h not equal to -109?
True
Let u be -1 - (-7 + 7 + (-1767098)/18105). Let a = u - 10/3621. Is a greater than or equal to 96?
True
Let i = 5673 - 5514.96. Let s = i - 158. Let z = 7 - 7.2. Do s and z have different values?
True
Let r be (-1)/((238/12)/7 - 740/888). Let q be 15/(-63) + 1/4. Let y = q - -13/84. Is r bigger than y?
False
Suppose -17 = -0*t + 2*t + 5*r, -5*r = 25. Suppose t*j + 2*a = -2*a + 16, -3*a = 5*j - 18. Suppose -2*v + v - 2 = -j*z, z = 3*v - 2. Which is smaller: 4 or z?
z
Suppose -19 = -z + 2*u + 36, 3*z - 177 = 3*u. Let y be -9*(-4)/(-12) - z. Suppose g + 201 = -2*g. Is y < g?
False
Suppose -578 = -3*d + 4*h, d + h - 64 = 138. Suppose -3*k = -678 + d. Are 160 and k unequal?
False
Let f(g) = g**3 + 4*g**2 - 13*g + 4. Suppose 2*y = -4*y - 36. Let o be f(y). Suppose 10*q - 145 + 35 = 0. Is q greater than o?
True
Let o be -202*(6 - (-169)/(-26)). Is 99 < o?
True
Let j = 390823/193 + -2025. Suppose 128*s = 160*s + 32. Which is greater: j or s?
j
Let a be 6/9*(19/(-19))/(-5 + 3). Let b(x) be the second derivative of x**5/5 + x**4/12 - x**3/2 + x**2/2 + 2*x. Let m be b(2). Are a and m nonequal?
True
Let y = 18 + 0. Let g be (-2)/y*(0 - 21). Is -1/3 less than or equal to g?
True
Let m = -14230 - -85139/6. Is m at least as big as -41?
True
Let g = 1589 - 1586. Suppose f = 2 + 14. Suppose 0 = -z + g*q + 8, 0*z + f = 2*z + 5*q. Which is greater: z or 0.3?
z
Let v(p) = p - 14. Let j be v(8). Let f be (0 - j/5)*(-200)/(-15). Let k be (3/(-12))/(1 + (-20)/f). Which is smaller: -6/31 or k?
-6/31
Let j be (-636)/(-1484) - ((-72210)/21 + 3). Is 3435 > j?
False
Let k = 24467/256817 - 42/407. Is 0 greater than k?
True
Let x = -56.9 - -595.9. Let z = -540 + x. Is -127 less than z?
True
Let l(c) be the first derivative of -5*c**3/3 + c**2 - 2*c + 4. Suppose -6*t + 11*t - 5 = 0. Let v be l(t). Which is bigger: v or 1?
1
Let w be -37*(-17 - (-14835)/870). Which is smaller: w or -3?
-3
Suppose 0 = -206*w - 98*w + 7 - 311. Are 9/1499 and w non-equal?
True
Let i = 36/95 + 8/19. Let n(h) = -h**3 - 3*h**2 - h - 2. Suppose 5*f - 5*q + 30 + 10 = 0, 0 = -5*f - 4*q + 5. Let u be n(f). Is i > u?
False
Let o = -4550 - -4545.7. Which is bigger: 1.2 or o?
1.2
Let c(j) = 8*j + j**2 - 10*j**2 - 7 - 4*j**2 - 6*j**2. Let g be c(1). Is g at least as big as -24?
True
Let x(b) = -5*b - 8. Let v(k) = -11*k - 16. Let g(a) = 6*v(a) - 13*x(a). Let j be g(-7). Let w = -1313 - -1331. Is w greater than j?
True
Let z be 1/16 - ((-557018)/(-352))/7. Do -1134/5 and z have the same value?
False
Let t = 20 - 30. Let l = 5922 + -5927. Is l smaller than t?
False
Suppose -9*m + 52 = -308. Suppose 5*t + 4*a = 24, -4*a = -3*t - 0*a + m. Suppose -3*k + 5 = 2. Is t at most as big as k?
False
Let z = 26/1095 - 245807/10306140. Which is bigger: z or -1?
z
Let d be (461/(-9) - -2*(-1)/(-9)) + 1. Is d greater than -55?
True
Let q be (4 + 399/(-99))/(5/(-157515)). Let z = -953 + q. Is z >= 3?
False
Let g(y) = -6*y - 27. Let i be g(-5). Suppose -2*f = k + 20, -2*f - 56 = i*k - 0. Let w be 8/36 + (-734)/k. Is 41 > w?
False
Let x be 2543 - 54 - (-2 - (-3)/(-3)). Is x less than 2493?
True
Suppose -4*k + 4*a + 2 = -9*k, -5*a - 25 = -5*k. Suppose k*g = 4*g + 16. Let s = 11 + g. Is s greater than or equal to 4?
False
Let b = -4811 + 293517/61. Which is smaller: 0 or b?
0
Let n be (-2)/(-8) - (-46)/8. Suppose -2*v - 2*v - 45 = -13*v. Suppose -v*y = n*y - 11. Is y not equal to 0.005?
True
Suppose -1862 + 6450 = 4*i - 4*y, 3*i - 3445 = 5*y. Is 1143 at least i?
False
Let m be -2 - ((-1)/10 + (-19)/10). Is m less than or equal to -12/2195?
False
Let o = 1.8843 + -1110.8843. Which is smaller: -1/9 or o?
o
Let u(r) = 16*r**2 - 3*r + 29. Let d be u(-5). Let y = d - 2677/6. Which is smaller: -1 or y?
y
Let f be ((-168)/(-18) - 2)*144/(-2). Let y be (-9 - -1) + f/(-64). Is 37 bigger than y?
True
Let l = 9652 + -9652. Let s = -0.66 - -0.47. Is l equal to s?
False
Let k be 576/292 + 0 - 2. Let t(m) be the first derivative of m**4/4 + 4*m**3/3 - m**2/2 - 3*m + 12. Let j be t(-4). Which is smaller: j or k?
k
Let i = -46022 - -46125. Which is greater: i or 68?
i
Suppose -80 = -5*w + 3*w. Let n = 456 + -532. Let t = w + n. Do -37 and t have the same value?
False
Let p = 1490475 + -1490546.9613. Let r = p + -0.0387. Is -3/5 >= r?
True
Let v = -3885 - -3929. Which is smaller: 87/2 or v?
87/2
Let q be -290*1 + -1 + 6 + -5. Let t = q + 1438/5. Is 0 bigger than t?
True
Let r be ((-81)/162)/(-2 + 1)*2*2. Which is greater: r or 32/21?
r
Let g = 22315/7 + -3188. Is 58 greater than g?
True
Suppose 5*d - 16*d + 3975 = 14*d. Is 1271/8 > d?
False
Let r = -184.062 - -184. Let z = r + 0.002. Which is greater: -12 or z?
z
Let y(a) = 140*a**2 - 10*a + 33. Let l be y(5). Let d be (l/18 + 5)*2. Which is greater: -1 or d?
d
Let a = 1474.3 - 1474. Which is smaller: a or 24/13?
a
Suppose -h = 8*j - 7*j + 246, 0 = -5*h - 3*j - 1232. Let t = h - -743/3. Which is greater: -57 or t?
t
Suppose -7*b + 2*b - 60 = 0. Let o be -3*(11 + b - 19/(-21)). Let s be ((-236)/54 + 4)*6. Which is smaller: o or s?
s
Let b(j) = -43*j - 1686. Let t be b(-26). Is t less than -2271/4?
True
Suppose z - h + 715 = 3749, -2*z + 6096 = 5*h. Which is smaller: z or 3040?
z
Let l = -9/166 + 3603/2158. Let r = -37/39 + l. Let i = -0.3 - -0.2. Which is greater: i or r?
r
Let d(r) = r**2 - 16*r - 52. Let k be d(-3). Suppose -2*b - f + 96 = 0, b - k*b + 202 = -3*f. Is b equal to 47?
False
Suppose -2095 = -239*r - 38*r - 40875. Is -117 bigger than r?
True
Suppose -4070 = 2*n - 24*k + 22*k, -11*k + 4106 = -2*n. Is n less than 1?
True
Let u = 559.4 + -559.5. Is -14 equal to u?
False
Let m be 4/6 - (-29192)/(-12). Which is greater: -2433 or m?
m
Let c = 339 + -594. Let u = -240 - c. Which is smaller: u or 2.4?
2.4
Suppose -10*r + 14*r + 2 = 5*q, 0 = 2*q - 3*r + 2. Let g be (46 - 8)/(q/(-4)). Let x = g + 232/3. Is -2 at least as big as x?
False
Let d = -4 - 6. Let k(q) = 2*q**3 - 6*q**2 + q + 7. Let a be k(3). Let l be (-1)/(-3)*(-330)/a. Is l less than d?
True
Let x be 1 - 8/10 - (-4951)/(-5). Let n be (1/3)/((-65)/x). Which is smaller: n or 6?
n
Let n be 1 + (-2 - 46 - 0). Suppose -570 - 551 = 24*t - 41. Is n at least t?
False
Let a be 64/11 - 6 - 46/(-11). Suppose -5*i + i - 74 = -5*p, -4*i + a*p - 76 = 0. Let z = 22 + i. Which is greater: -1/16 or z?
z
Let t = -0.481 - -2.671. Let x = t - 2.29. Which is smaller: -2/179 or x?
x
Let q = 3536 + -3535.2. Which is greater: -81 or q?
q
Let z be (1/1)/3 + 2124/108. Suppose 14 - 74 = -z*i. Which is bigger: -0.5 or i?
i
Let n = 233 - 203. Suppose 60 - n = 15*w. Is w > -1.1?
True
Suppose -5*q - 21 = 2*y, 5*y = -q - 10 + 15. Let v be ((-14)/4599)/((-2)/6*y). Is v at most 0?
False
Suppose -14*y - 11880 = y. Let r be (((-246)/y)/(-41))/((-11)/(-4)). Are 1 and r non-equal?
True
Let s = 352.2 - -9.8. Let v = s - 500. Do -0.1 and v have the same value?
False
Suppose 52*l - 29 - 46 + 23 = 0. Which is smaller: l or 2/23029?
2/23029
Let u = -416 + 93. Let h = -2.418884 + 0.418884. Which is smaller: u or h?
u
Let f(k) = -2*k**3 - 12*k**2 + 20*k + 3. Let l(s) = 3*s**3 + 24*s**2 - 40*s - 5. Let b(g) = 5*f(g) + 3*l(g). Let a be b(2). Which is bigger: a or -4/125?
a
Let b(m) = -38*m + 336. Let t be b(9). Let i(c) be the second derivative of c**4/12 + c**3 + 5*c**2/2 - 2*c. Let l be i(t). Is l smaller than -2/5?
False
Let i be (-3162 - 1) + -13 + -8. Is -3188 not equal to i?
True
Suppose 5*i - 3*h + 1368 = 0, -4