- 7/492. Which is smaller: i or -1?
-1
Let q = 7 + -7.06. Let o = q + -0.94. Which is greater: -0.01 or o?
-0.01
Let x be 7/3 - 6/(-9). Suppose 0 + x = t + a, 0 = -t - 2*a + 7. Is t smaller than -3?
False
Suppose -5*a + a = -12. Suppose -5*y = 5*r - 15, 8 = 4*y + 4*r - 2*r. Is y equal to a?
False
Let s be 2*-2 + 2 - 52/(-25). Are s and 0 equal?
False
Suppose 35 = v + 4*v - 3*n, 0 = 5*n + 25. Suppose -3*o + 17 = -1. Are o and v non-equal?
True
Suppose -3 - 6 = -3*i. Suppose x = -i*x + 12. Is 1 < x?
True
Let c be (-9)/27 + 14/6. Let d be (1/c)/(12/40). Is d at most 2?
True
Let u(l) = l**3 - 3*l**2 + 2*l. Let r be 2/1 - 0/1. Let z be u(r). Which is smaller: z or -1/3?
-1/3
Let t be ((-8)/6)/(6 - 16/3). Is -10/3 at most as big as t?
True
Let y(n) = n**3 - 7*n**2 + 7*n - 4. Let d be (-27)/(-6)*(-8)/(-6). Let t be y(d). Which is smaller: 1 or t?
1
Let r be ((-6)/(2 - -1))/1. Let u be r - (-2 + (-3)/18). Is 0 equal to u?
False
Let s = 3 + -2.9. Let g = -0.09 - -0.19. Let n = g - 5.1. Which is smaller: n or s?
n
Suppose 0 = 3*q + 2 + 4. Let b be (-3 - q - 1)*2. Suppose 14 + 1 = -5*z. Are b and z non-equal?
True
Let l(d) = 13*d + 1. Let o(m) = -7*m - 1. Let a(r) = 6*l(r) + 11*o(r). Let z be a(6). Let g = 18 - 18.2. Do z and g have different values?
True
Let g = 9 + -10. Let b be 26*(-2)/(-25) + -2. Is b <= g?
False
Let k = -27 + 24. Is -2 smaller than k?
False
Let p(x) = -x + 1. Let c(z) = z**3 - 4*z**2 + 2*z + 4. Let v be c(3). Let n be (-6)/((-2)/v) - 3. Let s be p(n). Which is smaller: s or -1/9?
-1/9
Let c = -4/7 + 5/7. Is 0 at most c?
True
Let y(t) = -t**2 - 10. Let c be y(0). Suppose -5*g - 35 = 5*f, 0 = 3*g + 2*f + 22 + 1. Which is greater: g or c?
g
Let r be 3 + -4 + 2 - -3. Let l be ((r + -3)*2)/6. Which is smaller: l or 0?
0
Suppose 17*d = 4 + 30. Is d at least as big as -3?
True
Let j(c) = -c**3 + 5*c**2 - 4*c - 1. Let q be j(3). Suppose q*f + 4*z = 0, 4*f + 0*z = -z - 11. Is -4 < f?
False
Suppose -18 = c - 5*z, -4 = -3*z + 5. Let y be (c - (-2 + 1)) + -14. Let t be 1/(-6) - y/60. Which is smaller: 1 or t?
t
Let y = 59 - 44. Are y and -2 unequal?
True
Let w = -0.18 + -0.02. Is -2/45 >= w?
True
Suppose -10 = -2*d + 2*f, -5*f = -3*d - f + 20. Is d != -5/32?
True
Let f = 88 + -90. Let b(d) = d**3 + 7*d**2 + 8*d + 8. Let t be b(-6). Which is bigger: t or f?
f
Suppose t - 3*q = 2*q + 27, 0 = t + 4*q - 9. Is t bigger than 19?
False
Suppose 4*c = -5 - 3, -13 = -3*v + 2*c. Let w = v + -6. Which is smaller: -1/3 or w?
w
Let a(w) = w**3 + 2*w**2 - 2*w. Let v be a(-3). Suppose 3*l - 37 = -l - o, 4*o = -3*l + 44. Suppose 4*p + 4 = -l. Is v at most as big as p?
True
Let f be 5*(0/3 + 1). Let b be 1/2 - f/(-2). Does b = 1?
False
Let x be 0 - 6/((-2)/(-2)). Let d(b) = 8*b + 194. Let t be d(-25). Is x <= t?
True
Let l = 11 + -12. Let j be ((-4)/30)/((-4)/12). Is j smaller than l?
False
Let t = 30 - -84. Is 2/5 greater than or equal to t?
False
Let w(f) be the first derivative of 3*f**2/2 - 1. Let l be w(-1). Which is bigger: -2 or l?
-2
Let c(y) = -y - 1. Let z be c(-1). Suppose z = -m - 4*m. Let k be 2/(-7) + (-4)/(-14). Is m smaller than k?
False
Let l = -278 - -272. Let s be -2 - (21/4)/(-3). Is l smaller than s?
True
Suppose -3 = -5*m + 2. Suppose x = -0*x. Is m smaller than x?
False
Let h be (-3)/7 - 33/21. Is h at most -3?
False
Let r = 0.3 - -2.7. Let p = -2.9 + r. Let a = 115/186 + 3/62. Which is bigger: a or p?
a
Let w = 67 - 67.33. Let f = -0.13 - w. Is f >= -1?
True
Let w be (1/(-2))/(2/12). Let c(h) = -h**3 - 6*h**2 - 6*h - 7. Let n be c(-5). Let k = n + 0. Which is smaller: k or w?
w
Let n be 4/2 + -69*4/162. Do n and -1 have different values?
True
Let k(z) = -z**2 - z - 14. Let b be k(0). Which is greater: -13 or b?
-13
Let v be (-12)/1866*1130/(-76). Let q = v - -3/311. Is 1 less than q?
False
Let s be 0*(-2 - (-12)/4). Suppose a + s*a - 10 = 0. Is a at most as big as 10?
True
Let o(a) = a**2 - 16*a + 16. Let j be o(18). Let f be 2 - (3 - j/76). Is 1 at least as big as f?
True
Let l be -1 - (1 - -1) - 1. Suppose 2*b + 60 = 48. Do l and b have different values?
True
Let f = 0.6 - 6.6. Let j = f - -7. Let z = -3 - -3.2. Which is greater: z or j?
j
Let a = 4.63 - -0.37. Let h be 1 + (-2)/(-2) - 2. Which is greater: h or a?
a
Let s = 6 - -3. Let x be 104/12 - (-8)/(-12). Which is bigger: x or s?
s
Let w = -1.8 + 2. Let h(g) = g**3 - 8*g**2 - g + 11. Let f be h(8). Let z be 28/154 + f/44. Is z > w?
True
Let a = 0.5 - -0.5. Let m = a + 0. Let y = -0.1 + 0.1. Is y not equal to m?
True
Let t(m) = 5 - m + 0 - 2 + 4. Let n be t(6). Is n bigger than 0?
True
Suppose 9 + 14 = 3*k + 4*i, 5*i = -2*k + 13. Let r = -5 - -8. Suppose s + 2 = -d + 2*s, 0 = -4*d + r*s - k. Is d greater than -3?
False
Suppose 5*l = -n - 23, 0 = -5*n - 0*l - 2*l. Suppose k - 29 = 5*i, -4*k - 25 + 75 = n*i. Is k greater than or equal to 14?
True
Let v = 13.97 + -14. Which is smaller: v or 0?
v
Suppose -h = -d + 2*d - 7, 17 = 5*h - d. Suppose o + 4*o = 100. Suppose -9*w + o = -4*w. Is w equal to h?
True
Let c = 9 - 17. Let t be (c/(-552))/((-1)/(-6)). Which is greater: t or -2?
t
Suppose 33 - 9 = -4*y. Let j be 4/y*3/5. Is j less than or equal to -1?
False
Suppose 3*x = 7 + 5. Suppose 4*c = 4*h - 16, -x*h - c - 15 = -6. Which is greater: h or -5/4?
h
Let g be 4/(-3) - 66*(-12)/918. Are g and -1 nonequal?
True
Suppose -2*f = 5*t + 1, 12 - 4 = 4*f. Let r be (t/1 - -3)/(-2). Let i be 0 - (-3 + (-24)/(-9)). Does r = i?
False
Let w be 0 - ((-2 - -1) + -11). Let k be 3 + (-10)/w - 2. Is k equal to -1?
False
Let q = -1681/528 - -49/16. Which is bigger: -1 or q?
q
Let z(y) = 3*y**2 + 6*y + 2. Let h be z(-5). Are 47 and h unequal?
False
Let l = 2326347/147175 - 1/176610. Let g = 7/50 - l. Let s = g - -244/15. Which is smaller: s or 1?
s
Let u = -90 - -69.1. Let j = -21 - u. Is j equal to -1/6?
False
Let r = -18 + 35/2. Is -1 equal to r?
False
Suppose 4*x - 4*h - 296 = 0, 0*x = x + 5*h - 104. Which is smaller: x or 78?
78
Let f(l) be the second derivative of -l**3/6 - 3*l**2/2 + l. Let y be f(-6). Is y at least 3?
True
Let b = 0.26 - 0.36. Are b and -17 unequal?
True
Let l = 3 + -2. Let v = -0.088 + -31.012. Let k = 31 + v. Which is greater: k or l?
l
Let s = -10 - -1. Let f be (-1)/(-3) - (-3)/s. Let v = -3 + 2.9. Which is smaller: v or f?
v
Let p(i) = 8*i**2 + i**3 - 4*i**2 + 5*i**2 + 9*i + 8. Let a be p(-8). Which is smaller: -1/7 or a?
-1/7
Let r = -4.3 - -4. Let j = r - 0.7. Is j < -1?
False
Let l be (10/(-3) - -3)*-12. Suppose 2*c + 3 = -3*n + 5*c, 0 = n - l*c + 10. Suppose 10 = -2*m - 2*b, -n*m + 3*b - 4 = -19. Which is smaller: -2/13 or m?
-2/13
Let b = -15 + 17. Suppose b + 0 = -2*i. Which is smaller: 1/6 or i?
i
Let d = 7430 + -3313. Let g = -74125/18 + d. Let h = 14/9 + g. Which is smaller: 1 or h?
h
Let t = -1/221662 - 235515869/1329972. Let j = t - -177. Let q = j + -1/4. Which is greater: 1 or q?
1
Let s = -7 - -10. Suppose 5*t = s*t. Which is smaller: t or 1?
t
Let c(t) be the second derivative of t**5/20 - 7*t**4/6 + t**3/6 - 13*t**2/2 - 10*t. Let h be c(14). Which is smaller: 5/6 or h?
5/6
Let g = -1.9 + 2.9. Let z be ((-6)/(-25))/(1/(-5)). Is z at most as big as g?
True
Let w = -2 - -3. Let j = 6 + -5. Suppose -t - o + j = t, -16 = -2*t + 4*o. Which is smaller: t or w?
w
Let o = -11 - -10.6. Let v = o - -0.43. Is -0.1 at least as big as v?
False
Let f(r) = -r**2 - 2*r - 9. Let t be f(0). Let a(o) = o + 7. Let v be a(t). Is 2 at most v?
False
Let x = 5449/268 - 39/67. Let g = -185/12 + x. Is g greater than 3?
True
Let j be -1 + 3 - (-5 + (-536)/(-77)). Which is greater: 0 or j?
j
Let i = -0.06 - -3.06. Let d = -11.132 - -0.232. Let a = d - -11. Is a bigger than i?
False
Let i = 4.9 - 4.6. Let q = 1 - -1. Is i not equal to q?
True
Let u = -0.07 + -0.93. Let s = 32 - 21. Is u less than s?
True
Let w(g) = -g**2 + 14*g + 5. Let y be w(14). Suppose 3*m + 39 = a + 2*a, 3*m + 2*a + 39 = 0. Let l = m + y. Is l greater than or equal to -8?
True
Let r = 10 + -14. Suppose 22 = -4*h + 5*o, -7 = h + 5*o - 7*o. Is r <= h?
True
Suppose 0*z + 4*z = 92. Suppose -3*q - m - m + 7 = 0, -2*q + z = 5*m. Which is bigger: q or -6?
q
Let l be (-58)/(-18) - (-6 - -9). Which is smaller: -1 or l?
-1
Suppose 30 = -2*p - 3*p. Let i(o) = -2*o - 9. Let u be i(p). Let b(v) = -v**2 - 5*v + 2. Let g be b(-