 Which is smaller: g or p?
p
Suppose 3*w - 4*c - 636 = 0, 4*w - 4*c - 212 = 3*w. Let j = w - 2758/13. Is -1 at most j?
True
Let k be (2 - 1) + 1560/(-1512). Are k and -1/2 non-equal?
True
Let n be 4/2 + 4 + -3. Let q be 7*((3 - 5) + n). Is 5 >= q?
False
Suppose 3*a + 0*a = -12. Suppose -f - 12 = -3*v + 5*v, 2*f + 2*v = -16. Is f at least a?
True
Let b be 9 + 0 + 10/5. Let v = 0 + 6. Let c = b - v. Which is greater: 3 or c?
c
Let d = 0.5 - 0.3. Which is smaller: d or 0.1?
0.1
Let b be 2/(-1*(-1 - -32)). Let z = -85 + 84. Are z and b non-equal?
True
Suppose -t = -3 + 1. Let o = -6 + 6. Suppose -4*h = -2*s + 1 + 1, 4*h - 5*s + 5 = o. Which is greater: h or t?
t
Let s = 3 - 4. Let j = 1/137 - 144/959. Is s less than or equal to j?
True
Let j = -21 + 13. Let y = j + 3. Which is greater: y or -4?
-4
Let k(b) = b - 4. Let g be k(6). Suppose 3*u + 2*o - 1 = 0, 4*o = -2*u + 3*o + g. Let i be (u - (0 - -1))/2. Is i bigger than 1?
False
Suppose g - 34 = -2*b + 3*g, 2*g - 38 = -2*b. Let p be (-2)/5 + b/45. Are p and -1/5 non-equal?
True
Let c(f) = -f**3 + 7*f**2 + 7*f + 6. Let q be c(8). Is -17 smaller than q?
True
Let m be 10/(-12) + (-1)/(-3). Suppose -3*g = 3, 2*i - 3*g + 0 = 1. Which is smaller: i or m?
i
Suppose 3*d - 9 = 2*d. Which is bigger: d or 3?
d
Let g be (-84)/(-24) + -4*1. Which is bigger: g or -0.02?
-0.02
Suppose 3 = 3*r - 2*r. Let c be (-172)/(-14) + 6/(-21). Let q be -3 + 3 - c/r. Which is greater: -3 or q?
-3
Suppose 4*t - 168 = -8. Let u be (1/18)/((-10)/t). Do u and 8 have the same value?
False
Suppose 0 - 3 = 3*f. Which is smaller: f or -1/25?
f
Let p = -18 - -20. Let w be (1/p)/(3/2). Which is greater: w or -0.1?
w
Let d be -2 - 3/(18/(-22)). Does d = 1?
False
Let p(n) be the second derivative of n**7/840 - n**6/360 + n**5/120 - n**3/3 - n. Let t(m) be the second derivative of p(m). Let i be t(1). Is i > 1?
False
Suppose 3*c - 5*c = 0. Let b = -1.2 + 6.2. Let t = -6 + b. Is t equal to c?
False
Let k(a) = -a**3 - 4*a**2 + 6*a + 1. Let p be k(-5). Let l be (9/66)/((-3)/p). Which is bigger: l or 0?
l
Let b = 19 + -18. Which is smaller: b or 1/11?
1/11
Let p be 4/(-14) + 103/(-7). Let x be (6/p)/(1/5). Let l be 0/(-4) + x/6. Is 1 at least as big as l?
True
Let v be (-3)/4 - (-46)/24. Is v bigger than 1?
True
Let n = -569/235 + 1/47. Is -1 greater than n?
True
Let k = 0.119 + -7.819. Let b = k + 8. Is b at most as big as -1?
False
Suppose -5 + 3 = 2*i - 4*h, -2*h = 5*i + 5. Let j = 1179/5 + -237. Which is bigger: j or i?
i
Suppose 0 = 6*f - 3*f - 9. Suppose -f*j + j = 2. Let i = -8 + 7. Is j >= i?
True
Let n be ((-4)/6)/(8/(-12)*-1). Is -1/124 at most n?
False
Let b = -1 + 2. Let m = 0.42 - 0.42. Which is smaller: b or m?
m
Suppose -12 = -7*l + 4*l. Which is greater: -1 or l?
l
Let l(g) = g - 20. Let t be l(10). Let f be (-2)/(-5) - 16/t. Are f and 3 non-equal?
True
Suppose 2*y - 2*o = 34, 0 = 2*y + 2*o - 5*o - 36. Suppose -5*w + 3*n = -2*n - y, -w + 4*n - 3 = 0. Which is smaller: 3 or w?
3
Suppose -3*r = 4 - 13. Let z be (-1)/(-3 - -3*r). Do z and 0 have the same value?
False
Let p be (-4 - -2)*54/12. Which is smaller: p or 0.1?
p
Let f = -11 + 7. Let j = -1 - -3. Suppose -4 = 2*h + j. Is f at least as big as h?
False
Let k = -5 - -7. Suppose k*p = 4*p + 6. Which is smaller: p or 0?
p
Suppose 74 = -3*a + 4*g, a + 11 + 11 = 2*g. Which is bigger: a or -32?
a
Let d = 6 + -4. Let l be (-18)/(-4) - 1/d. Let j be 3/4 + 1/l. Which is smaller: -3/7 or j?
-3/7
Let m = 3.508 - 0.438. Let f = m - 0.07. Is 3 at least as big as f?
True
Let m be ((-3)/(-63))/((-2)/(-4)). Is m at most as big as -1?
False
Let d(b) = 2*b**2. Let u be d(1). Suppose u*t + t + 2 = -4*o, -o = 2*t + 3. Do t and -2 have the same value?
True
Let n = -3773/24 + 156. Let o = 7/8 + n. Is o < 1/2?
True
Let k = -263/5 + 61. Let y = -8 + k. Suppose 5*t + 4 + 1 = 0. Is y >= t?
True
Let a = 1/75 + -17/150. Is a bigger than 0?
False
Let k = -0.26 - -22.26. Let o = k - 21.97. Which is smaller: 1 or o?
o
Suppose 11*j + 2 - 24 = 0. Is j at least as big as 4?
False
Let g be 12/10*(-2)/(-4). Let w = 106 - 106. Which is smaller: w or g?
w
Let c be (-1)/4 + 5/4. Is c > 2/31?
True
Let n(x) = x**3 - 7*x**2 + x - 6. Let v be n(7). Which is smaller: v or 2.9?
v
Let o(a) = -2*a - 6. Let x be o(-3). Suppose 3*j + 22 = 3*i + 7, 0 = -3*i + 9. Which is smaller: x or j?
j
Let x = 0.1 + 4.9. Which is bigger: -2 or x?
x
Let s = 1/975 + -1757/1950. Is 2 > s?
True
Let y be 0 + 2 - (-1857)/(-1071). Let q = y + 1/51. Is 1 less than q?
False
Let c = -4 + 6. Suppose c*m + 0 - 8 = 0. Suppose 0*z = -3*z - 3*h + 24, 0 = -m*z + 5*h + 14. Which is bigger: z or -1?
z
Let i be (-2)/18*-3 + (-53)/141. Which is smaller: 0 or i?
i
Suppose 0*b - 3*b - 5*h + 4 = 0, -b + 4*h = 10. Let q be b/6 - (-4)/3. Let p(z) = -z**2 - 5*z + 8. Let j be p(-6). Is j equal to q?
False
Suppose -17 - 21 = 2*m. Let z = -39/2 - m. Which is bigger: z or -1?
z
Suppose 5*l = -4*j - 4, 5*j + 4*l - 10 = 4*j. Which is greater: j or -9?
j
Let i(s) = 12*s**2 + 2*s + 1. Let o be i(-1). Let u = 8 - o. Which is greater: -11/3 or u?
u
Let m = -1.99 + -0.01. Let w = -0.16 + -1.74. Let a = w - m. Is a at least as big as -0.2?
True
Suppose -g = 3*t + 2*g + 21, 0 = 4*t + g + 13. Let s be (t/(-20))/(4/1). Let l = -17/40 + s. Is 1 smaller than l?
False
Let u = -7.0847 + 0.0247. Let l = 7 + u. Is l <= 1/3?
True
Suppose 0 = 6*j - 8*j. Are 10/11 and j unequal?
True
Suppose -26*v + 27*v = 1. Which is bigger: -3/14 or v?
v
Let o(a) = -3*a + 15. Let c be o(6). Let l be 3 + (c - -3) + -4. Is 0 >= l?
True
Let z = -14 - 9. Which is greater: -22 or z?
-22
Let h be (1 - 3) + -7 + 13. Let n = 3 - h. Suppose 0 - 2 = f. Are n and f non-equal?
True
Let p(m) be the third derivative of m**6/360 + m**5/120 + m**3/6 - m**2. Let o(l) be the first derivative of p(l). Let y be o(0). Which is greater: 4/3 or y?
4/3
Let f be (-4 - 39/(-4)) + -4. Let c be 1 - (4/2 - 4). Which is bigger: c or f?
c
Let u(a) = 2*a**2 + 11*a - 11. Let c be u(-6). Suppose -o = -2*o. Suppose o = -2*f - 7 + 1. Is f equal to c?
False
Let u = 5.5 - -0.5. Which is smaller: u or -2?
-2
Suppose 0 = -5*d - 21 + 51. Suppose -l - l + 5*t + 22 = 0, 0 = -5*l + 2*t + 34. Is l bigger than d?
False
Let n = 1.9 - 2.9. Which is smaller: -39 or n?
-39
Let p(s) = -5*s**2 - 2*s - 6. Let o(k) = -9*k**2 - 4*k - 11. Let g(y) = -6*o(y) + 11*p(y). Let q be g(1). Let v = 2/137 + 268/411. Which is smaller: q or v?
v
Suppose -2*p - 2*w - 3*w - 38 = 0, 2*w = -3*p - 68. Let q be (-9)/(-36) - 34/p. Let j be (1 + 2)*(-2)/(-3). Which is smaller: j or q?
q
Let a be (-1 + (-6)/(-4))*6. Suppose 4*b = -5*g - 16, a*g + b + 2 = -2. Let c be 1/12*4*0. Is c at most g?
True
Let o(v) = -11*v**2 - v - 1. Let s be o(-1). Let n(f) = 3*f**2 + 15*f - 3. Let q(g) = -g**2 - 5*g + 1. Let r(x) = s*q(x) - 4*n(x). Let w be r(-6). Does -7 = w?
False
Let s be 1 - (0 + 14/18). Let b = 2/65 - -57/260. Are s and b equal?
False
Suppose -4*c = -c + 4*b, 4*c - 5*b = 31. Suppose -2*t - z = -5, 6 = c*t - 5*z - 11. Suppose -g + 7 = 2*k - 1, -3*g + 9 = k. Is k not equal to t?
False
Let x = 0.22 - 0.11. Let f = x + -0.14. Are 2/7 and f non-equal?
True
Suppose 5*y - 60 = 3*y. Let w be (-4)/(-10) - (-528)/y. Is 18 less than or equal to w?
True
Let s be (262/(-3))/(25/15). Let a = 52 + s. Is 1 greater than a?
True
Let c = -51 - -366/7. Which is bigger: 2 or c?
2
Let z be (126/(-40) + 3)*4. Is z less than or equal to -2?
False
Let c = -210 - -204. Which is smaller: c or -8?
-8
Let z = -14 + 15. Which is bigger: z or -2/59?
z
Suppose 3*f + 2*u + u = 42, 2 = -2*f + 4*u. Which is smaller: f or 10?
f
Let o be (-3 - -2*4)*1. Let b be (-4)/20 - (-1)/o. Suppose 4 - 7 = 3*g. Do g and b have different values?
True
Let k = -264 + 2906/11. Suppose w = -w. Which is bigger: w or k?
k
Let x = 679/2886 + -1/222. Which is greater: x or 1?
1
Let l be 3/(1 + (-10)/16). Let y be (1/(-4))/(l/16). Are y and -2 equal?
False
Suppose 5*p + 35 = 2*a + 3*a, 16 = -2*a - 4*p. Let y(f) = -4*f**3 - 3 - 6*f - 2*f**2 + 3*f**3 - 5*f**a. Let u be y(-6). Is u at least as big as -2?
False
Suppose -5*z - 1 = 3*l, -4*l - 6 = 3*z - 1. Let n(a) = -a. Let i be n(0). Suppose 3*r = 4*g - i*r + 5, 0 = 3*g - 4*r + 2. Does l = g?
True
Let o = -1.5 - 0.5. Let t(z) = -z - 3. Let b(f) = f**3 - 5*f**2 - 3. Let r be b(5)