)/(-108). Is k at least 12?
False
Let t be ((-1)/4)/((-1)/72). Are t and -15 equal?
False
Suppose -p - 3 = 3*q, -p + 13 + 2 = -3*q. Let c = p + 17. Suppose 5*o - 3*a + a = -41, -5*o = 4*a + c. Are -7 and o equal?
True
Let l be (-15)/(-100)*4 + 3/(-45). Which is smaller: l or -0.7?
-0.7
Let s be ((-87)/(-9) + -1)/(8/(-18)). Is 0.2 <= s?
False
Suppose 2*v - 168 = -38. Suppose -5*g = -s - 3*g + 13, 0 = -5*s - 5*g + v. Is 15 > s?
True
Suppose -4*q + 2*x = 26, 4*q + 3*x - 14 = 5*q. Which is smaller: -29 or q?
-29
Let n = 1.6 - -17.4. Let a = -15 + n. Which is greater: -1 or a?
a
Let f = -0.52 - -0.485. Let y = 0.225 + f. Which is greater: -1 or y?
y
Let j be (46/10 + -3)*(-350)/(-4). Let q be (((-88)/j)/(-11))/(2/30). Does q = -0.1?
False
Suppose 6*b = 145 - 19. Is b greater than 21?
False
Let x be (78/(-9) - -2)*(-6)/4. Let d be (-8)/(-65)*(-3)/12*x. Is 1 not equal to d?
True
Suppose 0 = -o - s - 21, 4*o + 52 = 3*s - 67. Let y be (1/(-5))/(o/(-65)). Are -1 and y non-equal?
True
Suppose 0 = q - 7*q - 36. Let p be q/4*3/(27/(-78)). Suppose -60 = -5*v - 4*d, -v - 3*d = -7 - 5. Does p = v?
False
Let m(g) = -g - 2. Let v be m(-7). Suppose 10*p = 5*p - v. Let n be p/(-2)*(-24)/90. Which is smaller: 0 or n?
n
Suppose -4 = -0*r + 4*r. Which is smaller: -7/18 or r?
r
Let o = -39.1 - -36. Let b = o - -2.9. Which is smaller: b or -3?
-3
Let i(v) = -2*v**2 - 16*v - 4. Let p be i(5). Let g = -134 - p. Which is smaller: 1/70 or g?
g
Suppose -4*x + 16 + 124 = 3*t, 94 = 3*x + 5*t. Suppose 2*r - 3*g = 19 + 3, -g = 2*r - x. Is r at most as big as 17?
True
Suppose 2*z + 8 = 26. Let w be z + 5 + (0 - 2). Let i = -13 + w. Which is smaller: i or 2?
i
Let q be 4/(-18) + (-50)/18. Suppose x - c - 16 = 0, 41 = 2*x - 0*x - 5*c. Are x and q non-equal?
True
Let x(z) = -z**3 + 12*z**2 - 39*z + 16. Let n be x(5). Let h = 32 - 23. Do h and n have the same value?
False
Let x = -4389781275449/855 + 5134247700. Let z = -2971/5 + x. Which is bigger: z or 0?
z
Suppose -s + 0 = 1, 0 = j + 3*s - 7. Let p be (-20)/j + 14876/8694. Let h = p - -2/621. Which is smaller: h or -1?
-1
Let m(r) = -r - 7. Let u be m(-10). Suppose 21 = -u*h + j, 1 + 2 = j. Let k be 0/(3/h*6). Is k at least 0?
True
Let r = -6.9327 - 0.0673. Is 5 equal to r?
False
Suppose -p = 5*w - 25, -3*w = 4*p - 194 + 9. Which is bigger: p or 3?
p
Let o(q) = 9*q - 3. Let m(s) = 5*s - 2. Let h(n) = 10*m(n) - 6*o(n). Let d be h(10). Let w be (4/6)/((-28)/d). Is -12 smaller than w?
True
Let p(q) = 32*q**2 + 3 + 49*q**2 - 104*q**2 + 0 + 3*q. Let c be p(-1). Which is greater: -21 or c?
-21
Let l be 0/(-12) - (-3)/(1 - 403). Is l != 0?
True
Let g = 33.989 + 0.411. Let n = g + -21.5. Let i = n - 14. Which is greater: 0 or i?
0
Suppose -9*v - 51 = -8*v. Let o = v - -17. Are o and -35 unequal?
True
Let m(l) be the third derivative of -l**5/60 + l**4/24 + 11*l**3/6 + l**2. Let s be m(0). Let t = 0.648 + 1.352. Do t and s have different values?
True
Let l be 41/(-6) - (2 - -17)/114. Do 3/16 and l have different values?
True
Let d be (-4 - -5)*(0 - 1). Let h = 787/21 - 260/7. Which is smaller: h or d?
d
Suppose -d + 3*d + 46 = 0. Let t = -957 - -981. Let q = d + t. Which is greater: 2/31 or q?
q
Let f(u) = 13 - 2*u + 3 - 7. Let d be f(0). Which is bigger: 8 or d?
d
Let y = -111.09 + 111.09. Let w = 4.3 - 5. Is w at most as big as y?
True
Let x(u) = -u**2 - 13*u - 42. Let n be x(-7). Is n at most -3/196?
False
Let b be -5 + 10 + -14 + 11. Which is smaller: b or 63/25?
b
Let k be 1/7 + 109496681/(-1176). Let n = k - -93110. Let m = n - 5/8. Is m < 1?
True
Let l = 1019.3 - 1019. Is 1.3 bigger than l?
True
Suppose 18*k = 184 - 202. Are 4/53 and k unequal?
True
Suppose 659 + 4261 = -6*q. Which is bigger: 0.1 or q?
0.1
Let n(y) = 142 + y + 2*y - 145 + y**3 + 5*y**2. Let s be n(-3). Suppose 0 = 4*p + 2*q - 4, p + s = 4*q - q. Which is smaller: 1/26 or p?
p
Let s = -1/536 + 4829/2680. Let c = -11/9 - -8/9. Which is greater: s or c?
s
Let p be (6/(-4))/(8/((-6656)/39)). Which is bigger: 290/9 or p?
290/9
Suppose -1012*i = -1008*i. Which is bigger: -3/746 or i?
i
Let c = 32/11 + -59/22. Which is bigger: c or 2/7?
2/7
Let g = 14857 + -14853. Let j be (2/27)/(1/42). Is g bigger than j?
True
Let p = -20792 - -25802870/1241. Which is smaller: -1 or p?
-1
Let q be (5614/21 - -2) + 0. Is 268 not equal to q?
True
Let w be (-28)/(-98) - 2/7. Suppose -2*t = 2*t - 4*c, w = -5*t + 3*c. Are -4/5 and t equal?
False
Let d = 57/53 + -680/583. Let r(y) = -y**2 - 3*y + 3. Let v(l) = 2*l + 2. Let f be v(-3). Let p be r(f). Which is bigger: p or d?
d
Let k be (10/4)/(24/(-48)). Let w = 1 + -11. Let c be (-2 + 1)/((-2)/w). Is k less than c?
False
Let w be (0 + (-96)/(-38))*9/(-12). Is -2 at most w?
True
Let j(v) = -2*v**2 + v - 129. Let m be j(0). Let b be (m/135 - -1)/(1/5). Is 14 greater than b?
True
Suppose 0 = 11*n - 5*n - 18. Suppose 3*w + n*c = 3, 0 = 2*w - w - 3*c + 7. Which is bigger: w or -3/37?
-3/37
Let i(p) = 2*p**2 - 13*p + 11. Let f be i(1). Is -216 at least f?
False
Let u be 10*(-1 - (-10)/4). Suppose -j - 3*j - 3*n + 62 = 0, -72 = -5*j - n. Is u equal to j?
False
Let a be -4 + ((-10)/(-75) - -4). Let h be 1/2*2/1. Is a greater than h?
False
Let q be 2/(-6) + 40/(-6). Let u be 15/(-6) - 6/(-3). Do q and u have the same value?
False
Let a be (-126)/10 + 12/20. Let d be (-2)/(a/(-7)) - 0. Suppose 4*z + 3*w - 15 = 0, 50*w = 2*z + 49*w + 5. Which is smaller: d or z?
d
Let w = -338 - -335. Is -2/13 at least w?
True
Let t = 985 + -1473. Let i be ((-3)/4 + 0)/(183/t). Which is greater: i or 7/5?
i
Let c = -24.995 - 0.005. Is -4 > c?
True
Let z = 731 - 524. Which is smaller: 0 or z?
0
Let s(u) = 7*u**2 + 91*u + 43. Let z be s(-14). Do z and 144 have different values?
True
Let y = -317 + 307. Which is smaller: -8 or y?
y
Let m = 9 + -6. Let i = m + -0.8. Let q = i - -0.8. Is -1 < q?
True
Let s be 7/35 - 87/(-15). Suppose s*y - a = 3*y + 11, 2*y + 16 = -4*a. Let l be (5/(-2))/(15/(-5)). Which is smaller: l or y?
l
Let x be 45/25*(-10)/(-3). Suppose 0 = -3*p + b - x*b - 2, 0 = -p - b. Which is smaller: 1/11 or p?
1/11
Suppose 0 = -4*z - 5*u - 471217, 7*u - 589052 = 5*z + 3*u. Let g = z - -2001630/17. Let y = -65 - g. Are 0 and y nonequal?
True
Let b = -5.89 + 6. Let m = b + -2.11. Suppose 2*d = 3*d. Are m and d equal?
False
Let w = 63 - 63. Let o(v) = 2*v**3 - 6*v**2 - 6*v - 6. Let a be o(5). Suppose -14 + a = -2*t. Are t and w unequal?
True
Suppose 7*x + 30 = 4*x. Let t = x - -14. Suppose -t*q + q = -18. Which is smaller: 7 or q?
q
Let n(a) = a**3 + 2. Let l be n(0). Suppose -5*m = -2*i + 5*i - 13, i - 5 = -l*m. Suppose 3*r + 28 = 7*r - 2*q, -4*q - 8 = -m*r. Is 7 bigger than r?
False
Let f = -150.4 - 27.6. Let b = -196.2 - f. Let v = b - -18. Which is smaller: 2/9 or v?
v
Let f be 3 - (-2)/6*0/(-7). Is f greater than -162?
True
Suppose 3*k - 2*u + 4 = -3, -3*k - 13 = 4*u. Does k = 26?
False
Let x = 3607/9 - 401. Is x > 1/45?
False
Let g = 2038 + -2037. Is g smaller than -5/97?
False
Suppose 5*t - 3*h = -4*h - 43, -5*t = -5*h + 55. Let d(m) = -8*m**2 + 38*m + 13. Let j be d(5). Is j <= t?
False
Suppose -4*c + 2*t - 148 = 4*t, 2 = -t. Which is smaller: c or -34?
c
Let c = 775588667/431202 + -1/143734. Let u = -1783 + c. Which is greater: u or 16?
16
Let t(h) = 5*h - 3. Let p be t(-3). Let s be (2 - p)*(-2)/(-5). Let m = s + -7. Do 2 and m have the same value?
False
Suppose 2*x = -15 - 47. Is -97/3 at least x?
False
Let k = -7/2551 + -706571/20408. Which is smaller: k or -34?
k
Suppose 40*d = -4586 + 26. Which is smaller: d or -113?
d
Let k(o) = o + 4. Let w be k(3). Suppose -50 = 5*l + 2*n, 2*n + w = -2*l - 19. Is l bigger than -11?
True
Suppose -24*d = -45*d + 105. Does d = -2/15?
False
Let s be 237/632*(-1 + (-1)/(-3)). Is s less than -292?
False
Let n be 196/4*(1 + 26/(-14)). Is -40 at most as big as n?
False
Let o be 854/6 + (-17)/51. Which is smaller: o or 143?
o
Let c = 70 - 77. Let m = 0 + 3. Let r = m - 9. Is c smaller than r?
True
Let r = 0.005 + 0.001. Let k = r - 6.006. Let u be (-2 - 0/(-2))/(-2). Which is bigger: k or u?
u
Let v = -98 + 104. Let m(n) = n**2 + 3*n - 1. Let t be m(-3). Let g be t - 3*9/(-24). Which is smaller: v or g?
g
Let b = 0.11 + 1.58. Which is bigger: b or -1?
b
Suppose 4*v - 5*m = 8 + 86, -55 = -3*v - 4*m. Let u(c) = 3*c**2 