x = 15609/4 - 3583. Are x and 319 equal?
False
Suppose -6*d - 28770 = -d. Let l be ((-10)/2 - 0)*d/(-35). Let p = -2443/3 - l. Which is smaller: 9 or p?
p
Suppose -3660 = -255*h + 240*h. Which is bigger: h or 245?
245
Let z(j) = j + 3. Let q be (-124 - -122)/(0 - -1*1). Let f be z(q). Let l be 1/((-22)/38) + 2. Is l >= f?
False
Let a(i) = 14*i - 5 - 7 - 30. Let r be a(6). Let v = r + -42. Which is smaller: v or 3/70?
v
Let f be 9/68*(-2)/3. Let h(t) = -t**2 + 38*t - 63. Let p be h(41). Let b = -187 - p. Is f at most b?
False
Let b(t) be the second derivative of t**3/6 - 2*t**2 + 14*t. Let k be b(6). Suppose -3*z = -4*z + 3*c + 18, -k*z + 24 = -3*c. Which is bigger: z or 5?
z
Let m = -8912 + 17807/2. Which is smaller: m or -1/91?
m
Let v(w) = 3*w**2 - w + 28. Let b be v(8). Suppose -i + b = -4*f - 5*i, 2*i - 159 = 3*f. Let p = f + 65. Is p > -1?
True
Let f = -2760 - -91087/33. Is f less than 2?
True
Let r = -2289 + 295276/129. Which is bigger: -1 or r?
r
Let b = -50 - -51. Suppose -2*q = -7*q + 35. Let v be q/14 - (-2)/(-24). Which is bigger: b or v?
b
Let y be 0/1 + (-2 - -1). Let c = -6450 - -238652/37. Is c at most y?
False
Let z = 33.009 + -0.009. Suppose -4*o = 2*o - 5*o. Let j be (1/(-3))/(o - (-3)/6). Are j and z equal?
False
Let c(p) = p + 7. Let m be c(14). Suppose 4*o - 134*d - 40 = -138*d, 2*o = 4*d + 44. Is m less than o?
False
Let h = -13 - 0. Let x = h - -23. Suppose -5*p - 60*o - 54*o + 130 = -119*o, 2*o = -26. Which is bigger: p or x?
p
Let f be (35 - 1) + 4/2. Suppose 5*w + 2 = -5*q + 47, -4*w = q - f. Let h be (16/(-10))/(4/(-20)). Are h and w equal?
False
Let b = 20.8 + -20.613. Let l = -5.687 + b. Which is greater: l or -0.1?
-0.1
Let o(y) = -y**3 - 3*y**2 + 2*y + 6. Let r be o(-4). Suppose r = 4*g - 2. Let j(f) = -1654*f - 3300. Let b be j(-2). Which is smaller: b or g?
g
Suppose -15*t - 20 = 2*b - 17*t, 0 = 2*b + 4*t + 20. Let h be -2*2/(-12)*(b - -11). Let c = -336 - -1686/5. Which is greater: c or h?
c
Let p(f) = -12*f + 17. Let z be p(5). Let i = z - -46. Let m be i/(-52)*12/18. Is m greater than -1?
True
Let l be 63/(-90)*10/(-4). Suppose n + 2*n - 21 = 4*r, r = -3. Is l at least n?
False
Let p = -1008 - -1035. Are 31 and p equal?
False
Let a be 3/(-18)*8/(-58). Let x = 350 - 346. Suppose 0 = -7*t + 3*t + x*v - 16, -3*t + 2*v - 8 = 0. Which is smaller: a or t?
t
Let g(c) = -c**3 - 8*c**2 + 8*c - 9. Let t be g(-9). Suppose 72 = -t*m - 12*m. Let d be (-1)/(-2)*m + (-11)/(-3). Are -0.05 and d equal?
False
Let h(v) = -2*v**2 + 4. Let x be h(4). Let f = 659 + -685. Which is bigger: f or x?
f
Let u = 13 - 3. Let d be (0 - 0) + 52 + -25. Suppose d*p = -2*p + 319. Is p > u?
True
Let g = -43840 + 43839. Is -2/60457 greater than g?
True
Suppose -358 = -4*p - 294. Let h(j) = j**2 - j. Let o(z) = -6*z**2 + 7*z - 6. Let t(s) = -5*h(s) - o(s). Let r be t(4). Which is smaller: r or p?
r
Suppose 3*d + 161 + 160 = 0. Let k = -92 - d. Is -1 <= k?
True
Suppose -14 = -3*n + 2*n. Let s(b) = -b**2 + 15*b - 9. Let v be s(n). Suppose v*r = 3*u + 30, 5*r + 5*u - 30 = -0*r. Are r and 2 non-equal?
True
Suppose -8*v - 186 + 274 = 0. Suppose -11 = -22*s + v. Is 3/23 bigger than s?
False
Let o = 785 + -875. Let b be (-12)/o - 7/(-315)*-1221. Suppose -2*y + 1 = -3. Which is smaller: y or b?
b
Let u be (20/6)/((-26)/30 - -1). Suppose 27*q + 4 = u*q. Let b be q + -3 + (3 - 2/2). Is b >= -0.01?
False
Let p be 1/3 - 2590/(-6). Suppose -5*h + h + p = 3*k, -6 = -2*h. Let o be (2/4)/(7/k). Which is smaller: o or 9?
9
Let y(r) = -r**2 + 2*r + 6. Let v be y(0). Suppose 0 = 3*s + i + v - 29, 0 = 5*s + 4*i - 36. Is s >= 6?
True
Let f be ((-3)/(-465))/((-48)/(-240))*(-1 + 3). Do -28 and f have the same value?
False
Suppose 3 = 8*n - 13. Let p be -4 + (20256/2409)/n. Let h = p - -5/73. Which is greater: h or -1?
h
Let n = -15774.053 + 15761. Let h = 3.2 + -3.147. Let d = h + n. Which is bigger: d or -1?
-1
Let i(d) = 3*d**2 + 12*d + d**3 - 12 - 13*d**2 + 6*d. Let l be i(8). Suppose -4*o + j + 26 = 0, 5*j + 16 + 2 = l*o. Is 8 smaller than o?
False
Let y = 2/337 - -25943/1011. Do -2 and y have different values?
True
Let r = 32.967 - -11.141. Let o = r + -0.108. Is o greater than 0.1?
True
Let u = 0.41562 - -0.21328. Which is smaller: u or 0?
0
Let d = -1.489 + -1049.511. Does d = -0.1?
False
Suppose y = 2*z - 33, z + 2*y = -2*y + 30. Suppose x - 2*l = 0, -34 = -5*x - 4*l + 8. Let g be 0 + 225/18 + x. Do z and g have the same value?
False
Let d = -36298 - -36296. Let a = -25599/15994 + 7/727. Are a and d unequal?
True
Let j = -8.67 - -2.52. Let c = j - -0.15. Let o = 3024 - 3024.1. Are o and c equal?
False
Let q(b) be the second derivative of b**5/20 + 7*b**4/6 - 7*b**3/3 + 8*b**2 + 14*b. Let p be q(-15). Let c be ((-1)/(-4))/((-40)/24). Is p at most as big as c?
False
Let g be 1/(-5) + (-505795)/(-421475) + 60 + -61. Which is greater: -1 or g?
g
Let w(b) = 22*b + 483. Let m be -25 - (7/49 + (-88)/28). Let c be w(m). Which is bigger: c or 3/32?
3/32
Let i(p) = -p**3 - 6*p**2 + 6*p + 6. Let y be i(-7). Suppose 0 = -379*c + 380*c + 3*h + 22, -2*c - 32 = 5*h. Is c != y?
True
Let s = 3625 - 4357. Is 0.5 <= s?
False
Let s = -154273 + 26689228/173. Suppose -5*b + 15 = -2*c, 3*c + 0*b = -b + 3. Which is greater: s or c?
c
Suppose -l = 4*x + 217, -142 = -5*x + l - 402. Let n be 650/(-12) + 117/54 + -2. Is n < x?
True
Let f = -15580 - -15581. Is f less than or equal to -47.13?
False
Let n be 497/14 - 1/(-2). Let f be ((-102)/36)/(-17) - (-298)/n. Which is smaller: 8 or f?
8
Let r = -46021.126 - -46021. Suppose 0*y + 2 = 2*y. Which is greater: r or y?
y
Let p = 15450 - 386468/25. Is p < -10?
False
Suppose 110*i - 116*i = -36. Suppose -27*x = 2*b - 31*x - 12, 4*b = -2*x - i. Do 1/7 and b have the same value?
False
Suppose -4*w = d - 376, 0 = 2*w - 8*d + 5*d - 188. Suppose -w*q = -77*q. Let u = -48 - -19. Are q and u equal?
False
Let x = -134.174 - -144.1967. Let i = -0.0227 + x. Does 13/2 = i?
False
Let t(c) = c**3 + 10*c**2 + 2*c - 4. Let p be t(-10). Let u = p + 27. Suppose 3*v - 6 = -u*m, v = -0*m + 5*m + 14. Which is smaller: v or 1/8?
1/8
Let i = -4.487 - -4.617. Which is bigger: -19/12 or i?
i
Let i be 2 + 1 - 0 - 5/5. Suppose -5*g + 126 = i*g. Is 19 not equal to g?
True
Let r = 20/749 + -19176/605941. Which is greater: r or -1?
r
Let l(d) = 9 + 4 + 10 + d. Let g be l(18). Let p = -49 + g. Which is smaller: -6 or p?
p
Let k(t) = -15*t**2 + 14. Let n(h) = -30*h**2 + 28. Let c(x) = -7*k(x) + 4*n(x). Let j be c(-3). Is -120 at most as big as j?
False
Let v = 13.58 + -0.58. Let g = 14 + v. Let a = -83/4 - -85/4. Is g > a?
True
Let j(m) = -173*m**2 - 43*m + 154. Let w be j(4). Is -2787 < w?
True
Let v = 40 - 44. Let b be 8 + 279/(-2) - (-1)/(-4). Let l = b - -131. Which is greater: v or l?
l
Let x = 138 + -70. Suppose 5*i + x = 13. Let f = -0.0572 + -1.9428. Is f greater than i?
True
Let n = -47 - -147. Let s be (-3)/9*4380/n. Is s greater than -16?
True
Suppose 26*l - v - 3216 = 22*l, 5*l - 4045 = -5*v. Is 805 equal to l?
True
Let d = -165/628 - -2/157. Suppose -5*s - 4*x = -0*s + 6, -5*x = 5*s + 10. Suppose 2 = 3*n - s*r - 0, -2 = 2*n + 2*r. Which is bigger: n or d?
n
Let s be (-1 - 65/(-120))*2616/(-16). Which is bigger: 75 or s?
75
Let u = 35702 + -35576. Is u less than 161?
True
Let f be 4/6 + 35938/(-150). Let z = -945 + 706. Let g = z - f. Which is greater: g or -1?
g
Let y = 7.6 - -62.4. Let d = y + -34. Let z = d - 31. Are z and 4 equal?
False
Let i(g) = 5*g + 45. Let q be i(23). Let y be 8 + -2 - q/30. Which is greater: 0.01 or y?
y
Let k be (8/(-4132))/(16/(-24)). Let s = 4351/75409 - k. Is s != 1?
True
Let d = -40.7 + -9.3. Let u = d - -49.92. Let y = 0.32 - u. Is 0.16 at least y?
False
Let k = -3436/83 - -1169320/249. Which is bigger: 4654 or k?
k
Suppose g - 2*l + 231 = 4*g, -4*l + 146 = 2*g. Let f = -80 + g. Is f at least -3/77?
False
Let n(v) = 4*v + 56. Let b be n(-14). Suppose b = -50*s + 49*s. Let q = 315829/186 - 1698. Which is smaller: q or s?
s
Let x = -14647 + 14720.49. Let i = -7.49 + x. Which is bigger: i or 5?
i
Let j be ((-4)/(56/5))/(-13 + 108/8). Which is smaller: j or 295?
j
Suppose 0 = 18*p - 17*p - 10. Let c be p*(2261/(-84))/(-17). Which is bigger: c or 16?
16
Suppose -4*n + 2*t + 26 - 2 = 0, 0 = 2*n + 5*t + 12. Suppose 5*i - 38 = n*i. L