Let c = 7914 - 7488. Is 424 at least c?
False
Let d = 4 - 50/11. Let t be (0*1*4/(-8))/1. Let o be -2 + 0 - 0/(-1) - t. Are o and d nonequal?
True
Suppose -n = 4*m + 33, n - 3*m + 3 + 9 = 0. Let h be ((-84)/126)/((60/(-55))/(-6))*6. Which is smaller: h or n?
h
Suppose 77*r - 60 = 74*r. Suppose -11 - r = g. Let z be 4/(-6) - 31/g. Which is smaller: z or 2?
z
Let q(o) = -o**3 + 14*o**2 - 10*o - 24. Let m be q(13). Suppose m = t + 4*t. Suppose -2*g + t*g = 4*z - 37, z - 2*g - 4 = 0. Is z >= 10?
True
Let k(m) = -3*m - 42. Let b be k(-21). Let a = -70 - b. Which is smaller: a or -92?
-92
Suppose -4*r + 0*r = 5*z + 22, 3*z = r + 14. Let k = 111329/7 + -15913. Does k = r?
False
Let p be -2*1/30*(-2052)/722. Suppose 3*u + y = 1, 7 = -19*u + 16*u + y. Is u >= p?
False
Suppose -5*g = -8*g - x + 2, -2*g + 3*x + 16 = 0. Suppose 0 = 2*c + t - 3, -3*t + 13 = g*c - 4*t. Is 66/25 bigger than c?
False
Let f = 3162 - 38153/12. Is f greater than -16?
False
Let l be ((-117)/(-10))/((-4)/16). Let p be (-4642878)/(-97185) + 8/(-124). Let u = p + l. Do u and 3 have the same value?
False
Suppose -5 = -4*l + 15. Suppose -35 = -l*h + y, 3*h - 5*y - 14 = -3*y. Suppose -2*f - h = -6*f. Which is greater: f or -1/2?
f
Suppose -y - 384*g + 387*g + 1505 = 0, 3009 = 2*y - 5*g. Which is greater: y or 1501?
y
Let i be 8418/322 + ((-6)/7)/(-1). Let k = 52069/7 + -7411. Is k smaller than i?
False
Let k = 113.0606 + 1.2394. Which is smaller: k or -4/7?
-4/7
Suppose -153*x = -149*x - 56. Suppose -x*s + 7*s + 287 = 0. Is s >= 42?
False
Let c be (-160)/(-14) - 11 - 3594/8043. Which is smaller: c or 0?
c
Let r be (-78)/(-65)*(9498/(-168) - 9). Which is bigger: -78 or r?
-78
Suppose 838 = -14*f + 5780. Which is smaller: 355 or f?
f
Let g be (927/135)/((-78)/(-36) + -2). Suppose 4*b - 212 = -5*y, -3*y - 37 = -4*y + b. Which is greater: g or y?
g
Let s = 620 + -672. Let j = 0.108 - 54.108. Let n = s - j. Which is bigger: -4 or n?
n
Suppose 3*p = -3*q - 3, q + 4*q + 5 = 2*p. Let t = -6 - p. Let z = -111 + 107. Which is greater: t or z?
z
Let i be (-689)/(-68) - (9 - (6 - 1)). Let j = i - 12069/1972. Which is smaller: -1 or j?
-1
Suppose -803 = -24*v - 779. Which is smaller: v or 2/6739?
2/6739
Let q = 329 + -208. Let p = -99.4709 + 0.4709. Let o = p + q. Is 1 less than o?
True
Let q = 25 - 26. Let a = 30 + -91/3. Which is bigger: a or q?
a
Suppose 5*v = f + 3*f + 125, 4*v - 4*f - 100 = 0. Let i be -5 - v/(-9)*1. Which is smaller: i or -3?
-3
Let c(z) = z**3 + 63*z**2 - 126*z + 229. Let r be c(-65). Which is greater: r or -866/29?
-866/29
Suppose 240*t - 64 = 232*t. Let h = 15 + -6. Which is smaller: t or h?
t
Let p = -610 - -1060. Let m = p - 408. Let g = -95 - -138. Is m less than or equal to g?
True
Let g = 1673/3 + -557. Let j = -41 - -84. Which is smaller: g or j?
g
Let n be 29 + -29 + 205 + 1. Are n and 199 nonequal?
True
Suppose 9*k + 115 = 32*k. Suppose m + g = k*g + 14, 56 = 4*m + g. Is 14 < m?
False
Let y = 305.1 + -305. Let z = 0.0464 - -62.9536. Is y > z?
False
Let o(p) be the third derivative of -p**6/20 + p**4/8 + 30*p**3 - 67*p**2. Let a be o(0). Is a > 181?
False
Let m = 0 - 0. Let r be 2 + (-268)/(-39) - 72*(-40)/(-320). Which is greater: m or r?
m
Let s = 8466 + -33865/4. Which is smaller: s or -36334?
-36334
Let d = -733.9 - 340.1. Do -2/9 and d have different values?
True
Let n = -36473/22 - -1658. Is n equal to 1?
False
Let k = -310 - -313. Suppose -m + 1 = -7*v + k*v, 4*v + 23 = -m. Is -1/5 greater than m?
True
Suppose f + 511 - 510 = b, 0 = 8*f - b - 48. Let w(y) = 6*y**2. Let j = 3 + -2. Let h be w(j). Which is bigger: f or h?
f
Let m be (752/24)/(14/(-77) - (-17)/33). Which is smaller: 47 or m?
47
Suppose -6*d = -132 + 84. Let c be 20/d*(-2)/(-5). Is 108 at least as big as c?
True
Let l = -7922 + 7924. Which is bigger: 89/31 or l?
89/31
Let b = 9 - -17. Suppose -4*x = 2*z, 4*z = 4*x + x + b. Let w be (-54)/(-8) - (-1)/z. Are 8 and w equal?
False
Let y = 382 - 14515/38. Let v = y + -161/342. Let j be (-15)/33 - (-36)/(-66). Is v >= j?
True
Let z = -40 + 139. Let x = z - 141/2. Is x at least as big as 1?
True
Let d be 2/(-3) - (-44)/39. Let y(q) = 4*q + 25. Let f be y(5). Suppose 0 = 25*j - f*j. Is j less than d?
True
Let f = -1314 - -3093. Is f less than or equal to 1778?
False
Let c(g) = 4*g + 1. Let r be c(2). Let i be ((-2)/(15 - r))/((-2)/6). Is i greater than or equal to -1/66?
True
Suppose -y + 4*y = 18. Suppose -y - 3 = -3*p. Suppose 0 = 5*h + p*h - 32. Are h and 4 nonequal?
False
Let o = 99 + -97.2. Let a = o + 35.2. Let f = -70 + 69. Is a > f?
True
Let z = -8475 - -8841. Which is smaller: z or 22?
22
Suppose v + 5*m = 5*v - 12, -v - 2*m - 10 = 0. Let c be 6 - (-4 - -6 - v). Is c at least as big as 1/88?
True
Let n be (-1080)/32*168/16. Is -355 less than n?
True
Suppose -3*z - 6*x = -294, 203 + 91 = 3*z - x. Let o = 5902/119 + -7525/51. Let t = o + z. Is 0 > t?
False
Let s = -305 - -216. Suppose 61*h - 57*h = 5*i + 280, 205 = 3*h - 5*i. Let x = h + s. Which is smaller: -13 or x?
x
Let k(d) = -d**3 - 2*d**2 - 3*d - 1. Let y be k(-3). Suppose -303 = -4*n - 2*h + 127, 3*n - 2*h - 312 = 0. Suppose -6*r - 10 = -n. Is r <= y?
True
Suppose -2*o + 2*r = -2, -5*o + 2*o + r + 7 = 0. Let f be (3*1/o)/((-450)/(-895)). Let b = f - 17/9. Which is greater: -2 or b?
b
Let u be (-1)/4 - (-6)/24. Do -29/206 and u have the same value?
False
Let p be 8/9 - 2/(-18). Let m be (180/(-50))/(p/5). Let t be 2*m/16 + 2. Does 12 = t?
False
Let j = 14368 + -14380. Let u(o) = o**2 - 7*o + 7. Let f be u(6). Are f and j equal?
False
Let n be ((-1745)/4)/((-420)/672). Let v = n + -685. Are 20 and v non-equal?
True
Let j = 37/1000 + 526223/21000. Which is greater: j or 24?
j
Let a(s) = -2*s + 12 - 16*s**2 + 789*s**3 - 787*s**3 + 3. Let j be a(8). Which is bigger: j or 159?
159
Let w be 5 + (-13)/((-104)/(-16)). Suppose w*h + 10 = -j, -4*j = -2*h + 3*h + 29. Let v = -5.8 - 1.2. Is j <= v?
True
Let a = -465 + 474. Suppose 0 = a*m + 310 + 77. Is -46 at most as big as m?
True
Suppose -3*x = -5*x + 206. Let s = 44992/5 + -8998. Do x and s have the same value?
False
Let r(c) = -c**2 - 18*c - 33. Let v be r(-16). Let z be ((-1044)/(-216))/(v/(-6)). Are z and 20 non-equal?
True
Let y be (-2548)/(-10) + (-242)/(-110). Which is bigger: 262 or y?
262
Suppose -189 = 3*u + 156. Suppose -4*h - 33 = -3*j, -4*h + 5 = 17. Let w be u/140 - 1/j*-4. Which is smaller: w or -10?
-10
Let y = -329 - -628. Let r = y - 287. Is r >= 4/7?
True
Suppose -216*z + 2792 = -219*z - 4*b, -3*z - 2794 = 5*b. Which is greater: -930 or z?
z
Let r = -0.5936 - -0.6377. Is r greater than or equal to 5?
False
Let w be (-100)/50*29/(-14). Does 5 = w?
False
Suppose 0 = 2*x + 3*g - 4*g - 19, 0 = -4*x - g + 35. Let s(b) = 6*b + 44. Let o be s(-5). Suppose 56 = o*z - 7*z. Is x at least as big as z?
True
Suppose -f = -14 - 42. Suppose 3*t - f + 14 = 0. Suppose -44 - 24 = -4*q. Which is smaller: q or t?
t
Suppose 5 = 32*w - 33*w - 2*r, -r = 5*w + 16. Which is greater: -257 or w?
w
Suppose 39*l + 8040 = 51*l. Let w = l - 635. Which is smaller: 36 or w?
w
Let r(d) = d. Let y be r(10). Let n = 45 - y. Let x = -32 + n. Is x greater than 3?
False
Let j be (18861/(-12))/((-2)/(-8)). Let a = j - -3684181/586. Is a != 1?
True
Let a = -0.1 - -0.3. Let s(n) = 2*n**3 + n**2 - 5*n + 1. Let v(t) = 5*t**3 + 3*t**2 - 17*t + 4. Let p(u) = 7*s(u) - 2*v(u). Let m be p(-1). Is m > a?
False
Let v = -210/13 - -10067/624. Suppose -u - 6*u = 0. Let q = u + 1. Is v at most q?
True
Let f be (5 - (-29)/(-5))*(-96)/(-128). Which is smaller: f or -0.0566?
f
Let p be 3604/234 - (-44)/99. Are 15 and p nonequal?
True
Let o = 3190 - 3857. Which is greater: -663 or o?
-663
Let q(h) = -46*h**3 - 11*h**2 - 12*h - 7. Let u be q(-5). Let j = 27758/5 - u. Do j and 24 have different values?
True
Let i be (54/(-24) - -3)*(-224)/(-23772). Which is smaller: 28 or i?
i
Let d = -163662/2350115 - -153/2215. Are -1 and d nonequal?
True
Suppose 0 = -322*b + 316*b - 30. Let x be (8/(64/(-20)))/(b/4). Is 22/13 not equal to x?
True
Let h be -6*9/810*10 - 22726/(-34098). Which is smaller: -0.3 or h?
-0.3
Let k = -0.07273 - -31.80273. Let u = 32 - k. Let l = u - 3.27. Is 0 at most as big as l?
False
Let m = -6.408 - -6.2. Let p = -8.508 - m. Let y = -7.97 - p. Do y and 0.1 have differen