) = -d - 3. Let j be f(-3). Let v be (j - 2)/(i/2). Is v > 0.5?
False
Suppose -5*x + 159 - 39 = 0. Let i = 23 - x. Which is bigger: i or -2?
i
Let c be 6/5 + 1/(-5). Which is smaller: -2/39 or c?
-2/39
Let d = 551/19272 + 1/584. Which is smaller: 1 or d?
d
Let z = 0.2 + -0.1. Are z and 7 unequal?
True
Suppose 3*g = 5*k - 36, 5*k = 5*g - 0*k + 60. Let n = -11 - g. Which is bigger: -2/27 or n?
n
Let t be ((-6)/3)/(0 + 2). Let f(i) = 5*i**2 + 1. Let w be f(t). Suppose 0 = -w*d + 3*d. Which is greater: d or 1?
1
Let o(m) = -m - 3. Let t be o(-4). Let w be 1/(-4) + 1067/(-1748). Let s = w + 18/19. Which is smaller: s or t?
s
Let n = -439/6 - -73. Is n <= 0?
True
Suppose -4*l + 20 = -0*l. Suppose b = l*b. Is b at least 2?
False
Let q = -9 + 7. Let f be 22/(-6) - (-1)/(-3). Let p = f - q. Is p less than or equal to 1?
True
Suppose -11*f + 52 = -9*f. Is f > 27?
False
Let k(g) = -g**2 - 10*g - 12. Let j be k(-8). Let d(w) = w**2 + 6*w + 3. Let q be d(-6). Let b = q - j. Which is smaller: 0.3 or b?
b
Let l(x) = 22*x**2 + x + 2. Let q be l(-2). Is 88 less than q?
False
Suppose -s + 3 = 0, -k - 3 - 3 = -2*s. Suppose -5*p = -11 + 1. Let h be p/(-12)*(2 - -1). Is k > h?
True
Let l be (-2 - 0)*5/(-2). Let v(z) = z**2 - 5*z - 1. Let a be v(l). Let r = -6 + 7. Is a != r?
True
Suppose b = -0*g + g - 8, 4*g - 42 = -b. Let m be 6/(-10) + (-4)/g. Are m and -2 unequal?
True
Let z = 4.5 + 4.9. Let i = -9 + z. Let k = i + 1.6. Is 0 at least k?
False
Let x = 2/203 + 400/609. Is 8 greater than or equal to x?
True
Let p = 4.7 - 4. Let m = 5.7 - 6. Let q = m - p. Which is bigger: q or 3?
3
Suppose 2*s - 3*j - 8 = 0, -2*j = 6*s - 3*s + 1. Does 1 = s?
True
Let l = -61 - -90. Does -0.1 = l?
False
Let o(s) = -s**3 + s**2 + s - 2. Let n be o(0). Let p be 1 + (-3)/(-2)*n. Is p < -3?
False
Let x = 1.95 + 0.05. Let n = 6222/7 + -887. Let t = n + -79/35. Is x > t?
True
Let o be -1 + (-10)/(-6) + -5. Let v = 541/18 + -236/9. Let q = o + v. Are 0 and q equal?
False
Let t be (-1248)/30*(-10)/6. Let u = t + -70. Which is bigger: 3/2 or u?
3/2
Let g = -8 - -6. Let z be 1/(1/2) + g. Is z smaller than 1?
True
Let v(h) = -9*h**2 - 3*h - 2. Let p be v(-1). Which is bigger: p or -9?
p
Let z = -93 - -97.3. Let i = 2.6 + z. Let g = i + -7. Is 1 equal to g?
False
Let p be (-1)/3 + (-154)/(-120). Let n = p - 7/20. Which is bigger: n or 0?
n
Suppose -4*a - 18 = -58. Let h = 14 - a. Suppose -l - 3 = -h. Is 2/5 <= l?
True
Let c = -12 - -7. Suppose -5*i + 2 = 5*u + 12, -2*u = i + 6. Is c equal to u?
False
Let i(k) = -k**3 + 7*k**2 - 1. Let x be i(7). Let z be (1 + x)/(-2 + 4). Let v be (0 - -3)*1 - 1. Are z and v equal?
False
Let p = -76 + 76.1. Which is bigger: -20 or p?
p
Suppose 0*f = -5*s + f + 2, 4*f = -2*s - 8. Is s less than 2/11?
True
Suppose 4 = -3*a + 16. Let m be 2 + -5 + 5 + 2. Are a and m equal?
True
Suppose 4 = q - 0*q. Let n be (-45)/q - 3/4. Let o be 7/(-15) - 8/n. Which is smaller: o or -1?
-1
Let i = 3 + 0. Let x be (1 - i) + (-27)/(-12). Which is smaller: x or 1?
x
Suppose -i - 4*i = 20. Which is greater: -2 or i?
-2
Let a = 204 - 205. Let y = 3.6 + 0.4. Are a and y equal?
False
Suppose -3*u = u + 32. Let y(h) = -8 - 1 - 2 - h. Let q be y(u). Which is smaller: q or -1/4?
q
Suppose -15 = -4*n - 3. Suppose -n*c = 2*g + g + 12, 4*c - 4 = g. Suppose -2*y + y - 4 = 3*a, 0 = -a - 4*y + 6. Is a at most c?
True
Let l(z) = 2*z**2 + 1. Let u be l(-1). Suppose -4*n = 3*s - 40, -u*n + 36 = 3*s - 0*s. Suppose 3*f = s*f. Which is greater: 4/5 or f?
4/5
Let s = 19 + -24. Which is greater: -2 or s?
-2
Suppose -2*c - 8 = c + 4*b, 4*c = -3*b + 1. Suppose -2*p - 3*p - 13 = 3*j, 5*j - 3 = c*p. Is p less than -5?
False
Suppose -4*u - 5 = -4*l + 15, -3*l = -4*u - 16. Let n be (0 - u)*7 - 4. Is 3 < n?
False
Let t be 3 - -1 - (0 - -2). Let j be ((-16)/(-42))/(16/24). Which is bigger: t or j?
t
Suppose 5*o - 4*z - z - 10 = 0, -4*z = 4*o. Do 1/19 and o have different values?
True
Suppose 2*z - 36 = -2*i, 2*z + 2*z + 8 = i. Is i smaller than 16?
False
Suppose 0 = -4*u + 12, 7 = 4*g - u + 2. Is g <= 2?
True
Let j be (-7)/(-10)*4/7. Let h = 5.2 + 0.8. Let b = 8 - h. Which is smaller: j or b?
j
Suppose -4*f + 23 = 19. Let q = -117 - -355/3. Do f and q have the same value?
False
Let c be (-1)/5*(-19 + 24). Are 2/313 and c unequal?
True
Let a be ((-18)/4)/(-1 - 2). Let s(j) be the second derivative of j**4/12 - 5*j**3/6 + 3*j**2/2 + 2*j. Let x be s(5). Is x <= a?
False
Let v = -58 + 112. Let f be (-12)/v - (-437)/630. Let i = 1/14 - f. Is i equal to -0.4?
True
Let x = -0.4 - -0.58. Let i = x + -10.18. Are -1 and i nonequal?
True
Let u = -1 - -1. Suppose -5*z + 72 = -3*c, 36 + 5 = 3*z - 4*c. Let v be (-6)/z + (-24)/(-20). Which is smaller: v or u?
u
Let y be ((-4)/(-2) - 0) + -1. Suppose -3 = -4*j + 9. Suppose 0*i = -j*i + 6. Are i and y equal?
False
Let w be 4/(-6)*(-1 + 22). Let b = w - -7. Do -6 and b have the same value?
False
Suppose -2*h + 5 + 7 = 3*v, 0 = 3*v - 2*h - 12. Suppose -3 = -v*f + 1. Which is smaller: f or 1/3?
1/3
Let p be (20/(-40))/((-3)/(-2)). Let u = -3 + 2. Is u >= p?
False
Suppose -2*k - 5*y - 8 = 0, 55 = -5*k + y - 19. Are k and -15 non-equal?
True
Let n = -43.1 - -43. Is 0.9 >= n?
True
Let v = 3.9 - 4.47. Let l = 0.6 + v. Is l != -1?
True
Let p = -104/15 + 22/3. Which is smaller: p or 0?
0
Let h be 2/(-5) - 9/(-60). Let r(p) = -2*p**3 - 2*p**2 - 2*p - 1. Let f be r(-1). Which is smaller: f or h?
h
Suppose 2 + 1 = 3*c. Suppose 2*o - 6 = -0*h - 2*h, -4*o = -2*h. Are o and c equal?
True
Suppose -15 = -5*q - 4*x, 2*x + 12 = 4*q - 2*x. Suppose -2*z = q*z. Which is smaller: -0.1 or z?
-0.1
Let o = 0 - -1. Let y = -81.1 - -81. Are o and y non-equal?
True
Suppose -15 = -q - 4*q, -t = 5*q - 25. Let y be 16/t - (4 - 2). Do 0 and y have different values?
True
Suppose 5*q + x = 3*x + 13, -x + 1 = 0. Suppose -2 = 5*i + q. Which is smaller: i or 0?
i
Suppose -13*a + 10*a - c - 4 = 0, 2*c + 3 = -a. Suppose -6 = t + 2*t. Which is bigger: t or a?
a
Let v = 5 - 2. Let q = -4 - -5. Which is smaller: v or q?
q
Let p be 404/318 + (-4)/6. Let s = p - 2389/3869. Let l = s - 137/657. Which is bigger: l or 0.2?
0.2
Let q = -7.83 - 0.17. Let i = 8 + q. Let x = 0.02 + i. Which is bigger: x or -0.1?
x
Let y = 0.82 + 51.18. Which is smaller: 1/3 or y?
1/3
Let u = 7 + -19. Is -12 less than u?
False
Let f be (2/(-2) + 2)/(-1). Which is bigger: f or -2/9?
-2/9
Let z = 4 + -4. Is z at least -3?
True
Let g = -151.04 - -166. Let l = -15 + g. Which is smaller: l or 2?
l
Let k(b) = b + 2. Let s = 7 - 9. Let h be k(s). Which is smaller: -1 or h?
-1
Let d be 7/(-45) - (-22)/99. Is d < 1?
True
Let o be 3/10 + (-4)/(-20). Which is bigger: o or 1?
1
Let w(v) = -v**3 + 6*v**2 + 6*v - 5. Let f be w(7). Let h = -11 - f. Is -10 <= h?
True
Let q = -20 + 14. Let j = q - -5. Which is bigger: 0 or j?
0
Let u(g) = -2*g**2 - g + 1. Let s be u(1). Suppose -2*w = 3*x + 20, 24 = -3*w - 0*w - 3*x. Are w and s unequal?
True
Let v = 5 - 14. Is -8 at most v?
False
Suppose 2*i = -2*f + 2, -i - 3*f = -2 - 3. Let h(j) = 5*j**3 + j**2 + j + 1. Let z be h(-1). Let t be z*(18/8 + i). Are t and -4 equal?
False
Let z be (4/15)/(4/(-10)). Let l be 160/(-28) + 2/(-7). Let d be l/15 - (-6)/(-10). Which is bigger: d or z?
z
Let a = -4 - -3. Which is bigger: 1 or a?
1
Let l = -2/2077 + 33242/10385. Let t = l + -47/10. Let s(g) = g**2 - 4*g + 1. Let n be s(3). Is t at most as big as n?
False
Let b be (-4 + -4)*(-2)/4. Suppose -2*t - 30 = -5*p, 0 = 2*p + b*t + t - 41. Which is bigger: p or -1?
p
Let o be 102/153*(6/4 - 0). Is 3/10 <= o?
True
Let v = 0 - -1. Let k be (2 - 5)/3*v. Let q = 2/75 - 4/25. Which is greater: q or k?
q
Let k = -27 + 27. Is 2/191 < k?
False
Suppose -5*q + 68 = -272. Let l be q/(-5) + 2/(-5). Let w be (-4)/l + (-6)/21. Which is bigger: w or 2/11?
2/11
Suppose 4*d - 2*d - 20 = -2*m, -3*d - 5*m + 40 = 0. Suppose d*z - 20 = 0, -2*f + 4*z - 7*z + 22 = 0. Let o be (-4)/f - 2/(-5). Is o equal to 0?
False
Suppose 0*g = g. Is -3/4 < g?
True
Let h(g) = g**3 - 11*g**2 + 12*g - 14. Let y be h(10). Let l = y - 7. Which is greater: 0 or l?
0
Let t = 1/1021 + 4063/21441. Which is bigger: 1 or t?
1
Let x be 2 - 0 - (1 + 1). Suppose x = 3*t + 6. Suppose -4*o = -g + 5, 2*g + 8 = o - 2*o. Is o < t?
False
Suppose -3*m + 5*y + 11 = -6*m, 2*y + 8 = -3