g(r) = -r**3 - 40*r**2 + 130*r - 16. Let c be g(-43). Do c and b have the same value?
False
Let s(k) = -154*k - 3980. Let a be s(-55). Is 4490 smaller than a?
False
Suppose 1597*x - 1599*x - 3380 = 0. Is x greater than or equal to -1690?
True
Let c = 17 + -16. Let r = -284 + 282. Let a be 19/38 + c/r*1. Is a < -115?
False
Let y be 470/(-282)*(-4566)/(-15). Which is smaller: y or -506?
y
Suppose 0 = -14*b + 5545 - 1891. Let r = b - 259. Which is smaller: r or 95?
r
Let j(c) = -3*c + 23. Let m be j(6). Suppose 0 = -4*i + m*y - 5, -2*i + 6*y = y + 15. Suppose -2*l + i*b = -8 + 24, 5*b - 22 = -l. Which is bigger: 8/11 or l?
l
Suppose -21*o = -16*o - 45. Suppose -32*h = -o*h. Let x = 213056/67 + -3180. Does h = x?
False
Let d = -1 - -0.6. Let z be 36 - 34 - 4*(-8)/(-6). Which is greater: d or z?
d
Let t be (-3 - -96)*(2 + -1). Let b be (2 + ((-192)/t - 0))/(-2). Let j = b + 9/682. Is 0 at least as big as j?
False
Let l = 273578 - 3298529944/12057. Are l and 0 non-equal?
True
Let h = 28721 - 88259629/3073. Which is smaller: 1 or h?
h
Let u be 44/(-115) + 10/25. Suppose -1013*r - 4*a = -1017*r, -a + 3 = -4*r. Is u > r?
True
Let b be (3204/24)/(5 + 22/(-4)). Do b and -267 have the same value?
True
Suppose -34 = -f + 4*x, -2*x = -2*f + 25 + 13. Let a(w) = 8*w - 2. Let i be a(-3). Let g be i/2*(2 + (0 - 3)). Do f and g have the same value?
False
Suppose 23*a + 22 = 20*a - 5*d, 5*d = 2*a - 27. Which is smaller: -5/432 or a?
-5/432
Let s = 56 - 49. Let i = 22 - 28. Let t be -6*1*1/i*3. Is t smaller than s?
True
Let k = -0.0762 - 0.0238. Let u = 2.9 + 7.1. Let v = u - 9.82. Is k bigger than v?
False
Let x = -33 + 34. Let y = -134 + 6568/49. Is x at most y?
False
Let s = -3074 + 3142. Is 16 at least s?
False
Suppose 27*c = 18*c + 108. Let f be (-58)/(-3)*c/(-8). Let q = 0 + 0. Is q bigger than f?
True
Let r be ((-18)/(-4) + -3)*8. Let n(z) = -6*z + 78. Let m be n(r). Which is greater: -2 or m?
m
Let i = -2 + 3. Let r = -217 - -220. Suppose -r*y - a - 32 = a, -5*y - 3*a = 53. Is i smaller than y?
False
Let y be ((-21)/4)/((-11)/4). Let i(k) = 12*k + 68. Let x be i(-5). Suppose -30 = -x*o - 2*o. Is o at most as big as y?
False
Let j be -4 - -3 - 2 - -4. Let z(h) = -h - 1. Let c(m) = m**2 - 6*m + 2. Let n(o) = j*c(o) - 2*z(o). Let x be n(1). Do x and 1/48 have different values?
True
Let o = 54 - -171. Let i = o - 1138/5. Are -3/7 and i nonequal?
True
Let t = -686 + 484. Let s = 201 + t. Is -1/2 != s?
True
Let c be (12/5)/((-12)/40). Let a = -238 - -214. Let o be (-4)/c - (-44)/a. Is o < -2?
False
Let n = -18695 + 18694. Let v = -2.7 + 3. Let h = 0.1 - v. Which is greater: h or n?
h
Let j = -36/26771225 + 558929713/21497293675. Let z be (-4)/80*4/143. Let a = z - j. Which is smaller: -1 or a?
-1
Let l(r) = 3*r**2 + 15*r + 8. Let z be l(-7). Let v = z + -65. Which is greater: -14 or v?
-14
Let w = -234584 - -234562. Let p = -2 + 0. Which is bigger: p or w?
p
Let f(q) = -q**2 - 18*q + 2. Let i(n) = 3*n**2 - 5*n**2 - 15*n**2. Let g be i(1). Let v be f(g). Does 19 = v?
True
Let j = 7481.8 + -7482. Which is greater: 3/1082 or j?
3/1082
Let s = 104.58 - -0.42. Let u = 106 - s. Which is smaller: u or 48?
u
Let q = 0.0308 - -391.9692. Let s = q - 390. Which is bigger: s or -7/3?
s
Let v = 15878/5 + -3186. Suppose -41*l + 11*l + 780 = 0. Suppose -122 + 408 = -l*c. Is v less than or equal to c?
False
Let s(o) = 5*o**3 - 2*o**2 + 21*o + 18. Let q be s(3). Is q < 164?
False
Let y be (-70)/6 - 2/(-3). Suppose 2*a - 24 = -4. Let v = a + y. Is -4/7 equal to v?
False
Suppose 2*h + h - 15 = 0, t - 3*h = -15. Let v(o) = 4*o**2 + o + 1. Let y be v(t). Let r = 2 + 6. Are r and y equal?
False
Let h = 59 + 62. Let n = -140 + h. Which is bigger: n or -2?
-2
Suppose -166 + 166 = -58*k. Is 5 bigger than k?
True
Suppose j = -14*j - 1575. Let l(u) = -2*u**2 + 4*u + 21. Let s be l(-7). Is s at most as big as j?
True
Let o(t) = -76*t - 4257. Let k be o(-56). Do k and 4/6715 have different values?
True
Suppose -p + 5*k + 812 = 0, -3*p - 35*k + 40*k = -2466. Is 3 >= p?
False
Let f = -38246/70037 - -4/6367. Which is bigger: f or 310?
310
Let f = -1838 + 5711/3. Is 66 less than f?
False
Let h = 19053 - 19342. Which is bigger: -282 or h?
-282
Let g = -3158 - -3236. Which is greater: 3 or g?
g
Let m(p) be the first derivative of 77*p**3 - p**2/2 - 3*p + 97. Let u be m(-1). Is u != 228?
True
Let l = -3164 + 3541. Are -2/3 and l unequal?
True
Let z = 2.59 - 0.09. Let f = 0.0765 - 2.6765. Let t = z + f. Is -14 not equal to t?
True
Let l = 502 + -259. Suppose 0 = x + 2*a + l, 2*a - 515 = 2*x - 59. Is x > -232?
False
Let r = -3810 + 4389. Which is smaller: 583 or r?
r
Suppose 15*o + 344 = -71*o. Let p = 22 - -16. Let k = -38.2 + p. Which is bigger: k or o?
k
Suppose -174 = -6*p + 11*p - 3*s, -3*p - 2*s = 112. Let q be -50*(p/(-8) + -2*2). Which is smaller: -26 or q?
-26
Suppose -2*o = 12, 267 = -3*r - 4*o + 786. Which is smaller: r or 177?
177
Let a = -37052 + 37030. Is a > 2.1?
False
Let j(z) = -59 - 71 - 9*z**2 + 3*z - 63 + 2*z**3 + 197. Let h be (-6)/(-21) - 52/(-14). Let q be j(h). Is q at most -1/114?
False
Let r be (2/3)/((-368)/(-180) - 2). Let n = r + 241. Let b be 2 - (-24)/(-14) - n/1680. Is -1 less than or equal to b?
True
Let b be ((-20)/52)/((-30)/(-735) - 5126/(-6468)). Let n = -1 - -1. Which is smaller: b or n?
b
Let k = 12925 + -15671. Is 0.1 at most k?
False
Let s be (-2)/(-7) - (-2)/(-7). Let b = 121/7 + -243/14. Are b and s nonequal?
True
Let u = 0 + -2. Let o(m) = 2*m**2 + 3*m. Let r be o(u). Let g = 5864/9 - 650. Is g bigger than r?
False
Let m(z) = -z**3 - 94*z**2 + 32*z - 24. Let b be m(-95). Which is greater: b or 5960?
b
Let c = -4/2841 - 2125/508539. Which is smaller: -9 or c?
-9
Let v be -67 + 66 - (-2 - 3934). Is 0.1 at most v?
True
Let t = 11 - -3. Suppose 0 = j - 2 - t. Let c = 11 - j. Which is smaller: c or -6?
-6
Let s(j) = -j**3 + 4*j**2 + 26*j - 13. Let y be s(7). Let l = -188 - y. Are l and -210 nonequal?
False
Suppose 2*a - 34648 = -2*b, -39*b - 5*a - 17318 = -40*b. Are 17324 and b nonequal?
True
Let p = 74 - 162. Let h = 98 + p. Suppose 0*z = -h*z - 7*z. Which is greater: z or -1/73?
z
Let g(n) = 6*n - 144. Let u be g(27). Let m be ((-96)/(-128))/((-2)/((-2152)/u)). Does m = 46?
False
Let s be (24/(-28))/((-1)/35). Suppose 55*j - 336 = 7*j. Is j less than or equal to s?
True
Let c = -9/4 - -2. Let l = 0.529 - 290.529. Let j = -290 - l. Which is bigger: j or c?
j
Let n = 1079 - 1071. Let x = -8 + 14. Suppose -2*b + 16 = x. Which is bigger: n or b?
n
Let c = 1637 - 70394/43. Let f(i) = -i**2 - 31*i - 84. Let x be f(-28). Which is greater: x or c?
x
Let d = -64 - -86. Let u(v) = 2*v - 47. Let p be u(d). Suppose -14*m + 105 = m. Which is smaller: m or p?
p
Let l(s) = s**2 + 5*s - 14. Let o be l(2). Suppose -64 = 4*v - o*v. Is v at least as big as -122/7?
True
Suppose 18 = 19*u - 20. Suppose 3*i + 1 = -2*z + 4, -6 = 3*z + i. Let g = u + z. Which is greater: g or -2?
g
Suppose 34 + 27 = -61*y. Let r be 3/(-237)*(-3 + 2). Is r at least as big as y?
True
Let v = -0.04997 - 17.95003. Is 2.9 != v?
True
Let y = -726 + 26864/37. Let s = -1205 + 74701/62. Let c = 11/31 - s. Is y <= c?
True
Let a(b) = 16*b - 148. Let s be ((-6)/(-8))/((-24)/(-160)). Let z be a(s). Is -67 at most z?
False
Suppose -5*v - 51 = 3*i - 0*i, i + 5*v = -7. Suppose 0 = -4*l - 12, -q + 5*l + 1 = 4*l. Let d be (-66)/15*(q + 7). Are i and d nonequal?
False
Let d be (-7)/(-12 - -5) - 62/(-2). Suppose 0 = -4*i + 3*j - d, 3*i + j + 21 = -3. Let a be (18/15)/((-6)/40). Do i and a have the same value?
True
Suppose -5*g = 3*m - 17, -4*g = 8*m - 3*m - 11. Is m < -2/40607?
True
Let h = -4.874 + 6.874. Which is greater: -1/3908 or h?
h
Let u = -581/3 + 6467/30. Suppose 5*l + 4*a = 71, 800*l = 798*l + 3*a + 79. Which is greater: u or l?
l
Suppose 6*s = -67 + 31. Let j be (-12)/(-36)*(s/(-616))/(-1). Which is bigger: j or 1?
1
Suppose -1478*m = -1412*m + 7326. Let i(n) = 4*n**2 - n + 7. Let v be i(-5). Let k = m + v. Is k != -1/6?
True
Let k(v) = -3*v**2 - 2 + 2*v**3 + 4 - 2 + 2. Let t = -362 + 360. Let f be k(t). Is f greater than -26?
False
Let w be (-72)/(-168) + (-148632)/(-847). Is 176 <= w?
False
Let a be (1889 - 29)*(-9)/6. Which is greater: -2791 or a?
a
Let k = -165 + 150.6. Let x = k + 14.2. Do 1/17 an