1/4 or j?
1/4
Suppose 4*c - 5*p + 22 = c, -3*c = -2*p + 7. Let y be ((-24)/(-112))/(6/4). Is y greater than or equal to c?
False
Suppose -29 = -4*w + 47. Which is smaller: w or 20?
w
Suppose 2*p - p - 4 = 0. Suppose -3*d + 4 = p*r + 10, 3*r + 19 = 5*d. Let q be 48/18*d/(-8). Is 0.1 less than or equal to q?
False
Let f = 2/609 + -9151/4872. Is -2 at most f?
True
Let q = -99 - -130. Which is bigger: 33 or q?
33
Suppose -y + 2 = -4. Let b = -7 + 12. Which is smaller: b or y?
b
Let d be (-1)/((2 + -4)/4). Let o(b) = -3*b + 3*b - b**d + 2. Let u be o(2). Is u at least -2?
True
Let d = 0 - 8. Let z = d - -10. Let r be (1 - z)*(-3 + -4). Which is bigger: r or 6?
r
Suppose z - 2*y - 4 = 2, 4*z + 4*y - 12 = 0. Let t be ((-6)/(-3))/(z/(-2)). Which is smaller: 2/5 or t?
t
Let t = 35/114 - -1/38. Which is smaller: t or -9?
-9
Let s be 7/(147/(-9))*-7. Which is smaller: 42/11 or s?
s
Let a(m) = -m**2 + 9*m. Let k be (-65)/(-7) + (-8)/28. Let l be a(k). Is 3/13 >= l?
True
Let l(h) = h**3 + h**2 - h + 1. Let i be l(-2). Let y = 8.2 - -0.8. Let s = 9.05 - y. Is i bigger than s?
False
Suppose -4*r + 4*w = -48, w - 3*w = 2*r - 12. Let b(u) = u**2 - 7*u - 19. Let m be b(r). Is m >= -3/17?
False
Suppose 5*i + 2*z = z + 14, 3*i = z + 2. Suppose 12 = 5*k + i. Let j = 24 - 24.2. Is j at most as big as k?
True
Let o = 1.9 + -2. Let z = 0 - o. Let u be 3*1*3/(-27). Do u and z have the same value?
False
Let v = -3 + 9. Suppose 0 = -2*l + v*l - 5*t + 24, 0 = 5*t - 20. Let u(h) = -h**3 - h**2 - 2*h - 1. Let a be u(l). Which is greater: 2 or a?
2
Let s = -104 + 60. Let w = -45.9 - s. Let z = w - -2. Is 2/7 greater than z?
True
Let i be 0 - (10 - -4 - -2). Which is greater: -15 or i?
-15
Suppose 0 = 5*y - y + 8, s - y = -3. Which is greater: -6 or s?
s
Let t be (-144)/728 - (-3)/7. Which is smaller: t or -1?
-1
Let a = -141934 + 1558262/11. Let p = 274 + a. Is -2/11 less than p?
True
Let q be ((-2)/2)/((-2)/(-14)). Let w be (3/q)/(28/(-49)). Is -1 <= w?
True
Suppose 5*j - 20 = 0, 4*j - 27 = -5*d + 9. Let l(x) = -3*x**2 - 2*x + 1. Let w be l(1). Let f = d + w. Which is smaller: -1/2 or f?
-1/2
Let z be 2/3 - 19/(-3). Let x be (-2)/z - (-78)/(-21). Let h(i) = -i**3 - 5*i**2 - 6*i - 5. Let f be h(x). Is 3 less than f?
False
Let j = 265/174 - 2/87. Is j less than or equal to 2?
True
Let w = 5 + -6. Suppose -d - 2*d + 9 = c, -2*d + 6 = 5*c. Is w at least as big as c?
False
Suppose -c = -2*g + 2*c - 12, -4*g + 4*c - 24 = 0. Are -2 and g nonequal?
True
Let y be -1 + (-2)/((-4)/22). Suppose f + 75 = 6*f. Suppose -5*h + y = -f. Is h greater than or equal to 5?
True
Let s(f) = f**2 - 8*f - 9. Let h(r) = 2*r**2 - 8*r - 10. Let u(x) = 2*h(x) - 3*s(x). Suppose -19 = 2*j - 5. Let m be u(j). Which is smaller: m or -1/2?
-1/2
Suppose -2 = -u, -x - 4 = u - 7. Is x less than 3/25?
False
Suppose 15*m - 143 - 67 = 0. Is 0.2 at most m?
True
Let y = -5.06 + 5. Which is bigger: y or 0.1?
0.1
Let h = -14.73 - 0.27. Let d = -13 - h. Which is bigger: -0.1 or d?
d
Let q be 14/(-35) - (-8)/(-5). Let a be q - 16/(-12) - -2. Is 0 at most a?
True
Suppose j = 2*j - 990. Let r be (-4)/j + (-6)/15. Let m = -2/11 - r. Which is smaller: m or 1?
m
Let g(h) = -h**3 - 8*h**2 + 8*h - 11. Let o be g(-9). Is o at most as big as -2/3?
True
Let z = 62 + -62. Which is smaller: -1/26 or z?
-1/26
Suppose -o - 4*d = -2 - 1, -o = -2*d + 3. Suppose -3*x = -4*x - 3. Which is smaller: x or o?
x
Suppose -93 = -6*j - 171. Let u be -14 - 0/(2 + -1). Is j > u?
True
Let z(o) = o**3 + 7*o**2 + 2*o + 2. Let l be z(-7). Which is smaller: l or -13?
-13
Let l = -9 - -11. Is l bigger than 4?
False
Suppose w - d - 4 = 0, w = 2*w - 5*d + 16. Let z be 6/w*(-15)/(-20). Let k be 1 - 0 - 0/2. Which is greater: z or k?
k
Let y = 2163/4 - 547. Is y greater than -5?
False
Let d be 0 - (-1)/(21/(-582)). Let i = d + 28. Which is bigger: -2/3 or i?
i
Let n be -5 - -2 - (-68)/28. Which is smaller: 0 or n?
n
Suppose -z + 2*z = 2. Suppose 0 = 3*f - z*s + 1, -f = -2*s - 4 - 1. Which is smaller: f or -2?
f
Suppose -2*b - 2*b = -3*b. Let n = 8244/19 - 434. Which is smaller: b or n?
n
Let i = -2 - -1.9. Let d = 0.6 + -0.7. Let f = d - -1.1. Is f <= i?
False
Let y = -155329/18 - -8623. Let t = -50/9 - y. Let j be (7/(14/4))/1. Are t and j nonequal?
True
Let v = 4.97 + 0.03. Let x = v + -2. Let t = -71 + 72. Which is greater: x or t?
x
Suppose -n + 0*n - 3 = 0. Suppose 0 = -3*r - 2*g + 4, -4*r = 4*g - 16 + 4. Which is bigger: r or n?
r
Let t be (1/1 - 1)/(-1). Suppose 3*x + 0*x - 6 = t. Suppose -x*s - 2 = -0*s. Is -1 bigger than s?
False
Let j(q) = -q**3 - 4*q**2 + q - 5. Let u be j(-5). Suppose -u = -5*n + 10. Suppose n*c = 5*z + 15, -8 = z + 3*z - 3*c. Which is greater: z or 3/2?
3/2
Let a(s) = -9*s**2 + s. Let h be a(1). Let f be (2 + -1)/(12/h). Which is bigger: -0.4 or f?
-0.4
Let m be (4 - 3) + (-8222)/(-198). Let n = 480/11 - m. Do 2 and n have the same value?
False
Suppose 1 = -k + 2*k. Which is smaller: -1/5 or k?
-1/5
Let i(l) = -3*l**2 - 12*l + 4. Let z be i(-4). Is z >= 25/6?
False
Let z be 9/2*4/6. Let r = 4 + -5. Let h be r/1 - 5/(-2). Is z >= h?
True
Let c = 85 - 84. Is c at least -34?
True
Suppose 7*x = 20 + 22. Which is smaller: 9/2 or x?
9/2
Let z(d) = 0 + d + 1 + 2*d. Let c = -4 + 3. Let y be z(c). Is y > -3/5?
False
Let z be (6/12)/((-2)/1368). Let q be ((-3)/z)/((-3)/12). Is q at most as big as -1?
False
Suppose -4*g = 2*s - 38, 27 - 6 = 3*g + 4*s. Suppose 3*q - 2*h + 9 = -g, 5*h + 5 = 2*q. Let i be 1/(-5)*q/(-4). Is i < 0?
True
Let g be (4 - (-42)/(-9))*(-15)/10. Which is smaller: -1/26 or g?
-1/26
Let j = 0.16 - 4.16. Which is bigger: j or 3?
3
Suppose 4*l = l - v + 4, 0 = -2*v + 8. Which is greater: -0.6 or l?
l
Let c(k) = -k**2 + 5*k - 7. Let n be c(4). Let x be ((-3)/(-14))/(-3)*(45 - 9). Is n less than or equal to x?
True
Let v(x) = -x + 5. Let a = 8 - 4. Let u be v(a). Do u and 1/5 have the same value?
False
Let q(z) = z - 1. Let t(l) = -3*l + 4. Let s(r) = -8*q(r) - 3*t(r). Let v be s(5). Which is smaller: v or 2/5?
2/5
Let v = 7 + -11. Let f = v - -2. Suppose 4*g - 1 = -5. Is g >= f?
True
Suppose 0*m - 32 = 4*m. Do -9 and m have different values?
True
Suppose f - 41 = -0. Let l = f + 27. Let o = -200/3 + l. Which is smaller: o or 0?
0
Let s = 0.6 - 0.8. Which is smaller: 1/5 or s?
s
Let d(g) = -g**3 - 3*g**2 + 4*g. Let p be d(-4). Suppose 0 = 5*b - 5*v - 10, 4*b + 7*v - 2*v - 53 = p. Let x = b - 9. Which is greater: x or -3/5?
-3/5
Let c be (-8)/(-20) - 28/(-5). Suppose -22 = -2*z - c. Which is greater: 7 or z?
z
Let o be (-2274)/(-11)*(-15)/(-534). Let q = 64/11 - o. Let p = 183/445 - q. Which is greater: p or 1?
1
Let c = -2/19839 - -2202157/277746. Let k = c - 15/2. Which is smaller: k or -1?
-1
Let f = -0.05 - 0.95. Let m = 2 + f. Which is smaller: m or 0.1?
0.1
Let t(c) = 5*c + 16. Let k be t(4). Does 35 = k?
False
Let u = -1.51 + 0.01. Let x = 0.5 + u. Let f = x + 1. Is f at least as big as 1?
False
Let c(u) = u**2 + 7*u - 1. Let d be c(-7). Is d less than or equal to -1?
True
Let h(b) = b - 7. Let z be h(4). Let r(x) = x + 2. Let j be r(z). Let l = 1 + j. Is l at most 1?
True
Suppose -2*d = -9 - 11. Let b = -5 - -8. Let i be (2/d)/1*b. Which is smaller: -2/3 or i?
-2/3
Let r(t) = -t**3 + 6*t**2 - 3*t - 6. Let d be r(5). Which is greater: 6 or d?
6
Let d(p) = -p**2 - 3*p - 3. Let l be d(-1). Let a(v) = v - 4. Let q be a(4). Suppose -3*o - 6 = -q*o. Which is greater: l or o?
l
Let f(i) = -2*i + 6. Let j be f(3). Let c = 6.04 + -6. Let m = c + -0.06. Which is greater: m or j?
j
Let z = 20 - 18. Let r be 1 + 1 + (-6)/4. Which is greater: r or z?
z
Suppose 15 = 5*h - 2*l, 5*l - 11 + 2 = -3*h. Suppose 5*q = -4*t + 9, 0*t - h*q = -4*t + 33. Is 4 at most as big as t?
True
Let p = -103 + 512/5. Suppose z + 3 = 2. Which is bigger: z or p?
p
Let m be -14*5/((-30)/9). Which is smaller: m or -0.1?
-0.1
Let m be 115/(-92)*(1 + 0 + 15). Is -20 less than m?
False
Let c(k) = 3*k - 16. Let b be c(5). Which is bigger: -2/103 or b?
-2/103
Suppose -2*w - 3 + 1 = 0. Is w not equal to -0.39?
True
Let c = -21/38 - -1/19. Are 1 and c equal?
False
Let m(t) = t**3 - t**2 - 4*t - 2. Let c be m(-1). Let d = -16/99 - 2/33. Is c bigger than d?
True
Let a be (0 + (-2)/(-1))*2. Suppose a + 2 = -3*s. Are s and -1 nonequal?
True
Let u be ((-1)/(-7)