/513. Is 0 < y?
True
Suppose 5*o - 25 = -p, -2*p + 2*o - 10 = -0*p. Is -1/4 >= p?
False
Let q be 2381/14 + 5 + -1. Let z be (0 + -9)/(9/174). Let i = z + q. Which is smaller: i or 0?
0
Suppose 0 = -110*z + 114*z - 4*w - 20, 0 = 3*z - 5*w - 23. Is z < 41/20?
True
Let d be (4/381)/(12/270*-5). Let j = -2129/635 + d. Is -4 at least j?
False
Let z = 55 + -17. Suppose -3*j = 5*c + z, -j + 50 = -3*c + 4*j. Is c not equal to -10?
False
Let z be (-4796)/545*(1 + (-6)/(-4)). Which is smaller: z or -34?
-34
Let z = -16 + 20. Let u(i) be the first derivative of i**2/2 - 5*i + 6. Let p be u(9). Is p bigger than z?
False
Let t = -10 + 16. Suppose -4*a + 28 = -4*n, 2*a - 6 + 0 = 0. Let j be (n/8)/(10/(-16))*10. Is t greater than j?
False
Suppose 0 = -n - 520 + 446. Do -75 and n have the same value?
False
Let v = -200 + 200. Which is smaller: 0.108 or v?
v
Suppose -3*k = 2*p - 0 + 6, p - 6 = 3*k. Suppose -3*l = -2*l + 2*w, 3*w + 0*w = 0. Is l <= p?
True
Let v(z) = -z**3 - 6*z**2 + 8*z + 4. Let b(j) = j**3 - 6*j**2 + 8*j**2 + 5 - 3*j**2 - j - 3*j**2. Let o be b(3). Let q be v(o). Which is greater: q or -5?
q
Let p be 1/(-7) + ((-240)/(-28))/4. Suppose 3*o = -p*o - 80. Is -29/2 smaller than o?
False
Let c = -105 + 106. Which is bigger: c or -0.034?
c
Let v be (-7623)/(-1904) + (-8)/2. Is v equal to -1?
False
Suppose 0*u = u. Suppose u = 4*r - p + 8, -2*r - 3 + 5 = p. Suppose 0 = -4*m + 72 - 28. Which is bigger: r or m?
m
Let h = 57 - 56. Let n be 80/16 + -3*h. Which is smaller: 18/7 or n?
n
Suppose 0 = -4*r + 13*r - 171. Suppose 3*u - r = -d + 3*d, -3 = -3*d. Suppose 17 = u*w - 4. Is -2 bigger than w?
False
Let k(y) = y**3 + 20*y**2 + 60*y - 69. Let n be k(-19). Do n and -847 have the same value?
False
Suppose -5*s + k - 2 = 0, 2*s - 4*k + 8 = 3*s. Suppose s = 5*c - 50 + 5. Suppose -46*n - 77 = -53*n. Which is smaller: c or n?
c
Let i = -22 + 20. Let x be (3/4 - 1)*(-180)/(-63). Is x at most as big as i?
False
Suppose -4*z + 5 = 1. Is 4/13 less than z?
True
Suppose 4*y - 4*n = -32, -y - 3*n = 3*y + 11. Let h be 2/y - 1/10. Is -1 equal to h?
False
Let x = -4.49 - -0.59. Let f = 3.7 + 0.3. Let n = x + f. Is 5 less than or equal to n?
False
Let v = -18591 + 539199/29. Is 3 <= v?
False
Let w = -1344307/96 - -14003. Let a = w - -1631/9696. Is a greater than 1?
False
Let x = -5 - -5. Suppose x = 3*z + 4*z - 7. Is 1/106 less than z?
True
Let z = 7 + 14. Suppose -16 = h - z. Does h = 6?
False
Let g = 0 - 62. Let r = -130 - -69. Which is smaller: g or r?
g
Let t(j) = j**2 + 2*j + 1. Let g be t(-2). Suppose -5*i - 11 + g = 0. Let z = 0 + i. Which is smaller: 3 or z?
z
Let k = -21 - -23. Let p be 84/(-3) + 0 + 0. Let n be p/8*2/(-3). Which is greater: n or k?
n
Let r be 100/980 - (-1)/(-7). Which is smaller: 0 or r?
r
Let j be 41 + -36 - (-1 - 5)/(-1). Is 121 bigger than j?
True
Let t be (-856)/4002 + 10/145. Is t <= 0?
True
Let p(r) = -r**3 - 9*r**2 - 13*r + 11. Let b be p(-7). Let j be -1*7 + 1 + -2. Let m be 14/(-4) + (-4)/j. Is m at most b?
True
Let o be (-2632)/15651*(-3)/4. Is o smaller than -1?
False
Let l be (1/2)/(3/(-18)). Let j be (9 + l - 6) + (1 - -1). Which is greater: j or -8?
j
Let v(b) = b**2 + 8*b - 20. Let s be v(2). Let q be ((-3)/(-501)*2)/2. Is q at most as big as s?
False
Let k = -19 - 6.9. Let f = 26 + k. Is f > 2/3?
False
Suppose 2*y = 3*y - 2. Suppose 2*u - 2 = -n + y, 5*u + 2*n - 10 = 0. Suppose 7*j - 9*j - u = 0. Which is bigger: j or -3?
j
Let w be 1 + 6 - -3 - -1. Let n = -11 + w. Suppose -3*r + 8*r = n. Is r smaller than 0?
False
Let n = -14611/44 + 465501/1012. Let h = 128 - n. Which is smaller: -1/4 or h?
-1/4
Let x(f) = -f**3 - 3*f**2 + f - 6. Let d be x(-4). Which is smaller: d or 16?
d
Let c = 8.267 + -23.267. Let h = -2 - -2.3. Which is bigger: c or h?
h
Suppose 0 = 19*o + 7*o - 1560. Which is smaller: 59 or o?
59
Suppose -8*t - 99 = -51. Which is smaller: -11/2 or t?
t
Suppose -18*p = -14*p. Suppose -5*b - r + 17 = -8, -b + 4*r = 16. Which is greater: p or b?
b
Suppose -2*p = 5*h - 7, -4*h + 2*p + 11 = -3*h. Suppose h*s - 22 = -7. Let d = -4 + s. Which is smaller: 1/13 or d?
1/13
Suppose 2*y = 14 + 38. Let l be (-49)/78 - y/(-39). Which is bigger: 0 or l?
l
Let j(m) = m**3 + 3*m**2 + 1. Let x be j(-2). Suppose 8 = x*d + 3*i, -2*d + 5*i - 1 = 2*d. Let s be -1*3/(-2 + 212/(-8)). Is d > s?
True
Suppose 0 = 6*b - 21 - 21. Suppose -b*d = 9 - 44. Which is bigger: -0.5 or d?
d
Let k = -0.3 - -0.2. Let r = 1.46 + -0.76. Which is bigger: r or k?
r
Suppose -2*d = 3*q - 6, -2*q + q - 3*d = 5. Suppose -4*u - q*f = -64, u - 8 = -3*f + 14. Let c = 13 - u. Which is smaller: c or -2/5?
-2/5
Let i be (-3)/(-10) + 3/(-5). Let b(a) = -a**3 - 10*a**2 - 10*a - 7. Let o be b(-9). Let x(s) = -2*s + 5. Let u be x(o). Which is smaller: u or i?
i
Let k be (3/(-2))/((-1)/2). Suppose 0 = -o - l + 10, -5*l = -3*o - 10*l + 40. Suppose k + 10 = -o*z - 2*d, d = 1. Are z and -2 equal?
False
Let l = 116 + -116. Let k be l + -4 + 67/8 + -4. Which is greater: k or 1?
1
Let r(f) = -f + 3. Let h be r(5). Let u be (h/108)/(5/(-15)). Let s = 0 + -1. Which is greater: u or s?
u
Suppose 4*k = 119 - 751. Let m = 163 + k. Is m less than or equal to 2?
False
Let k be ((-1128)/27)/(8/12). Let z = k - -62. Which is greater: 0.5 or z?
0.5
Suppose 3*s - 4*k - 1 - 1 = 0, -5*s = -5*k - 5. Let b(v) = 2*v**3 - 3*v**2 + 2*v - 1. Let u be b(s). Let c be (-12)/1 + 0/u. Which is greater: -2/7 or c?
-2/7
Let a = 1172/3 + -386. Are 4 and a equal?
False
Let x = 17.1 - -3.9. Let i = x + -18. Is -8 > i?
False
Let l = 4 - -5. Let j = -14 + l. Are j and -6 non-equal?
True
Let t(l) = -2*l**3 - 4*l**2 + l + 7. Let d be t(3). Suppose -150 - 163 = 4*o + a, 0 = 2*o + 2*a + 152. Do d and o have the same value?
False
Let u = 0.07 - 0.28. Let j = u - -1.51. Let v = -1.4 + j. Which is smaller: -1/9 or v?
-1/9
Let h(o) = o**3 + 3*o**2 + 7*o + 10. Let s be h(-3). Let l(v) = -v**2 - 8*v + 27. Let b be l(s). Which is smaller: 1 or b?
b
Suppose 685 = -5*c - 5*w, -5*c + 9*c = -2*w - 548. Which is bigger: -133 or c?
-133
Suppose 1 = 4*p + l, 4*l - 23 = 3*p - 0*l. Let t be (-4)/6 + p/(-294)*190. Which is smaller: 0 or t?
t
Let t be (-6)/(-4) + (-266)/152. Which is smaller: 67 or t?
t
Let g(h) = h**2 - 6*h - 73. Let n be g(12). Let f = 43 - 647/15. Which is smaller: f or n?
n
Let w be (-33)/(-44)*(-8)/51. Which is smaller: 4/7 or w?
w
Let t(a) = -8*a + 527. Let y be t(66). Suppose 5*b = -4*d - 29, -d + 2*b = -3*b + 1. Are d and y equal?
False
Suppose 0 = 3*g - 2*k - 16, 0 = 3*g - 6*g + 5*k + 13. Let l(d) = 2*d**2 + d - 1. Let x be l(1). Which is greater: x or g?
g
Let r(k) = k**3 + 12*k**2 - k - 12. Let c = -40 - -28. Let q be r(c). Suppose -2*v + 2 = -4*v. Which is smaller: v or q?
v
Let t = -432 - -429. Which is smaller: t or 4?
t
Suppose i + 26 = 2*m, i = -4*m - 2*i + 42. Suppose 4*l + c - 5*c = -80, -40 = l + 3*c. Let y = l + 36. Is y > m?
False
Let d be 576/72 - (-1 - -8). Which is bigger: d or -10/67?
d
Suppose 0 = -2*z - 6, 0 = -0*m + 3*m + 2*z. Suppose 3*o + m*a - 118 = -o, 3*a - 22 = -o. Let s = o - 21. Which is greater: s or 2/3?
s
Let p be (-4)/(-8)*(3 - 1). Which is greater: p or 5/96?
p
Suppose -5*d = 2*d - 14. Let i be d/(-12) + (-15)/(-30). Which is greater: i or 1/5?
i
Let o = -178 - -199. Let j = 2.7 + -22.7. Let s = o + j. Which is smaller: 3/2 or s?
s
Let w(g) = g**3 + 4*g**2 + 4*g + 2. Suppose -20 + 5 = 5*n. Let v be w(n). Let q = 202.3 + -201.5. Is v equal to q?
False
Let o be ((-18)/(-15))/(-1 - (-8)/10). Which is greater: 7/8 or o?
7/8
Suppose 0 = -40*b + 43*b - 3. Let s be b - (-24)/(-63) - (-1)/(-3). Is -5/6 <= s?
True
Let q = 1187 - 1187. Do q and -9/248 have the same value?
False
Let y be 6 + 2/2*-16. Are -7 and y non-equal?
True
Let a = 63 + -8. Let z = a - 64. Which is smaller: z or 0.3?
z
Let x = 110 - 58. Let n be (x/78)/(1 + 27/(-25)). Is -7 bigger than n?
True
Suppose 0 = -3*r - 2*y - 991, 5*r + 229 = 2*y - 1444. Is -334 > r?
False
Let g = -0.18 + 0.58. Let k = -13.4 + g. Is 2/5 at least as big as k?
True
Let f = 108 - 80. Let y be -14 + 7/(f/12). Is -6 less than or equal to y?
False
Suppose -4*f - 5*b - 15 = 0, -5*b - 13 - 2 = -3*f. Let n be (1 - f)/((-5)/(-130)). Let a be (-108)/n - (-2)/13. Are a and -2 equal?
False
Let n = 1.1 - 0.94. Let o = n - -2.84. Is -1/3 less than o