. Which is greater: v or -326?
-326
Let y = 28787 + -53054. Are y and -24267 equal?
True
Let g be ((-108)/(-824))/((-63)/(-840)). Which is smaller: 3 or g?
g
Suppose -3*i = 4*z - 3, z + 0*z + 4 = 4*i. Let c be 700/(-420)*-2*3/296. Which is smaller: c or z?
z
Suppose -12 = 7*b + 2. Let n(g) = -10*g**2 + 5*g + 5. Let u be n(b). Is u <= -40?
True
Suppose 0 = -289*x + 295*x - 6. Let c = 1846 + -776. Let u be ((-2)/5)/(c/(-50)). Is x < u?
False
Suppose -62*y = -51*y - 30*y - 19. Are -1172 and y unequal?
True
Let u = -1387 - -932. Let c = -542 - u. Is -84 smaller than c?
False
Let x(p) = 125*p**2 + 27*p + 27. Let t = -4 + 3. Let s be x(t). Which is smaller: s or 127?
s
Suppose -108*i - 12072 = 177252. Are -1753 and i nonequal?
False
Let t be ((-2185 - -13) + 3)*((-10)/3 - -1). Is t less than 5059?
False
Suppose -2*c = -5*c, 0 = 5*b - 10*c - 5. Which is bigger: b or 1/18716?
b
Let v = -42/23 + -445/46. Let m be ((-198)/(-12))/(18/12). Let y = v + m. Which is smaller: 26 or y?
y
Suppose -43*j + 44*j = 1. Let l be (1 - j) + (-19)/(342/4). Let z be (-3)/(-9)*3/26. Which is smaller: z or l?
l
Suppose -2*w = -5*x + 16, -3*x - 18 = -6*x + 4*w. Let v be (-5)/((x + -7)/10). Suppose -95 - 35 = v*k. Which is smaller: -41/3 or k?
-41/3
Let b(v) = -2*v + 9. Let h(l) = -l + 5. Let a(q) = 6*b(q) - 11*h(q). Let m be (-6)/18*3*-5. Let z be a(m). Which is smaller: 0 or z?
z
Suppose 3774 + 9423 = -3*n - 3*f, 0 = 4*n + 2*f + 17602. Which is bigger: n or -4401?
-4401
Suppose 0 = l - 10*f + 12*f - 12, 2*f + 4 = 3*l. Let p be (126/27)/(l/(-354)). Is -414 at least p?
False
Let s = -1.23 + 1.1. Let l be (-20)/22*(22 - 5772/260). Do s and l have the same value?
False
Let h = 51.4 - -47.8. Let o = 101 - h. Which is smaller: o or -4?
-4
Let w(n) = -9*n**2 + 10*n - 23. Let s be w(-6). Let i = s + 76. Which is smaller: -330 or i?
i
Suppose -5*m - 20 = -2*q, -6*q - 20 = -8*q + m. Let x be (30/(-4) - 0)*q/(-15). Suppose -x*o = -4*o - 1. Which is bigger: o or 18/11?
18/11
Suppose 8 = -6*m + 32. Suppose 2*j - 14 = -m*o, 3*j + 12 = o + 4*o. Is -2/55 > j?
False
Let i be (-1 + 16)*1/3. Suppose 2*y - 7*y + 4*l = -36, i*y - 32 = 3*l. Suppose y*p + 6 = q - 10, -3*p + 5*q = 29. Which is smaller: p or -19/6?
-19/6
Suppose -38*i - 1338 = -44*i. Suppose 7*m = 5088 - i. Let p be -3 - -1 - -12*115/m. Do p and -1 have the same value?
False
Let z be 1/((-2)/96*-2). Let c be -4 - (9 - (14 + 9)). Let a be z/c - (-4)/(-10). Is -11 less than or equal to a?
True
Let t be (-4)/26 - (-1632)/(-1053). Let i(l) = -5*l**2 + 817*l - 1933. Let k be i(161). Is k not equal to t?
True
Let k = 60.79 + -58.69. Which is smaller: k or 12.1?
k
Let w be 127 + -124 + (-984)/(-1722) + ((-131)/(-28) - 1). Let u = -6.1 - -0.1. Are w and u non-equal?
True
Let h = 132 + -42. Let x be ((-6)/(-5))/(3/h*-39). Is x not equal to 0?
True
Suppose -666 = -59*m + 160. Suppose j + 60 = 5*a - m, 4*a = 4*j + 72. Which is greater: 20 or a?
20
Let d be 42988/(-816) + (-2 - (-25)/20). Let x = 370/17 + d. Let r(h) = -7*h + 9. Let v be r(6). Is v at most x?
True
Suppose 4*u - 6123 = -3*o + 21390, 4*u + 45919 = 5*o. Are 9179 and o equal?
True
Let l(u) = -u**3 + 9*u**2 + 8*u + 19. Let h be l(9). Suppose -17*a = -4*a - h. Let x(s) = 2*s - 19. Let r be x(a). Which is smaller: -6 or r?
-6
Let a(h) = -h**2 - 4*h + 223. Let l be a(13). Suppose 0 = 20*f - 16*f - 4*o - 128, 3*o - 59 = -l*f. Let p(w) = 5*w + 1. Let g be p(6). Is f < g?
False
Let u = 5345 + -2640427/494. Let s = u + -635/23218. Let z be 7/(-28)*2*(1 + -1). Are s and z unequal?
True
Let g = -0.724 + 0.271. Let j = g + 0.553. Is j != -344?
True
Let x = -56 + 51. Let w = x + 7. Is -77 > w?
False
Let h = -18318 - -91582/5. Are h and -44/59 unequal?
True
Suppose 0 = 2*x - x + b + 33, -3*x - b = 99. Let f(v) = 2*v**3 + 8*v**2 + 15*v - 1. Let z be f(-3). Let n = z - x. Which is smaller: n or 7?
n
Let f(t) = -140*t - 106. Let h be f(0). Which is greater: h or -111?
h
Suppose 4 = 4*b + 12, -x = -b - 6. Suppose 13 = 2*t + 3*k + 240, 0 = x*k - 20. Let v = t + 616/5. Which is bigger: 3 or v?
3
Let w = 130986659/3217620 - 5740/141. Which is smaller: 1 or w?
w
Let q be 2/((-8)/(-33)) + (-13)/52. Suppose -4 = -2*f + q. Let w(o) = -o**2 + 8*o - 1. Let p be w(f). Is 0.2 bigger than p?
False
Suppose -34 = 5*k + 2*r - 392, k + 5*r - 67 = 0. Let h be 3/(-2)*(562/k + -8). Which is bigger: h or 1?
1
Suppose 1016*n - 1020*n + x = 4, -3*n - 3*x + 12 = 0. Which is smaller: -3/25577 or n?
-3/25577
Let v be 4/6*(-2 - 1). Let c be (-2 - v)/(6/3). Suppose -12*h - 2 - 10 = c. Which is smaller: -6/43 or h?
h
Let l be (122 - -1)*((-38)/95)/((-24)/(-1660)). Which is greater: -3404 or l?
l
Let g be 8993 - -1*(1 - (-3 - -2)). Let d be g/105*(-6)/2. Which is smaller: -256 or d?
d
Suppose 5*w = 4*w + 5*q + 587, -2*q = 3*w - 1795. Let z = w - 598. Is z at most as big as 137?
True
Let z(a) be the first derivative of 3*a**3 - 57*a**2/2 + 19*a - 115. Let i be z(6). Let t = -176/1855 - -2/53. Which is smaller: t or i?
t
Let z = 463.9 + -466. Let d = -10.1 - z. Is 24 bigger than d?
True
Suppose 5*b = 5*h + 30, 5*b + 6*h = 3*h + 22. Suppose 151 + 1289 = -9*w. Let i = -150 - w. Which is smaller: i or b?
b
Suppose 0 = -4*x + 2*a - 2, 0 = -3*x + 5*a - 28 + 9. Let r be (1/(-1))/(x/(-38)). Suppose -5*j + 2 = -4*f - r, 5*j - 2*f = 23. Is 13/3 >= j?
False
Suppose 5*f = -l + 2*l + 18, 2*l + 3*f = 29. Let b be (3 - l)/4 + 5. Suppose 3*p + 9 = -b*x, 3*x + 1 = p + 4. Is 2/31 >= x?
True
Let k = 10011492501029/3987048562 + -14/122052507. Let t = -2511 + k. Is t at most as big as 1?
True
Let d = 9121/30 - 304. Let f(g) = g - 1. Let c(n) = n**2 - n. Let k(w) = c(w) - 2*f(w). Let j be k(2). Which is smaller: j or d?
j
Let q(s) = -2*s**2 + 4*s - 3. Let h be q(4). Let x = -9 - h. Let l be 5/(x/4) - -21. Is l equal to 23?
True
Let r = 146 - -9692. Which is smaller: r or 0.1?
0.1
Let g = 772 + -773. Is 4531 at most as big as g?
False
Suppose 0 = 2*q - 8. Let p = -67255/18 + 3739. Let s = p + 1/18. Is s not equal to q?
True
Let a = 61059 + -61056. Let m = 188/7 + -4044/161. Is a < m?
False
Let k(f) = -7*f - 81 + 29*f + 72 + 273. Let c be k(-12). Which is greater: -2/31 or c?
c
Let f = -465 + 480. Suppose -427*j - f = -422*j. Let d be (2/(-4))/(2/17). Is j smaller than d?
False
Let m = -177 + 319. Suppose -8*b - 210 = m. Is -43 less than b?
False
Let v = 11.23768 + -0.23768. Is -12 >= v?
False
Let k = -13 - -15. Let u be (6 - (-32)/(-12))/(1/3). Let s be (-4 - -1) + (u - (0 - -3)). Which is greater: s or k?
s
Let q be 22 + (-63)/(-9) - -8. Suppose -2*t + 3*t - 37 = 0. Let r = t - q. Is r at least -1/8?
True
Let u = -6724 + 5149. Do -1/3 and u have different values?
True
Let w be ((-1)/2)/((-10)/(-500)). Let j = -8 - w. Suppose y + 4 - j = 0. Is 13 less than y?
False
Let g = 18100 - 17395. Which is greater: g or 0?
g
Let z(l) = -l**3 + 53*l**2 - 25*l - 1741. Let d be z(52). Is d < -336?
True
Let c = 7042 + -7056.3. Let o = 73 - 73.1. Is c at most as big as o?
True
Let r = -584 - -584. Suppose 6*m - 11*m - 1890 = r. Do -378 and m have the same value?
True
Let f = -1756 + 17581/10. Let t = -5/2 + f. Suppose 214 = -6*r + 208. Which is smaller: r or t?
r
Suppose r - 3 = -5*l, -r + l - 2 = 1. Suppose 5 = -8*z + 9*z. Suppose -5*n - o + 33 = 0, -2*n + o - 19 = -z*n. Which is bigger: r or n?
n
Let d(j) = 79*j - 473. Let c be d(6). Is 1/2444 at most as big as c?
True
Let d be -205 + 2 + -2 - (-3 - 0). Let y = d - -203. Which is smaller: -1/11 or y?
-1/11
Let w = 241.369 - 0.369. Let l = 224 - w. Do l and -0.2 have different values?
True
Suppose -2*m - 2*x - 4 = -m, -2*m - 7 = 5*x. Let b = -187 + 212. Suppose -q = -5*z + b, 5*q + 0*q + 37 = 3*z. Are m and q non-equal?
True
Let p be 0 - 2*6/(-4). Let a(d) = -d - 19. Let z be a(p). Let m(l) = -l**2 - 7*l + 7. Let n be m(-10). Which is smaller: n or z?
n
Let k be ((-116)/8 - 6)*8*(-1)/(-4). Are k and -924/23 unequal?
True
Let p be ((-2)/(-7) - 3784/602) + (-2240)/(-375). Is p bigger than 208?
False
Suppose -2*g - 4*g = -18. Suppose -a + g*u - 1 = 0, -a = -9*u + 4*u + 5. Suppose -129 = -2*s - 3*y, 4*s - 2*s - 121 = a*y. Which is smaller: 62 or s?
62
Suppose 0 = 2*x - x - 4. Let j(c) = -c + 3. Let a(n) = n - 2. Let u(p) = -2*a(p) - 5*j(p). Let z be u(x). Which is smaller: z or 4/5?
4/5
Suppose 56*g - 120*g = 9