 + 3*w - 17 = -2, 15 = 5*h - 2*w. Suppose -h*q - 15 + 3 = 0. Let a be (1/q)/(642/24). Which is greater: a or 0?
0
Suppose x - 5*n - 15 = -n, -5*x + 29 = 3*n. Let v be (-175)/(-50)*(-1 - 20/x). Which is bigger: v or -14?
v
Let w = -405254/3 - -135084. Let q be (-3)/90 - 0/1. Is w at most q?
True
Suppose -264 + 32 = 2*o. Let w(a) = -7*a**2 - 354*a + 1830. Let g be w(5). Is g not equal to o?
True
Let v be -3 - ((-9)/3 + 0). Let k be ((-16)/(-2460))/((-10)/(-25)). Let p = k - -25/984. Is p at least as big as v?
True
Suppose 9*r = 1189 - 1009. Let x(o) = 4*o + 20. Let y be x(4). Is y at least as big as r?
True
Let x be 11/((-847)/14) - (-53612)/(-9207) - -6. Is x smaller than 1?
True
Suppose 31*z = -2005 - 3171 + 650. Does -1912/13 = z?
False
Let l = 82 + -87. Suppose 17 = 2*b - 1. Suppose 0 = -b*m + 4*m - 25. Is l less than m?
False
Let c be 2 + 71/(-5) + -2 + 2. Let d = -207/10 - c. Which is bigger: d or -18?
d
Let a be (-38 - -46) + (-516)/1. Let f = -1013/2 - a. Which is greater: f or -1?
f
Let x = 0.058 - -0.372. Let b = x + -6.03. Let m = b + 9.6. Is m at least as big as -6?
True
Suppose 0 = -27*n - 69 - 444. Is n smaller than -25?
False
Let o be (-16)/60*-5 - 35/(-21). Suppose -2*x + 10 = o*a + 5, 5*x = -3*a + 17. Which is bigger: 4/149 or a?
4/149
Suppose 20*c + 15819 = -17061. Which is smaller: c or -4936/3?
-4936/3
Let k = -21922 + 13916. Does -8006 = k?
True
Let v = -1767 + 1762. Let a = 2.03 - 0.03. Let y = 5 - a. Which is smaller: y or v?
v
Suppose -30 = -2*l - 8. Let r = 3.77 - 728.77. Let k = -727 - r. Which is bigger: k or l?
l
Let l = 10 - 28. Let f be (-34)/l + (-1 - 2) - 0. Suppose 0 - 4 = 4*a. Is f less than or equal to a?
True
Let c be (-28)/(-182) + 11/13. Let d = -15079/4 - -9032313/2396. Is d smaller than c?
True
Suppose -3*w - 2*w = 0. Let o = 7916 - 767864/97. Let h = o - 210/3007. Which is greater: w or h?
w
Let x be ((-1480)/(-60))/(94/(-30) - (-9)/3). Is -188 greater than x?
False
Let r = 253 - 254.38. Let g = -1.08 - r. Which is smaller: g or -9?
-9
Suppose -32 - 98 = -13*b. Suppose -b = -8*f + 14. Suppose 2*q + f*q = 10*q. Does -7/15 = q?
False
Suppose 4 = 5*j - 16. Let d be j - 268/33 - 2/(-3). Is -2 equal to d?
False
Let l be 6/(-5)*(-140)/(-84). Does 4605 = l?
False
Let s = -982 + 1397. Let n be (6/s)/(81/(-11610)) - -2. Which is greater: n or -1?
n
Let d(y) = -7*y - 47. Let k be d(-7). Suppose 4*h - 6*h + k = 0. Let q be (1 + -1 - 1)*(-25)/55. Which is smaller: h or q?
q
Suppose -5*p - 178*t = -182*t - 16, 2*t + 8 = -p. Let m be ((-86)/6)/(1/(-3)). Suppose 187 - m = 3*d + 4*l, -4*d - 2*l + 202 = p. Is d <= 52?
True
Suppose 2*p - 4*d + 2 = 0, 5*p - 16*d - 9 = -13*d. Let z be p + 238/21 - (-1)/(-3). Is 198/13 at least z?
True
Let u = 808/161 + -4687/966. Let z be (-139)/213 + (-2)/(-3). Which is greater: z or u?
u
Let h = -23681.4488 - -23691. Let w = h - -0.0088. Let a = -0.44 - w. Which is smaller: 0.2 or a?
a
Let u = 11/21 + -6/7. Let q = -137 + 415. Let c = 303 - q. Which is smaller: c or u?
u
Let o = 337 - 284. Let z = 0.046 - 41.046. Let m = o + z. Which is greater: m or 0.1?
m
Let g be (12/(-9) + 2)/((-40)/60). Let h be (13/299)/(-42 - -1). Let l = h - -998/51865. Which is bigger: l or g?
l
Let n be ((-11)/(-44))/((-1)/(-16)). Suppose 4*r - 103 = -3*u, r = -3*r + n*u + 96. Which is smaller: r or 26?
r
Let r be (-3 - 1528/(-510))/((-27)/54). Let d(v) = v**2 - 4*v + 1. Let n be d(4). Does n = r?
False
Let p = -321250873/3525 - -91135. Which is greater: -1 or p?
p
Let z(v) = 7*v - 27. Let y be z(37). Let c = 233 - y. Which is smaller: c or -3?
-3
Let v = -235/1353026 - 1/73253. Which is bigger: v or -1?
v
Let n be (-11)/((-154)/4) + (-285)/(-7). Suppose 46*q - 365 = n*q. Does -2 = q?
False
Let t = -264321 + 12952365/49. Which is smaller: 14 or t?
t
Suppose 3*n + 4*r + 1 = -2*n, 0 = 3*n - 3*r - 21. Let j be n/(-42)*46 - -3. Let g = 1372 + -20582/15. Which is smaller: g or j?
j
Suppose -b = 2*z + 5, 2*b - 4*z - 14 = -0. Suppose 2 - b = -i. Let a = -3511/12914 + -1/1174. Which is greater: a or i?
a
Let j = -96/809 - -139409/22652. Let q = j + -23/4. Suppose 0 = 3*i + 29 + 40. Which is smaller: q or i?
i
Let z = 353 + -351. Suppose 2*u - 39 = f, 183 = -7*f + 2*f - z*u. Does -0.5 = f?
False
Let o(i) = i + 2*i**2 + 196 - 168 - 4*i**2. Let m be o(-4). Is -8 less than m?
False
Let t(y) = y**2 + 20*y - 47. Let j be t(3). Let d be j/(-66) - (-8)/6. Is 0.149 less than d?
True
Let l be -1*-4*((-22)/24 - (-1)/6). Let i = -6 + 24. Which is smaller: i or l?
l
Suppose -n = -b - 14259, 3*n + 6*b = 4*b + 42762. Is n at least 14256?
True
Let j be (-52)/(-130)*(-80)/22. Let f = j - 67/22. Is -0.1 greater than f?
True
Let i = 281769 - 281930. Suppose 0 = 3*v - 4*v + 5*w - 138, 5*w + 188 = -v. Is i bigger than v?
True
Let o = -32043/102082547 - 2/37489. Is o smaller than 0?
True
Let r = -0.01456 + 1.17456. Is -12 < r?
True
Suppose -5*r = -2422*f + 2417*f + 745, 0 = -4*r - 5*f - 632. Which is bigger: r or 48?
48
Let f = 67 - 77. Let u be 3*1/186*(-18)/f. Let s = u + 493/25730. Which is bigger: -1 or s?
s
Let x be (-1)/(3/291)*-1. Let h(f) = f**2 + 54*f + 343. Let v be h(-49). Which is bigger: x or v?
v
Let p be -108 - (-54144)/504 - (1 + (-37243)/(-7)). Is p less than 0.1?
True
Let p(d) = -d**3 + 176*d**2 + 1282*d + 8. Let u be p(-7). Is 2/4181 greater than or equal to u?
False
Let n = -434.009 - 2.391. Let u = -436 - n. Which is bigger: -4.2 or u?
u
Suppose 5*b - 5 = 4*b. Suppose b + 14 = -a - 5*o, -2*a = -4*o - 18. Let m = 251 + -249. Which is smaller: m or a?
a
Suppose 24903 + 38038 - 8206 = 205*u. Do 265 and u have the same value?
False
Let o = 47922872533/6289040625 + -2/19115625. Let t = 52/7 - o. Do t and -1 have different values?
True
Let h = 11984 - 17778. Is h less than -5792?
True
Let u = 7968.9 - 7969. Which is smaller: u or 1/6755?
u
Let d be (2/6)/((-2)/12). Let s = 23 - 7. Let q be (-24)/(-80)*s/(-3). Which is bigger: d or q?
q
Let i = 1791 - 1791. Is -5921 less than or equal to i?
True
Suppose 72 = -7*f + 43*f. Let g be 7 + (f - -51)*-5. Is g smaller than -257?
True
Let t = -3626 - -4977. Which is smaller: t or 1352?
t
Let n = 644 + -148. Let y = n - 630. Is y not equal to 1/3?
True
Suppose -2905 = 5*w - 3*y - 709, 1306 = -3*w - 4*y. Are w and -439 equal?
False
Let a = -3.3918 + 0.3918. Which is smaller: 186 or a?
a
Let n = -15948 + 15947. Are -157 and n non-equal?
True
Suppose -10490 = -10518*n + 10513*n. Which is smaller: 2100 or n?
n
Let i = 717 - 718. Let z be 14/(-21)*i*(-18)/21. Is -19 less than z?
True
Let k = -810 + -2194. Which is smaller: k or -3002?
k
Suppose -v - 2*o - 8676 = 0, 5*v + 1553*o - 1557*o + 43366 = 0. Are -8673 and v equal?
False
Let x = 3.04 + -0.04. Let u(m) be the third derivative of -m**6/120 - m**5/12 + 17*m**4/24 + 23*m**3/6 - 5*m**2 - 1. Let z be u(-7). Is x bigger than z?
True
Let b = 179 + -178. Let i(r) = r**3 - 7*r**2 + 3*r + 2. Let w be (-12)/15*(-15)/2. Let j be i(w). Which is smaller: b or j?
j
Suppose -15 - 15 = -6*p. Suppose 16 = p*r + 1. Suppose 0*b - 3*t = -r*b - 72, 3*b + 2*t + 97 = 0. Is b > -28?
False
Let j = -2522 - -27112/11. Which is greater: -57 or j?
-57
Let u be -117*(-28)/15477 - (-22)/(-121). Is u smaller than 108?
True
Let b = -21 - -52. Let f = b + -114. Let y = 86 + f. Which is smaller: -6 or y?
-6
Let a be -1 - ((-26402)/387 + (-2)/(-9)). Suppose k - 203 = 3*w, -4*k - 11 = 4*w + 249. Let m = w + a. Which is bigger: m or 2/117?
2/117
Let f = 218 + -216. Suppose 0 = -4*t + v - 3, f*t + v + 5 = 2. Which is smaller: -11 or t?
-11
Let x(s) be the first derivative of s**2 + 24*s + 38. Let l be x(-9). Which is greater: l or 24/5?
l
Let u = -2/77 - 100/2079. Let t = 1243645/9 + -138540. Let q = t - -357. Is q greater than u?
False
Let w = -1133599/154 + 7361. Is w smaller than 1?
True
Let q = 381.52 - 381.3. Let d = 0.02 - 0.02. Which is smaller: d or q?
d
Let i = -8211 - -8210.9. Which is smaller: -0.4473 or i?
-0.4473
Suppose 2*q = 4*q + 4*f - 332, -493 = -3*q - 5*f. Suppose 161*v - 80 = q*v. Is v less than or equal to 5?
False
Let t(k) = -7*k**3 + 6*k**2 - 6*k + 7. Let c(i) = -16*i**3 + 12*i**2 - 11*i + 12. Let w(f) = -3*c(f) + 7*t(f). Let h be w(5). Is -6 smaller than h?
False
Let a(t) = -6*t + 96. Let h be a(15). Let c be -1*(-34)/(-6) - (h - 11). Is c less tha