 = -9.29 - d. Does p = k?
False
Suppose -4*q = -14 + 82. Let a be ((-2)/4)/(1/6)*4522/798. Is a less than q?
False
Let x = -19169.09 - -19169. Let f = 1.9 - 2. Let d = 0.1 + f. Which is bigger: d or x?
d
Let q = -0.28 - -5.88. Let g = q - 63.6. Let p = 63 + g. Which is smaller: p or -1/4?
-1/4
Let o = -4264 + 4325. Are 63 and o non-equal?
True
Let p(t) = -2*t**2 - 26*t + 2. Let z be p(-12). Suppose -a + z = j + 3*a, j = -5*a + 24. Suppose 10*v = 24 - j. Is v bigger than -2?
True
Suppose 24*g = 28*g + 200. Let d = 254/3 + g. Which is greater: d or 35?
35
Let y = 7 + -4. Suppose -y*q = -3 + 6. Let j = -6688/14547 - 2/1119. Is q greater than j?
False
Suppose 2*z + 0*z = -k + 6, 3*z = -4*k + 9. Let r be 8/14 - (-864)/(-42). Let v be ((-2)/r)/(33/44). Which is smaller: k or v?
k
Let n = 65 - 35. Let o be 12/(-30) - (-2)/(n/(-279)). Let b(t) = -t**3 - t**2 - t. Let w be b(-1). Which is greater: w or o?
w
Suppose -2*b + 5*a = 4*a - 18, 2*b - 10 = 5*a. Suppose 16 - 6 = b*o. Let r be (-4)/6*6/(-50). Is o greater than r?
True
Suppose -6*p + 37*p = 124. Suppose p*x + 17 = 5*f, 6*x = 3*x + 5*f - 14. Is x at least as big as -11/3?
True
Suppose 4*f - 5*f = 9. Let g be (-6)/5 - (-7)/35. Let k be (-2)/((4 - 4) + f/g). Is k <= 5?
True
Suppose 96 = -18*y - 6*y. Let a be 1/y - (-2115)/188. Is 95/8 greater than or equal to a?
True
Let a(k) = 2*k**2 + 5*k + 1. Let x be a(-2). Let h be -9*6/(-54)*0/x. Is h smaller than 16/21?
True
Let d = -139758/35 + 17139/5. Let p = -565 - d. Let w = 0.25 + -18.25. Are p and w unequal?
True
Suppose x + 820 = 4*b - 0*b, -x - 830 = b. Let o = 846 + x. Let a = -30 + 46. Which is smaller: a or o?
a
Let y = 1389.7 - 1389.5. Is y != 1/2180?
True
Let s(a) = a**3 + 8*a**2 + 7*a + 5. Let t be s(-7). Let i be 2 - (1/(t/490) - 2). Is -95 less than i?
True
Let k(f) = -2*f**2 + 55*f - 361. Let t be k(11). Let y = 3712/3085 - 2/617. Are t and y unequal?
True
Let a = 470 - 591. Which is greater: 2/15 or a?
2/15
Suppose -3229*c + 3208*c = -2 - 19. Is 37/67 less than c?
True
Suppose 2*y + 3*y - 4*j = -376, -2*y = -5*j + 164. Let t = y - -132. Suppose -5*g - t = -3*w + 87, -5*w + 245 = -g. Are w and 1 equal?
False
Let y be (-1)/(-4)*304/12. Let n(t) = 2*t + 40. Let p be n(-20). Suppose p = 9*z - 12 - 42. Is z greater than y?
False
Suppose 6984 - 50111 = 3*r + 15817. Is -19649 <= r?
True
Let j be (-56)/(-16)*(-8)/140. Is j < 1035?
True
Let q = 2415 - 2414. Which is greater: q or 5/1193?
q
Let i = 1.013 - 0.582. Let y = -0.431 + i. Which is smaller: -7/8 or y?
-7/8
Let m be (-9)/1*-12*(-566)/(-74). Let d = 826 - m. Which is smaller: -1 or d?
-1
Let h = -100 + 111. Suppose -11*q - 11 - h = 0. Is -8/3 less than or equal to q?
True
Let k = -5824 + 6344. Are k and 0.6 non-equal?
True
Let t be 15*-1*68/(-102). Suppose -39 = -3*l - 3*u, 0 = -2*l + 3*u - u + 22. Is l != t?
True
Let u(w) = 10*w - 28 - 24 + 79 + 3*w**2 - 20. Let g be u(-7). Is g not equal to -2?
True
Let o = -31574 + 123329/4. Which is smaller: -743 or o?
-743
Let a(c) = -2*c**2 - 9*c - 4. Let g be a(-4). Suppose 4*l - 3*j - 2313 = g, -575 = -4*l + 5*j + 1728. Let d be l/(-15) + 5/(-25). Is -38 at least d?
True
Let d = -3566 - -246058/69. Suppose -o - 2*o = -c - 57, 2*c - 38 = -2*o. Suppose -o*u = -20*u - 1. Which is greater: u or d?
d
Suppose -3*r + 9 = a, -a = -2*r - 12 - 2. Let c be (760/a)/(-5)*3. Let s = c - -268/7. Is 28 at least as big as s?
True
Let p(s) = 2*s - 41. Let d = -121 + 141. Let b be p(d). Which is smaller: 1/93 or b?
b
Let m be 4 + (12/9)/((-12)/(-9)). Suppose m*t - 11 = 29. Suppose d = -4*f - 6 - 9, f = -5. Which is bigger: t or d?
t
Let p = 30.265 - 31.665. Let j = -2.3 + 12.3. Let d = j + -5. Is p < d?
True
Suppose 565*m - 849*m = 0. Let l = -475/4 - -446983/3764. Which is greater: l or m?
l
Let w = -2950 - -2950. Let n = -33 - -1882/57. Which is bigger: n or w?
n
Let q = 466 + -339. Suppose -5*x - q - 423 = 2*p, 3*x - 2*p + 330 = 0. Which is smaller: x or -3?
x
Let d(m) = -m**3 - 7*m**2 + 2*m - 4. Let f be d(-6). Let y = f - -52. Suppose 2*s + 23 = 3*w, y*s = 3*w + 2*s - 19. Is w > 6?
True
Let m = -33 + 25. Let z(s) = s**3 + 9*s**2 - 14*s - 20. Let c be z(m). Suppose 0 = 4*h + b + c, -2*h - 43 = b + 35. Which is greater: -40 or h?
h
Let a be 14651/(-91) + (2 - (4 - -2)). Let u be (-6 - 1270/a)*(-1 + -17). Is u bigger than -32?
True
Let i be (0 - (-4)/26) + 16/(-104). Let k be (i/(-1))/(60/30). Let c be 1/(-17)*(15 - 19). Which is smaller: c or k?
k
Let r(u) = 18*u - 329. Let x be r(18). Let k be x/(-15) - (-1 + 6/18). Is k < 3/158?
False
Let h = -0.04712 - -0.44712. Which is smaller: -0.057 or h?
-0.057
Let c(h) = -6*h + 18. Let s be c(6). Let i be ((-96)/4)/(2*1/(-2)). Suppose 0 = i*m - 7*m + 272. Which is smaller: m or s?
s
Let m = 3526.3 - 3526. Is -215 less than m?
True
Let k be (-30)/(-15) - 3141/117. Which is smaller: -24 or k?
k
Suppose -16*a + 127 = g - 11*a, 2*g = -5*a + 249. Let b = g - 158. Let n = -2.12 - -0.12. Is n at most as big as b?
False
Let f = 1613 + -387121/240. Which is greater: f or -0.1?
f
Suppose -3*k + 5764 = -2*o - 25960, -5*o + 25 = 0. Is k at most as big as 10580?
True
Let t be (-16)/16*-3*(-3)/(-9). Is 7979 less than t?
False
Let y = -0.15 - 193.85. Suppose -67989*t + 13 = -67976*t. Is y not equal to t?
True
Let x = 821346/19 + -43218. Let i = x - 18953/1767. Is -1 bigger than i?
False
Let z(s) = -s**2 - 44*s - 435. Let b be z(-29). Which is greater: b or 2/5265?
2/5265
Let x = 8604 + -8603.9. Which is greater: x or 26?
26
Let w be 102696/198*(8 - -1). Is 4668 <= w?
True
Suppose -3*y + s - 202 = 2*y, 206 = -5*y + 3*s. Let b(g) = -1 - 11*g**2 - g**3 - 38 + 28*g**2. Let k be b(17). Do y and k have the same value?
False
Let c be (-67857)/(-23625) - (1 - 8/7) - 3. Is c less than -1?
False
Let q(r) = 14*r - 3. Let m be q(0). Let o be (97 + -9)*(-3)/(-4). Let k be 6/33 + (-232)/o. Is m greater than or equal to k?
True
Let p = 4404 + -4404. Is 301/8 less than p?
False
Suppose -4*z + 346 = 6*w - 5*w, 5*w - 164 = -2*z. Is z at most 65?
False
Suppose 1766 - 9438 = 2*i. Is i < -3836?
False
Let p = 17.807 - 0.007. Let s = -17.28 + p. Which is greater: s or 0.06?
s
Let s be 0/6 - (0 + 2)/(-1). Suppose s*o = d + 5 - 4, -o - d = -2. Which is bigger: o or -1/29?
o
Suppose 4*k = 11 - 83. Let s be 225/(-348) + k/(-24). Suppose -4*h = -8*h - 4. Which is greater: s or h?
s
Suppose -4*g + 9*g = -15. Let d(a) = 3*a**3 - 2*a**2 - 11*a. Let y be d(0). Which is smaller: g or y?
g
Let f(a) = 5*a - 21. Let w be f(5). Suppose -8 = -w*v - 0*r - 4*r, -2*r - 14 = -v. Let u be (2/v)/(2/30). Is u at least as big as 5?
True
Suppose 0 = 2*q, -4*a - 7*q + 3*q = -1060. Suppose -73 = -32*r - a. Is -25/4 < r?
True
Let g(j) be the third derivative of j**6/120 + 13*j**5/60 - j**4/24 - 7*j**3/3 - 134*j**2 + 2*j. Let l be g(-13). Is l < -3/137?
True
Let j = -1864043/16295 + -21/3259. Is -113 greater than j?
True
Suppose -3*y - 2639 = -3*c + 3343, 3*y = -c - 5950. Do y and -1/3 have the same value?
False
Let j be 3322/6 - (-114)/(-171). Let r = 586 - j. Which is bigger: r or 28?
r
Let t = -2282 - -2277. Which is bigger: -6 or t?
t
Let d = 10721.4 - 10721. Is d bigger than 28/37?
False
Let i = -0.07635 + 6.76635. Which is bigger: i or 1?
i
Let j be 6*((-6)/((-48)/(-40)))/(-695). Is j at most 0?
False
Let l be 6*(-8)/(-27) + -2. Let u = 271.0202 - 271. Let n = u - 25.0202. Is n less than or equal to l?
True
Let t be (2/(-324)*-8)/(178/9256). Which is greater: t or 3?
3
Suppose 17*b = 9*b + 62248. Let o = -5351 + b. Let q = 26775/11 - o. Do q and 3 have different values?
True
Let r be 718402/268916 + 6/(-2). Let s = -26/79 - r. Let d = 22133/11914 + s. Is 1 bigger than d?
False
Let g(v) = 3*v**2 - 4*v + 3. Let c be g(2). Let p = -32 + 38. Suppose c*y - p*y + 2*y = 0. Is y bigger than -3/20?
True
Let y = 4189/4 + -1047. Let x = -68/81 + 19963/23490. Let c = x - 181/3480. Which is smaller: y or c?
c
Suppose -2*h - 5*w - 17 = 0, h + 9*w = 13*w + 24. Suppose -h*t - 16 = -4, -2*d - 4*t + 248 = 0. Let c = d - 120. Is 9 greater than c?
False
Let c(d) = 2*d**2 - d + 1. Let s(z) = -34*z**2 - 4*z + 3. Let k(w) = 3*c(w) + s(w). Let o be k(-6). Let t be o/70 + 4/(-14). Is -68/5 equal to t?
False
Let n be (2/(-72))/(21/(11655/(-40))). Which is smaller: n or 1?
n
Let d be (-6)/((-4)/2)*-1. Sup