ller: v or u?
v
Let p be 3*(-3)/27*3. Is -2/51 at most as big as p?
False
Let t(a) = -a**2 - 2*a - 1. Let p(v) = -2*v**2 - v. Let h be p(-1). Let r be t(h). Is r >= -1?
True
Suppose 2*u = -3*t + 4*u + 55, 0 = -t - 5*u - 10. Let x = -10 + t. Suppose d + 4 = x*d. Which is smaller: 4/3 or d?
d
Let f(i) = i**2 - 12*i + 2. Let x be f(13). Suppose 5*r = -0*r - x. Do r and -4 have the same value?
False
Suppose -15 = -5*n - 0. Let m = n - 2. Suppose -4*z + 6 = 3*h, -z - 4*h + 8 = -5*z. Does z = m?
False
Let q = -6 + 4. Suppose -3*i - 8 = -2*i. Let h be (-2)/i + q/72. Is -1 smaller than h?
True
Let h = 243/166 + 3/83. Is h at least as big as -0.1?
True
Suppose 0 = 3*m - 51 - 0. Let u = m - 15. Is u bigger than 2?
False
Let v(f) = 2*f + 1. Let n be v(1). Let q be (6/63)/((-1)/n). Which is greater: 0 or q?
0
Suppose 3*q = -5*q + 4*q. Which is greater: 7/5 or q?
7/5
Let v be 6/(-16) + (-984)/(-64). Is 1 bigger than v?
False
Let b(l) = -12*l**3 + l**2 - 1. Let r be b(1). Let y = r - -35/3. Which is smaller: -1 or y?
-1
Let n be ((-5)/(-5))/(2/6). Suppose -n*g + 0*g + 9 = 0. Suppose 3*f = 2*h + 7, -2*h + g = -5*f - 6*h. Are 0 and f non-equal?
True
Let h = -125 - -123. Is h at most -15/7?
False
Suppose 1 = -3*b + 22. Is 7 >= b?
True
Let x = 0.1 + -0.1. Suppose -6*i = -9*i + 3. Which is smaller: x or i?
x
Suppose 0 = 3*o - 18 + 6. Let j(q) = q**3 - 3*q**2 - 4*q - 2. Let u be j(o). Let g be (u/3)/(42/36). Which is greater: g or -1?
g
Suppose -6 = o - 4*o. Let p be o*(-3)/(-1 + -2). Is 2 smaller than p?
False
Suppose -2*t + 10 = 3*f, f + 2*t + t - 15 = 0. Let n be f/(-1) + -2 + 7. Suppose 4*u - 3*u = 3*m - 7, -n = u - 2*m. Are u and -2 unequal?
True
Suppose 4*f + f = 0. Suppose f*n + 6 = -3*n. Is n > -1?
False
Let c be 4/(-10) - 24/(-10). Suppose 10 = -t + 3*d - 6, -3*t + 3*d - 18 = 0. Which is smaller: c or t?
t
Let x(c) = c**2 + 12*c - 10. Let o be x(-13). Is o at most as big as 0?
False
Let f be (-2)/(-6) + 2/6. Let z be 3/((-2)/(-2)) - 0. Suppose -5*q + 15 = 5*l, -z*l + l = -q. Is l at least f?
True
Suppose 3*t = 8*t - 5. Which is smaller: -2/9 or t?
-2/9
Let s = -31.2 - -31. Which is greater: s or -1/10?
-1/10
Let r = 0.03 - 0.1. Let i = 0.03 - r. Which is greater: -1 or i?
i
Let k = 9227 + -2159125/234. Let y = k - 5/26. Which is smaller: y or 2?
y
Let g(r) = r**3 - 8*r**2 + 14*r. Let y be g(6). Let u = y - 25/2. Is u greater than or equal to -5?
True
Let r = 10 + -7. Suppose 2*b = -4*f - b + 12, -5*b = 4*f - 12. Suppose r*l - f + 0 = 0. Which is greater: -1 or l?
l
Let j = 12 - 30. Let k = 22.9 + j. Let l = k - 5. Are l and -2 nonequal?
True
Suppose 4*u = f + 3*u - 6, 0 = 2*f - 4*u - 22. Is f >= -3/25?
True
Suppose -40*l + 1 = -41*l. Is l at least -2?
True
Let i = 23/15 + -1/5. Which is greater: i or 0?
i
Let n = 1/25690 + -33869697/25690. Let y = 6454/5 + n. Let k = 27 + y. Is k at least as big as -1?
True
Let v(z) = z**2 - 9*z - 3. Let a be v(9). Let q = a - -1. Let o be (-4)/6 + q/(-6). Is o greater than -1?
True
Let d = -1/3 - -2/3. Suppose 3*u - 5*k - 37 = 0, 5*k - 15 = -5*u + 4*k. Which is smaller: u or d?
d
Let j = 667/7 + -95. Are j and 2 equal?
False
Let c = 2254013 - 1559776481/692. Let g be (-4)/((-692)/347) + -2. Let b = c + g. Is 2/3 > b?
False
Let i = -18 + 200/11. Let u(x) be the third derivative of -x**5/60 - 7*x**4/24 - x**3/6 - 5*x**2. Let b be u(-7). Which is greater: i or b?
i
Let i be -2 - (3 - 2/2). Let r(z) = z**2 + 5*z + 1. Let c be r(i). Which is smaller: -2 or c?
c
Let d be ((-27)/(-6) + 0)/3. Let m be (0/(2 - -1))/(-2). Is m at least as big as d?
False
Let r(z) = z + 7. Let x be r(-6). Let f be 3*-3*(-1)/(-9)*-1. Is x >= f?
True
Let u = -400 - -2012/5. Let l = u + -46/15. Suppose 8 = -3*s - 3*m - 1, -5*s - 4*m - 12 = 0. Which is smaller: s or l?
l
Let d(q) = -q**3 + 3*q**2 - 3*q. Suppose -f + j = -3*f + 7, 0 = -f - 2*j + 8. Let x be d(f). Let w(n) = n + 1. Let p be w(-4). Which is smaller: x or p?
p
Let y be 4/14 + 510/(-70). Let m be (-42)/9 + (-2)/6. Let p = m - y. Which is bigger: p or 1?
p
Let v = -1234/7 - -176. Let k(h) = -h**3 - 7*h**2 + 8*h. Let r be k(-8). Which is smaller: v or r?
v
Let s be ((-29)/(-8))/((-2)/(-8)). Let f = -14 + s. Let q = -4 + 4. Is f greater than or equal to q?
True
Let t = -4 - -4. Let l be ((-2)/3)/((-2)/6). Suppose -4*d + l*w = 1 - 5, t = 2*d + 4*w - 2. Does d = 0?
False
Let i = -0.05 + 8.05. Is i greater than or equal to -5?
True
Let p = -11 - -6. Let i(m) = -m**3 - 4*m**2 + 4*m - 5. Let y be i(p). Suppose -1 = -y*n + n. Is n >= 2/9?
False
Suppose j + 4 - 3 = 0. Do 1/3 and j have different values?
True
Let k = 48 + -49. Which is smaller: k or 0.27?
k
Let t = -1 - -1. Let d = 34 - 33.7. Which is smaller: t or d?
t
Let c be 2 - (10/(-15) + (-168)/9). Is c at least 21?
True
Let n = -1581/5 - -308. Which is greater: -7 or n?
-7
Let h = 0.3 - 0.2. Let n = 16 + -101. Let w = n - -597/7. Is h at most as big as w?
True
Let l(y) = y**2 + 3*y - 3. Let r be l(-4). Does r = -1/10?
False
Suppose -w = 2*v - 52, 2*v = 6*v + w - 106. Let p be (1/v)/(10/30). Is 0 at most as big as p?
True
Let s = 4 + -3. Let t(d) = -d**2. Let g be t(s). Let i be (-2 + 0)*1/(-2). Is g equal to i?
False
Suppose -6 + 32 = 2*w. Are w and 14 equal?
False
Let g = -4 - -6. Let y be (-9)/(-6)*g/5. Which is smaller: y or 1?
y
Let s be -4 + (4 + -5)*-4. Let m be -1*s*(-4)/(-8). Is m <= 1/14?
True
Let d be ((-4)/(-3))/(2/9). Suppose 2*f - d = -0*f. Let i be f*4/18*-3. Is -2 > i?
False
Let j(q) = q**2 - 7*q - 10. Let y be j(8). Let c be (-26)/(-12) + (y - 0). Is -1 greater than c?
False
Let l(o) = -o + 1. Let j be l(-4). Which is greater: 7 or j?
7
Suppose -12*q + 19*q = 91. Let j be (0 - (-28)/6)*3. Which is smaller: q or j?
q
Let i be -10 + -2*(-1)/2. Is -10 smaller than i?
True
Let v(t) = -t + 10. Let r be v(5). Let a be (-5)/(r/(-14)) + -1. Let l = a - 38/3. Which is smaller: l or 1?
l
Let v be (-1)/4 + (-88)/32. Let i be (v + 578/(-5))*1. Let y = 119 + i. Is -3 at most y?
True
Let i = -17 - -21. Let t be (2/3)/((-2)/(-9)). Is t bigger than i?
False
Let v = 11 - 11.9. Let z = -0.1 + v. Which is smaller: -2/5 or z?
z
Let z be (-3)/(-2)*40/30. Let t be z/14*(-54)/(-9). Which is smaller: t or 1?
t
Let z = 61 - 66. Which is bigger: -17/4 or z?
-17/4
Let p be (-22)/12 - 4/(-12). Suppose m + 0*m + 8 = -2*r, -5*m = -4*r + 12. Let j = r - p. Which is bigger: 0.2 or j?
0.2
Suppose -3*b + 2*b + 4 = 3*n, 0 = -3*b + n + 12. Let h = 56 + -52. Is h at least b?
True
Let h be (-2)/(0 - 2) - 2. Let l = -108 + 108. Which is greater: h or l?
l
Let h(a) = a**3 + 5*a**2 - 3*a - 2. Let u be h(-5). Let s = u - 15. Which is smaller: s or -3?
-3
Suppose 0 = 4*t + 2*c + 6, -3*t - 5*c = -2*t + 15. Let d be 1*1/2*t. Is d != 0?
False
Let n = -6 + 3. Let o be 2/(-3) - 2/n. Is 1/12 >= o?
True
Let a = 15 - 17. Let h be (-34)/(-72) + (-3)/12. Which is greater: a or h?
h
Let l(f) = -f**3 + 3. Let b be l(-3). Let d be 1/6 + (-5)/b. Which is greater: 1 or d?
1
Let u = 39 - 56. Which is smaller: 1 or u?
u
Suppose 3*k = -k. Let d(h) = h. Let v be d(7). Suppose -2*u + v*u = 0. Is u > k?
False
Suppose -8 - 6 = 14*l. Which is bigger: l or -1/14?
-1/14
Let w(s) = -s**2 - 10*s + 14. Let d be w(-11). Suppose -4*v + d = -1. Is v not equal to -1?
True
Let x be (-2)/3*(8 + -11). Suppose -x*s = -3 + 1. Let v = 295/426 + 10/71. Which is greater: v or s?
s
Suppose 3*s + s = 16. Let m be (-3)/1*s/(-6). Let w be m/(-2) - (0 - 1). Which is smaller: -3/4 or w?
-3/4
Suppose -1 = -5*p + 4, -2*p + 1 = v. Which is bigger: 1/16 or v?
1/16
Let w = -4.7 - -6.7. Is 15 < w?
False
Let a = -8 - -39. Is a greater than 32?
False
Let j(q) = -3 - 2 - q - 1. Let z be j(-5). Are z and -1/2 nonequal?
True
Let m = 1.36 + 0.58. Let h = m + 0.06. Let z = h - 1. Is -1 >= z?
False
Let b = -7 + 5. Let z = 3 + b. Let m = -364/2955 - 2/197. Is z at most m?
False
Let g be 5*2*2/(-30). Let h = -3199/3 + 1110. Let t = h - 43. Do g and t have the same value?
False
Let q be 30/4*(-3)/18. Is -1 less than or equal to q?
False
Let y be (-350)/(-21) - (-4)/(-6). Which is smaller: 17 or y?
y
Let s be 5*((-27)/25 - (-5 + 4)). Let l = 1 - 1. Is s != l?
True
Let p = -0.081 - -4.181. Let g = -4 + p. Let u = -4 + 2. Is g greater than or equal to u?
True
Let c = 2 - -3. Suppose -j = -6*j + c. Which is smaller: j or 2/7?
2/7