 + 10*v - 5*m + 175 = 0, -424 = 5*v + m. Suppose -2*o = -o - 99. Let y = o + v. Which is smaller: y or 1?
1
Let z = -17678/3 + 5842. Let n = z + 4253/84. Which is smaller: -1 or n?
-1
Suppose 0 = 5*h - 2*l - 2223, 2*h + 30*l - 893 = 27*l. Suppose w - 885 = -2*p, -8*p + 4*p + 4*w = -1788. Which is bigger: p or h?
h
Suppose -5023 + 16498 = 15*x. Which is greater: -0.2 or x?
x
Suppose 0 = 2*f + 5*u + 70, 0*u = 2*f - 2*u + 98. Let x(m) = -m**3 - 7*m**2 - 80*m - 489. Let r be x(-6). Is f != r?
False
Let i be 126/72 - (-3)/12. Let l be i*(11 + -8 + (-17)/2). Which is bigger: -18 or l?
l
Let i be (((-7)/(-112))/(195/(-60)))/((-6)/(-64)). Suppose -4*x = 4*m + 4, 5*m = 3*x - 10 - 3. Is i bigger than x?
False
Let b = 46.868 - 6029.868. Is b >= 1?
False
Suppose v + v + 125 = -5*d, -4*v = -4*d - 100. Let u(n) = -111*n - 360. Let x be u(-3). Are x and d nonequal?
True
Let a be (6/188)/(2*(-13149)/72). Which is bigger: 0 or a?
0
Suppose 15*a = 10028 + 5752. Is a > 1053?
False
Let k = -3909 - -3910. Which is bigger: 2/635 or k?
k
Let b = -0.3773 - -0.2773. Which is smaller: -1.0349 or b?
-1.0349
Suppose 4*s - 50 = -2*p, -4*s - s + 3*p + 46 = 0. Suppose 5*u + 13 = m - 4*m, m - 5*u + s = 0. Let n be m/14 + (-10)/(840/153). Is n at most as big as 2?
True
Let m = -24841 - -21620. Which is bigger: m or -3224?
m
Let y(w) = -3*w**2 + 30*w - 47. Let b be y(8). Let u be 1*(9/(-9627) - 0). Let l = u + 7069/696353. Which is bigger: l or b?
b
Let k be (-39210*(-6)/48)/(61/(-20)). Let h = k + 1607. Suppose -2*p = -3*i + 15, -6*p + p + 5*i = 25. Which is greater: h or p?
h
Let n = -12077975/479 - -25215. Which is bigger: 0 or n?
n
Let y = -49/93 - -6/31. Suppose -16*d = 530 + 3214. Do d and y have different values?
True
Suppose -138*t = -137*t + 4*a - 1, -2 = -2*t - a. Is -10998 bigger than t?
False
Suppose -2*h = -2*y + y - 138, 2*h - 6 = 0. Let t = y - -134. Suppose 2*o = -t*c + 36, -o - o + 21 = c. Which is smaller: c or 8?
8
Let u(j) be the first derivative of -2*j**3/3 + 33*j**2/2 + 36*j - 94. Let h be u(17). Which is smaller: 18 or h?
18
Let n = 12/2207 + -11099/1635387. Let z = 74 - 75. Is n less than or equal to z?
False
Let i = 11 - 5. Let z be 6/8 + (-1206)/(-24) + i. Let q be 175/z - (4 - 3)*3. Is 0 at most q?
True
Let g be ((-126)/(-33) + -4)*626/(-12). Let n = -784 - -2323/3. Let a = g + n. Are a and 0 non-equal?
True
Suppose -5*w - 18 = -5*h + 37, 3*w - 5*h + 43 = 0. Suppose -22 = 5*y + 33. Let j = w - y. Is j less than or equal to 4?
False
Let d be (18/128)/((-24)/(-16)). Suppose -2*y - 2*y = -328. Let n = 82 - y. Do d and n have different values?
True
Let b(g) = g**3 + 4*g**2 - 3. Suppose 5*t = 5*p + 5, -25 = -2*p + 7*p + 5*t. Let r be b(p). Let c be r*(-1)/4 + (-158)/(-36). Which is greater: 2 or c?
c
Let m = -125 + -205. Let v = m + 331. Let z be ((-2)/(-8))/(30/4). Which is bigger: v or z?
v
Suppose 0 = 28*m - 6248 + 23748. Which is bigger: m or -601?
-601
Suppose -198 = -5*a - 543. Does a = -73?
False
Let z = 1102 + -1099. Is -216 bigger than z?
False
Let j = 1273 - 1290.61. Let p = -17.6 - j. Which is greater: 0.1 or p?
0.1
Let t be 9/(-60)*(-5390)/(-528). Is t > -3?
True
Let i be -3 + 9/((-27)/(-21)) + 108. Suppose -5*q + 1 + 9 = 0. Suppose -i = -q*w + 4*w. Is -58 < w?
True
Suppose 5*j + 4*n + 148 - 50 = 0, -5*j - 82 = -4*n. Let b be ((-8)/10)/(352/(-40) - -9). Which is smaller: j or b?
j
Let l = 2489 + -2488. Which is smaller: l or 1061?
l
Suppose -6*u + 9*v + 642 = -u, -4*u - 3*v + 534 = 0. Are u and 9/10 equal?
False
Let a = 33257873/11578 - 34/5789. Which is smaller: -0.2 or a?
-0.2
Let q = 0.25 + -0.05. Let w = q + -0.2. Let t = -493 + 3943/8. Are t and w unequal?
True
Let r = -2723 - -2724. Is r not equal to -2239?
True
Let t = -11 + 15. Let d = -726 + 700. Let f be d/(-143) - 113/(-44). Which is greater: t or f?
t
Let x be 118/(-236) - (-11)/(-2). Let v(z) = z**3 + 8*z**2 + 12*z. Let t be v(x). Which is greater: t or -5/14?
t
Let r be (-3)/((-1)/((-4)/(-6))). Suppose b + 5*v = r*v - 12, 3*v + 66 = -4*b. Suppose -131*h = -303*h - 3268. Is b less than h?
False
Suppose 2 + 3 = z + 2*k, z = 5*k + 5. Suppose -z*v = -4*q + q - 321, 2*q + v = -227. Is q <= -112?
True
Let n = 3114 - 5107. Which is bigger: n or -1992?
-1992
Let c = 14.7 + -4.2. Let v = c + -10.48. Let t = v - 0.12. Which is smaller: -1/8 or t?
-1/8
Let o = -3135 + 3542. Are o and -2 equal?
False
Suppose -2*y + 78 = 2*c, 4*y - c - 153 = -2*c. Suppose -y*b = -29*b + 1431. Which is greater: b or -160?
b
Let z = -10637 + 425471/40. Is 0 < z?
False
Suppose 259 = -2*v - 5*f - 21, 2*v + 280 = 5*f. Is v at most -139?
True
Let t = -0.31 - 374.69. Are 0.2 and t equal?
False
Suppose 0*s + 127 = 3*i - 2*s, -s = 3*i - 112. Let c = -38 + i. Let g be ((-6)/(-38))/(3 + (-5)/c). Which is greater: g or 1?
1
Let y be 2/8 - (-300)/80. Suppose 0*k - y*v - 6 = -2*k, -4*v = -4*k. Is k bigger than 26?
False
Let r = -3/1663 - 4830/88139. Let y = -262 + 270. Suppose -10*z = -y*z. Which is smaller: z or r?
r
Suppose 144*z + 0 + 2875 = 427. Which is smaller: 1/6 or z?
z
Suppose -8 = a + 2*o, 4 = 4*a - 0*a - 4*o. Let v(s) = -65 - 3*s**2 + 64 + s + 7*s**2 - 3*s. Let u be v(a). Is u less than 18?
False
Let t(m) = 4*m - 1. Suppose 4*c - 14 = 3*u + 1, -2*c - 25 = 5*u. Let j be c + (-8)/52 + (-8)/(-52). Let x be t(j). Which is smaller: x or 9?
x
Let r(y) = -5*y**2 - 3*y + 10. Let s(x) = -x**3 + 11*x**2 + 6*x - 21. Let c(u) = -7*r(u) - 3*s(u). Let h be c(-5). Which is greater: -348 or h?
h
Let a be (((-8)/(-6))/4)/(2/2454). Let g = 1796 - 1388. Is g at least as big as a?
False
Suppose -7 = -8*m + 9. Suppose -5*l + 0*a - 185 = a, 5*l = -m*a - 185. Let v = 37 + l. Is v bigger than -3/4?
True
Suppose -5*h + 47 - 22 = 0, 4*h - 25 = -5*k. Is 1/761 > k?
False
Let z = 69 + -4. Let t = -180 + z. Let u = 127 + t. Is u at least as big as 0?
True
Suppose -8*m = 42*m + 17083 + 12467. Are -594 and m equal?
False
Let h(s) = -6 + 1 - 9*s + 15*s + 2. Let v = -29 + 30. Let p be h(v). Are p and 2 nonequal?
True
Let b = -3.133 + 3.243. Which is greater: 1.321 or b?
1.321
Let n(s) = -14*s**2 + 327*s - 113. Let x be n(17). Which is smaller: 1406 or x?
x
Let g(x) = -47*x + 1412. Let s be g(36). Are s and -287 equal?
False
Suppose -3*j - 66 + 34 = -2*v, -11*v = -j - 21. Let x be (3/9)/(38/4). Is v greater than x?
True
Let j(b) = -4*b**2 + 40*b - 44. Let a be j(8). Let u be ((-30)/a)/((-2)/44). Let r(o) = -o**3 + 6*o**2 + 2*o - 3. Let l be r(5). Is u equal to l?
False
Let b be (-2 - (-2)/4) + 1 - 17612/(-35056). Which is greater: b or 0?
b
Let i = -67 - -99. Let j = -3.42 - -35.82. Let d = i - j. Which is smaller: 2 or d?
d
Let p(h) = -h**3 + 4*h**2 - 3*h + 5. Let m be p(4). Let l(j) = -15*j**2 - 2*j + 2. Let u be l(1). Let t be (-1 - u)/(0 - 2). Are m and t equal?
True
Let a be ((-132)/342 - (-2)/38) + 278/738. Does a = 1?
False
Let t(o) = 2*o - 5. Let p be t(4). Let w(i) = 32*i**2 + 1796*i + 180. Let z be w(-56). Which is bigger: p or z?
p
Let c = -1623 - -991. Let t = c + 3076/5. Which is smaller: -18 or t?
-18
Let j = -29.072 - -0.072. Let k = 31.4 + j. Let x = 443 + -443. Which is bigger: k or x?
k
Suppose -374*v - 539 = -165. Which is smaller: v or 6/553?
v
Let z(v) = -1932*v**2 - 4*v**3 + 26*v + 1918*v**2 - 1 + 5*v**3. Let a be z(12). Is 68/3 at most as big as a?
True
Let b = -1042.79 - -1054. Let i = -53 + 52.79. Let g = b + i. Is g at least as big as -2/9?
True
Let p(v) = 51*v**2 + 8*v + 2. Let l be p(-2). Suppose l = y + 3*h, 2*y + 5*h + 570 = 5*y. Let t be 16/(-24) - y/(-6). Is 30 != t?
True
Let t = -614.6 + 610.6. Let k = 2.6 + 0.6. Which is smaller: t or k?
t
Suppose 0 = 4*j - 2*p + 105 + 1055, -5*p - 1465 = 5*j. Is -290 greater than or equal to j?
True
Let a = -44 + 69. Is 68 bigger than a?
True
Let y(k) = k**2 + 4*k - 105. Let c be y(8). Let r(b) = b**2 - 12*b - 7. Let m be r(c). Which is smaller: m or 181?
181
Let r be 7689/(-18) + (-117)/(-702). Which is bigger: r or -428?
r
Let i = -5871 + 5879. Which is smaller: 331/38 or i?
i
Suppose -53*k + 98 = -55*k. Let g = -51 - k. Does g = -8/15?
False
Let c = -5950.2 - -6043. Are c and -0.1 unequal?
True
Let z(o) = -23*o + 8 - 45*o**2 + 6*o + 35 + 44*o**2. Let x be z(-19). Suppose -x*c = s + 3*s + 26, -c - 25 = 3*s. Does s = -49/5?
False
Let j(g) = 1 - 5 + 5 - g. Let u be j(11).