-7 and v have different values?
False
Suppose 169*x = -191751 - 59383. Which is smaller: x or -1489?
-1489
Let r(k) be the second derivative of 5*k**3/3 + 35*k**2/2 + 24*k. Let y be r(4). Is 75 <= y?
True
Suppose -3*t + 7 = -3*j - 2*t, 0 = -2*j + 5*t - 22. Let r = -16850/11 + 13564272/8855. Which is smaller: r or j?
j
Suppose -10*k = k - 24420. Let v be ((-6771)/k)/(-1*2/(-8)). Which is greater: -12 or v?
-12
Let v = -0.578 + -59.722. Let i = v + 60.2. Let n = -5 + 24. Is i != n?
True
Let x = 416 - 414. Suppose -40 = 5*g - 5*f, -x*g - 3*f - 1 = -2*f. Is 66 greater than or equal to g?
True
Suppose 0 = 107*v + 327 + 208. Do -42 and v have the same value?
False
Let q be (0/(-1 - 0))/1. Suppose 0 = 4*s - 4*j, 3*s + q*j - 2*j + 5 = 0. Let v be (-43)/s + 2/5. Which is greater: 0.2 or v?
v
Let b = -742 + 733. Let f = -3.7 + 3.7. Is f at least b?
True
Let n = -110 + 204. Let d = n - 75. Let h = d + -9. Is h less than or equal to 0.1?
False
Let m = 598 - 522. Suppose 3*x - 214 = -5*q + q, -3*x + 2*q + 226 = 0. Are x and m equal?
False
Suppose -y + 6*y + 32 = 3*x, 5*x - 28 = 2*y. Suppose 0 = t + 2, 3*t - 244 = -x*j + 6. Suppose 187 = -2*d - d - 2*r, d + j = r. Which is smaller: -64 or d?
-64
Let z = 7/9 + -2/3. Suppose -2*p + 18*p - 5*p = 0. Which is greater: p or z?
z
Let h(k) = -16*k**2 - 86*k - 434. Let q be h(-8). Is q at most as big as -770?
True
Let g(a) = -a**3 + 11*a**2 + 2*a - 17. Let f be g(11). Suppose 0 = 14*n - 7 - 35. Suppose 104 = -n*u - f*u. Is -13 greater than u?
False
Let g(b) = b**3 + 24*b**2 + 32*b + 47. Let o be g(-22). Suppose 18*w + 3432 = 29*w. Is w smaller than o?
False
Let a = -18873 - -26089. Are 7216 and a equal?
True
Let o(t) = -t - t**2 - 5*t**2 + 3*t**2 - 8*t + 7. Suppose -214*l = -203*l + 55. Let b be o(l). Which is smaller: b or -97/4?
-97/4
Let o = 2098 + -1146. Do 953 and o have the same value?
False
Let s be 3*(-5 - (-290)/15). Let a = 33 - 33. Is s at least a?
True
Suppose -i + 140*i + 306*i + 263885 = 0. Which is smaller: -5336/9 or i?
i
Suppose -3*n = 3*y + 9, -2*y + 4*y + 2 = -4*n. Let f = -111050/11 + 10096. Do f and n have different values?
True
Let g = -0.5 - -0.6. Let k = -0.078 - 49.922. Let y = 33 + k. Which is smaller: y or g?
y
Let o = 122 - 110. Let t be 9/(-12012)*-214 - o/78. Are 1 and t equal?
False
Suppose -5*z = -9*z + 5*c + 1800, -c = 4*z - 1800. Let o be (32/(-9))/((-100)/z). Which is bigger: 18 or o?
18
Let h(g) = -60*g - 66. Let t be h(-14). Suppose -6*l = 3*l - t. Is l >= 86?
True
Let f(q) = -q**2 - 53*q - 52. Let o be f(-1). Is -14/965 greater than or equal to o?
False
Let z = -2218 - -2172. Which is bigger: z or -105?
z
Let f = -1387 + 1386. Are 11/92 and f non-equal?
True
Suppose -4*s + 3*d + 116 = 0, 32 = 2*s + d + 4*d. Let i be (-3576)/78 - 4/s. Which is smaller: -47 or i?
-47
Suppose -4*x = 5*i - 24 + 2, 2*x = 6. Suppose -9*c = -i*c - 56. Suppose 2*f = 18 - c. Which is greater: f or 23/5?
f
Suppose -22*l - 438 - 552 = 0. Which is smaller: -44 or l?
l
Let s = -198 - -197.838. Let u = s + -1.838. Which is greater: -21 or u?
u
Let n(c) = c**2 - c + 1. Let p(v) = -10*v + 4. Let f(s) = n(s) - p(s). Let w be f(-10). Which is smaller: w or 8?
w
Let v be -8 + 4 - -3 - (-8 + 6 - -936). Is v equal to -2803/3?
False
Let g = -53 - -53. Let b be 2 + g - (-2 + 0 - -1). Suppose -4*i = -b*l - i - 156, 0 = 3*l + 3*i + 144. Is -51 less than or equal to l?
True
Let x(z) = -z - 4. Let r be x(-8). Suppose -4*w + 2*s = w + 24, -18 = w + r*s. Let h be (3/w)/(-3 + 5). Is h > 3?
False
Suppose 412 = y + 2*l, 0 = -2*y + 2*l - 243 + 1103. Do y and 425 have the same value?
False
Suppose -1 + 1 = 11*h. Suppose 0 = -h*n + n - 28. Suppose -i + 4 = -p, -i + p - n = -4*i. Which is bigger: 27/4 or i?
i
Let s be 23/((-18)/18)*(14 - (1 - 4)). Do s and -1953/5 have different values?
True
Let w(r) = -228*r + 229. Let s be w(1). Which is greater: 2/3779 or s?
s
Let i = 386.9 + -386.6. Let f = 56/759 + 20/69. Is f smaller than i?
False
Let s = -52.68 - -1.68. Let w = s + 16. Does 0.4 = w?
False
Let c = 276/19 - 53858/3705. Is 2/5 > c?
True
Let g = -2693 + 2722. Is g greater than -0.18?
True
Let d = 38 + -50. Let u = 44 - 66. Let s be 238/u + 2/(-11). Is s > d?
True
Let t = 3592350/2118571 + -368/217. Are t and 1 equal?
False
Let f be (1/(-3))/(1/3). Let w = 4349/519798 - 1/4226. Which is smaller: w or f?
f
Let g(f) = 3*f**2 + 3*f + 2. Let l(u) = -9*u**2 - 9*u - 5. Let b(o) = 11*g(o) + 4*l(o). Let n be b(1). Let a be 20/(-3) + (1 - -2). Which is smaller: a or n?
n
Suppose 84*s = -0*s. Do 1/1386 and s have the same value?
False
Suppose 5*n - i = i - 73, -65 = 4*n + 5*i. Let d be 145/n + -3 + (-3)/9. Let a = -12 + d. Which is bigger: a or -26?
a
Let o = -2/2833 - -5672/8499. Which is smaller: o or 325?
o
Let a = -21110 - -31466. Is a at most 10355?
False
Suppose o - 3 = 4*o. Let v = 5 + o. Suppose 305*r = 3813 - 2288. Is v greater than r?
False
Suppose -166*i + 288 = -170*i + 2*o, -4*i - 292 = -3*o. Which is bigger: -141/2 or i?
i
Let c = -4436 + 4435.997. Which is greater: c or -53/6?
c
Let c = 2828 - 2774. Suppose 14*u - 1215 = -375. Is u greater than c?
True
Let o = -1 - -22. Let x(q) = q**2 - 23*q + 52. Let g be x(o). Let h(p) = p**3 - 9*p**2 - 9*p - 9. Let f be h(g). Which is bigger: 1/108 or f?
f
Let z be (384736/(-264))/(10/15). Is z equal to -2189?
False
Let d = -0.0082487 + 0.0082487. Let b = -41 - -95. Which is smaller: d or b?
d
Let r = 3771 + -3673. Which is smaller: r or 4/3?
4/3
Suppose v = -v + 2*h + 14, -5*v = -2*h - 44. Let d be (-4 + -6)*4/(-10). Suppose 7*b - d*b - 30 = 0. Are b and v nonequal?
False
Suppose -7 = -13*q + 6*q. Let i be (90/(-35) - -3)/q. Which is smaller: -0.03 or i?
-0.03
Suppose -5*b = -b - 336. Suppose -78*i = -79*i + b. Which is smaller: 83 or i?
83
Suppose 13*z + 275346 = -8*z - 6*z. Are -10199 and z nonequal?
True
Suppose 5*g = 4*i - 9354, -34*i + 1890 = -g - 38*i. Which is greater: -1873 or g?
-1873
Let m = 4664 - 4687. Let t = -48 - -30. Which is smaller: m or t?
m
Let u = 4/55 + -74/5. Suppose 21*y - 27*y = -12. Which is smaller: u or y?
u
Suppose 157*p = 4161 + 5102. Are 53 and p equal?
False
Let d = -13525 + 13519. Is -71/12 not equal to d?
True
Suppose 26*j - 19*j - 28 = 0. Suppose 45 = 4*r - 3*u - 21, -2*u + 4 = 0. Let d be (-4 - r)*(-2)/j. Is 12 at least as big as d?
True
Let n = -1950.517 + 1949.8. Do 1 and n have the same value?
False
Suppose 4*s - 44 = 5*k, -18 = -2*s + 457*k - 455*k. Which is greater: 9/2774 or s?
s
Suppose -82*a + 177753 = -247888 - 152377. Do a and 7047 have the same value?
False
Let f = 268.89 - 274. Let i = -1.63 - f. Let m = i - 0.48. Which is smaller: -6 or m?
-6
Let g(v) = 3*v**3 - 9*v**2 - 201*v + 424. Let n be g(2). Let c be (-3)/(5/(-2) + 1). Let d be (c/(-15))/(1/(-5)). Is n <= d?
False
Let a be -6 + 11 + -9 + 2*3. Suppose -5 = -s - 3*s + z, -5*z + 19 = a*s. Let b = -97 - -100. Is b at least s?
True
Let j = -108602/425 + 9756/25. Is j less than 134?
False
Let w = -826 - -837. Which is smaller: 297/25 or w?
w
Let d be (-61 - -64)/(6/(-26)). Let t be d/13 + (-35)/15. Does t = -3?
False
Let k = 11160 - 10150. Are k and 1007 unequal?
True
Let f = 52 - 50. Suppose p = -f*t, -4*p = -5*t - 7*p + 1. Is t bigger than -14/9?
True
Suppose 434 + 259 = 33*m. Suppose -28*y + 84 = -24*y. Do m and y have the same value?
True
Let r = 231 + -231. Which is greater: r or -0.0405?
r
Suppose 43180 = 30*s - 102*s - 40052. Is s greater than -5774/5?
False
Suppose -2*k - 1 = 2*c - 5, 0 = 3*c - k - 2. Is -1/2426 less than or equal to c?
True
Let j be ((-2)/10)/(192/(-1200)). Is j at most as big as 50/47?
False
Let f = 201 + -199. Let q be 1 + ((-94)/(-54) - (0 + f)). Is q at least 0?
True
Let u = -1162 - -1103. Suppose 0 = 5*t + 10, 290 = -5*x - 0*t + 5*t. Is u <= x?
False
Let g = 13/5 - 2. Let q be (-2)/20*-2 + (-18)/(-10). Suppose -q*c = -c + 4*w - 22, w + 1 = 3*c. Is g less than or equal to c?
True
Let k = -7 + 34. Let q = k - 28. Which is smaller: q or 2/5?
q
Suppose -105 = -10*g + 5. Let s(o) = -o**3 + 15*o**2 - 44*o - 3. Let x be s(g). Is -16 greater than x?
False
Suppose 3*g - 36 = -54, -3*g = -6*y + 47106. Is 7848 >= y?
True
Suppose 3*f + 4*w = -59, 73*w = 70*w - 6. Let h(u) = -3*u**3 + 2*u**2 - 1. Let x be h(2). Does x = f?
True
Let d = 463 - 468. Let i be 3042/(-1