ss than 2/17?
True
Suppose 0 = o - 3 - 0. Suppose 4*k - 2*z + 1 + 9 = 0, -2*k - 11 = -o*z. Let j be (1/(2 + k))/1. Is j not equal to 2?
True
Let i = 18 + -156. Let p = i + 128. Which is smaller: p or -48/5?
p
Let b be (-42702)/(-20) - (-52)/(-520). Are 2135 and b unequal?
False
Let h be -387*19*(-38315)/15. Let f = -35629479460/1897 + h. Let t = f + -2/271. Do t and 1 have different values?
True
Let p be 1*27/(-5) + 3/(-5). Let s be (p/21)/(-1) + 222/(-42). Are -3 and s nonequal?
True
Let j be (-2)/(91/(-45) - -2). Let q be (-85)/j*3 - (-4 + 1). Is 10 greater than q?
True
Suppose -2*t + 50 = -5*n, -3*t - 26 + 11 = 0. Let z = 4 + n. Let j be (-2)/2 + 0/z. Is -2/9 at least as big as j?
True
Let x = 71 - 69. Suppose h = 2*h - 1. Suppose -g - 2*w = 3 + h, x*w = -2*g. Which is smaller: g or 3?
3
Let l = 111617/109 - 1024. Is 1 equal to l?
False
Let w be (-100)/250 + (-164)/(-310). Which is smaller: w or -1?
-1
Let q(y) = 9*y**3 - y**2 + 2*y + 2. Suppose 27 = 4*s - 5*r - 25, 0 = -2*s - r + 12. Let i be s/(-5) - 6/(-10). Let x be q(i). Is x less than or equal to -10?
True
Let g(v) = 7*v**2 + 2*v - 10. Let z be g(2). Is z less than or equal to 19?
False
Suppose 4*a - 179 = -19. Let p = -38 + a. Suppose 0 = -w + 3*w - p, -4 = 3*t - 4*w. Which is smaller: -3/8 or t?
-3/8
Let u = 4.96 - -26.04. Is u at least -2?
True
Suppose -31*y = 1638 - 3870. Which is greater: 496/7 or y?
y
Let w = 476 + -477. Are w and 1/85 unequal?
True
Let p = 174 - 251. Are p and 2 equal?
False
Suppose 0 = 4*v - 0*v - 56. Suppose -4 = 5*j - v. Suppose 0 = j*c - 11 + 25. Which is bigger: c or -8?
c
Suppose 3*d - 4*d - 29 = 0. Is -29 at most as big as d?
True
Let j = 388 - 387.8. Which is smaller: j or -2/79?
-2/79
Let x be (2/3)/(130/(-78)). Is 0.34 less than x?
False
Let q = 2.164 - 0.164. Is q not equal to -0.057?
True
Suppose -16 = -0*m - 4*m - 4*l, 3*m - 3*l - 6 = 0. Suppose 0*w - m = w. Let c = -2088 + 2085. Does c = w?
True
Let t = 306 + -307. Is 1.04 at most as big as t?
False
Let s be -22*(-3 - -1) + 0. Suppose -2*f - 3*f - 3*g = -82, -2*f - 4*g + s = 0. Let o be f/(-8) + (-36)/(-48). Is o >= 2?
False
Let w = 0 - -1/4. Which is bigger: w or 0.3?
0.3
Let h = 29 + -97/4. Which is smaller: h or -0.1?
-0.1
Let u = 187 - 307. Let q = -111 - u. Is q <= 11?
True
Suppose 2 = -i - 0. Let m = 1440.8 - 1441. Is i <= m?
True
Let n(o) = -78 + 2*o + 46 - o + 45. Let k be n(-13). Let j be ((-1)/2)/(2/(-3)). Which is smaller: k or j?
k
Let p(m) = 32 - 96 + 49 - 7*m + 29. Let c be p(0). Let g(n) = 3*n**2 + 1. Let i be g(2). Which is greater: c or i?
c
Let i(r) = 5*r**2 - 10*r - 1. Let a be (9 - 2 - 4)*(-2)/(-3). Let h be i(a). Is -1/35 smaller than h?
False
Suppose 2*d + 119 + 203 = -4*r, -3*r = -4*d - 600. Is d at least as big as -152?
False
Let b = 4.72 + -5.2. Let a = b + 0.506. Which is bigger: 0 or a?
a
Let c = -2 + 3. Let f = -5 + 44. Let x be (-69)/f - -1*2. Do c and x have the same value?
False
Let y(u) = -u + 7. Let r be y(-5). Let i(o) = -o**3 - 7*o**2 + 2*o + 6. Let q be i(-7). Let v be (-18)/q + 3/r. Which is smaller: v or 4?
v
Let r = -681.5 + 672. Is r less than or equal to 4?
True
Let x be ((-10)/(-9))/((-4)/(-75)). Is x > 22?
False
Let v be (-8*1)/((-72)/72). Suppose -4*i + 2*f + 26 = 0, 3*i - 16 = -f + 6*f. Which is smaller: v or i?
i
Let i be (-53620)/(-142560) - (3 - 42/16). Is 1 at least i?
True
Suppose 0 = -5*b - 2*a + 21, 6*a = 4*a + 6. Let y be (-7 - -3 - -1) + b + -15. Which is greater: -2 or y?
-2
Let p be (-8 - -5) + (-33)/(-1). Suppose -5*s + m + p = -22, 0 = 3*s + 5*m - 20. Suppose s*y - 7*y = 42. Which is bigger: 15 or y?
15
Suppose 8*m + 26 = 21*m. Let a be 1/(-3) + 4/12. Is m bigger than a?
True
Suppose 3*z + 12 = -0. Let j be (-6)/(-4)*z/(-6). Suppose -18*w - 6 = 12. Are j and w unequal?
True
Let k be 9/6 - 50/36. Let s = k + 2/9. Let r = -6.9 + 0.9. Which is smaller: r or s?
r
Let a(g) = g**3 + 8*g**2 + 12*g + 11. Let i be a(-7). Let l be i/9*(0 - (-1)/6). Suppose 4 = 3*j + j. Which is smaller: l or j?
l
Let y(h) = -h**3 - 7*h**2 - 6*h - 6. Let k(n) = n**3 - 4*n**2 - 5*n - 6. Suppose 0 = -2*l - 6 + 16. Let f be k(l). Let o be y(f). Is 0 less than o?
False
Let q = -1628455057/15663 - -311905/3. Let a = q - -6/227. Which is smaller: a or 2/5?
a
Let j(b) = -b**3 + 14*b**2 - 3*b + 12. Suppose 3*w = 4*w - 14. Let v be j(w). Do -31 and v have different values?
True
Let p(k) = k**2 + 15*k + 13. Let n be p(-14). Suppose 4 = 2*f - 0. Suppose v - f = -v. Do v and n have different values?
True
Let u = -0.31 - -0.01. Let d = -1.7 + u. Let f = 403.7 - 404. Which is smaller: f or d?
d
Suppose 4*y = -4*m + 8, -3*m - 12 + 26 = -5*y. Which is smaller: 4 or m?
m
Suppose 4*q - 6 = 5*q - 4*m, 2*q = -m - 3. Suppose 6*z - 8 = 10*z. Do q and z have the same value?
True
Let w be (12/(-8))/(6/(-16)). Let l be 2/w + (-12)/16. Let d = -1 - -0.88. Which is smaller: l or d?
l
Let t = 444 + -445. Which is smaller: t or 22.5?
t
Suppose -11 = -9*x + 205. Let h be 1/(-11)*x/8. Which is smaller: -1/2 or h?
-1/2
Let x be 3/4*(-8)/(-38). Suppose -24 = 9*i + 5*o, 3*i - 10*o + 6*o - 9 = 0. Which is greater: x or i?
x
Let z be 3/2*(-1 - 2/(-6)). Let h be (165/(-39) - -3) + 2 + z. Suppose 4*i = -i + p, 0 = -i + 2*p - 9. Is i > h?
True
Let s(r) be the first derivative of r**3/3 - 7*r**2/2 + 2*r - 2. Let p be s(5). Let j be p/(-32) + 2/(-8). Is 3 bigger than j?
True
Let j = -586 - -8205/14. Which is greater: 1 or j?
1
Let d = 12491836/515 - 24256. Which is smaller: 0 or d?
d
Suppose 25*n - 24*n = 2. Suppose -3*c = -3*x + x + 2, 2*c = n*x. Is x equal to -2?
True
Let q = -418 - -437. Is 129/7 <= q?
True
Let n(z) = 12*z - 68. Let j be n(13). Suppose 15*t = 23*t + j. Let g be 1*(16/(-6) - -2). Which is bigger: t or g?
g
Suppose -2*a = -3*p + 406, 0 = p + 2*a + 3*a - 158. Let n be p/(-5) - (-8)/(-20). Let j be (4/n)/((-3)/(-6)). Which is smaller: j or -3?
-3
Let z = 246 - 251. Let f = 76 - 78.03. Let j = -0.03 - f. Which is smaller: z or j?
z
Let m be 168/(-76) + (-2)/(10/(-10)). Let t = 2 - 3. Which is smaller: m or t?
t
Suppose -m + 0 + 20 = 0. Suppose 3*b + 17 = -4*l, m = -4*l - 0*l. Which is smaller: 5/26 or b?
5/26
Let u be (0/(-2))/(-54 + 55). Let v = 2.92 - 0.12. Let s = v + 0.2. Which is bigger: u or s?
s
Suppose -8*i = -4*i - 24. Let d be 2 + (-9)/i - (-11)/(-2). Which is greater: d or -25/4?
d
Let q = -132 - -139.6. Let d = q + -7.5. Are d and -45 equal?
False
Suppose -5*n + 5*t = 45, -3*n - 50 = t - 19. Let o be ((-6)/(-12))/((-31)/n - 3). Is o bigger than 5?
False
Suppose 0 = -5*j - 3*p + 20, -4*j + 3 = -4*p + 19. Suppose 2*l - j = l. Is l less than or equal to -1/25?
False
Let f = 7 - 14. Let n be 2/f*(-28)/12. Let u = -100 - -100. Is n greater than u?
True
Let h = 31 - 57. Let u be (-5)/20 + h/(-72). Let r be 5 - 24/(5 + -1). Is u smaller than r?
False
Let q be (0/5)/(2 + 0). Let o be (-7 - -9) + 226/(-28). Let v = 11/2 + o. Is v smaller than q?
True
Let a(q) = -4*q + 7. Let i be a(7). Let f = i + 41/2. Let d(n) = -2*n**2 - 11*n + 7. Let j be d(-6). Are f and j equal?
False
Let b = 131 - 127. Suppose 2*a - y - 3 = -2, b*a = -2*y + 6. Is 0 > a?
False
Suppose 5*r - r = 2*k - 8, k - 4*r = 10. Let q be (-4)/(-6)*1/k. Which is bigger: 0 or q?
0
Suppose 3*b = 8*b - 5. Let v(d) = -2*d - 20. Let m be v(-9). Let h = m + b. Which is greater: -1/5 or h?
-1/5
Let z(f) = f**3 + 5*f**2 - 1. Let w(u) = -6*u + 1. Suppose -3*g + 4*t - 11 = -30, 4*t + 16 = 0. Let o be w(g). Let a be z(o). Are a and -1/7 unequal?
True
Suppose -2*c - 6 = g, 12 - 3 = 4*g - 3*c. Let n be ((-3)/(-4))/((-5)/(-20)). Let h be 1 - (-2)/(-12)*n. Which is bigger: g or h?
h
Let y = 17446 - 12753024/731. Let m be (14326/69445)/(46/(-20)). Let l = y + m. Which is bigger: -1 or l?
l
Let j(g) = g**2 - 6*g + 5. Let x be j(6). Suppose x*t - 6 = -1. Let m be 10/(-45) + 94/18. Which is smaller: m or t?
t
Let l = -402 - -388. Which is bigger: -7 or l?
-7
Suppose 0*y = y. Suppose y = g + g + 114. Is g > -57?
False
Suppose 5*a - 37 = 3*d - 2*d, -4*d = 3*a - 36. Suppose 0 = -2*i - 2*j + 18, 0 = -i - 5*j + 29 - a. Let p be 78/(-45) - (-2)/i. Is p at most as big as -2?
False
Suppose 2*o + 55 = -1. Let l be (-96)/3 - 2/((-4)/6). Which is smaller: l or o?
l
Suppose -2*h - 2*x - 20 + 10 = 0, -3*h - 13 = 4*x. Let z be (7/(-3))/((-1)/(-3)). Is h less