 65 - 7 = -3*z, -3*w = 3*z - 54. Let m be (1*1559)/(96/w). Let l = -259 + m. Which is greater: l or 1?
1
Let t be ((-33046)/44)/(9 + 57/(-6)). Let g = t + -1507. Is g less than -5?
False
Let c be 76038/1740 + 1/(-10). Is 44 less than c?
False
Let g(u) = 2*u**2 - 5*u - 147. Let f be g(10). Suppose 9 = f*w, 3*y + 11 = -2*w - 4. Is y less than -8?
False
Let s(w) = -14*w + 315. Let p be s(0). Suppose -10*o + o = p. Is o less than or equal to -106/3?
False
Let h = 10382/1155 - 136/15. Is h at least as big as -0.2?
True
Let i = 2.452 + 7.738. Let m = i - 3.19. Let v = 22 + -16. Is m not equal to v?
True
Let g = -11659 - -11699. Which is greater: 2/15 or g?
g
Let a be (-21125)/3042 - 1*-7. Let l(g) = 5*g - 2*g - 9 - g - g. Let q be l(9). Is q greater than or equal to a?
False
Let r be (-672)/(-1035) - 2/3. Suppose 5*o - 4 = 4*f, 4*o + 0*o + 5 = -5*f. Suppose o = 3*k - 15, 2*k - 11 = i - 0*k. Which is bigger: r or i?
r
Suppose -2 = 4*n - 2. Suppose 5*a + 5*d - 980 = 0, 5*a - 6*d + d - 950 = n. Is a not equal to 192?
True
Suppose 4*v - 16 = -4*d, -2*v = -0*v - 2*d. Suppose 1 = 5*y + l, 0 = -v*y + l - 8 + 14. Is 1/142 at most y?
True
Let d = -0.049 + 27.049. Let l = d - 30. Let h be -3 - (-14)/10 - -2. Which is smaller: l or h?
l
Let t(f) = 2*f + 10. Let c be t(-5). Suppose -5*r - 4*h + 17 = 0, 4*r - 13 = -c*h - 3*h. Which is bigger: r or 8?
8
Let h = 15.9 + -16. Is h at most as big as 4.87?
True
Let r = 16085 + -16030. Is r at most as big as 2/59?
False
Let l = -291 + 293.54. Let b = 2.54 - l. Let r be 1/3 + (-11)/(-3). Is b at most as big as r?
True
Let i = -2926 - -2963. Which is bigger: 51 or i?
51
Let v = -1.330185 + 583.261185. Let l = v + -581. Let s = 0.069 + l. Which is bigger: 6/5 or s?
6/5
Let q = 43572117/2210 + -649549/34. Let z = q + -3076/5. Is z bigger than -3?
False
Suppose -o - 3915 = 3*g, 2*g - 8919 = 2*o - 1057. Which is smaller: -3928 or o?
-3928
Let u(p) = p**3 + 53*p**2 - 128*p - 1243. Let w be u(-55). Is -1525/6 >= w?
False
Let b be 3204/8 + 0 + 3/(-6). Let m be 2615/b + -6 + 2/5. Do -2 and m have different values?
True
Let x(a) = -14*a**2 - 9*a - 53. Let y be x(11). Let t be y/182 + 12/(-14). Let j = 24 - 40. Is j equal to t?
False
Let z = -0.5 - -0.4. Let m = 0.045 + 38.955. Let v = m - 39. Does z = v?
False
Suppose 4*z = 216 + 296. Let r = 20 - -25. Suppose 0 = -49*q + r*q + z. Which is smaller: q or 31?
31
Let o(r) = r**3 + 2*r**2 - 4*r - 4. Let w be o(-3). Let i = -363773/110 + 3307. Which is smaller: i or w?
w
Let h = 4365 + -4067. Which is smaller: h or 1/4?
1/4
Let j(t) = 73*t + 49. Let h be j(5). Let g = h - 291. Which is greater: g or -1?
g
Let f = -6721 - -7707.4. Let s = f + -988. Are -10 and s non-equal?
True
Let i = -175.54 - 1.46. Let b = i - -177.2. Do -27 and b have the same value?
False
Let i be (-28 + (-12 - -8))*-12. Suppose -9*o - i - 453 = 0. Is o bigger than -281/3?
True
Let t = 457.097 - -1.903. Is -4 not equal to t?
True
Let k = 447 + -442. Suppose -8*v + 4*v - 12 = -3*p, 0 = 3*p - k*v - 9. Which is smaller: p or 48/7?
48/7
Suppose 5*s - 39 + 9 = 0. Suppose 12*c - s = 13*c. Let z be c*(-3)/(-6) + 21. Is 18 less than or equal to z?
True
Let p be 134 - (-5 + 4 + 4). Let s = p - 109. Let t = s + -158/7. Is t equal to -1?
False
Let d be ((-2 - 2) + 2)*-4. Suppose 0 = -3*f - d*f - 77. Let l(h) = 2*h - 2. Let u be l(-4). Which is greater: f or u?
f
Suppose 28 = 2*d - 2*b, -2*b + 3 = b. Let a be 456/420 + (-12)/d. Suppose -3*r - r - 47 = -g, 3*g - 102 = -r. Which is smaller: g or a?
a
Suppose -2*s + 14 = -4*w, -9*s + 10*s + 4*w + 5 = 0. Let x(k) = 2*k - 1. Let a be x(4). Let h = s + a. Which is smaller: -0.1 or h?
-0.1
Let w(x) = -x**3 + 5*x**2 + 6*x - 1. Let c be w(6). Let j be (1/4)/(-1) + (24 - 454). Let m = -428 - j. Is m != c?
True
Let u = 7.7 - -130.3. Let b = u + -153. Let w = 2.8 + -1.8. Which is smaller: w or b?
b
Let c(p) = -19*p - 831. Let b be c(-40). Which is greater: -89 or b?
b
Let x be 348/(-38)*20/40. Suppose 10 - 26 = 4*l. Which is greater: l or x?
l
Let y be (6 + (-78)/15 + 2 - 2) + 5. Let n be (-14)/3*(-15)/10. Which is bigger: n or y?
n
Let i(p) = 3*p**2 + 14*p. Let m be i(5). Let g = m + -145. Is g at most 2/75?
True
Suppose -66 = -10*c + 9*c. Let p = 64 - c. Let x be (-321)/1395*-1 - p/(-15). Is 1 at least x?
True
Let s be (-91010)/152 + (-95)/5. Which is smaller: s or -617?
s
Let k = 27.9 + -29. Let d = -503 - -527. Suppose 5*n - 107 = -v - 86, 0 = 5*n + 4*v - d. Is k less than n?
True
Suppose -2*o + 2 = 4. Suppose 11*n - 15*n + 155 = 3*m, -m - 167 = -4*n. Suppose -n*h = -15*h. Is o at least as big as h?
False
Let y be 11169/4*(96/796)/(-6). Let m = y + -33014114/17313. Let n = m - -1963. Which is smaller: n or 0?
n
Let p(n) = -32*n**2 + 49*n - 193. Let f be p(4). Are -506 and f equal?
False
Let u be (7 - 0) + 0 + 4 + -2. Let p(r) = -13*r**2 + 14*r**2 - 9 + 4 - u + 14*r. Let b be p(-15). Is b less than -1/54?
False
Let y be 5*((-24)/15 + 2). Suppose -r = 0, 5*d + 0*r - 5*r + 110 = 0. Let w be (15/(-20))/(d/80). Which is smaller: w or y?
y
Let q(c) = c**3 - 19*c**2 - 119*c - 142. Let g be q(24). Which is bigger: g or 81?
81
Suppose 0 = -c - 2*h - 39 + 40, -3*c - 2 = h. Is 11/182 > c?
True
Let g = 60 - 56. Suppose 1631 + 2733 = g*y. Let c = -60011/55 + y. Which is bigger: 1 or c?
1
Let s = -9/329 + 464/4935. Let x be (-6)/(-9) - (-38)/(-30). Which is bigger: s or x?
s
Let d = -61/5 - -58/15. Let j(h) = 2*h**2 - 11*h + 17. Let t be j(2). Let w = t + -10. Which is smaller: d or w?
d
Let c(v) = 45*v - 459. Let w be c(19). Is 397 equal to w?
False
Suppose 3*g - 2*a + 9 - 297 = 0, -2*g + 4*a + 184 = 0. Suppose 9*m + 80 - g = 0. Is m greater than 6/7?
True
Let o(i) = 5*i**3 - 5*i**2 - 3*i - 1. Let w be o(4). Let g = -90782 + 91010. Are g and w equal?
False
Suppose -37*r = -290*r + 19880 + 21865. Which is greater: r or 46?
r
Let i = 2.93 + -3. Let p(w) = -7*w - 17. Let n(s) = -6*s - 16. Let z(v) = 5*n(v) - 4*p(v). Let c be z(-7). Are i and c equal?
False
Suppose -3 - 17 = 2*u - 4*o, u + 4*o + 4 = 0. Let m be u/(-7)*(98/(-4))/(-7). Suppose -f - 4 = 5*p - 2*f, -m*f = -5*p - 1. Is p not equal to -5/9?
True
Let y = 487 - 487. Let d be 1/(-45)*(21 - 20). Is y not equal to d?
True
Suppose 0 = -3*m - 9, -3*b + 2903 - 9923 = -2*m. Are b and -2345 equal?
False
Let p = 431 + -323. Let h = -165 + p. Which is greater: -58 or h?
h
Let p(q) = -9*q**3 + 11*q**3 + 0*q - q**3 + 9 - 17*q**2 + 2*q. Let v be p(17). Suppose -5 = -c + 4*w, 7*c + 3*w - v = 5*c. Is c greater than 17?
False
Let v = -59555/33 + 1805. Let r = 0 + 0. Which is smaller: v or r?
r
Let a be (-1 + 6/4)/(128/2560). Let x be 6/36 - a/(-12). Does x = 2/431?
False
Let i(v) = 100*v - 93. Let l be i(-2). Let w = 292 + l. Let u = 938 + -41269/44. Which is smaller: u or w?
w
Let h = 27711/19 - 1459. Which is smaller: h or -0.4?
h
Let v be 1*(-1 - (-11 + -2)). Suppose -308*o + 306*o + 30 = 5*p, 5*o + 4*p - 75 = 0. Suppose -o*z + v*z = 0. Which is greater: -3/13 or z?
z
Suppose -132*h + 45 = -127*h. Suppose -33*j + 42 = h. Let o = -341 + 13982/41. Which is greater: o or j?
j
Let q(h) = 98*h**2 + h - 78. Let c be q(8). Which is smaller: 6201 or c?
6201
Suppose 4*g + 216 = -z, 3*z - 5*g = -8*g - 639. Is -213 at least as big as z?
False
Let u = -97813/6612 - 68/551. Which is greater: -14 or u?
-14
Let d be (52/10660)/((-44)/4*2). Is 0 not equal to d?
True
Let f(m) = m**2 + 4*m + 4. Suppose -4*w + 2*k = 6, -2*w + 5*w + k - 8 = 0. Let r be 2/2 + w - 4. Let g be f(r). Does g = -1/6?
False
Let o(f) = -6*f + 83. Let j(b) = -6*b + 83. Let y(h) = -4*j(h) + 3*o(h). Let t be y(15). Is t > -2?
True
Let z be 16/(-5)*-15*10/45. Let p = 17 + -21. Let x be (p/6)/((-14)/252). Do x and z have different values?
True
Let o(w) = 2*w**2 + 6*w + 15978. Let r be o(0). Let l = r + -144004/9. Is l at most as big as -22?
True
Let n(f) = 93 - 5*f - 142 + 96. Let d be n(9). Let q be 8/6 - d - 6/(-9). Which is smaller: q or -1/147?
-1/147
Let b be (10/(-8))/((-2)/8). Suppose j = 2*t + 4, b*j - 11 = 6*j + 3*t. Let o be (18/15)/((-4)/(-10)). Are o and j unequal?
True
Let z be -1*2*(-13)/2. Suppose -3*v = -p - 3*p, -4*p - 8 = -5*v. Let x = p + z. Is 15 at most as big as x?
True
Let j = 444976029/8 + -157971062687/2840. Let f = 1610 + j. Do f and -1 have the same value?
False
Let i = -