194840 - 25/2411864. Let b = -3/370 + m. Are -10 and b unequal?
True
Let n = -703 - -663. Which is greater: -51 or n?
n
Let z = 9 - 7. Suppose -z*c = 1 - 15. Which is smaller: -1 or c?
-1
Let q = 3.783 + -0.083. Let t = 2 + 2. Let c = t - q. Which is smaller: 3 or c?
c
Let y(s) = -s**2 + 9*s - 12. Let t be 4/(-3)*126/(-28). Let p be y(t). Suppose 4*c = -2*b + 16, c + 6 = -b + 6*c. Do p and b have the same value?
False
Let o = -140 + 204. Suppose 3*l = 5*l + o. Which is smaller: -30 or l?
l
Let p(d) = -d**3 + 4*d**2 + 5*d + 4. Let n be p(5). Suppose -1 = -b, n*r - 3*b + 4 = 1. Let a be (-3 - 14/(-4))/(220/(-80)). Which is greater: a or r?
r
Suppose -2 = y - 0*y. Let t be (y/8*0)/1. Suppose 3*m + 3 + 0 = t. Is -1 equal to m?
True
Suppose 2*t + 51 = 3*j + 2*j, t + 2*j = -12. Which is smaller: -13 or t?
t
Suppose -5*r = 3*z - 7 - 14, -4*r = 4*z - 20. Suppose -2*i = -7 + 3. Let x be 0 + -2 + i + 0. Which is bigger: x or z?
z
Suppose -23*q = -17*q + 24. Let b = q - -42/11. Do -2 and b have the same value?
False
Let c(u) be the first derivative of -u**2 - 7*u - 10. Let r be c(-6). Let q be -15*(-1)/(r/4). Is 12 at least as big as q?
True
Let x(s) = -3*s - 6. Let r be x(3). Let a = 26 + r. Let v = a - 6. Is v greater than 4?
True
Let v be (242/50 - 5)/10. Which is smaller: -1 or v?
-1
Suppose -5*t + 5 = -5*w, w + 5*t - 32 = -3. Suppose -5 = 4*u - x, -2*x + w = 2*u - 4*u. Let j be ((-54)/72)/((-213)/(-8)). Is u greater than or equal to j?
False
Let x = 0.0038 + -5.0038. Is 0.93 <= x?
False
Suppose -d + 1 = -3*x, -2*x = -0*d + 4*d - 18. Suppose 12 = l - d*l - 3*f, 0 = l - 4*f - 21. Let a = -54361/8 + 6795. Are l and a nonequal?
True
Let i(k) = k**2 + k - 71. Let l be i(0). Let a = -71 - l. Is -1 <= a?
True
Suppose 4*f = -4 + 20. Suppose 88 = -f*c - 12. Which is greater: c or -24?
-24
Suppose h + 2*f = 5*h - 416, 4*h + 5*f - 388 = 0. Do h and 102 have the same value?
True
Let k = -45.6 + 45.5. Which is smaller: -1/70 or k?
k
Let r be -1*((10120/(-1236))/5 - -1). Let t = -3/103 - r. Is -11 bigger than t?
False
Let k(p) = p**2 + 36*p - 36. Let c be k(-37). Let j be -4 - 377/(-76) - 1. Which is bigger: j or c?
c
Suppose 5 = -q + 4*h, -2*q = -h - h + 4. Which is smaller: 1/13 or q?
q
Let t be 166/(-18) + (-2)/(-9). Let k = -747 + 739. Is k at least t?
True
Let n(k) = 10*k - k + 4*k - k**2. Let y be n(13). Which is smaller: y or 7/5?
y
Let r(z) = 3*z**2 - 2*z - 1. Let w be r(-1). Let h(p) = -p - 1. Let t(s) = -3*s. Let b(j) = 2*h(j) - t(j). Let n be b(w). Which is smaller: n or 4?
n
Suppose 0 = 4*w - m - 23, 121*m - 25 = 116*m. Let t = 4 + 0. Which is smaller: t or w?
t
Suppose -c + 46 = 43. Suppose -c*b - 51 = 3*q, -6*q = -q + 4*b + 84. Which is smaller: q or -118/7?
-118/7
Suppose 3*d - 5*d = 0. Let h be (-3 + d)/3*-2. Suppose 6*r - 3*r = 0, 4*r = -h*b - 2. Which is smaller: b or 1/5?
b
Suppose h + 2 = j, -2*j - 2*h + 10 = 3*j. Suppose -5*w = -w + j*t + 54, 10 = -w - 4*t. Which is smaller: -12 or w?
w
Let o be 347/2118*2 - (-2)/(-6). Which is bigger: -1 or o?
o
Suppose j = -3*j. Suppose 5*m - 6*m = -5. Suppose -4*t - 10 = -2*c - 2*t, -m*c = 5*t + 15. Is j less than or equal to c?
True
Let q = -7874 - -23275/3. Is q less than -115?
True
Suppose 0 = -5*u - 3*u + 24. Suppose -79 = -5*l + u*c, l - 1 = -3*c + 22. Which is smaller: 49/3 or l?
49/3
Suppose -5*m + 3*m + 236 = 2*z, 0 = 3*z + m - 362. Let v = -121 + z. Let x be (-22)/(-12) + -3 + 1. Is x != v?
True
Let q = -734 + 39635/54. Suppose y - 1 = -3*j, -23 = 15*j - 12*j - 5*y. Which is smaller: j or q?
j
Let g = 176 + -268. Let w = g + 80. Is 2 > w?
True
Let v = -4/33 + 4322/36201. Is v equal to 0?
False
Let v(a) = -2*a + 27. Let l be v(15). Let i be 94/252 + l/7. Which is smaller: 0 or i?
i
Suppose 5*n - 12 = -2*y, -4*n + 5 = -3*y + 23. Let l be y/(-4)*(3 + -1). Let x be ((-1)/(-4))/(l/6). Which is smaller: x or 0?
x
Let y be 76/24 + 2/(-12). Suppose -9 = -2*o - y*v - 38, -o - 3*v - 19 = 0. Which is smaller: o or -8?
o
Let p(w) = 6*w**3 + 6*w**2 - 14*w - 12. Let y(d) = -5*d**3 - 6*d**2 + 13*d + 12. Let u(i) = 4*p(i) + 5*y(i). Let c be u(-7). Does -2 = c?
True
Let s = 19.9 + -20.9. Which is smaller: s or 21/4?
s
Let q = -791 + 624. Which is bigger: q or -502/3?
q
Suppose 4 = -w, 3*g + 0*w + 10152 = -3*w. Let y be -3 - (9255/g + 1/(-4)). Is y >= 0?
False
Let w = 114 - 108. Let l = -0.17 + 15.17. Let x = w - l. Which is bigger: x or 0?
0
Let w(f) = 5*f**3 - 2*f. Let c(l) = 4*l**3 + l**2 - l - 1. Let y(t) = -6*c(t) + 5*w(t). Let j be y(6). Let o be j/63 - (-88)/14. Are 4 and o nonequal?
True
Let x = 248.015 + -248. Is 2 not equal to x?
True
Suppose -2*i = -4*r - 5 + 1, -i + 4 = -4*r. Suppose i = p - 3*p. Which is bigger: -1/9 or p?
p
Let p be ((-5)/10 - -1)/((-2)/816). Which is greater: -203 or p?
-203
Let m be (3/(-2))/(2/4). Let j be ((-5)/m)/((-7)/21). Let v(a) = a**2 + 7*a + 6. Let k be v(j). Which is bigger: -3 or k?
-3
Let p be (0 + (-2)/(-7))/(21/147). Suppose 5*c + 0*q - 191 = -2*q, -5*c + p*q + 179 = 0. Which is greater: c or 36?
c
Let o = 3731/3520 + -7/704. Which is greater: 0 or o?
o
Suppose -992 = -4*v - 4*g, -4*g + 257 = 3*v - 488. Let n = v + -2225/9. Which is smaller: n or -1?
-1
Let r = -7.065 - -6.995. Let n = 39/110 - -1/22. Which is smaller: n or r?
r
Let g = -19 + 18.87. Let o = 9.13 + g. Let k = -7 + o. Which is greater: k or 1?
k
Suppose 0 = -5*z + 7 + 18. Suppose 2*r - z*r = 54. Let g = -36 - r. Are g and -18 non-equal?
False
Suppose -18*x = 18 - 0. Is -1/672 greater than x?
True
Let o = -106 - -1481/14. Suppose b = 5*i - 13, 0*b - 17 = -4*b - 3*i. Suppose -3*g - 5 + 20 = 5*h, -b*g = h - 3. Which is bigger: o or g?
g
Let d be ((-205)/15*13)/((-3)/9). Is 531 less than d?
True
Suppose 20*v = 37*v + 2006. Is 7 greater than or equal to v?
True
Suppose 4*r - 67 = 141. Let k be 1 + r + 1 - 0/21. Is 54 equal to k?
True
Let n = -1131 + 1129. Suppose -5*t + 108 = -t. Let l be n/(-9) - 15/t. Which is smaller: l or 30?
l
Let d be 4/18 - -2*1. Let u be (3/(-9))/(64/(-576)). Is d greater than u?
False
Let u(a) = -a**3 - 9*a**2 + 7*a - 4. Let l be u(-9). Is l at least as big as -69?
True
Suppose 52*f = 601 + 439. Is f less than 24?
True
Let h(l) = -7*l + 15. Let y be h(2). Which is smaller: 62 or y?
y
Let w(m) = -m**3 - 11*m**2 - 19*m + 3. Let h be w(-9). Let x = 101 - 62. Suppose -x = -y - 2*y. Is y at most h?
False
Let n = 1618 - 1616. Is -50/19 less than n?
True
Let r(j) = 7*j**2 + 30 - 2*j**2 - 6*j**2 + 24*j. Let w be r(22). Do w and 74 have different values?
False
Let n = -26/5929 - -333243/74640181. Let k = n + 276913/566505. Let d = -8/9 + k. Which is smaller: d or 0?
d
Let c be 2/(-16) - (292/(-32) + 2). Suppose 9 = -c*r + 4*r. Which is greater: r or -21/8?
-21/8
Let s = 1/10 - 3/20. Suppose 3*b - 3*p - 58 = 5, -96 = -5*b - 4*p. Suppose n - a = 3*a - b, 2*a = 3*n + 10. Which is bigger: n or s?
n
Let k be ((-4)/(-6) + (-4)/(-6))/4. Is 1/82 bigger than k?
False
Let d(w) = -27*w**2 + 102*w - 4. Let v be d(4). Which is smaller: -17 or v?
v
Suppose 6*w - 256 = 2*w. Let u be w/(-40)*1/(-4). Let b(g) = g**2 - 6*g + 5. Let q be b(5). Is q greater than or equal to u?
False
Suppose 32*s = -6*s + 380. Which is smaller: s or 12?
s
Let k = 47 - 141. Let o = k + 91. Let n = 4.99 + 0.01. Is o >= n?
False
Let z(g) = -g + 10. Let i be z(8). Let x be 8/10 - (i - 2). Is 1 greater than x?
True
Let k = -619 - -92229/149. Which is smaller: 0 or k?
k
Let p be 4/(4/131) - (-7 - -4). Let j = p - 136. Let w(z) = -z**3 + 2*z**2 + 3*z - 4. Let c be w(3). Do j and c have different values?
True
Suppose v - 171 = -4*y, -6*y + 362 = 2*v - 3*y. Is 185 at most as big as v?
True
Let c = 61 - 29. Suppose w = -3*w - c. Let k be (36/(-10))/(0 + 8/20). Is k at least w?
False
Let d(j) = -j**2 - 4*j - 3. Let k be d(-4). Let y be 3*(3/5)/k. Let b(h) = h + 1. Let v be b(-1). Which is bigger: y or v?
v
Let n = -5 + 4.9. Let g = -0.02 - n. Let y = 0.28 - g. Are 1 and y unequal?
True
Suppose -5*n - 3*f + 5 = 0, n = -n - 4*f - 12. Suppose -h - n*w = -w + 10, 5*w = 15. Which is bigger: h or -18?
-18
Let v be 13*1*(-11)/11. Let x = v + 6. Which is smaller: -5 or x?
x
Let w = 88 - 92.12. Let u = w + 0.12. Which is smaller: u or -2?
u
Let n = 29604/17 - 1742. Let h = n + 84/85. Let d = -1.3 - -0.3. Is d bigger than h?
False
Let h = -42/49