et u be (-8355)/b - (-1 - 6/4). Is -276 != u?
False
Suppose -3 = -8*f + 37. Suppose 0 = -f*z + 6*z - 6. Suppose 3*s = 2*g - 113, 3*s + g - z*g = -98. Which is greater: s or 2?
2
Let r(u) = 39*u**3 + 2*u + 2. Let m be r(-1). Let x = -350 - -312. Is x >= m?
True
Let j = 0 + 26. Let z be 2/((-2*(-33)/(-594))/(2/(-18))). Which is greater: j or z?
j
Let r(j) = -49*j**3 - j**2 + j + 1. Let v be r(-1). Let u = -946683 + 946732. Which is smaller: v or u?
v
Let n = -142 - -142. Suppose -3*h - 3*q - 158 = -h, -q - 2 = n. Which is bigger: h or -77?
h
Suppose -v = 3*u - 2, 4*u + 10 = 14*v - 9*v. Let k be 3*v + (48 - 72). Are k and -15 nonequal?
True
Let x = -23.1 + 176.1. Let d = x + -38. Which is bigger: 1 or d?
d
Suppose -16 = -3*b - 19. Let d be 4/14 - b/7. Suppose 0 = -2*n + h - 5, 3*h = -5*n + 5*h - 12. Is n at least as big as d?
False
Let a(m) = 2*m**3 + 40*m**2 - 14*m + 98. Let o be a(-21). Which is bigger: -1 or o?
-1
Suppose -4*r = -4*w - 16, 0 = 3*r + 15 - 30. Do w and -15/82 have different values?
True
Let v(o) = o**2 - o + 14. Let h be v(0). Suppose -4*d + h = 2*t, 5*d - 3*t - 22 = -t. Let f be (-580)/(-6) + (-4)/24*d. Do f and 96 have different values?
False
Suppose 188*x + 446698 = 96830. Which is greater: x or -1?
-1
Let d be (6/3)/4*-2*6. Let p be 6/(-2) - (-8 - 0). Suppose -r - 4*f = 19 + 1, 0 = -p*r + f - 37. Which is smaller: r or d?
r
Let j = -10861 - -10860.9. Which is greater: j or 0.14691?
0.14691
Suppose 16 = 2*d - 4*c - 4, 5*d - 2*c - 10 = 0. Suppose 6*s + 2*s - 2*s = d. Suppose 0*n = n - 3, s = 3*q + 5*n - 27. Is q greater than or equal to 13/5?
True
Let j = 2349 - 2348. Which is smaller: 75/56 or j?
j
Let o = -89 - -89.0005. Let h = 0.0405 - o. Let x = 0.1 - 0.3. Is x != h?
True
Let i(w) = 62*w - 99. Let h be i(2). Which is bigger: h or 476/19?
476/19
Let f be 0 + (-1)/(-2) - 0. Let j = -38.21084 - -0.08084. Let u = 38 + j. Which is greater: u or f?
f
Suppose -5*r + 1 = w + 8, 8*w - 2*r + 14 = 0. Suppose 0 = 4*z - s + 5*s + 8, 3*z - 4*s = -6. Let t be z*1*(-76)/(-64). Do w and t have the same value?
False
Let f = 323 + -317. Suppose -3*d - 3 = 2*u + 14, 5*d - 4*u = -43. Let q = f + d. Is -2/17 bigger than q?
True
Let h = 5247/17 - 1006421/3264. Which is bigger: h or -1?
h
Suppose -y - 5 = -f - 2, -3*f = 2*y + 6. Let m be (-12 + 18 - (-6)/2) + (-3 - 1). Suppose m*k = -f*k. Which is bigger: k or 2/147?
2/147
Let l = -131/12 - -53/4. Which is smaller: l or 7/4?
7/4
Let m = 14539 - 12478. Which is smaller: 2059 or m?
2059
Let h = 17571.043 + -17593. Let s = h - -22. Which is bigger: s or 2?
2
Let k be ((0/7)/2)/(-1 - -4). Suppose k = -42*z + 12*z - 9*z. Is 1/217 bigger than z?
True
Let t = -63.8 + 51. Let n = 8 + t. Let x = n + 2.8. Is x less than or equal to -1/8?
True
Suppose -517*h + 549*h = -31072. Which is bigger: -981 or h?
h
Let t(u) = -u**2 - 11*u. Let i = -32 - -31. Let y = i + -9. Let m be t(y). Is m greater than or equal to 8?
True
Let y(b) = 4*b + 227. Let o be y(-43). Let u = o + -769/14. Which is smaller: 1/4 or u?
u
Let g be -19 + 23 - (3 - 2). Suppose 0 = -g*z + 2*z + 330. Is z less than 331?
True
Let z = -29830.1 - -29838. Which is bigger: -0.038 or z?
z
Let v = -291.8 + 301.8. Let t = 16 - 5. Is v >= t?
False
Let s(n) = -n**3 - 4*n**2 + 24*n + 19. Let w be s(-7). Let p be (-1)/w*(-36)/(-27). Which is smaller: 119/4 or p?
p
Suppose -3*h + 21 - 9 = 0, 120 = 2*t + 2*h. Is t not equal to 73?
True
Let s(w) = -42*w - 1. Let g be s(1). Let a = g - -45. Suppose -p - 3*o - 13 = 3*p, o = p - a. Is 3/16 at least as big as p?
True
Let m = -136 + 75. Let f = m - -70. Let j be 5 + -1*(-24)/f. Which is greater: 9 or j?
9
Let l = 110 - 68. Suppose 0 = -4*o - l - 10. Suppose -4*y - 23 = 37. Which is smaller: y or o?
y
Let w = 2315.78 + -2316. Is -2/97 smaller than w?
False
Let z = 628/9 - 70. Let t = 419 - -1. Let a = t + -11342/27. Is a at least as big as z?
True
Let d(a) = -11*a + 99. Let w be d(9). Suppose x = -2*x - 4*s + 22, -14 = -5*x - s. Suppose -j - x*j - 3 = w. Is 4/15 bigger than j?
True
Let p be (-168)/((-10)/(-12)*-6). Which is bigger: 34 or p?
34
Suppose 1164 = v + 3*v + l, -2*v = 5*l - 564. Let n = 284 - v. Are -5 and n equal?
False
Suppose 168 = 41*v - 47*v. Let j be 14/v*(13 - 3). Which is bigger: j or -0.5?
-0.5
Let j(n) = n**2 + 10*n - 915. Let g be j(34). Is g less than or equal to 2908/5?
True
Let s be (39 + -44)*(4/10 - 0). Let j = -52 + 30. Let i = j - s. Is i at most -21?
False
Suppose 0 = -119*z - 8266 + 147377. Is 1169 > z?
False
Let l be ((-5)/10)/((-1)/(-92)). Let w = -676 - -628. Is l at most w?
False
Let t = 0.0223 - 0.602. Let s = -0.0497 - t. Is s bigger than 2?
False
Suppose -14*q + 74 = 18. Suppose 1 = -3*n + 2*s, -5 = q*n + 2*s + 15. Which is smaller: n or -7/2?
-7/2
Let s = 196 - 115. Let d = s + -126. Let l be (d/(-21) - 3)/((-3)/42). Is 67/5 greater than or equal to l?
True
Let u be (-33)/140*(-88 + 136). Which is smaller: -3 or u?
u
Let m be 96/56 + (-6309)/(-7). Is 905 >= m?
True
Let k(g) = -4*g**2 - 16*g - 1154. Let j be k(0). Which is smaller: j or -2309/2?
-2309/2
Suppose -24*w = -w. Suppose w = 540*x - 530*x - 10. Suppose 4*n - 16 = 0, 0*z = 3*z - 3*n - 6. Are z and x unequal?
True
Let x be (65376/7268)/(-3) - (-12)/4. Is 1 greater than x?
True
Let s(u) = 8*u**2 + 107*u - 58. Let o be s(-14). Which is greater: o or 4?
o
Let z = -7488 + 10684. Which is greater: z or 0?
z
Suppose -5*m - 22 = -3*b, -8 = 6*m - 2*m. Let a(f) = -21*f**2 - 4*f + 12. Let q be a(b). Which is smaller: -341 or q?
-341
Let f = -5061 - -5025. Which is smaller: f or -40?
-40
Suppose -7*l + 574 = 217. Let k be (12 - 5 - 11) + 210/l. Which is bigger: k or -1/2?
k
Let x(q) = q**3 + q**2 - 2*q - 4. Let i be -2 + (-353)/(-3) + (-5)/(-15). Let w = i - 114. Let c be x(w). Which is smaller: c or 2?
2
Let m = 6565 - 8451. Is m greater than -1886?
False
Suppose 3216 = -4*s - 1664. Let q be ((-4)/8 - -1) + s/2392. Do 1 and q have different values?
True
Let h(g) = -18*g - 74. Let a be h(-4). Let p be ((-2)/4)/1*2. Which is bigger: a or p?
p
Let m be (-1 - 1)/(((-35)/(-10))/(-7)). Let f(t) = 16*t - 53. Let d be f(m). Is 2/11 equal to d?
False
Let d = -3.18 + -0.22. Let i = d + -35.6. Suppose -2*h - 5*a + 2*a = 9, -3 = 2*h + a. Is i less than h?
True
Suppose -2402*k - 27 = -2429*k. Which is greater: k or -1/487?
k
Let p = -54.7 + 18.7. Let i = 0.048 + 32.952. Let s = p + i. Which is smaller: -1/17 or s?
s
Let x = 247 - 417. Let u = x + 136. Are u and -34 equal?
True
Let m = -180.74 + 0.74. Let a = m + 179.917. Let d = a - 0.017. Which is bigger: 6/17 or d?
6/17
Let u = 170526/311885 - -2/3283. Is u at least 2?
False
Let h = -204.202 - -204. Let n = -3.202 - h. Is n bigger than 24?
False
Let l be (-2)/(-24)*-2*-16. Let o = 9774 - 9772. Is l smaller than o?
False
Let m = -26 + 383. Let o be (-8)/12*(-9)/m. Which is bigger: o or -1?
o
Let w be (-975)/312*(-4)/10 + 3/(-4). Is -2132 greater than or equal to w?
False
Let m be 2/14 + (-5664)/(-42). Suppose 2*t + 163 = m. Is -18 at most as big as t?
True
Let r = -9901 + 9227. Is r > -667?
False
Suppose c = -4*l - 8, 4*l + 13 = 1. Suppose c*h = 7 + 13. Suppose 8 - 3 = h*s. Is 3/68 smaller than s?
True
Let o = -865 - -1249. Suppose -2*k = -4*y - o, -2*k - k - 82 = y. Is -92 > y?
True
Suppose -7*g + 24*g + 25*g = -43*g. Which is smaller: g or -17/502?
-17/502
Let c = -6895 + 6901. Suppose -2 + 4 = l - r, -5 = r. Is l greater than c?
False
Let r be ((-105)/30)/((-2)/4). Let a(o) = -5 - 3 + 1 + 6*o - o**3 + r*o + 11*o**2. Let y be a(12). Which is smaller: y or 6?
y
Let l = -37.06 + 37. Let i = l + -0.04. Let r = -0.06 - i. Is r less than or equal to -0.2?
False
Suppose 2*j + 743 = -3*j + 2*i, -5*i = 4*j + 568. Let y = j + 462. Suppose 0 = -6*a - y + 813. Is a at least 84?
False
Let f = 0.332 - 0.432. Let g = 64.939 - 65. Are g and f unequal?
True
Let q(t) = 1139*t + 4 - 1 - 1138*t. Let n be q(-5). Let r be (-100)/275 - (n - -1). Which is smaller: 1 or r?
r
Let s = 15 - 14.938. Let g = s - 0.112. Are 1 and g unequal?
True
Let n(y) = y**3 - 166*y**2 + 514*y - 857. Let g be n(163). Is g > 6435/2?
True
Suppose -h - 2*h = -54. Let y = h + -45. Let w = 62 - 88. Are y and w equal?
False
Let p = -549/8 - -5393/40. Let k = p + -983/15. Which is bigger: 24 or k?
24
Let j be (3/(84/(-8)))/((-11)/(-77)