se 5*q = 6 - v. Are 1 and q nonequal?
False
Suppose 0 = s - 3*s + x - 1, -3*s + 26 = 4*x. Is s < 13/7?
False
Let c = -5.4 - 0.6. Is c > 2?
False
Let j be -1*(2 - 5)/(-1). Let m = j + 6. Let n be m*((-15)/9 - -1). Is n <= -3?
False
Let c be (0 - 6)*1 + 3. Do c and -2 have different values?
True
Let r(x) = -x**3 - 8*x**2 + x + 7. Let w be r(-8). Let h be (-74)/(-4) + 1/(-2). Let d be (h/21 + -1)/1. Is d at least as big as w?
True
Let w(g) = -g**2 - 18*g - 19. Let z be w(-15). Is z at most 26?
True
Let b = 3 + -19. Let y = 11.4 + b. Let g = 0.4 - y. Which is smaller: 0 or g?
0
Suppose 5*g - 3*u - 44 = 0, 3*g + 4*u = -u + 6. Which is smaller: g or 5?
5
Let q(z) = 2*z**3 - 11*z**2 + 4*z + 6. Let g be q(5). Which is bigger: g or -1/17?
g
Let q = 733 + -730. Let n(o) = o**2 + 5*o - 3. Let h be n(-6). Is q at most h?
True
Suppose -8*d = -6*d - 6. Is -0.2 less than d?
True
Suppose 2*m = -3*c - 4, m - 3*c = c + 9. Is 1/16 equal to m?
False
Let h = -4 - -3. Let z be 13/(-70) + ((-153)/(-21) - 7). Which is bigger: z or h?
z
Suppose -4*w = 5*o + 12, -4*o = -2*o + 8. Let t = 6 - 3. Which is bigger: w or t?
t
Let l(j) = j**2 - 10*j + 7. Let w be l(9). Let g(a) = a**2 - 6*a + 5. Let q be g(4). Let t = q - w. Is 0 <= t?
False
Let r = 4.5 + -4.5. Which is bigger: -10 or r?
r
Let y = 0 - 1. Let n be (-4)/16 - y/(-12). Are -5 and n unequal?
True
Let v be 2 + (-8)/(-6)*-3. Is -1 smaller than v?
False
Let v(x) = x**2 - 9*x + 5. Let i be v(9). Let d(c) = -c + 2. Let h be d(i). Which is greater: 2/11 or h?
2/11
Let f be 18/(-7 + 1)*1/(-3). Is f less than or equal to 2/31?
False
Let m be 165/63*(-255)/5. Let z = m - -133. Suppose l - 4 = -3*c - 2, 5*c = l - 2. Is z smaller than c?
True
Let o = -0.56 - -0.24. Which is greater: o or 1?
1
Let b be (8/(-140))/(0 - 1/(-5)). Is b smaller than -3?
False
Let p(h) = -h + 5. Suppose 4*g - 2*g = 8. Let l be p(g). Let d be (7 + -7)/(l/1). Is d >= 0?
True
Let q = 0 - 0. Let b = 0.265 + -0.465. Is q != b?
True
Let d be 1*2/2*-1. Let m = 1 + 1. Suppose 9 = 4*z - r, -z = 2*r + m*r + 19. Which is greater: d or z?
z
Let h be ((-3)/3)/(4/(-20)). Suppose h - 4 = -m. Are -6/11 and m unequal?
True
Let c be (-14)/((0 + 2)/(-4)). Let z be 4/((-76)/c + 3). Is z greater than 13?
True
Let c = 849/424 + -20/53. Which is smaller: c or 1?
1
Suppose 0 = -6*r + 26 - 8. Which is smaller: r or -1?
-1
Let f(y) = y**2 + 11*y - 12. Let d be f(-13). Is d at least as big as 1?
True
Let c(j) = -j**2 - 2*j - 2. Let h be 4/(-4)*(1 - -2). Let i be c(h). Let v = 6 + i. Is 3/5 at least v?
False
Let p = 128 - 380/3. Is p greater than 2?
False
Let q(t) = t - 4. Let o be q(5). Let m = -215/6 - -110/3. Is o <= m?
False
Suppose -3*o + 4*b + 7 + 8 = 0, 5*b + 18 = 3*o. Is -32 at least as big as o?
False
Let o = -7322435355/17143837 + 2/1008461. Let h = 427 + o. Suppose -5*k = 2*q - 15, -4*q - 1 = -k + 2. Which is smaller: h or q?
h
Let q(r) = 4*r**2 - r - 10. Let b be q(3). Is 25 > b?
True
Let z = -3.12 + 3. Let v = z + 0.12. Which is greater: v or -0.12?
v
Let j = -111.3 + 116. Let b = 5 - j. Let h = b + -0.2. Which is greater: h or -0.2?
h
Let j be (-4)/14*(-10)/4. Let n be 0*((-2)/(-8) + 0/(-2)). Is j at least as big as n?
True
Let f(u) = u**3 + u**2 - 3. Let n be f(0). Let r be 0 + 1/(12/n). Is -1 greater than r?
False
Let u = -17 + 16.9. Which is greater: u or -0.11?
u
Let f be (-4)/10 + (-17)/(-5). Let u be (-3)/(-2)*(-20)/(-15). Are u and f unequal?
True
Let i(u) be the second derivative of -u**4/12 - u**3/3 + 3*u**2/2 - 4*u. Let p be i(-3). Is p greater than 0?
False
Let h = -0.094 + 4.194. Let m = -0.1 + h. Is 1 greater than m?
False
Let w(p) = 1 + 4 + 5*p + 1 + 0*p + p**2. Let h be w(-5). Suppose 0 = t - 4*t + h. Which is smaller: 1 or t?
1
Suppose 4*a = 15 + 25. Let n be ((-8)/a)/((-6)/15). Let k be 2/((-1)/n*1). Which is bigger: -3 or k?
-3
Let q(m) = -m**2 + 5*m - 2. Let j be q(4). Suppose -4*r = w + 7, 0 = -3*r + w - 2*w - 4. Let o be -1*j + r/3. Is o >= -7/4?
False
Let i(u) = -u**2 - 6*u + 2. Let p be i(-6). Suppose 8 = 3*t - z, -7*t - 5*z - 20 = -p*t. Suppose 0*r + 2 = r. Is t >= r?
False
Let c be (-4)/8 - (-17)/2. Which is greater: c or 6?
c
Suppose 4*n - 29 = -3*u, 2*n - 5*n = 5*u - 52. Which is greater: 9 or u?
u
Let f = 3.1 + -3. Suppose -4*a + 3*a + 2*n - 5 = 0, -2*a + n - 10 = 0. Is f greater than a?
True
Let a = 19 - 12. Suppose -z - 4*q = -a - 12, 0 = 4*z - 5*q + 8. Suppose -z*b = -b. Is 0 <= b?
True
Let k(i) = i**3 + 9*i**2 + 8*i - 6. Let h be k(-8). Is h less than -8?
False
Suppose -3*s - 5*h + 6 = -21, 3 = 3*s - 3*h. Suppose 2*l = 6*l - s. Let g = -857/225 - -35/9. Which is bigger: l or g?
l
Let k = -12 - -17. Suppose -v + 19 = -0*q - k*q, -4*v - 8 = q. Let j = 5 - 9. Is q at most j?
True
Let x(f) = f**2 - 1. Let r be x(-2). Suppose -r*j + 8 - 1 = 2*p, p - 8 = 3*j. Which is greater: j or -7/4?
j
Let z = -35/2 + 18. Let s = -10 + 11. Suppose -3*y - s + 7 = 0. Which is bigger: z or y?
y
Let q be (-9)/6*(-1 - 1). Let y(n) = -4*n**3 + 10*n**2 - 3*n + 4. Let m(l) = -7*l**3 + 19*l**2 - 5*l + 7. Let v(u) = q*m(u) - 5*y(u). Let o be v(7). Is 1 <= o?
True
Suppose 2*w - 6 = 2*k, 0 = -4*k + 2*w + 3*w - 13. Let z be 1 + -1 + 2 - k. Let v = 5 - z. Is v bigger than -2/23?
True
Let w be 6*(-4 - (-10 - -1)). Suppose -5*f - f = -w. Which is greater: 4 or f?
f
Let i = 7 + -7.03. Let y = 0.06 - i. Let m = y - 0.09. Is 0.2 at most as big as m?
False
Suppose -11 = 2*v + 3*o + 2, v - 10 = 4*o. Let f = -2 - v. Suppose -3*n = -5*y - 0*n + 8, y + n - 8 = f. Is y at least as big as 3?
True
Suppose -22 = 4*a + 2*h - 0*h, -5*h - 31 = 4*a. Which is smaller: -7/2 or a?
a
Let o be 21/(-2)*(3 - 1). Let c be (-69)/o + (-2)/7. Let b = -2 + c. Is 2 <= b?
False
Let x be (-140)/(-49) + (-2)/(-14). Which is smaller: x or 11/5?
11/5
Let h be ((-54)/(-14) - 3)*-1. Suppose -5*o - 10 + 0 = 0. Is h <= o?
False
Let p = 13/107 + -2413/2247. Is 0 bigger than p?
True
Let h = 5 - 6. Let p = 1 + h. Suppose p = -4*g + 2*g + 2. Which is smaller: g or 1/4?
1/4
Suppose 4 = -4*i - 3*h + 9, -11 = 5*i - 2*h. Let v be (-1 - i)*(0 - -1). Suppose -2*k - 4*x = -0*k + 2, 5*k + 5*x = v. Which is smaller: k or 1/4?
1/4
Let w = -5.33 + 0.33. Is w != 0.1?
True
Suppose 4*b = -u + 2, -4*u + 0*u = -5*b - 8. Suppose -u*a - n + 10 = 2*n, 3*a - 14 = -4*n. Let z(i) = i + 3. Let c be z(-4). Which is greater: c or a?
a
Suppose 12 - 3 = 3*k. Suppose 3*w - 3*s = 9, 2*w + 9 = -2*w - k*s. Let p be (11/3 - 3)/((-10)/(-18)). Is w > p?
False
Suppose -8*b + 109 = -59. Which is bigger: 4 or b?
b
Let u = 64 - 169. Which is bigger: u or -106?
u
Suppose 3*g = g + 2. Which is smaller: g or -1/10?
-1/10
Let c = 134 - 93. Which is smaller: 40 or c?
40
Let f(k) = -18*k**2 + 5 - 4 - 2*k + 10*k**2. Let n be f(1). Is -9 >= n?
True
Let l be ((-48)/36)/((-8)/102). Is l not equal to 82/5?
True
Suppose -2*r - l = 2*l + 3, -5*r = -5*l - 30. Let u be r*1 + (-16)/12. Is 2 greater than u?
True
Let v be (-40)/18 + (-7 - 65/(-9)). Let h = -59/5 - -11. Which is smaller: v or h?
v
Suppose 0 = -2*q - 2*q. Let r be (1 - 2)*(q - 1). Let l = 27 - 26. Are l and r equal?
True
Suppose 0 = -2*x - 4*q + 12, 5*x - 3*q = -2*q - 25. Which is greater: x or -5?
x
Suppose 5*u + 4*k + 6 = 0, -3*u - 2*k - 10 = 2*k. Which is bigger: u or 3/4?
u
Let c be (-34*(-6)/18)/(-2). Which is greater: c or 0.2?
0.2
Suppose -w + 0*w - 3 = -2*t, 0 = -3*t + 2*w + 2. Which is greater: 13/4 or t?
t
Let h = -1.2 + 0.2. Which is greater: -7 or h?
h
Let w = 2/435 + -3923/1740. Is -3 > w?
False
Let j = 1 + -2. Is 1 <= j?
False
Let y be 2*12/80*2. Which is bigger: y or 0?
y
Suppose 64 = c + 2*c + u, 5*c - 112 = u. Is 20 less than c?
True
Let m = 10 + -6. Suppose 4*v = -m*b + 5 + 7, 5*v + 4*b - 16 = 0. Which is smaller: 5 or v?
v
Let w = -0.08 + 3.08. Let s = -1 + -2. Let l = s + w. Is -2 bigger than l?
False
Let o = 8 - 8.2. Which is greater: -0.3 or o?
o
Suppose 2*i - 8 = 5*u, -u + 2*i = -3*i - 3. Let c be u/(6 + (4 - 5)). Which is greater: -0.3 or c?
-0.3
Let c be (-5)/(-1)*2/(-75). Let a = 59/2 - 29. Is c greater than or equal to a?
False
Let c = 9/409 + -1765/117383. Let m = c - 2888/2583. Which is smaller: m or -1?
m
Suppose 6 = -3*s + 3*o, 4*s + 3*o - 21 + 8 = 0. Let z = 66 + -65. Is s smaller than z?
False
Let d = 17 - 19. Do -2 and d have different values?
False
Suppose 