*t. Let g be w(-3). Let k be g/(-3)*(-2)/4. Is k <= y?
False
Let o be (249/24)/((-6)/8). Let x = o + 14. Let s = 15 - 47/3. Does s = x?
False
Let o be (0 - 9/(-15)) + -1. Which is bigger: 3/5 or o?
3/5
Let c = 0.935 - 0.125. Which is smaller: 1 or c?
c
Let v(w) = -6*w**2 + 9*w**2 - 3*w**3 + 2*w**3 - 12*w + 10*w**2. Let n be v(12). Which is smaller: -3 or n?
-3
Suppose 42 = -j - 6. Let u be j/42 - (-3)/21. Which is smaller: 1/7 or u?
u
Let q = -1.6 + 0.1. Let y = q + 1.6. Which is bigger: 0.11 or y?
0.11
Let g = -90 - -85. Which is bigger: g or -4?
-4
Let p = -12 + 7. Let v = -7 + p. Let l be 3/v*(0 - 1). Which is smaller: 1 or l?
l
Let j(x) = -x - 6. Suppose -2*y = -5*z - 11 - 12, -5*y + 15 = -4*z. Let o be j(z). Let t be -1 - -2*(-2)/o. Is t <= 3?
True
Let w = 49 - 49. Which is greater: 3/8 or w?
3/8
Let r be ((-8)/2)/((-6)/27). Suppose 4*g = -5*f - 3, 2*g - r = g + 5*f. Suppose g*w = 5*w - 2. Is w at most 2/7?
False
Let d(o) = -9 - 3*o - 2*o - 3*o - o**2. Let b be d(-7). Let s(p) = -2*p + 1. Let i be s(1). Which is smaller: b or i?
b
Let a(c) = -c**2 - 7*c + 12. Suppose 4*j + 37 = 1. Let z be a(j). Which is smaller: z or -5?
z
Let q = 2 + 1. Suppose -17 = -h + 5*g, h + 5*g + 13 = -0*h. Let u(w) = -w**3 + 4*w**2 - w - 2. Let t be u(h). Are q and t unequal?
True
Let r be (1/(-2))/((-4)/24). Suppose -r*i - x = -18, -i + 3*x + 14 = 6*x. Which is bigger: i or 6?
6
Let c = -16 + 15.9. Are 2/15 and c non-equal?
True
Let n = -2639/5 - -552. Let q = -24 + n. Which is smaller: 1 or q?
q
Suppose 14*f - 9 = -37. Is f < -42?
False
Let y(z) = z**2 + z - 2. Let l be y(-2). Let t be ((-2)/(-4))/(5 + -4). Is t greater than l?
True
Let z = -182 - -260. Which is greater: 79 or z?
79
Suppose 3*z + 4 = 7*z. Let h = -152/15 - -54/5. Which is smaller: z or h?
h
Suppose -2*s - 1 = 5*a + 15, -1 = -4*a + 3*s. Let x be (0 - (a + 3))/1. Do 0 and x have different values?
True
Let b = 0.4 + -0.7. Let i = b + 0.1. Let w = 0.2 + i. Is w greater than or equal to 2/9?
False
Let j(q) = q**2 - 5*q + 1. Let b be j(4). Suppose -5*i + 3 = 4*t + 14, 0 = -5*i + 5. Is b bigger than t?
True
Let c be (2/(8/(-6)))/(-3). Let n be (-68)/(-20) + 2/(-5). Suppose -n*q = -4*g + 16, -g + 14 = g - 3*q. Do g and c have different values?
True
Let u be (-27)/124 + 1/2. Let q = u - 1/31. Which is smaller: q or 2/5?
q
Let b = -5.07 + 0.07. Suppose 8*l + 11 = 3. Which is bigger: b or l?
l
Let k be 3/18*3*6. Suppose k*i = -i. Which is smaller: 1 or i?
i
Suppose -200 = k + 3*k. Let h = k + 152/3. Let d = 0.2 + -0.3. Are h and d unequal?
True
Let u be 0/(2 - (8 + -4)). Which is greater: u or 2?
2
Let c be 3/(-21)*-4*7. Suppose 2*g = -4*v + 26, -2*g + 28 = c*v + 2*g. Let h(n) = 5*n**2 + n - 1. Let q be h(1). Is q smaller than v?
True
Let h = -12 + 4. Let l = -7.2 - h. Let d = 3.8 - l. Is d greater than 2/3?
True
Suppose -v + 3 = r, 5*v - 4*r + 5 + 7 = 0. Let s be 5/(-15)*-9*1/(-3). Is v less than s?
False
Suppose -15 = t - 4*t. Do 13/3 and t have the same value?
False
Let g = 0.15 - 0.25. Do 0.04 and g have different values?
True
Let t(v) = -11*v**3 - 20*v**2 + 12*v - 7. Let h(r) = -4*r**3 - 7*r**2 + 4*r - 2. Let f(i) = 8*h(i) - 3*t(i). Let u be f(-5). Let o be 9/12*1/3. Is u >= o?
False
Let u = 0.07 + 1.93. Let w = u - -1. Which is smaller: w or 2?
2
Let k = -0.1 + 0.1. Let v = -0.8 - 0.1. Let w = 1.3 + v. Is w equal to k?
False
Let c(n) = n**3 - 4*n**2 - 4*n. Suppose -2*g = 2*v - 16, -21 - 2 = -4*g - v. Let h be c(g). Is 5 at most h?
True
Let q be 48/30 - 4/(-10). Let a(p) = -p**2 + 2*p - 1. Let l be a(q). Is l != -2/5?
True
Suppose -117 = -3*b - 33. Let l be (-12)/b*(-8)/(-6). Let y = 1 + -1. Are l and y non-equal?
True
Let a be ((-38)/(-10) - 5)*(-25)/3. Are a and 18 non-equal?
True
Let k(y) = y**2 - y - 3. Let h be k(2). Which is smaller: h or 2/135?
h
Let n(x) = -x**2 + 1. Let g be 1*(-4*1 + 2). Let v be n(g). Let i be 1/4 + (-18)/8. Is i > v?
True
Suppose -4*z - 36 = 2*t, 2*z + 0*z + 20 = -2*t. Let c be 5/z*(0 + -2). Let l = 0 + 0. Is c < l?
False
Suppose 0 = -3*z + z - 10, 0 = 3*c + 4*z + 11. Suppose -2*p - c*p = -15. Which is bigger: p or 2?
p
Let v = 5.9 - 12.9. Which is bigger: 7 or v?
7
Let l be 10/24*(-8)/6*2. Which is smaller: 0 or l?
l
Let x = 6 - 3. Let b = x + -7. Let i = -74 + 71. Which is greater: b or i?
i
Let i = -1794/5 - -357. Is 1 > i?
True
Let z = -200/819 + 2/91. Which is smaller: -0.02 or z?
z
Suppose -4*t = -2 - 2. Let p = -3 + t. Let v be p*(-7)/10 + -2. Which is greater: v or -1?
v
Suppose 0 = -2*r + 2 + 2. Suppose 0 = -3*j + 9, -j = -r*p + 3 - 2. Suppose -4 = p*d - 2. Which is greater: 3/8 or d?
3/8
Let r(f) = -2*f - 13. Let v be r(-14). Which is smaller: 1 or v?
1
Suppose -3*b = 2*b + 30. Let a(d) = -d - 6. Let n be a(b). Are n and 0 nonequal?
False
Let p be -3*(3 + -1)/18. Is 0 greater than or equal to p?
True
Let q be (-2 + 6 + -3)*4. Let v be 3/1 - 12/q. Is 0 less than or equal to v?
True
Let y = 41 + -16. Does y = 25?
True
Suppose 0 = p + 5*k + 15, k + 4*k + 75 = 5*p. Suppose 0 = 4*b + p + 2. Let i be (-58)/18 + (-6)/(-27). Is i at most as big as b?
True
Let m = -9 - -28/3. Which is smaller: m or 4?
m
Suppose -2*q + 3*q + 3 = 0, 4*f + 3*q + 13 = 0. Let u = 389 + -26840/69. Let n = u - -20/207. Is n < f?
False
Let d = -103.8 - -108.91. Let k = -0.11 + d. Let n = 3 - k. Are 1/3 and n unequal?
True
Suppose -2*o + 3*a = -12, 4*o - 29 + 5 = -5*a. Which is smaller: 4 or o?
4
Let p = -0.7 - -1. Is p greater than 4?
False
Let o = 3.96 - 6. Let u = o - -0.04. Let z = -1 - -0.9. Which is smaller: z or u?
u
Let i = 120483/5 - 24183. Let k = i - -86. Is k bigger than 2?
False
Let q be (0/(-2))/(-1) - -4. Suppose 10 - 10 = 3*a. Suppose a = -3*p + 4*p + q*d + 12, -2*p - 3*d = 14. Is p less than or equal to -4?
True
Suppose 4*b - 27 + 1 = 2*a, 4*b - 3*a - 31 = 0. Let d be -1*0*2/b. Which is greater: -1 or d?
d
Let d be 2 - (-9 + (-2 - -4)). Suppose 0 = d*a - 12*a. Let w be (-5)/12 - 3/12. Are w and a unequal?
True
Let m = 103.12 - 106. Let z = m + -0.12. Is 0 <= z?
False
Suppose -10 + 75 = 5*x. Let d = x + -14. Let t = 0 - 1. Are d and t unequal?
False
Suppose 4*y - 8 = 2*y. Let u = 7 + -7. Let v = u + 4. Is v at most y?
True
Let p(z) = -z + 10. Let a be p(6). Which is greater: 5 or a?
5
Let r(g) = -g**2 + 11*g - 3. Let v be r(5). Which is smaller: v or 28?
v
Let t(j) be the second derivative of j**5/20 - j**4/3 - 2*j**3/3 - 3*j**2 - j. Let h be t(5). Let x be h + 11/6 - 1. Are -1 and x nonequal?
True
Suppose 5*r = 3*v + 239, 2*v - 6*v = -4*r + 324. Is v equal to -84?
False
Let y be (9/(-6))/((-3)/(-12)). Let r be y/(-4)*-2 - -2. Is r at least as big as 2/35?
False
Let v be ((-6)/(-5))/((-56)/80). Which is smaller: v or -1?
v
Suppose -a - 2 = -3. Do 7/3 and a have the same value?
False
Let p(r) = -r**3 + 11*r**2 - 9*r - 8. Let l be p(10). Which is smaller: l or 3?
l
Suppose -5*v - p = -15, 2*v + 5 = -3*p - 2. Suppose -v*q - 3*a + 6 = -q, -2*a = -5*q + 31. Is 5 greater than q?
False
Let c be 24/(-18)*(-4 + 1). Suppose 2 = -c*x + y, 0*y - 8 = -4*x - 4*y. Which is bigger: x or -10/9?
x
Let w = 87 + -83. Is w at most 3?
False
Let y = -165 - -9569/58. Which is smaller: 0 or y?
y
Suppose 4*q - c = 269, q + 4*c - 28 = 35. Does q = 66?
False
Suppose i + 5 = -s + 6*s, 10 = 4*s - 2*i. Let t be (1 + (2 - s))*-1. Let q = -66 - -65. Which is greater: q or t?
q
Let v(w) = 6*w + 1 - 7 + 0 - w**2 + 0*w**2. Let a be v(5). Is a bigger than -1?
False
Suppose -2*k - 60 = -6*k. Suppose -k = -0*m + 2*m + 3*j, -j - 5 = -m. Which is bigger: m or 2/25?
2/25
Let p = 53425/63 + -848. Which is smaller: 0 or p?
0
Let n = 2 + 0. Suppose n*x - 6 = 5*x. Is x smaller than -2?
False
Let s(i) = -8*i - 1. Let x be s(1). Let g be (0 + 6)/(x/6). Is g less than 0?
True
Let h(l) = 2*l - 1. Let t be h(-3). Let a be (-18 - 0)/((-6)/8). Let r be a/(-14) - (-2)/t. Which is smaller: r or -1?
r
Let j be ((-93)/(-12))/(0 - 1). Do -7 and j have the same value?
False
Let t = -15.9 + 16. Suppose x + 1 = -0. Is t smaller than x?
False
Suppose 8*l + 10 = 3*l. Do -4 and l have the same value?
False
Suppose 2*f = 3*f. Suppose -z + 0*z + 1 = f. Which is bigger: z or -2/19?
z
Let i be (-180)/(-506) + 30/(-165). Do i and 1 have the same value?
False
Let d = 34 + -19. Let h = 16 - d. Which is bigger: 2 or h?
2
Let o be (-8)/(-12)*6 + 