or l?
k
Let l = -67 + 44. Suppose 0 = -2*q - v + 518, 3*q + 0*q - 767 = -4*v. Let g be (-3)/(-4) + q/(-12). Do l and g have the same value?
False
Suppose -4*z - 6*w - 557 = -5*w, 712 = -5*z + 4*w. Is -0.01 equal to z?
False
Let b = -0.00764 + 455.00764. Are 2/7 and b non-equal?
True
Let i = -14187/22 - -645. Which is smaller: i or 63?
i
Let f be 2*((-87)/(-30) - (-6)/10). Let u(c) = -c**2 + 7*c - 5. Let s be u(f). Let a be (8 - (s + 10))*5. Is 14 at least a?
False
Suppose -74*x = -92*x + 13248. Which is greater: x or 733?
x
Let x = -804 + 804. Let i be (-19336)/45150 + (-9)/(-21). Let m = -29/1075 + i. Which is greater: x or m?
x
Let q(o) = -o + 3. Let p be q(5). Let k(d) = -d**3 - 4*d**2 - 5*d - 3. Let m be k(p). Let s be (-4)/12 - (m + 0). Is s equal to -5?
False
Let q(f) = 25*f**2 + 3*f - 5. Let i(n) = -26*n**2 - 2*n + 4. Let d(k) = 4*i(k) + 3*q(k). Let b be d(-1). Is b equal to -26?
False
Suppose 28*d - 91*d + 237 = -141. Is 223.6 > d?
True
Let a(x) = -2*x**2 - 4*x - 3. Let g be a(-2). Let k(t) = 37*t + 112. Let h be k(-3). Let u be (g/(-3) + h)/(1/(-5)). Is u at most as big as -2?
True
Let s = -41 - -45. Let n be s/(-3 + 2) + 33. Let a = 45 - n. Is 15 less than a?
True
Let f = 1/19 - 138/817. Let v be (-10)/(-30)*(11 + -2)/3. Is f <= v?
True
Let z = -1453 + 1445. Let i = -15 - -6. Let m = i + 1. Is m less than or equal to z?
True
Let w = 5101 + -5098.1. Is 9/2 not equal to w?
True
Let d = -90 + 26. Let j = 66 + d. Which is smaller: 0 or j?
0
Let l be (-17119)/(-60897) + (-1)/3. Let h = l + 3032/28725. Is h greater than or equal to 1?
False
Let d(b) = b**2 - 5*b + 7. Let s be d(5). Let p = 1.79747 - 1.39747. Are p and s nonequal?
True
Let l = -2065 + 1305. Let t = 673 + l. Is t less than or equal to 3/4?
True
Let j(x) = 6*x**3 + 2*x + 0*x**2 + 4*x**2 + x - 5*x**3. Let y be j(-3). Suppose -151 = 3*b - 2*c - y*c, 5*c = -3*b - 137. Is b != -49?
False
Let q = 34 - 104/3. Let w = -129 - -148. Suppose -4*y - 51 + w = 0. Is y less than q?
True
Suppose d + 36 = -3*q, 0*q = -d + 5*q + 4. Let t(o) = -3*o - 25. Let z be t(d). Let i = 24 - z. Which is bigger: i or -13?
-13
Let i = 33.68 - 33.68. Are i and -714 non-equal?
True
Let w(o) = 7*o**3 + o**2 - 6*o - 10. Let f be w(3). Is f != 167?
True
Let t be 17 - -1*(-5 - 2). Suppose t*c = 7*c - 375. Is -125 > c?
False
Let z be (-12)/(-20) - 1003/5. Let b be 1/(-2) - -4*(-45)/z. Is 3.1 greater than b?
True
Let y = 12 + 4. Let p = -17 - 10. Let z = -27.2 - p. Is y at least as big as z?
True
Suppose -766 = -5*g - b + 293, -g + 213 = -b. Which is bigger: 213 or g?
213
Suppose -2*n - 1 = -h, 3*h - 6*h + 30 = 3*n. Let b be (2/12*2)/(h/(-21)). Which is smaller: 45 or b?
b
Let i(a) = 2*a**3 - 3*a**2 - 8*a + 4. Let d be i(4). Let q be ((-3)/(-8))/((-507)/d). Suppose 0 = -x - x + 2. Is x > q?
True
Suppose 26*w + 52 = 13*w. Let p be 3 + (4*w)/4. Which is greater: p or -5/29?
-5/29
Let o be (4/2)/(-1 + -6 - -5). Let s be (-131)/(-16) + (-6 - o) + -4. Which is bigger: 0 or s?
0
Suppose -9 = -n + l, -4*n + 3*l = 5*l - 12. Suppose -7*u + 4 = -8*u. Let q be u/n - (-1872)/90. Which is smaller: -2/9 or q?
-2/9
Let o be 31054/(-14) - (-954)/(-1113). Which is bigger: o or 2?
2
Let z be -5111 - (6/(-5) + 1 - (-184)/(-230)). Are -5111 and z non-equal?
True
Suppose 4*a + 1653 = h, 2*a - 132 + 981 = 5*h. Let l be (20/a)/((-2)/(-123)) + 3. Which is smaller: -1 or l?
-1
Let n(d) = 4*d + 2. Let r be n(6). Let c = -3798 - -3828. Is c > r?
True
Let s = 3990 + -4037. Which is bigger: s or -242/5?
s
Let b = 457 + -453. Suppose 2*a = -4*r + 4*a + 4, -a = -b*r. Which is greater: r or -11?
r
Suppose -17*i = -22*i + 10, 2*j - 4*i + 6 = 0. Are j and 2/2101 equal?
False
Let j(s) = 7*s**3 - s**2 - 7*s + 7. Let m be j(3). Let d = 76 - m. Let r be 4/(312/15)*(-24)/d. Which is smaller: 2/9 or r?
r
Suppose 510 = -14*h + 8*h. Let d = 257/3 + h. Which is smaller: -2/33 or d?
-2/33
Let h = 1463.9 - 1464. Which is smaller: -3115 or h?
-3115
Let t = 3 + -17. Let j(a) = -a**3 + 6*a - 7. Let u be j(2). Let s be 5*4*((-15)/4 - u). Which is smaller: s or t?
s
Let h = -0.62 - 0.06. Let x = -1.08 - h. Let c be ((-9)/(-12))/((-2)/(-16)). Are c and x non-equal?
True
Suppose -1616*c + 3260*c + 3358 = 1621*c. Is -142 bigger than c?
True
Let w = -5035 - -3409. Are w and -1626 equal?
True
Suppose 5*p = 3*p + 120. Let y be (2 + p/(-1))*(-16)/32. Is y at least 29?
True
Suppose 11*m - 6*m - 5 = 0. Let y be 42/(-623)*m/9. Do -1 and y have the same value?
False
Let h = -357467/19 + 18815. Let s be 2 + 1*(0 + -1). Is s less than or equal to h?
False
Let n(j) = -2*j**3 + 11*j**2 - 13*j + 16. Let i be n(4). Let g be (-1 + -14)/(2/(-6)). Let l be g/i*1/3. Are l and 0 nonequal?
True
Let x = -5099 + 5098.8. Is 2165 >= x?
True
Let p be -3 + 25*10/25 - 54. Which is smaller: -37 or p?
p
Let o = 194190 + -194180. Suppose -4*g + 3*y - 19 = 0, g + y = -g - 17. Let n = 5 - g. Which is smaller: n or o?
o
Let m = 737 - 1045. Which is greater: -362 or m?
m
Let g be 11/99 + (-726)/(-27). Suppose -n + 20 = -3*k + 2, 4*n - g = 3*k. Which is smaller: 8/5 or n?
8/5
Suppose 929846*t + 1682 = 929788*t. Let w be (-97)/4 + (-2)/(-8). Which is smaller: t or w?
t
Let i = -431 + 451. Suppose 25 = 4*f - 3*p + i, -3*p - 14 = 5*f. Which is smaller: 2/247 or f?
f
Let b = 0.242 + 0.33. Let g = -0.028 - b. Let y = -18 + 26. Which is greater: g or y?
y
Let n = 0.425 + 0.015. Let g = n - 2.64. Let h = -24.2 - g. Which is smaller: 2 or h?
h
Suppose 0 = -a - 2, -53*j + 4*a + 5180 = -49*j. Which is smaller: j or 1291?
1291
Let l = -391 - -393. Suppose -220 = l*g + 5*z, 17*g - 14*g + 3*z + 312 = 0. Are g and 0 nonequal?
True
Let w be (282/(-42) - 17) + (-2)/7. Suppose 27 = l + 50. Which is greater: l or w?
l
Suppose 300*u - 10155 + 822 = 267. Let q be (-5)/((-45)/(-6))*-48. Is u at least q?
True
Suppose 28 = -8*q - 2876. Which is greater: q or -365?
q
Suppose -2*u = 4*r - 192, 0 = -r + 4*u + 21 + 45. Let y be r/(-75) - 400/(-6). Is y > 66?
False
Let r = -4002 + 4003. Which is smaller: 2/1137 or r?
2/1137
Let u = -70/2963 + 13462/68149. Let b(i) = -i**3 + 4*i**2 - 4*i + 2. Let l be b(3). Which is smaller: u or l?
l
Let o = 10983 + -10982. Which is smaller: o or -0.0891?
-0.0891
Let a = -21/50 - -1/50. Suppose -f - v + 19 = 2*v, 0 = -5*f - 3*v + 71. Let t be (f/104)/(1/4). Is a > t?
False
Let a = -0.4767 + -487.3233. Let k = -486 - a. Which is greater: k or -2?
k
Suppose -2268 = 11*h + 10*h. Let n = h + 129. Are 5 and n nonequal?
True
Let s = 113689/105 + -5413/5. Let p = -1817/11235 + s. Do p and 0 have the same value?
False
Let c = -2168 - -1630337/752. Which is smaller: -1 or c?
-1
Suppose -3*k - k - 5*f + 117 = 0, -5*k - 5*f + 140 = 0. Let q be (-21)/(-70) - 2364/(-120). Which is greater: k or q?
k
Suppose 0 = -418*t + 6559 + 23119. Is t at least 83?
False
Suppose -118*l + 122*l - 168 = 0. Let c be (l/(-35))/((-9)/(-15) - -2). Let i(x) = -x**3 - 3*x**2 + 3*x - 3. Let u be i(-4). Which is smaller: u or c?
c
Let k(y) = y + 7. Let v be k(-7). Suppose 0 = u - 5*z - 21, v = -3*u + 8*z - 4*z + 52. Is u smaller than 16?
False
Suppose -3*q + 22 = -2*l, -20 - 1 = -3*q + 3*l. Suppose -4*m - 6*b + q*b = 46, 4*b = m + 15. Are -25 and m nonequal?
True
Let x = -48097/4 + 12165. Which is bigger: x or 141?
141
Let b = -645315/4 - -154932. Let j = 34363349/5372 + b. Let r = j + 8036/14773. Which is smaller: r or 1?
r
Let d be (4/65)/(1/1). Suppose -2*t + 4*b + 28 = 0, 5*t + 2*b + 8552 - 8538 = 0. Which is smaller: t or d?
t
Let z = -0.7926 + 0.6926. Is z greater than or equal to 3/463?
False
Suppose 0 = -0*a + 16*a + 144. Let y(c) = c**3 + 5*c**2 - 39*c - 3. Let v be y(a). Which is bigger: v or 33?
33
Let p = 6 - 5. Let d be (p + 0)*(-2)/4*6. Let t be 2 + d + 40/28. Is t greater than 2/7?
True
Let i be ((-926)/(-11))/((-26)/(-143)). Is 455 <= i?
True
Let w = -600 - -44401/74. Let i be 2/(-8) + 2/(-4). Which is smaller: i or w?
i
Let l = -87 - -92. Suppose 0 = -i - y + 2*y - 33, y = l*i + 145. Are -2 and i non-equal?
True
Let f be 13/26*74/(-4) + 4. Which is greater: f or 1.2?
1.2
Let k = 12120 - 12099. Is k greater than 6.4?
True
Suppose o + 287 = -3*s, 14*o = 13*o + 3*s - 281. Suppose -1431 = 5*j + 3*a, 2*j + 159 = -3*a - 417. Is o <= j?
False
Suppose 3*t - 65 = -o, 45 = 2*t + 7*o - 6*o. Suppose 3*n - t = 4*r, 3*r +