et r be 9/(-30) + 2/j. Which is greater: p or r?
r
Suppose l - 37 = 4*q, 5*l + 0 - 1 = -3*q. Does q = -8?
True
Suppose 3*g + g + 3*p - 24 = 0, -2*p + 18 = 3*g. Is 5 bigger than g?
False
Let g be -2 - ((-21)/15 + -1). Suppose 4*t - 1 = r, -2*t - 3*t = -3*r + 4. Is g at least t?
False
Let l = 0.02 - 3.02. Let a = l + 5.9. Let k = a - 3. Which is greater: -2/15 or k?
k
Let r be (-21)/60 - 2/5. Let v = -19 + 17. Which is smaller: v or r?
v
Let r be -7 - -1 - 2*-1. Let f = -4 - r. Which is greater: 1/3 or f?
1/3
Suppose 6*o - o = i - 64, 5*o + i = -66. Let d be -1*(o - 4/4). Which is smaller: d or 12?
12
Let z = -1/3 + 1/12. Suppose -v + 2*v = -1. Which is bigger: v or z?
z
Let q(y) = -y**2 + 3*y + 1. Let k be q(3). Let x be 1/(2 + k + -2). Is x >= -1?
True
Let j = -157 + 159. Suppose -6*z + z = -10. Is z < j?
False
Let w(y) = -y**2 - 2*y + 9. Let q be w(-4). Which is greater: q or 3/2?
3/2
Let i(g) = -g**3 - 3*g**2 + 1. Let p be i(-4). Let o = p + -12. Suppose 5*y - 2*h - 9 = 0, -2*h - o + 4 = 3*y. Is 3/5 not equal to y?
True
Let p be (-4)/(-3) + (-2)/6. Let u be 2*p*1/(-6). Let z be 1*(3 - (3 + 0)). Are z and u non-equal?
True
Let r = -275 + 815/3. Is r > -1?
False
Let u = -21 + 8. Let y = 13 + u. Do -4 and y have the same value?
False
Let c = -6 + 4. Is c >= 8?
False
Let v = -5 - -6. Let h = v + 1. Let d be (-1 + h - 1) + -4. Is d at least -4?
True
Let m = 1.02 + -0.02. Let n be 2/8 + 166/(-8). Let a = n + 20. Which is smaller: m or a?
a
Let i = -1 - 4. Let u = i + 6. Is 1/3 at least u?
False
Let q(c) = -7 + 13 + 6 + c + 1. Let y be q(-9). Do -1 and y have different values?
True
Let f(t) = -t**3 - 8*t**2 - t - 10. Let m be f(-8). Suppose 0*u = -u - 3. Let z = u - m. Are -1 and z unequal?
False
Suppose -3*y + 5*w + 40 = 0, 0 = -6*y + y + 2*w + 35. Suppose h = y*h - 12. Are 4 and h nonequal?
True
Let c be 62/4 - (-2)/4. Let b be 0 + 2 + c/(-10). Let k = -0.3 + 0.3. Which is smaller: b or k?
k
Let d = 21 + -37. Let g = d - -22. Which is smaller: 1 or g?
1
Let t = -18.14 - -18. Let h = t - -0.1. Let n = -0.26 + h. Which is bigger: 0.1 or n?
0.1
Let j(r) = r**2 + 11*r - 16. Let q be j(-13). Let u be -1*(q/(-4))/(-5). Which is bigger: u or 0?
0
Let b(c) = -c**3 + 13*c**2 - 25*c + 19. Let a be b(10). Is a at most as big as 69?
True
Let c = -28 - -29.5. Is c at most as big as -0.2?
False
Let b be 3168/(-80) - (-4)/(-10). Which is bigger: b or -41?
b
Let u = 5 - 3. Let b = -0.14 + 0.04. Which is smaller: b or u?
b
Let a = 22/5 - 367/80. Suppose -h - 20 = -4*h - 4*f, 0 = -3*f + 15. Which is smaller: a or h?
a
Let h = -0.4 - -0.4. Let x = h + 1. Let r = -0.9 + x. Which is smaller: r or -4?
-4
Let a = -181179/11 + 16278. Let l = 193 + a. Is l at least 1?
False
Let s = 1.14 + -4.14. Is -3 greater than or equal to s?
True
Let w = -77 + 76.9. Which is greater: w or 0.08?
0.08
Let p(i) = i + 4. Let n be p(-3). Is 2/17 < n?
True
Suppose 4*i = 4*t + 32, 5*i + 4*t - 43 = 8*t. Which is bigger: i or -1/2?
i
Let y be 2 + 1*(3 - 0). Suppose 2*v + y*a = 6*v + 12, -4*a = -16. Which is greater: v or -0.3?
v
Suppose 4*b + 2 = 6. Are b and -1/14 non-equal?
True
Let n = -47 + 48.93. Let f = n + 0.07. Let g = 32 + -63/2. Which is smaller: f or g?
g
Let z(u) = -u**2 - 2*u. Let d be z(-4). Let j be 254/d + (-3)/(-12). Let n = j - -33. Which is smaller: n or 1?
1
Suppose 3*o + 2*i = -i, -2*i = 6. Suppose t - 2*n - 55 = 2*t, 120 = -3*t + 3*n. Let c be t/(-140) - o/4. Which is bigger: 1 or c?
1
Let r = -0.73 - -30.73. Let h = -30 + r. Which is smaller: -2/3 or h?
-2/3
Let f = 12.68 + -13. Which is greater: 0.1 or f?
0.1
Let v be 1 + 8 + 0/(-1). Let b(w) = -w**2 + 11*w - 13. Let g be b(v). Is 5 greater than or equal to g?
True
Suppose 5*u + 4*c + 3 + 3 = 0, -2*u + 2*c = -12. Suppose -3*x - f + 3 - 1 = 0, -24 = -4*x + 4*f. Is u >= x?
True
Let u(q) = 19*q**2 + 1. Let k be u(1). Let p be (-24)/k*(-1)/3. Does p = 0?
False
Let t = 1477/6 - 247. Is t smaller than -1?
False
Let n = 98.3 + -98. Let z = 5 - 3. Which is smaller: n or z?
n
Suppose -3*x + 13 = -2. Suppose -x*m - j - 2*j + 5 = 0, 0 = -2*j. Is m bigger than 0?
True
Let u be 1*-2 + (-3)/18. Let c = 5/2 + u. Is 4 equal to c?
False
Suppose 3*z - 16 = -0*z - 5*u, -3*z + 4*u = 2. Let w(f) = -f**2 + 6*f - 4. Let l be w(5). Let q be 9/(-21) + l + 0. Is z >= q?
True
Let n = -1.4 + 12.4. Let s = -8 + n. Is s bigger than -2/5?
True
Let g be 2/(-4)*(-28)/119. Is 1/2 <= g?
False
Let g be (4/(-10))/(9/15). Which is smaller: -1 or g?
-1
Suppose 2*q - q + 34 = -2*z, q + 4 = 0. Let a be (-13)/(-15) + 3/z. Which is smaller: a or -2/19?
-2/19
Let l = -3 - -3. Is l != 1/30?
True
Let f(n) = -n**3 + 7*n**2 + 7*n + 7. Let t be f(8). Which is bigger: -4/19 or t?
-4/19
Suppose 4*g - 2*s - 48 = 0, -g + 5 = 5*s + 4. Let f = 6 - g. Is -7 <= f?
True
Let t be (-2)/6 - 62/(-78). Let y = -126 - -126. Which is smaller: t or y?
y
Let d be 39/18*-2 - -2. Which is greater: -3 or d?
d
Suppose -5*r + 2*u - 7 = -6*r, 2*r + u - 5 = 0. Let c = 127/371 + -3/53. Which is bigger: r or c?
r
Let w(h) = -h + 8. Suppose 3*d + 3 = 3*f - 6, 5*d = 2*f + 3. Let y be w(f). Suppose -2*s + y + 4 = 0. Is s at least 3?
True
Let z be -2*(-1)/(-2)*-22. Suppose -4*y + 4*s - 25 = y, z = -2*y + 4*s. Let m = 310/11 + -28. Which is smaller: m or y?
y
Suppose 25 = -3*g + 28. Let d be 25/23 - (4 + -3). Which is smaller: g or d?
d
Let n be 16*1 - 12/((-48)/(-8)). Let d be 0 + 11 + 4/2. Is n smaller than d?
False
Let k = -10 - 4. Let x = -15 - k. Which is smaller: -1/19 or x?
x
Let y = -1 + 6. Let j = y + -5.1. Is 6 < j?
False
Let j(k) = k + 7. Let t be j(-4). Suppose -h - t*g = 14, 0 = -5*h - 3*g - g - 70. Are -13 and h nonequal?
True
Let c be 16769/16338 - (-3)/(-18). Let a = c + -1/389. Which is bigger: a or 2?
2
Let j be (-2)/(-3) + 5/(60/(-68)). Which is smaller: -1 or j?
j
Suppose -4*a + 39 = 95. Let j = -78 + 38. Let k be (-3)/12 - a/j. Which is greater: k or 1?
1
Let y = -76 - -75. Let q be 26/(-42) - 2/(-7). Is q < y?
False
Let p(z) = z**2 - 4. Let h be p(3). Suppose -h*b + 6*b = 0. Let v = 43 + -431/10. Do b and v have the same value?
False
Let b = 15/68 + 1/34. Let g = 385.97 + -388. Let w = g - -0.03. Is w at least b?
False
Let w = 0.1 - 0.1. Let u = -3.9 + -1.1. Let b = u + 5.1. Which is bigger: w or b?
b
Let i(z) = z**2 + 4*z + 6. Let g be i(-3). Let h(y) = -y + 10. Let b be h(8). Suppose 6 = b*t - 0. Does g = t?
True
Let n = 3.5 - 4. Let c = n - -0.5. Are c and -3/7 unequal?
True
Let q = 2/11 - -8/77. Suppose o - 2*m - 2*m + 16 = 0, 9 = 3*m. Let r be (-2 - o) + 0 + 0. Is q equal to r?
False
Let u(f) = -f - 5. Let o be u(-5). Let h be -3 - o/2 - -3. Is 1 not equal to h?
True
Let c = -5 - -4.9. Let l = 22 - 22.9. Let o = c + l. Do 5 and o have the same value?
False
Let t = 0.3 + -0.5. Let i = 11 - 6. Suppose i*g - 3 = 2*g. Which is smaller: t or g?
t
Let x be (2/5)/(3/(-15)). Let j be x/(-7) + 18/(-56). Let b = 9/28 + j. Is b > 0?
True
Let k be ((-1)/11)/((-4)/(-4)). Is k at most as big as 1?
True
Let k(z) = -2*z + 6. Suppose 3*v - b - 5 = 0, -v + 3 = -3*b + 4*b. Suppose 2*x + v*x = -3*p + 24, -2*x = -3*p + 6. Let s be k(p). Are -2 and s non-equal?
False
Let y be (-14 + 0)*3/(-6). Let k = y + -6. Are -1/3 and k nonequal?
True
Let a = 4 + 3. Suppose 2*k = 4*p - 36, a*p - 5*k = 3*p + 36. Suppose -5*j + 15 = -5*o - 10, 3*o + p = -3*j. Is -2/9 greater than j?
False
Let j = 534 - 8541/16. Is j >= 1?
False
Let b(v) = -v - 3. Let r be b(-5). Suppose 46 = -c - 2*c + 4*i, 2*i + 40 = -r*c. Let x be 2/c*9/(-6). Which is bigger: 1 or x?
1
Let x(r) = -6*r. Let k be x(-1). Let f be 27/k*(-4)/6. Is -3 > f?
False
Let z be ((-6)/(-4))/((-18)/48). Which is smaller: z or -3?
z
Let t(x) = -x**2 + 5*x + 4. Let c be t(5). Let b be c/(3*(-6)/(-9)). Let z be (4/3 - b)/2. Which is smaller: 1 or z?
z
Suppose 2*a + 3*a = 2*k + 25, -4*a + k = -23. Let s(x) = -x + 10. Let h be s(a). Let c = 1 - h. Do -0.1 and c have the same value?
False
Let i = -130/3 - -43. Is -5 < i?
True
Let w = 647/3 - 220. Is -3 smaller than w?
False
Let x = 7 - 8. Is x not equal to -2/59?
True
Let k = -1/171 + -337/855. Let c(b) = -7 - 8*b**2 - 7*b - 3*b + b**3 + 2*b. Let f be c(9). Do k and f have the same value?
False
Suppose s - 13 = -2*w, -3*w - s - 3 + 20 = 0. Suppose 4 - 12 = w*q. Suppose -l - 5*i + 3 = 0, 2*l - 3*i + i = -6