467/1079 - 5/13. Is i at most as big as 1?
True
Suppose -3*u + 9 = -3. Suppose -u*s + 4 = -4. Does s = 4/7?
False
Let k(z) = z**2 + 2*z - 4. Let j be k(-4). Let f = j - 4. Which is greater: f or 3/4?
3/4
Let x be 2/6 + (-19)/(-627). Which is bigger: x or 0?
x
Suppose -5*c + 94 - 19 = 0. Let r be (12/c)/(2/(-5)). Are r and 0 non-equal?
True
Let b = 95 + 85. Let j be ((-4)/(-10))/((-6)/b). Let q be 0 + (j/(-27))/(-2). Is 1 less than q?
False
Let v = -0.073 + -0.047. Are 2 and v non-equal?
True
Let r be (0 - (-2 + 4)) + (-4 - -7). Are r and -5/31 equal?
False
Let u = 58.1 + -58. Is -56 bigger than u?
False
Suppose 4*v + 2*o + 0*o - 64 = 0, 0 = 3*v - o - 43. Which is smaller: 17 or v?
v
Let l(x) = x**2 + 7*x + 3. Let i be l(-6). Which is smaller: 0.1 or i?
i
Let q = -7.3 + 7. Let g be (-3)/20 + (-2)/(-5). Is g < q?
False
Let c = -9 - -13. Let o(q) be the first derivative of q**4/4 + q**3 - 3*q**2 - 4*q + 3. Let d be o(-4). Is d at most as big as c?
True
Suppose 0 = r - 2*r. Let y(q) = -q**2 + 5*q + 5. Let z be y(6). Let a be ((-62)/(-15) - 3) + z. Which is bigger: r or a?
a
Let h be 0/(-3 - -2) - -2. Let t(g) = g**3 + 11*g**2 - 12*g. Let z be t(-12). Which is smaller: z or h?
z
Let p(q) = q**3 - 15*q**2 - 1. Let f be p(15). Which is smaller: -1/52 or f?
f
Let s = -10 - -21. Suppose -2*i - 2*f = 4, 0 + s = -3*i + 2*f. Which is bigger: -2 or i?
-2
Let u = 148.01 - 148. Let c = 0.4 - 0.2. Are c and u nonequal?
True
Let v be 144/30*(-10)/(-3). Suppose 4*p + 2*m - v = -p, 2*p - 3*m - 14 = 0. Suppose -2*r + 6*r - p = 0. Which is smaller: r or 1/2?
1/2
Let i be (-6)/(-8)*16/24. Let f(b) = 2*b**2. Let j be f(-1). Which is smaller: i or j?
i
Let x be (-9)/(-20) - 2/10. Let u be (-1 - 2)*(-2)/(-24). Which is bigger: x or u?
x
Suppose -p + 4*d = 1, p - d = 2*p + 1. Let c = -22 - -288/13. Which is smaller: p or c?
p
Let q(d) = -6*d**2 - 4*d + 6. Let c be q(-7). Let k = c + 6759/26. Which is greater: 1 or k?
1
Let p = 1.9 - -0.1. Let l = -1.92 + p. Which is greater: l or 0.1?
0.1
Let f be (-30)/14 - (0 - 3). Suppose 0 = 2*b + d, 5*d + 12 = 4*b + d. Which is greater: b or f?
b
Let z = -4 - -3. Let j be 2 - (z + 49/17). Is j equal to -1?
False
Let m be -3 + 19/7 + 0. Let d = -469 + 1441/3. Let z = d + -11. Does z = m?
False
Let v = 146 + -141.13. Let g = -3 - -3.13. Let d = g + v. Is d not equal to -0.1?
True
Let p be 4/(-10) - (-46)/(-10). Which is smaller: p or -1?
p
Let j = 3228/5 - 650. Which is smaller: j or -4?
j
Let m = -46 + 58. Which is smaller: 11 or m?
11
Let p = -5 - -9. Suppose -p*g + 5 = z, -1 = z + 2. Is 0.2 not equal to g?
True
Let u(x) = x**3 + 5*x**2 + x + 6. Let r be u(-5). Let n(z) = 6*z**2 - 2*z + 1. Let b be n(r). Suppose 5 = k + 3*k + v, -2*v + 7 = b*k. Is k greater than -1/3?
True
Let p(r) = -r - 11. Let k be p(-10). Which is smaller: -3 or k?
-3
Let n = 0.4 - 0.5. Let x = n + 0.2. Let k = x - -0.1. Which is greater: -0.1 or k?
k
Let n = 0.1 + -0.1. Is n greater than 0.1?
False
Let v(w) = 9*w + w - 1 - 2*w. Let g be v(1). Let k = -7 + g. Which is bigger: 1/2 or k?
1/2
Suppose k + 13 = s + s, -k = 3*s - 12. Suppose -s*d = -10*d. Suppose d = -2*u + u - 3. Which is smaller: -2 or u?
u
Let a = 0.02 + 2.98. Let q = a + -2.98. Let b = 1.02 - q. Which is smaller: -1/5 or b?
-1/5
Let u be (1/3)/(-11 + (-348)/(-36)). Let i = -9 - -19. Let b be -3*(0 - 2/i). Which is greater: b or u?
b
Let s(w) = -7*w**3 - 7*w. Let b(d) = -3*d**3 - 3*d. Let u(n) = -9*b(n) + 4*s(n). Let j be u(0). Let o = -0.4 - -0.4. Is o less than j?
False
Let z(y) = -2*y**2 + 3*y**2 + 14 + 13*y + 0*y**2 - 1. Let q be z(-12). Which is bigger: q or 1/11?
q
Suppose 1 = t + 4, 3*t = -4*u - 105. Is u >= -22?
False
Let a(s) = -s - 1. Let r be a(3). Let c(q) = q**2 + 5*q - 4. Let f be c(-5). Let m = f - r. Is 1 > m?
True
Suppose -q - 2*x + 3 = 2*x, -5*x + 9 = -4*q. Which is greater: q or 1/6?
1/6
Suppose -i - 3 = 3*c + 9, -i = 0. Let j(v) = -2*v - 6. Let q be j(c). Let y = -6 + 9. Which is smaller: y or q?
q
Let h = 6 + -5.6. Let f = h + -0.3. Let y = 5/18 - 1/36. Is y less than or equal to f?
False
Suppose 3*b = -z + 42, b - 14 - 7 = 2*z. Suppose -3*w - b = -3*y, 4*y - 24 = -w + 1. Suppose -s + y = 3*r - 1, -r - 2*s - 1 = 0. Is 3 equal to r?
True
Let d(h) = -h**3 - 7*h**2 - 7*h - 9. Let t be d(-6). Is -1 less than or equal to t?
False
Let n(a) = -a**2 + 2*a + 4. Let f be n(3). Let x be -10 + 13 - (f + -1). Is 3 smaller than x?
False
Let y(p) = -p + 4. Let w be y(5). Which is greater: w or 7?
7
Let t = -13 - -5. Let n be 1*(0 + 2/t). Let s(a) = a**2 + 13*a + 23. Let f be s(-11). Do f and n have the same value?
False
Suppose 4*i - 28 = 8. Which is greater: i or 1?
i
Let c(r) = 5*r**2 + r. Let g be c(-1). Suppose -g*h - 7 = 5. Is h > -4?
True
Let d = 3 + 3. Let h be ((-40)/(-30))/((-4)/d). Which is smaller: -3 or h?
-3
Suppose 8 = -6*b + 2. Is b greater than -1/2?
False
Suppose 4*p - 4*c = 4, 2*c + 17 = 5*p + 3*c. Let x be 8/(-10)*5/(-2). Which is bigger: p or x?
p
Let b(z) = z**2 + 7*z + 1. Let m be b(-5). Let o(q) = q**3 + 9*q**2 - 6*q - 12. Let h be o(m). Let x be h/(-30) - (-1)/1. Which is smaller: -1 or x?
-1
Suppose 3*z - 6 = -f, -z + 2*z - 3*f = 2. Let j(v) = -v**2 - v - 2. Let x be j(-5). Let q be x/(-20) + 2/5. Is z bigger than q?
True
Suppose -5*m + 10 + 5 = x, -4*m + 12 = 0. Let u = -22 + 12. Let b be 1 + (-8)/u + -1. Which is smaller: x or b?
x
Let l(o) = -o**2 - o + 1. Let m be l(1). Which is smaller: 6/19 or m?
m
Let f be 2 + -3 + (-282)/(-4). Let a = -71 + f. Suppose 3 + 0 = -3*b. Which is bigger: b or a?
b
Let f = -0.2 + 1.2. Let j = 0 - f. Let h be (-2)/(-2)*(-12)/(-20). Is j bigger than h?
False
Suppose 35 = 5*k - 10*k. Is k >= -9?
True
Suppose -5*i = -3*s, -5*i = 2*s + s. Let x = -4999/19 + 263. Is x not equal to i?
True
Let c be (30/(-25))/((-6)/20). Suppose w + c*w - 15 = 0. Let j = -55/28 - -12/7. Are w and j nonequal?
True
Let t = -1 - 7. Let l be 2/t + 251/44. Let j = l + -153/22. Is j at least -2?
True
Let i(y) = y - 5. Let c(u) = -5*u - 1. Let o be (-5)/3 + (-2)/(-3). Let b be c(o). Let h be i(b). Is -1 greater than or equal to h?
True
Let v = -2.9 - 11.1. Let k = v - -15. Is 10 < k?
False
Let t = 0.1 + -0.3. Let i = 0.04 + -0.08. Let x = 0.04 + i. Do x and t have the same value?
False
Suppose 48 = -2*o + 5*o. Suppose -4 = -4*q - o. Which is smaller: -0.1 or q?
q
Let d(c) = c**3 - 2*c - 1. Let b be -2 - (-4 + (1 - -2)). Let f be d(b). Let l = 0 + -1. Which is bigger: f or l?
f
Let f be 34/51 - (-256)/(-6). Let z = f + 128/3. Is 0 greater than z?
False
Let w(x) = -x**3 - 6*x**2 - 7*x - 6. Let a be w(-5). Suppose -14 = -a*i + 2. Let c be i*(-1)/(-2) - 3. Is c less than -1?
False
Let c = -3 + 1. Let k(q) = -2*q**2 - 3*q. Let p be k(c). Which is greater: p or -7/6?
-7/6
Let w be -1*(1 + -1)*6/24. Do -6/25 and w have the same value?
False
Let f = -87 - -96.4. Let a = -10 + f. Let l = -7 + 7.1. Is l greater than a?
True
Let j be -4*-6*(-4)/(-30). Let u = -18/5 + j. Is 0.06 greater than or equal to u?
True
Let n = -86 + 161. Suppose -5*v - 5 = -n. Let w be v*(0 + (-2)/(-4)). Is w <= 7?
True
Suppose -5*j - 135 + 25 = 0. Is j smaller than -23?
False
Let i be 2/(-8) - (-393)/4. Let k = -395/4 + i. Is k at least as big as -1?
True
Suppose 0 + 4 = -4*m. Suppose 2*b = b + 9. Suppose 5*f + 1 = -b. Is m > f?
True
Let h be (4 - (-80)/(-15))*30/4. Is h <= -28/3?
True
Let j = -26 + 52. Is j at most as big as 28?
True
Suppose -3*a = 2*a - 5. Suppose 4*h = -3 - a. Is -2/79 at least h?
True
Let a be 2/(1 + (-2)/6). Let r = a + -3. Let f be r*3/(-6)*2. Which is greater: f or -1/2?
f
Let d = -2 + 4. Let p = d - 2.2. Let x be (4 + -2)*(-1)/(-8). Which is smaller: x or p?
p
Let t = -34 + 24. Do -11 and t have different values?
True
Let c = 3 - 1. Let p(u) = -u - 1 + u**c - 3*u + 3*u. Let s be p(2). Is -2/9 >= s?
False
Let m = 1 + -3. Suppose 2*h = 3*h + 2. Let d be m/(-20) + h/4. Which is smaller: d or -1?
-1
Let r be 3/12 + (-1)/4. Let o = -47 + 47. Does r = o?
True
Let h be (-2 - -1)*(-3 - -1). Let i be (1/3)/(h/3). Which is bigger: i or 4?
4
Let i = -227097244167 + 77213121754477/340. Let q = i + -691055/4. Let d = q + 57/10. Which is bigger: 0 or d?
0
Suppose 3*t = -t - 16. Suppose 0 = 4*p + 3 + 1. Let n = -4 - p. Which is smaller: t or n?
t
Let s be (8/6)/((-69)/(-10872)). Let 