/((-4)/(-384)*2). Let g be m/20 + (-6)/(-10). Suppose -g*s - 27 = -6. Does s = -9?
False
Suppose 0 = -7*l + 5*b - 35, 2*l + l - b = -7. Is -2/70737 greater than l?
False
Suppose 47*q - 3492 = 144*q. Let d be ((-37)/(-3))/(2/(-6)). Let v = d - q. Is 1/17 < v?
False
Suppose -4*k = -43*n + 48*n + 16, -4*k - 16 = -3*n. Is k at most as big as -266/75?
True
Let z be -2 + 36/19 + (-111632)/2280. Which is bigger: z or -50?
z
Let h = 8410 - 8412. Which is smaller: h or -164/3?
-164/3
Let d = -0.03028 + -0.22972. Is d bigger than -18/11?
True
Let k be (-6)/(-27)*2 + (-12342)/29835. Which is smaller: -46 or k?
-46
Suppose -175 - 53 = z. Let d be -2*1 + z/(-156). Is -1 <= d?
True
Let o(v) = -140*v + 3758. Let m be o(25). Is m > 14?
True
Let t = -0.61 + 2.81. Let f = -381 - -373. Is f <= t?
True
Suppose -2*o + 2*m + 942 = -2224, 2*o + 4*m - 3154 = 0. Suppose -4*h + o = 1861. Is -68 at least h?
True
Let b be (-2)/(10/(10 + -5)). Let m be ((-24)/5104)/((-9)/(-12))*b. Is m <= 0?
False
Let v = -8 - -10. Suppose v*l - 5*r = 25, 2*r - 4 = -3*l + 5. Let h = -1742 - -1742. Do l and h have the same value?
False
Let k(y) = -y**2 - 7*y + 15. Let a be k(-9). Let x be (a - -1)*(-76)/(-8). Is -141/7 greater than x?
False
Let o be 94/(-6) + 229/458*2/(-3). Let m be (-3 - 26)*(-2)/(-4). Is m bigger than o?
True
Suppose -5 = -5*d - 0*d. Let s = -19666939/1724472 - -44/23951. Let u = -93/8 - s. Which is bigger: u or d?
d
Let q = 0.059 + -12.059. Let i be (3/6 - -1)*-6. Let s = 10 + i. Is s <= q?
False
Let b = 12.34 + -1.34. Let y = 256 - 257. Which is smaller: b or y?
y
Let l = -17 - -7. Let r be (2 + 205)*18/(-378). Is l smaller than r?
True
Let o be (-52258)/52470 - 3/(-4 + 1). Which is greater: o or 0?
o
Let r = -1020 + 1020.037. Is -19 <= r?
True
Let b = 121796/998391 + -1/24351. Let c be 2/(0/(-2) + 2). Which is smaller: c or b?
b
Let g be (-2)/(-5)*(-7 - (-1455)/6). Let z(d) = -6*d + 46. Let q be z(-8). Is q > g?
False
Let l(d) = -d**2 - d + 1. Let a(f) = -6*f**2 - 14*f - 33. Let r(k) = a(k) - 7*l(k). Let i be r(12). Which is bigger: i or 26?
26
Suppose -5*b = -10, 2*b + 11 = k + b. Let t = -30 + 19. Let m(o) = o**3 + 10*o**2 - 16*o - 55. Let u be m(t). Which is smaller: u or k?
u
Let q be 1/(15/(-10) - -2). Suppose 0 = -q*j - 7 + 9. Let f be (1 + (-2 - 131/(-129)))*-3. Is j != f?
True
Let t(m) = m**2 - 93. Let x be t(10). Is x at most as big as 75/13?
False
Let q(l) = -l**3 - 28*l**2 - 49*l + 154. Let z be q(-26). Is z <= 6?
False
Let t = 7.9 - -29.04. Let v = t + -37. Which is greater: v or 8?
8
Let j be (-9 - -257) + (-6)/1. Let z = -189 + j. Are 52 and z unequal?
True
Let s be (-2)/(-10)*((-736)/96 - (-10 - 0)). Suppose -5*l - 5 = -0. Which is bigger: s or l?
s
Suppose 5 = -o - 2. Let x be -8 + o/(-14)*14. Which is smaller: -9 or x?
-9
Suppose 146*c + 93000 = 271*c. Which is smaller: 746 or c?
c
Let o = 22045 - 21838. Is o > 177?
True
Let l(b) = 4*b**3 - 12*b**2 - 2*b + 2. Let w be -8*(-6)/(36/3). Let p be l(w). Which is greater: 57 or p?
p
Let k = -4.056 + 4. Let d = k + 0.016. Let c = 0.24 + d. Is c != 1/4?
True
Let o = -208.8741 + -0.1259. Is -1/79 at most o?
False
Let v be (37/74)/((-2)/(-4) + -1). Let s be (-253572)/(-1130) - (8/(-5) - v). Are 225 and s non-equal?
False
Let s be (3 + -9 + 12)*4/6. Suppose 3*k - 5*p = -0*p + 42, 70 = 5*k + s*p. Let r = k + -13. Which is smaller: 2/19 or r?
2/19
Let h = 39 - 20. Let o = 57 - 62. Let c = h + o. Are 1/4 and c equal?
False
Let u = -607 + 681. Suppose 4*j - 138 = 150. Is j less than u?
True
Suppose 15 = -5*l, 35*l = -3*a + 36*l + 201. Let k(b) = 17*b - 2. Let i be k(4). Is i less than or equal to a?
True
Let a = -114 - -125. Suppose 12*u - 14*u = -12. Suppose 5 = a*f - u*f. Do f and -0.1 have the same value?
False
Let i = 31.737 + -3.737. Which is smaller: i or -22?
-22
Suppose -7*l = j - 2*l - 12, -2*j + 2 = -l. Let h be j*(-3 - 36/(-8)). Let s = h + -8. Is -3 greater than or equal to s?
True
Let p = 2 - -2. Suppose 2*y + 1 = -p*r + 5, y = 2*r - 2. Let g = 65/2 + -329/10. Is g at least r?
False
Let u be (-1)/(14/8232*14). Suppose 6 = -3*k + 276. Suppose 2*d = 3*z - 78, -d = d + 3*z + k. Is d smaller than u?
False
Let w = 33 + -164/5. Let n = 1937.16 + -1937. Which is greater: n or w?
w
Let z be (-1)/(-8) + (-1)/((-32)/30268) + 9. Which is greater: z or 8606/9?
8606/9
Let x be 2/4*0/5. Let v be 102/(-15) + (28/10 - 2). Let s be v*6/(-90)*5. Which is bigger: s or x?
s
Suppose -4*s + 19 = -1. Let k(p) = p**2 + 14*p + 7. Let c be k(6). Suppose c - 139 = -3*o. Is o smaller than s?
True
Let g = 320/1037 + 12884/5185. Let q = 2/305 + g. Is -2/3 bigger than q?
False
Suppose 0 = 7*h + 27 - 41. Suppose v - 11 = 4*g, -3*v + 7 = h*v - 4*g. Which is greater: -5/174 or v?
-5/174
Let o = -64 + 66. Let f(w) = 2 - 610*w - 17*w**o + 616*w - 2 - 3*w**3. Let q be f(-6). Which is bigger: -1/26 or q?
q
Let y = 455 - 1381/3. Let u be -3*((-4)/(-6) - (-68 - -67)). Which is bigger: u or y?
u
Let v = -11258428 - -79059566/7. Let f = -35859 + v. Let q = f + 63. Is 0 >= q?
True
Let u(l) = -l - 7. Let n be u(-5). Let c be ((-42)/(-8))/(17/408). Suppose -c*q + 6 = -129*q. Is q less than n?
False
Let y = -5815 - -52333/9. Do y and -45/13 have the same value?
False
Let u(t) = -19*t**2 + 44*t + 7. Let i be u(7). Let l = i + 446. Is l equal to -170?
True
Let i be 221/7 + 20/(-35). Suppose 7*n - 46 = i. Is n at most as big as 11?
True
Let w(c) = -3 - 69*c**2 + 3 + 11 - 28*c**2 + 10*c. Let d be w(-1). Is -96 less than or equal to d?
True
Suppose 2*z = -q - 19, -51 = -q - 79*z + 84*z. Let p be (56/(-26) + 2)*1. Is q less than p?
False
Let q(l) = -38*l - 30. Let x be q(10). Let f be (-3)/9*45/x. Let s(p) = -p**3 + 1. Let d be s(0). Which is bigger: f or d?
d
Let z = -37 + 63. Suppose -12*j + 31*j = 15067. Let x be 626/26 - 61/j. Are z and x unequal?
True
Suppose -2*q = m + 541, 3*m = 4*m + 5. Let x = -535/2 - q. Does -4/49 = x?
False
Let w = -30982549897 + 30269955606792/977. Let x = w - 4460. Let z = x - 2131/57643. Is z at most as big as 1?
True
Let u = -145 - -145. Suppose 3*p + 9 - 6 = 0. Let l be 24/(-13) + 3 + p. Is u not equal to l?
True
Let b be -32 - -44 - (-718)/2. Is b at least as big as 370?
True
Let t(a) = -3*a**3 + 45*a**2 - 46*a + 35. Let z be t(14). Which is smaller: 214 or z?
z
Let d = -2 - -5. Suppose 0 = -h + 4*v + 64, -d*h - 64 = -4*h + 2*v. Let y = 34 - h. Is -30 > y?
False
Let l(o) = -72*o - 17. Let q be l(-7). Suppose -9*z - q - 206 = 0. Let v = z + 362/5. Is v at most -6?
False
Suppose 0 = -3*j - 130 - 251. Let l = -99323 - -99196. Is l < j?
False
Let d(u) = -31*u**2 - 11*u + 67. Let p be d(2). Is p smaller than -19?
True
Let q = 43 + -44. Let h = 6/53 - 591/1007. Which is greater: q or h?
h
Let u = 79031/824 + -15/412. Is u less than 97?
True
Let j be (675/10)/((-153)/12). Are 7 and j equal?
False
Let x = -3380 + -1655. Do x and -5035 have different values?
False
Let t be -2*(1 - 0) - -52. Let z = 89572 + -89526. Is t at most as big as z?
False
Let s = 1448.8 + -1448.832. Which is greater: s or 0.18?
0.18
Let t = 12.326 - 13.3. Let g = t - 0.026. Let m(d) = 2*d**3 + 5*d**2 + 3*d + 7. Let z be m(-3). Which is bigger: z or g?
g
Let o be (-235)/3*(-81)/135. Which is bigger: 1 or o?
o
Let b = -37 - 6. Suppose 2*u = 2*h - 41 + 119, h + 4*u = -64. Does b = h?
False
Suppose 2*v - 5 = -7. Suppose 0 = 4*h + t + 57, 18 + 9 = -2*h - t. Let p = h + 32. Is p less than v?
False
Let j = 526 - 513.9. Let y = -2360 - -2372.09. Let g = j - y. Is 10 less than g?
False
Let q be (2 - 1 - 3)*(-71)/(-142) + 35. Does 8 = q?
False
Let g(a) be the first derivative of a**4/4 - 7*a**3/3 + a**2/2 - 8*a - 2. Let c be g(7). Let j = -606 + 606. Which is smaller: c or j?
c
Let f(z) = -z**2 + 132*z - 4434. Let p be f(82). Which is greater: 5 or p?
5
Let z = -329 + 330. Let x be 5 + z + 320/(-52). Which is greater: -1.6 or x?
x
Let j = 4002 - 4002.1. Which is bigger: -7/27 or j?
j
Let x be 4*-95*8/((-40)/(-3)). Let v be (x/30)/(14/(-245)). Is 136 at least v?
True
Let k = 0.615 + 265.385. Let o = k - 265.8. Does 81 = o?
False
Let u = 488949/70 - 6985. Is 0 at least u?
True
Let c(t) = t**3 + 2*t**2 - 2*t - 3. Let k be -3*(44/(-12) - -4). Let u be c(k). Suppose l = 5*l + 8. Is u != l?
True
Let y(l) = 64*l + 267. Let n be y(-5). Let a(u) = -u - 1. Let q(g) = 2