t most as big as k?
False
Let b(u) = u**3 + 24*u**2 - 73*u + 216. Let p be b(-27). Is 5/594 greater than p?
True
Let n = -162 + 150. Let q be n/(-762)*2*1/(-4). Is 0 > q?
True
Let c(o) = -o**3 - 11*o**2 - o. Let i(a) = -2*a**2 + 3*a - 2. Let m be i(3). Let s be c(m). Which is greater: 72/7 or s?
s
Suppose 6*w + 56 = 4*w + 5*h, -21 = w + h. Suppose -4*k - 1088 = 1088. Let v = k - -521. Is v equal to w?
True
Suppose -j - 373 = -4*l, 2*j = 2*l - 3*l + 82. Suppose 2 = w - 1, 2*q = 5*w + 115. Let n = l - q. Is 27 bigger than n?
False
Let n = 25522 - 25519. Is n at least as big as -1056/17?
True
Let g = 1/1843 - -3103/1843. Which is smaller: -9 or g?
-9
Let b(a) = -a**2 - 8*a - 33 + 19*a + 8*a. Let q be b(13). Which is bigger: 44 or q?
q
Suppose -g + 2 = -4*v, -v + 10 = 14*g - 9*g. Suppose j - 4*r - 91 = v, -r = -3*j - 5*r + 257. Is 85 not equal to j?
True
Let i = -13632 - -13136. Is -500 greater than or equal to i?
False
Let a = -22 + 13. Let k be 7/(-2)*5*(-352)/(-640). Which is bigger: a or k?
a
Suppose t = 3*n + 5 - 328, -5*t + 2*n - 1602 = 0. Let a be (58/(-116))/((-2)/t). Is a at least -394/5?
False
Let j = 1304.9 + -3079. Which is bigger: 0 or j?
0
Suppose 4*m + 4 = 20. Let n(r) = 3*r**3 + 4*r**2 - 12. Let l be n(m). Suppose 5*z = z - 4*o + l, o = -4. Is 65 equal to z?
True
Let f = 126173/276 + -1829/4. Suppose -49 = 135*x + 50 + 36. Is f less than or equal to x?
False
Let m be 1*(1 + (10 - 12)). Are m and -1/282 nonequal?
True
Let b = -22635275/6066 + 7463/2. Does -1 = b?
False
Let h be (13/(-26) + 1)*2. Does 165 = h?
False
Suppose 0 = -2*r + 5*m + 7, 0 = -5*r - m + 2*m + 6. Let c be (-272)/(-112) + (-8)/(-14). Suppose 0 = -c*v - 185 + 119. Do r and v have different values?
True
Suppose -1 = -3*n - 4*x - 5, -5*x = 5*n + 5. Suppose n = 3*h - 34 + 40. Let r be 2/10 + 7/(-10). Is h >= r?
False
Suppose -28*z - 68 = -152. Let s be (2/4 + -5 + 5)*7. Are z and s unequal?
True
Suppose 5*a + 936 = 3*g, -52 - 126 = a + 4*g. Which is smaller: a or -193?
-193
Let o(f) = 3*f**3 - 5*f**2 + 2*f - 3. Let l be o(2). Suppose 2293 = -4*i + l*p, -3*i + 2*p - 2137 = -419. Let m = i - -1115/2. Which is bigger: m or -16?
m
Let g = -26.288 + -0.112. Let t = g + 22.5. Is t bigger than 1/2?
False
Let b = 5/9074 - 62733/80912858. Which is greater: b or -1?
b
Suppose 1283 = 2*t - w, -19 + 34 = 5*w. Is 642 >= t?
False
Let m(c) = 9*c**2 - 778*c + 501. Let f be m(86). Which is smaller: f or 156?
156
Let s = -12433/3 - -4083. Which is greater: s or 0.2?
0.2
Suppose -64*d - 8017 - 15613 - 32562 = 0. Which is greater: -873 or d?
-873
Suppose 0 = -r - 112 + 120. Let z be 3/2*(-16)/r. Let f be -1 + (-48)/z*27/(-12). Are -36 and f unequal?
True
Suppose 5*l = 3*r + 387 - 71, 3*l - 3*r = 192. Suppose -4*w + 2*n - 234 = 0, 4*w + 396 = 3*n + 159. Let t = w + l. Does t = 36/7?
False
Let b(w) = -4*w**2 + 53*w + 103. Let d be b(-12). Which is smaller: -1110 or d?
-1110
Let i = -18 + 20. Suppose -4*p - 2 = -i*a, -3*p + 8 = 3*a - 4*p. Suppose -x + 5*l = -3 + 7, -3*l - 12 = a*x. Which is greater: -3 or x?
-3
Let h be -2*(-1)/((-4)/126). Suppose -6*o = 18 + 54. Let i(a) = -a**3 - 11*a**2 + 17*a - 2. Let z be i(o). Is h bigger than z?
False
Let l = -60 - -197. Let h = -136 + l. Suppose -5 = 4*r - 13. Which is smaller: h or r?
h
Let x(h) be the third derivative of -h**6/40 + h**5/10 + 11*h**4/8 - 71*h**3/3 - 4*h**2 - 33*h. Let d be x(5). Is -202 smaller than d?
False
Let u be 25109/(-5) + 2541/(-1155). Is u less than or equal to -5026?
False
Let o = -0.5485 + 0.6485. Is o > -4.725?
True
Let f = -3.56 - -3.06. Let j = 3.5 + f. Which is smaller: -2/5 or j?
-2/5
Let l = -726.9 + 726.9. Which is greater: -1309 or l?
l
Let q(o) = o**2. Let c be q(-1). Let b = -28931/10 + 2893. Which is bigger: b or c?
c
Suppose 5705 = 2*g - 13*g - 466. Is g greater than -551?
False
Let u = 11232 - 11187. Which is smaller: u or 316/7?
u
Let j = 658 + -653. Suppose 209 = j*y + 1694. Is -298 less than y?
True
Suppose 4*l = -h + 2, -7 = -2*l - 4*h + 1. Suppose -10*g + 12*g - 18 = l. Let s(t) = t**2 + 3*t - 10. Let z be s(-6). Which is greater: z or g?
g
Let j be (-4)/(12/15) - -6. Let w be (19 - j)*31/(-93). Which is bigger: w or -5?
-5
Let j be ((-6)/(-9))/(((-4)/(-6))/2). Let h(t) = -10*t + 7*t**j + t**3 - 17 + 8*t + t**2. Let c be h(-8). Do 1 and c have different values?
True
Let h = 12409 - 136497/11. Are -24 and h non-equal?
True
Let y be (-2 - (-6)/15)*(-25 - 2100/(-85)). Let q(o) = -4*o + 1. Let l be q(-2). Suppose -1 + l = 5*j + 4*r, -3*j = 2*r - 4. Is y >= j?
True
Let q = 1412.95 - 1413.8. Let g = 0.8 - 0. Let s = q + g. Which is smaller: 0 or s?
s
Let o be -5 + 86/16 - 12870/34416. Which is greater: o or -3?
o
Let z = -1.104 + 1.104. Let f(a) = 2*a**3 + 2*a**2 + 9*a - 5. Let h(r) = -r**3 + r - 1. Let n(q) = -f(q) + 6*h(q). Let u be n(-2). Are z and u nonequal?
True
Let h be -2 - (-6 + 184/4). Let b = -56 - h. Is -96/7 < b?
False
Suppose 0 = 7*c + 3*c + 9200. Let r = c + 656. Is r > -264?
False
Let x(b) = b**2 + 6*b - 5. Let r be x(-7). Suppose -3 = -5*n - r*o + 21, n - 2*o = 0. Suppose 2*i - 4*a - 14 = 0, -i + 3*a - 4*a - 2 = 0. Is n smaller than i?
False
Suppose 4142 = -4*p + 3*c + 901, 5*c - 3231 = 4*p. Let v = -494 - p. Let f = -1291/4 + v. Which is smaller: f or -3?
-3
Let k(l) = -l**2 + 8*l + 2. Let h = 92 + -42. Let c = 58 - h. Let q be k(c). Which is smaller: q or -5?
-5
Let q(h) = 135*h**2 - 663*h. Let v be q(5). Is v > 98?
False
Suppose 6 + 2 = 2*f. Let g = 190 - 185. Which is smaller: f or g?
f
Suppose -3*s - 3*j + 9 = 0, 5*s + 35 = -16*j + 21*j. Is s < 283/6?
True
Let r = 14.022 + -16.022. Which is greater: -1305 or r?
r
Let p = 140570/143 - 983. Is p > -1?
True
Let v be 20/(-10) + (-1 - -7). Suppose 4*f - 197 = 2*o - 3*o, v*f = -4*o + 200. Is 49 smaller than f?
False
Let o be 16*3*595/(-238). Suppose 5*z + 2*k + 181 = -404, -124 = z - k. Is z at least as big as o?
True
Let o = -324 + 321. Which is bigger: o or 0.215?
0.215
Suppose 1081 + 210 = -j. Is -1291 < j?
False
Let x be 42110/(-100) - (18/20 - 1). Let c = x - -21891/52. Do 1 and c have the same value?
False
Let n be 5904/27*(-27)/(6/(-2)) + -1. Is n at most as big as 1967?
True
Suppose 26 = 4*t + 6. Suppose j - 4 = -4*n, -3*j - t = -0*n - 5*n. Which is greater: 12/13 or j?
12/13
Let x(a) = -52*a - 82. Let b be x(-20). Let q = b - 35450/37. Let c(i) = i**2 - 3*i - 5. Let f be c(4). Which is bigger: q or f?
q
Let k(z) = z**3 + 24*z**2 - 23*z + 47. Let w be k(-25). Let x be w/(-1)*1/3. Which is smaller: x or 3/62?
3/62
Let a = 271 + -7316/27. Let m be (65/(-30))/(-1 - (-3)/6). Let t = 14/3 - m. Which is smaller: a or t?
a
Let d be -1 + 2 + (-3 - -7). Suppose r - 10 = -4*r + d*a, -3*a = -4*r + 6. Let c = -19/66 + -1/22. Is r at most as big as c?
False
Let f = -72340 - -72859.008. Let p = f + -529. Let l = p - 0.008. Which is greater: -3/2 or l?
-3/2
Suppose -1482 = 24*p - 1458. Which is smaller: p or 57?
p
Suppose -7430 + 4124 = 140*x + 8734. Which is greater: x or -262/3?
x
Let i = -174.2 - -76.2. Let w = 118 + i. Is -0.19 not equal to w?
True
Suppose 48*j - 9133 = 50531. Is j greater than or equal to 1242?
True
Let w = -14370 - -14409. Which is smaller: -2 or w?
-2
Let o = 3101935/477 + -6503. Let n = 28298/477 + o. Let u = n - 60. Is 0.06 smaller than u?
False
Suppose 598*v = 430*v + 56952. Is 3058/9 bigger than v?
True
Let s = -425725 - -519810314/1221. Let h = -2/111 - s. Suppose 4*w - 2*w = -3*w. Does w = h?
False
Let g = 13/4 + -15/4. Suppose 12*j = 37*j. Is j smaller than g?
False
Let f(c) = -3*c - 5. Let y be f(-2). Let l be (7 - (3 + y)) + -80. Let g = -67 - l. Which is smaller: 11 or g?
g
Suppose -10*d + 3*d + 392 = 0. Let i = 165 + d. Which is bigger: 222 or i?
222
Let r(y) = -y**3 + 6*y - 11. Let b be r(5). Let o = b - -96. Let m = 1 - 9. Is o > m?
False
Suppose -2 = -4*v + 5*b - 31, -25 = -5*b. Let g be ((-84)/(-35))/(((-4)/(-30))/1). Let d be (4/g)/(-12 + 10). Which is smaller: d or v?
v
Suppose 17*n - 3 - 48 = 0. Suppose -3*t + 14 - 40 = 2*l, -n*l - 5 = -4*t. Is 4/5 bigger than l?
True
Let z(x) = -x**2 + 628*x + 3804. Let d be z(-6). Are -22/493 and d equal?
False
Let t be 153/663*(-6584)/(-858). Let q = -3/1859 + t. Is 1 >= q?
False
Let n = -249.825 + -1.275. Let h = -251 - n. Which is smaller: h or 0.15?
h
Suppose 0 = 5