 387. Which is bigger: w or -1?
w
Let l(x) = -26*x + 13. Let u be l(1). Which is greater: u or -83/7?
-83/7
Let t(q) = 5*q**3 - 17*q**2 + 56*q + 7. Let j(o) = o**3 + o**2 + o + 1. Let v(k) = -6*j(k) + t(k). Let s be v(-25). Is s at most as big as 11?
True
Let v(q) = 2*q**2 + 28*q + 40. Let m be v(-13). Is 25 equal to m?
False
Let j be ((-68)/20 + 3)*(-2)/(-50). Let c = j - -264/875. Let u = 15 + -10. Is u less than or equal to c?
False
Let s = 5/2 + -9/4. Let w = 153/5 - 31. Do s and w have different values?
True
Let z = -1991 + 1992. Let u = -1/266 + 72/1463. Which is smaller: z or u?
u
Let p = -5.59 - -5.72. Which is bigger: p or -0.6?
p
Suppose -175*r - 969 + 6219 = 0. Let v = 8/21 - -2/7. Is r less than v?
False
Suppose m - x = 0, -x + 0*x + 6 = m. Suppose m*c + 10 = 3*v + 1, -c + 4*v = 12. Let w be ((-6)/5 - -2)/((-1757)/1255). Which is greater: w or c?
c
Let r(q) = -8*q - 38. Let v be (-5 + 66/12)*-1*10. Let f be r(v). Suppose 5*s - 12 = 2*s. Do f and s have the same value?
False
Let s = 15/8 + -591/328. Suppose 0 = d - q, -d = 2*d + 3*q. Is s at least d?
True
Let k(x) = -x**3 - x**2 + 9*x - 4. Let w be k(-3). Which is bigger: w or 6?
6
Let p be 48/(-60)*(-5)/2. Suppose 0 = -h - 6*s + 4*s - 12, p*s + 4 = h. Which is smaller: h or -21/5?
-21/5
Suppose 3*z = 13 + 2. Suppose -z + 1 = -2*p, w + 5*p - 17 = 0. Is w less than 6?
False
Let s be 2074/14 + 210/245. Which is bigger: 151 or s?
151
Let r = -13.78 - 20.22. Let l = 0 - 1. Which is greater: r or l?
l
Suppose 2*c + 40 = -4*q, -3*c + 0*q = 2*q + 40. Let n(v) = -4*v - 4 - 2 + 3*v. Let h be n(c). Is 6 greater than h?
True
Let r = -173837/102564 + 4/8547. Let h = r - -13/9. Let j = 1.9 + -0.5. Is j greater than h?
True
Let k = 267 + -267.04. Is -0.7 less than k?
True
Suppose 0 = -13*d + 14*d + 189. Let z be 14/98 + 13/d. Is z equal to 1?
False
Let b = 49 + -81. Let w = -31 - b. Let x be (0 - 1)*(-10)/(-40). Do w and x have different values?
True
Let q = -731/9 - -81. Let s = 21 - 17. Suppose m = -2*a - s, -5*m = a + 29 - 9. Is a bigger than q?
True
Let l(m) = 9*m - 1. Let q be l(-1). Which is smaller: q or -0.1?
q
Let s be (-4)/7*17/34. Suppose 2*x = 6*x. Suppose 0*i + 2*i = x. Which is greater: s or i?
i
Suppose -3*l - 4*g = -56, -103 = 9*l - 14*l + 3*g. Are -2 and l unequal?
True
Let i = -0.624 + 14.624. Which is bigger: i or -3?
i
Let t = -1.55 - 39.95. Let b = -43 - t. Which is bigger: -1 or b?
-1
Let i(k) = -2*k**2 - 11*k - 21. Let r = -30 + 24. Let o be i(r). Is -27 bigger than o?
False
Let d = -2 - -2. Suppose -12*r - 166 = 2. Which is bigger: d or r?
d
Let m be -6 - (-5)/((-40)/(-376)). Which is greater: 38 or m?
m
Suppose 0 = 4*p - 36 + 8. Let t(m) = -m**3 + 6*m**2 + 6*m + 7. Let n be t(p). Let g be ((-3)/(-14))/(21/(-28)). Which is bigger: n or g?
n
Let c(g) = 3*g**2 + g + 2. Let a be c(-1). Let l = -39 + 33. Which is bigger: a or l?
a
Suppose -5*x = -30*n + 29*n - 14, -2*x + 21 = n. Are n and 7 unequal?
True
Let z be 1/(5/(-730)*(0 + 2)). Let d = 73 + z. Which is smaller: d or -1?
-1
Suppose -1615 = -29*s - 571. Which is smaller: s or 54?
s
Suppose 4*b - n = -3, 2*b + 5*n = 5*b - 2. Let l = -4.38 + -36.62. Is l equal to b?
False
Let l be 200/35 - 6 - (-836)/2828. Is l at most 4/3?
True
Let g = -302 + 301.8. Are g and -10 unequal?
True
Let l be 9/81 - 174/(-1836). Which is smaller: 1 or l?
l
Suppose -r - 3*a + 69 = 0, 3*r - 4*r + a = -61. Let q = r - 569/9. Is 2/7 at least as big as q?
True
Let o(b) = -2*b + 10. Suppose 8*h - 3*h - 2*f = 35, -4*f - 15 = h. Let w be o(h). Let i be (1 + w)/((-171)/9). Is i less than or equal to 1?
True
Suppose 17 = s + 12. Suppose s*x - 264 = -x. Which is smaller: x or 0.1?
0.1
Suppose -4*n - 528 = -4*u, 89 = u - 2*n - 44. Let m = -1439/11 + u. Do m and -1 have different values?
True
Suppose 12*x - 53 = -d + 14*x, 0 = 5*d + 4*x - 293. Is 57 at least as big as d?
True
Suppose 5*o = -2*b + 69, -o + 5*b = -4*o + 30. Suppose 0 = -9*t + 14*t - o. Let z(h) = h**2 - 6*h + 5. Let j be z(6). Is t greater than or equal to j?
False
Let a(q) = -q - 8. Let l be a(-10). Suppose -l*o + 110 = 5*j, 94 = 4*j + 2*o + 6. Let i = -20 + j. Is 1 at least as big as i?
False
Let g = 1188 + -1185.2. Let d = -0.2 + 0. Let j = d - g. Which is smaller: -1/2 or j?
j
Suppose 103*l = 4*c + 99*l + 156, 5*c - 4*l + 191 = 0. Which is bigger: c or -41?
c
Let v = -3 - -1. Let t be ((-34)/55 - (-44)/55)*-1. Which is smaller: v or t?
v
Let i(h) = -h**2 - 3*h - 3. Let u = -12 - -10. Let n be i(u). Let a = 13453/23 - 585. Which is bigger: a or n?
a
Suppose 4*x + 1 = -23. Let t = x + 14. Let j be 650/80 + (-1)/t. Which is bigger: 0 or j?
j
Suppose 4*b - 14*b - 10 = 0. Which is smaller: b or 2/149?
b
Let g = 76 - 64. Is 49/4 less than or equal to g?
False
Suppose 4*g - 4*w - 252 = 0, -22*g + 2*w + 194 = -19*g. Is g smaller than 342/5?
True
Suppose -126*c + 142*c = 1744. Is 328/3 greater than or equal to c?
True
Suppose 26*t + 32 = 22*t. Let n(p) = p**2 + 6*p + 15. Let f be n(t). Are f and 0 unequal?
True
Let b(m) = -m + 1. Let l be b(-2). Suppose -9 + 21 = l*c. Suppose f - 5*f - c = 0. Is f equal to -2/7?
False
Let p(r) = -r**2 + 16*r + 18. Suppose 4*g = 2*g + 32. Let z be p(g). Let y = -26 + z. Is -8 at most y?
True
Let z be (-27)/132*6/(-9). Let l be (0 + 0)/(0 + 1). Which is greater: z or l?
z
Let k be 44/154 - 888/(-28). Suppose 0 = -4*h - 4, 4*d = 4*h + 136. Is d at most k?
False
Let n = -2540021/15 + 169241. Let p = 527668/5535 + 2/5535. Let z = n + p. Is z greater than or equal to 2?
False
Suppose 3*j + 6 = s - 3, -5*s + 3*j = -69. Suppose -s = 2*w + w. Which is greater: -6 or w?
w
Let s = 6 + -8. Let z(g) = 2*g - 43. Let a be z(27). Is a smaller than s?
False
Let p be 2/(-219)*4/52. Which is greater: p or -1?
p
Let m be 0 - (0 - -2) - 1. Suppose -w = -2*l + 39 - 9, 2*w = 2*l - 26. Suppose -10*i - 33 = l. Which is smaller: i or m?
i
Suppose -3*t - 4*h - 1434 = 0, -1836 = 3*t - 2*h - 402. Is t greater than -478?
False
Let w = 7 - 9. Let x = -731 - -760. Which is smaller: x or w?
w
Let j be (-176920)/(-1058640) + (-1)/6. Which is bigger: j or -1?
j
Let f(t) = 0*t**2 + 7*t - 3 - 23*t - 7 - t**2. Let d be f(-15). Is d less than 6?
True
Let g = 221 + -214. Is g at least as big as -3?
True
Let f = 2492 + -2492. Let q = -0.1 + -0.4. Which is bigger: f or q?
f
Let c be (-463)/(-30)*(-10 - -3). Let x = 108 + c. Which is smaller: -2 or x?
-2
Let w = -3029/120 + 126/5. Let o = -19 + 18. Do w and o have different values?
True
Let r = 2 - 1. Let b be ((-6)/(-4))/(r/4). Let q be (41 + -44)*(-7)/3. Is q at most b?
False
Suppose 22*j = 20*j. Is -4/281 bigger than j?
False
Let v = -85304/5 - -17132. Which is smaller: 70 or v?
70
Suppose 0 = -7*s + 4*s. Let n = 3 + s. Suppose -j = 2*t - n - 1, 5*j + 4 = 2*t. Is 3/5 at least t?
False
Let y = -496 + 571. Which is smaller: y or 78?
y
Let s = 1867 - 1973. Is 1/5 equal to s?
False
Let f = 16/5 - 741/230. Let j(x) = x**3 + 11*x**2 - 11*x + 13. Let g be j(-12). Which is smaller: g or f?
f
Let b = -0.87 + -0.13. Let z = 10891/3405 + 1/681. Which is bigger: z or b?
z
Let k be 2/13 - (-825)/(-39). Let q be -1*1/k*2/10. Is q > -1?
True
Let s be 1/4 - (-20)/(-16). Let o(i) = i**3 - 11*i**2 - 26*i - 3. Let w be o(13). Which is greater: s or w?
s
Let r = 631 + -684. Is 3 > r?
True
Let h(v) = 3*v - 6. Suppose p - 4*p = -12. Let c be h(p). Suppose -c*t + 3*t + 3 = 0. Which is smaller: 7/3 or t?
t
Let y(t) = -t**3 + 18*t**2 - 67*t + 27. Let u be y(13). Which is smaller: 54/53 or u?
u
Let l = 1378 - 73036/53. Which is bigger: 1.6 or l?
1.6
Let k(d) = -7*d**2 - 51*d + 6. Let u be k(-8). Is u > -67/2?
False
Let m be -1 - -1 - (-6)/2. Let l be (-77)/(-22)*54/21. Suppose -m + l = 3*h. Which is smaller: -2 or h?
-2
Let r = 0.27 - 0.1. Let d = -0.77 + r. Is d at most as big as 1?
True
Suppose -7*z = -3*p - 3*z - 3, 3 = -3*p + 5*z. Let f = 4 + 14. Let h be (2/(-14))/(6/f). Is p >= h?
False
Suppose -5*r - 4*n - 8 = 0, -4*r + 0*n - n = 13. Let p be (r - -3)/(3/(-18)). Which is smaller: 7 or p?
p
Let h = 436 + -196. Let x be (78/h)/(-13) - 0. Is x equal to 0?
False
Let b = 507/4 - 126. Let c(t) = t**3 + 8*t**2 + 7*t + 8. Let n be c(-7). Let x = -6 + n. Which is smaller: x or b?
b
Let l(h) = h**2 + h - 1. Let w be l(-1). Let y be w/(-1)*(-2 + -5)*-1. Is y != 7?
False
Let z be 