2)/4*12/(-14). Is 2/3 greater than n?
True
Let u = 2099/9 - 233. Is 2 greater than u?
True
Let t be 4/(-6) - 230/15. Let i be (-3 - 50/t)*2. Is -1 <= i?
True
Let z be ((-18)/(-10))/((-2)/(-5)). Suppose 3*s = s + 12. Is s less than or equal to z?
False
Let l = 2.99 + -3. Let w = 0.09 - l. Is w at least 7?
False
Suppose -1 = 34*a - 35*a. Which is smaller: 1/6 or a?
1/6
Let u = 4.18 + -3.1. Let g = u + -1.1. Which is bigger: g or -1/2?
g
Let w = 0.4 + -0.3. Let g = -3 - -5. Let b be g/24 - 0/6. Which is smaller: w or b?
b
Suppose m + 13 = -3*s, -3*m - 11 = 1. Which is smaller: s or 0?
s
Let k be 3/(-1) + 58/22. Is -1 > k?
False
Suppose -4*c + 40 = 4. Let s be (102/c)/(28/186). Let u = s - 75. Which is greater: 1 or u?
1
Let y = 50 - 51. Is y < 34?
True
Suppose 21*q - 15 = 16*q. Which is bigger: q or 1?
q
Suppose -2 = 4*z - 6*z. Suppose 7*a - z = 6*a. Is a smaller than 4/5?
False
Suppose -3*b - 5*w - 17 = -w, -5*b + 3*w - 38 = 0. Which is smaller: b or -1?
b
Let r = -3/7 - 1/14. Is 12 not equal to r?
True
Let f(g) = -g - 72. Let o be f(0). Let l = 359/5 + o. Is -1 bigger than l?
False
Let b = -30 + 42. Suppose y - 2*o - 3*o - 12 = 0, 0 = 4*y - 4*o - 48. Are b and y unequal?
False
Let p be (14/(-5) - -2)/((-2)/(-10)). Is -7/2 bigger than p?
True
Let t = 4 + 2. Let j = -17 + 23.1. Let c = t - j. Which is smaller: c or 2/5?
c
Suppose -48 = 7*o - 3*o. Let x be (4/(-6))/(2/o). Suppose -x*r = -1 + 9. Is -4 equal to r?
False
Let l = 0.22 - 0.02. Let n = -0.4 + l. Which is greater: 1 or n?
1
Let v be 5*(0 + 3)/3. Suppose 0*q + 2*q + 48 = v*h, -3*q = 2*h - 4. Which is greater: h or 9?
9
Let b = 1 - -2. Let z(i) = -i**3 + 3 - 3*i**3 + 7*i + b*i**3 + 6*i**2. Let h be z(7). Does h = 2?
False
Let h(g) = -g**2 + 7*g - 6. Let p be h(5). Suppose -y - 3*y + p = 0. Which is bigger: y or 5/3?
5/3
Let c = 53/3 + -18. Let f be (-24)/35 + 2/5. Which is bigger: c or f?
f
Let x(y) = -y**2 - 4*y + 7. Let t be x(-5). Suppose -5*z + p = 4*p + 8, 4*p = -t*z - 6. Which is smaller: z or -18/11?
-18/11
Suppose 3*h + 84 = -4*h. Is -12 at least as big as h?
True
Let x = 9 - 4. Let z = 1 - 1. Suppose 4*w + c - 8 = z, -c + 10 = 5*w - x*c. Is 2/3 greater than or equal to w?
False
Let o = 4.1 + -4. Let x = 0.1 + o. Is x at most as big as 3/4?
True
Let l = -1 + 1. Let g = 17 + -10. Let y = 8 - g. Which is greater: l or y?
y
Let w be 1/(-1 + 2) - -5. Let o = 6 - w. Is o < -1/4?
False
Suppose -8*z + 3*z + 3*j = -25, -5*z + 15 = -j. Suppose 5*u + z*v = -10, v = 2*v. Which is smaller: 1 or u?
u
Suppose 3*m + 18 = m. Let o(k) = k**2 + 8*k - 8. Let q be o(m). Suppose 4*b + v = 8, -8 = -b + 5*b - 3*v. Is b < q?
False
Let v = 4/3 + -1. Suppose -4*c + 12 = -u, 4*c - 4*u - 39 = -15. Suppose c*a + 2*m = -0*a - 4, -4*a - 5*m = 11. Is v at most as big as a?
True
Let k = 70 - 79. Is -10 greater than or equal to k?
False
Suppose k = 5*r - 0 + 2, 4*k + 12 = 0. Are r and -2 equal?
False
Let p = -42/55 + 1226/165. Does p = 7?
False
Suppose 4*x - 2 = 18. Is x at least 15/4?
True
Suppose -51*v = -56*v - 200. Which is bigger: -41 or v?
v
Let w be (-14)/(-5) + -2 + 0. Suppose -8 = -3*q + 7*q. Let b be (4/7)/(q/(-7)). Is w not equal to b?
True
Let l be (0 + 1)*(-1 + (-424)/(-428)). Is -1 smaller than l?
True
Let z = -22 - -15. Let c = z - -11. Suppose 2*u = 6*u + c. Does -1 = u?
True
Suppose -12 = -3*h - 2*f, 11 = 5*h - h + f. Let q be (2/(-14))/((-2)/10). Which is smaller: q or h?
q
Suppose f - 4*w - 124 = -3*f, -4*f = 5*w - 97. Which is bigger: f or 30?
30
Let k = 146 + -131. Which is greater: 17 or k?
17
Let l = 3 + -1. Suppose -l = 5*s + c + 5, 4*s = 4*c - 20. Is -4/3 >= s?
True
Suppose -5*p = 2*y + 3, -5*y + 3 + 4 = -2*p. Which is greater: y or -2/29?
y
Suppose 0 = -j + 5*z - 9, j + z - 1 - 2 = 0. Which is smaller: j or 4?
j
Let c be (-105)/(-20)*4/12. Is c at least 1?
True
Suppose 10 = -2*d - 4*c, -10 = 2*d - 4*c - 0. Suppose -v + 2*w - 7 = -0*v, 0 = v + w + 4. Is d < v?
False
Suppose 8 = 3*b - b. Suppose 5 = b*f - 5*r, 3 + 0 = -2*f - 3*r. Does f = 3/8?
False
Suppose -3*i + 19 = 4*r, -2*r + r - 19 = -4*i. Which is smaller: -2 or r?
-2
Let q = -0.3 + 0.4. Let x = -726.99 + 732. Let h = x - 0.01. Do q and h have the same value?
False
Suppose -7*g = -2*g + 120. Let n be 18/g - (-3)/4. Suppose -3*x - 5*t + 4*t - 7 = n, 2 = -3*x + 4*t. Is x >= -2?
True
Let j = -2 - -4. Let k be 2/j + 0/3. Let m(r) = 2*r**2 + r - 1. Let o be m(k). Is 4 bigger than o?
True
Suppose -30 = -3*f - 2*v, 2*f - 4*v - 20 = -2*v. Suppose 5 = 5*x - f*x. Let z be (-3)/((-3)/x)*1. Does 1/7 = z?
False
Let j = 3.8 - 12.9. Let g = -3 + -6. Let i = j - g. Which is smaller: -5 or i?
-5
Let u(p) be the first derivative of -p**3/3 + 6*p**2 + p - 6. Let d be u(12). Which is greater: -6/13 or d?
d
Suppose q + 1 = -3. Are -1 and q equal?
False
Suppose -3 = 3*b + b - g, 3*b - 2*g - 4 = 0. Let o be 3/((18/(-3))/(-2)). Let t be -34*o/10 - -3. Is t greater than b?
True
Let f = -3 + 19. Is 16 less than f?
False
Let l be ((-6)/9)/1*-3. Suppose l*q = 3*q - y, 5*y = -3*q - 24. Which is greater: q or -4?
q
Let r be 3/(-6) - 2436/(-4840). Let h = r + -1228/5445. Which is greater: h or 13?
13
Let z = 6 + 21. Let t be (8/6)/((-18)/z). Is t at least -0.2?
False
Let l = -96.6 + 112. Let f = -15 + l. Let j = 0.2 - 1.2. Is f less than j?
False
Let b = -2/281 + 580/2529. Is b > 4?
False
Let j be (-22)/(-4)*8/(-20). Let z(o) = -o**3 + o**2 - 3. Let g be z(0). Which is bigger: g or j?
j
Suppose 5*y - 2*r + 55 = 0, 5*y = -2*r - 3*r - 20. Suppose 3*n = 3*w + 18, -2*w + 2*n = -7*w - 44. Is y != w?
True
Let q = 0.1 - 0.2. Let o = 4 - 7. Let v = -2 - o. Which is smaller: v or q?
q
Suppose 0 = 2*y + 3*o + 3, -2*y - y - 4*o = 4. Suppose 0*t + t = y. Let h = 1 - 0. Which is bigger: t or h?
h
Let n be -3 + 1 + (-51)/(-27). Do n and -1 have the same value?
False
Suppose 0 = 18*o - 19*o + 1. Is -1/7 at most o?
True
Suppose -5*u + 25 = 0, -2*u + 11 = 2*v + 1. Which is bigger: 1/4 or v?
1/4
Let d be ((-2)/6)/(10/1770). Is d at most as big as -58?
True
Let i = 62 + -81. Is 1 greater than i?
True
Let s = 8 - 7.63. Which is bigger: -1 or s?
s
Let l = 52 - 56. Which is smaller: -26/7 or l?
l
Let t = 0.5 + -1.5. Is t bigger than -2.2?
True
Let t = -10985/198 + 111/2. Which is bigger: t or -1?
t
Let u(w) = w - 6. Let y be u(5). Let v = y + 0. Which is smaller: v or -3/7?
v
Let g(s) = -3*s**2 - 4*s - 2. Let d be g(-2). Suppose -5*a + 10 = c, 3*c - 3*a - 10 - 2 = 0. Let w = d + c. Is -1 at least as big as w?
True
Suppose -4*j = -5*s - 31, -s = -5*j - 0*j + 44. Does j = 4?
False
Let j = -0.39 - 0.01. Let x = -0.3 - j. Let v be 1 + (-9)/(-30)*-2. Which is greater: v or x?
v
Let l(n) = n**3 + 8*n**2 + 2*n + 9. Let g be l(-8). Are -7 and g equal?
True
Suppose -3*l + 3*r - 6 = 0, 5*r - 3 = 4*l + 7. Which is bigger: l or 6/7?
6/7
Let j = -6.83 + -0.17. Let n = j + 6.9. Which is greater: -5 or n?
n
Suppose -5*s - 25 = 0, 3*s + 25 = 3*n - 2. Suppose u - k = n, -2*u + 0 = 3*k - 3. Suppose u*g - 5*z = 12, -z - 6 = -3. Which is smaller: -3 or g?
-3
Let o = 1 + -1. Suppose o = 7*f - 3*f. Let w = f + 0. Which is greater: w or -0.3?
w
Let k be 9/(-2)*(-80)/(-165). Is k at most -1?
True
Let m = 12 - 18. Is 1 less than or equal to m?
False
Let g(a) = -a - 7. Let i be g(-7). Suppose -4*z + 2*l = -3*l + 31, 15 = 5*l. Are i and z nonequal?
True
Let b = 1239/10 - 124. Is b equal to 2/3?
False
Let o(n) = 23*n**3 - 2*n + 2. Let w be o(1). Which is smaller: w or 21?
21
Let d(y) = -2*y - 1. Let h be d(-2). Let m = 1 - h. Is -2 at most as big as m?
True
Let r be (-2)/1 + (-3)/(-2). Suppose 0*t = t. Which is greater: r or t?
t
Let b be 1/5 - 7/10. Let k be (1 - 0) + (2 - 2). Let q be (-4)/4 + k/(-1). Which is bigger: q or b?
b
Let b = -5087/9435 + -86/555. Let g = -9447/17 - -557. Let d = g + b. Which is smaller: 2 or d?
d
Let r be (3 + 0 + -1)/(-1). Let g be (4 + r)/(1*-1). Do g and -2 have the same value?
True
Let y(l) = 8*l**2 + l + 12. Let r be y(-3). Is 82 less than r?
False
Suppose a - 6 = -0*a - 3*o, -o + 2 = -4*a. Which is smaller: a or 17?
a
Let x be (-4)/6*(-6)/4. Let d be 3*x + (5 - 12). Is 1 greater than or equal to d?
True
Let c = 9.8 - 10. Let o = 0 - 5. Which is greater: c or o?
c
Let g be 2/11 + 60/33. Suppose 2*t - g = -16. Let c be 3/(-2) + (-6 - t). Is -2 greater than or equal to c?
Fals