 -1640 + 1641.72. Which is smaller: s or 0?
0
Let r be (1584/154)/(-24) + 141182/14. Is 0.2 != r?
True
Let f = -177029593/13740 - -51537/4. Which is greater: -1 or f?
f
Let p = -28877/4 + 7488. Let a = p - 267. Is 3/4 < a?
True
Let f be 45/12 + 15/(-20). Suppose 4*n = 4*d - 28, f*n = 4*d - 14 - 5. Which is smaller: n or -26?
-26
Let j be ((-2)/(-2))/(3 - 2). Let d be ((-27)/(-6) - -2)/(j/26). Which is smaller: -0.1 or d?
-0.1
Suppose 0 = 5*p + 2*m - 139, -87 = -3*p - 5*m + 2*m. Suppose 0*i - 2*i - 5*t = p, 0 = t + 5. Let f be (-1)/(-2)*(9/15 + i). Is 0 <= f?
False
Let w be 76/3*2415/10. Let k = -109474662831/241 + 454257831. Let s = w - k. Which is smaller: s or -1?
-1
Let q = 186 + -6. Let v be 5*(-8)/q - 22/(-18). Which is greater: v or 4?
4
Let u = 2699328/65 - 41529. Which is greater: u or -1?
u
Let f = 5410 + -5437. Is 4.3 < f?
False
Suppose 0 = r - 6*x + 10*x - 10, r - x + 10 = 0. Let k be (5 - (-12)/r) + (-60)/22. Do -2/5 and k have the same value?
False
Let l be 1*(714/(-18) + 8/12). Let b = 38 + l. Which is bigger: b or 8/29?
8/29
Suppose 0 = 2*a + 14 - 64. Let f = -299 - a. Which is smaller: f or -2/3?
f
Let m = 1 - 0. Let v = -1163 + 1217.1. Let z = v - 51. Which is bigger: m or z?
z
Let x = 1/496 + -2021/18352. Suppose -4*y + 5 = l, -5*y + 6 = l - 0. Are l and x nonequal?
True
Let q = -2904 + 299109/103. Let j = q + 3423/824. Is j at least 1/2?
True
Suppose -20*n - 760 = 4*h - 16*n, -2*n = -8. Let r = h - -206. Which is bigger: 7 or r?
r
Let s(q) be the second derivative of -q**5/10 - 4*q**4 - q**3/3 - 47*q**2/2 + 17*q. Let b be s(-24). Which is greater: b or 158?
158
Let o be (-134 - -136)/(49 - 0). Which is bigger: o or 29?
29
Let n be (-3 + 405)*-1*(5/15 - -1). Which is bigger: n or -534?
-534
Suppose -5*f = 44*c - 42*c - 11260, -4*c - 2*f = -22584. Are 5652 and c nonequal?
True
Let u = -0.00701 + 0.30701. Is 26/7 > u?
True
Let r = -226 + -52. Let c = 287 + r. Which is bigger: 0 or c?
c
Suppose -26*h + 1142 + 1025 = 607. Suppose q = -3*f + f + 1, -4*q + 4 = 2*f. Is h smaller than f?
False
Let h = -259 - -302. Suppose -h = s - 5*d, 3*s = 3*d + 2*d - 179. Which is smaller: -1/3 or s?
s
Let h be -1*(-97)/((-5626)/928). Suppose -l - 20 + 1 = -3*p, -2*p = -5*l - 82. Are h and l nonequal?
False
Let f be (-1229580)/3600 - (-6)/8. Are -341 and f non-equal?
True
Let r be 56/4 + -31 - 1260. Is r greater than or equal to -8938/7?
False
Let z be 217 - (2 - 1) - 0. Suppose 0*u = 12*u - z. Suppose 2*x + u - 16 = 0. Which is smaller: -1/16 or x?
x
Let u(y) = y**3 - 13*y**2 + 12*y + 2. Let d be 8*1*(-18)/(-12). Let h be u(d). Let z be -17 + 2 - 4/4. Which is smaller: h or z?
z
Suppose 0 = -2*c - c - 3*s - 828, 3*c = 4*s - 849. Let o(f) = -7*f**2 - 12*f + 46. Let q be o(6). Is q <= c?
False
Let b be (18/72)/((-7)/6). Let d = 241.11 - 241. Which is greater: d or b?
d
Let j = 553/8 - 69. Let w = -84.076 - -84.076. Is j > w?
True
Suppose -81 - 9 = 6*f. Let u(b) = b**3 + 16*b**2 - 12*b. Let m be u(f). Is m >= 405?
True
Let w(f) = 4*f**3 + 3*f**2 - 3*f + 1. Let s be w(3). Let k be (2238/27)/((-10)/(-12)*48/(-60)). Let b = s + k. Is 2 >= b?
False
Suppose 67*b = 57*b - 360. Let l be b/(-161)*(7 - (-70)/(-30)). Is 2 <= l?
False
Let q(w) = w - 4. Let n be q(6). Let h = -142 + 158. Suppose x + h = -3*x, 2*s - n = x. Which is smaller: 6/13 or s?
s
Let u = -105/34 - -925/272. Let q(k) = -5*k - 10. Let t(v) = -6*v - 11. Let c(p) = -5*q(p) + 4*t(p). Let x be c(-5). Which is smaller: u or x?
u
Let b = -165 - -164. Let y be 3 + ((-8)/24)/(b/39). Is 20 > y?
True
Suppose 10*i + 261 = 3061. Suppose 12 = -3*b, 0 = 4*a - 2*b + 5*b + i. Let r = a + 470/7. Is r greater than 1?
False
Let r be -11*(-14)/(-77)*1/1 + 360. Is r at least as big as 359?
False
Let j = 179 - -260. Suppose 0 = 3*l - x + j, 36*x - 145 = l + 35*x. Is 2 <= l?
False
Let b be -8 - (3 - (-35)/(-10))*2. Which is smaller: b or -27/4?
b
Let l = -2312 + 2312. Which is greater: l or -5/769?
l
Let r(i) = 1055*i + 9063. Let g be r(-8). Which is smaller: g or 0.2?
0.2
Suppose 3*k + 93 = 4*s, 5*s + 39 = 3*k + 159. Let q(a) = 6*a - 22. Let l(h) = h + 1. Let v(r) = 4*l(r) - q(r). Let w be v(0). Which is smaller: s or w?
w
Let k(j) = -2*j**3 - j**2 + j - 3. Let y be k(2). Let u be 2/(-7) - (-4719)/y. Is -225 at least u?
True
Let n = 100886.87 - 101657. Let i = 770 + n. Let h = -1 - 0. Is h > i?
False
Let x(j) = -j**2 - 6*j + 17. Let r be x(-7). Let l be (3/(-129))/((-65)/r - 3). Which is bigger: 1 or l?
1
Let o = -209 + 205. Let a be -3 - o - (-1)/(4/(-6)). Is a bigger than -0.22?
False
Let o(f) = f**3 - 23*f**2 - 333*f - 28. Let t be o(-10). Is -1400/3 < t?
True
Let y = -9325 + 9457. Which is greater: y or 7.7?
y
Let t = -14/93 + 15/31. Is t smaller than 5.29?
True
Let l = -12.936 - -10.936. Which is greater: l or 0.07425?
0.07425
Let y be 405578/(-1490) - (-2 + 20). Which is bigger: -291 or y?
y
Suppose 2*d = 4*c + 8, -51*d + c + 37 = -47*d. Suppose p + 2*l - 8 = 0, -6 = 4*l - 7*l. Suppose -3*z = -2*j - 23, 4*z + p*j = 2*z + 10. Is d >= z?
True
Let b be (-10381)/(-77) - 4/(-22). Suppose 0 = -17*f + 14*f + b. Is f less than 44?
False
Let u be 2/6 + (-12)/306. Let j = 1049272/51 + -20573. Let i = u - j. Which is greater: -45 or i?
i
Let l = 1.735 - 10.735. Which is smaller: l or -1?
l
Suppose -31 = -8*k - 15. Suppose k*m = -6 + 10. Is 3 at least as big as m?
True
Suppose 306 = -59*u - 815. Which is smaller: u or -8?
u
Suppose 12 = -4*r - 3*q, 5*q + 18 = -5*r - 2. Which is bigger: 2/17451 or r?
2/17451
Let n be 14/168 + 7/(-12). Is 1.467 less than n?
False
Let u be (1 - 14/10)*(-1 - 9). Suppose -5*o = u*z - 445, 4*o - 581 = -5*z + 6*o. Is z equal to 116?
False
Let b(n) = 2*n**3 + 32*n**2 - 48*n - 237. Let s be b(-17). Which is greater: s or 16/1141?
s
Let z = 491 - 545. Let l = z - -59. Which is greater: 12 or l?
12
Let p = 8.24 + -8.1911. Let k = 0.0489 - p. Is k at most as big as 0.18?
True
Let v = 3.968 - 4. Let u = -89956 - -89955. Do u and v have the same value?
False
Suppose 20*i = 1641 + 359. Suppose i*o = 101*o - 2. Is o smaller than 10?
True
Let z = 8686 + -7485. Is z greater than or equal to 2399/2?
True
Let k(g) = 7*g - 16. Let d be k(4). Let m be d/9*-3 - -92. Is 87 < m?
True
Let c(g) = g**3 + 6*g**2 + 6*g + 6. Let d be c(-5). Suppose 0 = -5*l - 25, 446 + 1086 = -w + 4*l. Let x = -147438/95 - w. Which is bigger: d or x?
d
Suppose 308 = 3*x + 269. Suppose -x = 2*l - 15. Let g be 0 + 60/58 + -1. Does l = g?
False
Let u = 110 - 94. Suppose u = 6*s - 98. Suppose 0 = -3*i - 4*n + 5 - 18, i + 5*n = -s. Which is greater: 3/8 or i?
i
Let k be ((-64)/86)/((-4)/6*69/92). Which is smaller: k or 1?
1
Let z(j) = 5*j**3 + 11*j**2 + 9*j + 14. Let n be z(-6). Let k = n + 528. Is k less than or equal to -194?
True
Let o = -12654688/137385 - -1/45795. Is -91 equal to o?
False
Let h = 3312 - 3312.2. Are h and 60 nonequal?
True
Let z be 4*((-143)/52)/11. Is -517 smaller than z?
True
Suppose -99*k + 136 - 37 = 0. Is k at least 57/25?
False
Let m = 117 - 286. Let i = 177 + m. Which is smaller: 2 or i?
2
Let h be 1/3*21*(-30 - 869). Is -6293 <= h?
True
Suppose -9*z - 124 = -7*z. Let c = 3 - z. Which is greater: 66 or c?
66
Suppose -4*p + 4*i = 42 - 226, -3*p + 154 = i. Which is greater: p or -9?
p
Let d be (-1 - 44)*(-392)/6*(-627)/110. Which is bigger: d or 1?
1
Suppose 0 = -3*y + 7*y + 16. Let c = 416180/6537 + 3/2179. Let o = -68 + c. Are o and y nonequal?
True
Let c be ((-10)/(-18))/(2/12). Suppose 3*o = -5*t - 6, 4*o = -t - 2 - 6. Suppose t = j + 3*x + 11, 0 = -12*j + 7*j - 4*x - 11. Which is bigger: c or j?
c
Let a(q) be the second derivative of q**4/2 + 43*q**3/6 + 4*q**2 - 10*q - 1. Let l be a(-8). Let u be (4/(-350))/(l/(-224)) - 0. Is u less than 1?
True
Let i be (-4253)/(-3)*(-1)/(-6)*-2. Let g(b) = 3*b - 473. Let q be g(0). Let v = i - q. Are 0 and v unequal?
True
Let a(r) = -8*r**2 - 85*r + 6. Let w be a(-12). Let x be w/2*(-21)/(-105). Is -14 at most x?
True
Suppose -s = -16*s - 3315. Let m = s + 381. Does m = 159?
False
Let c = -1311.7 - -1317.327. Let w = c + 23.743. Let q = 0.63 + w. Is q < 0?
False
Let g be 5/2 - 4/(-8). Let f be g/(-1) - (-106)/4. Let z = 24 - f. Which is smaller: 1 or z?
z
Let w be -1*(-1 + 2)*17. Let h(o) = -136*o + 7466. Let p be h(55). Which is smaller: p or w?
w
Let z be 15/195*