 Let v be h(1). Which is bigger: v or k?
v
Suppose 2*y - 51 = 5. Suppose 3*o = 7*o - y. Suppose -26*f = -34*f + 40. Which is greater: f or o?
o
Suppose -f + 10 = 3*m, -4*m - f - 3 = -17. Is m at most as big as 89/17?
True
Let d be 16/(-4) + 5 - -26. Suppose -7 + d = 5*i - 5*p, 4*i + 16 = -4*p. Is i <= 1?
True
Let y = -3978 + 3973. Suppose -3*t = -6*t + 12. Suppose -11 = -4*m + 3*r, -r = -t*m - 1 + 2. Which is smaller: m or y?
y
Suppose -4*t + t = -102. Let m = t - 48. Let n(d) = d**2 - 10*d + 2. Let q be n(8). Is q < m?
False
Let p be 1*(-595)/42 - -14. Suppose 5*r = -4 - 11. Let j(t) = -t**3 - 2*t**2 + 2*t - 3. Let v be j(r). Which is greater: p or v?
v
Let r be 2 + (-1 - (-4)/(-2)). Let z be -10*r/1*(-6)/(-2). Does 31 = z?
False
Let i = 212719/97 + -2193. Suppose 2*k + 1 - 3 = 0. Is i bigger than k?
False
Let s(m) = 3*m - 56. Let z(u) = -2*u + 37. Let i(f) = 5*s(f) + 8*z(f). Let g be i(17). Let a = 3070/833 - 63/17. Are a and g equal?
False
Let r(n) = 44*n - 706. Let s be r(16). Is s greater than or equal to -58/27?
True
Let q(z) = -z**2 + 7*z - 10. Let m be q(4). Suppose -2 = -5*u - m. Is 3 not equal to u?
True
Let f = 1228 - 8590/7. Let u be ((-2)/(-4))/(3/6). Do f and u have different values?
True
Suppose 2*d = 6*d + 5*p + 2, 5*d - 5*p = 20. Is 60/23 at most d?
False
Let f be 1/(-8) - (26034/3312 + -8). Is 0 >= f?
False
Suppose 0*h - h = 3. Suppose -6*c + 7*c - 2 = 0. Suppose c*o - 5*k - 5 = 6, 0 = -5*o + 4*k + 2. Which is smaller: o or h?
h
Let p(l) = -l**2 - 5*l. Let n be p(-5). Let j = 51 - 51. Suppose j = 3*u - 4 - 2. Is u > n?
True
Suppose -2*n = 4, 2*i - 14 = -0*n + 5*n. Let s = i + -2. Is -4/43 at least as big as s?
False
Suppose -g + 2*u + 32 = 0, 0 = 2*u + u + 6. Suppose -3*f = -f - g. Let z be 4/21*21/f. Which is greater: -3 or z?
z
Let y = -9305/93393 - -1/1153. Do 0 and y have different values?
True
Let m = -202183/7 - -28960. Are m and -0.1 non-equal?
True
Let g = -12 + 11.911. Let i = g - 0.451. Which is bigger: i or 1?
1
Let f(d) = 5*d + 65. Let l be f(-14). Are l and -5 unequal?
False
Suppose -69 = 7*q - 13. Let k be q*(4 - (-36)/(-8)). Suppose f = -g + k*f - 6, -5*f = -10. Is -1 <= g?
True
Let w = -25 - -45/2. Let p(u) = -u**2 + 14*u - 16. Let z be 6 - -9 - (0 - -2). Let b be p(z). Do b and w have the same value?
False
Let d(x) be the third derivative of x**5/60 + 5*x**4/24 - 5*x**3/6 - 4*x**2. Let k be d(-6). Are 1 and k equal?
True
Let y = 0.9 - 1. Let o be -16*(-24)/256*8/(-138). Which is greater: o or y?
o
Let s(k) = 5*k + 62. Let f be s(-12). Suppose 2*n + f*n = 4. Which is bigger: -8/37 or n?
n
Suppose 16*a + 37 = -107. Is a at least -9?
True
Let r = 4 + -24. Let m = -7 - r. Let n be ((-4)/m*-1)/(-2). Does -2 = n?
False
Let a = -25.1 - -29. Let u = a - 0.1. Let z = -3 + u. Which is bigger: 0 or z?
z
Let s = 2/1451 - 42091/8706. Let b = -9/2 - s. Let u = 0.815 - -17.185. Which is bigger: u or b?
u
Let y be (-87)/(-174) - (-2006)/(-4). Do -502 and y have the same value?
False
Suppose -5*z + 0*z = 5. Let n(d) = -d + 29. Let x be n(12). Suppose -3 - x = -y. Which is smaller: y or z?
z
Let q = 7365.388 + -7350. Let r = q - 0.188. Let h = -14 + r. Which is greater: -1 or h?
h
Let z = 7/31 + -781/713. Are z and 1 equal?
False
Let t = 84 - 78. Let f be (t - 3) + (-65)/3. Which is smaller: f or -19?
-19
Let o(m) = 3*m - 4. Let q be o(4). Let y = -8 + q. Let s be (-8)/(-6)*1/2. Do s and y have the same value?
False
Let j be (-276)/207 - -1*2. Which is bigger: 3/4 or j?
3/4
Let t = 179/18 + -87155/8766. Are t and 1 equal?
False
Suppose 0 = 17*i + 1737 + 456. Which is greater: i or -130?
i
Let j = 159 - 152. Let p = 0.02 + -1.22. Let d = p - -0.2. Which is bigger: j or d?
j
Let r(k) = 4*k - 9. Let j be r(3). Suppose -96 = 5*n + j*n. Is n less than -12?
False
Let v = -9099/29260 - -17/55. Is 1 less than v?
False
Suppose -13*c = -14*c - 2*q + 9, -2*q + 53 = 5*c. Which is smaller: c or 78/7?
c
Let k = -2/825 + -1921/1650. Let s = k - -503/12. Let m = s - 133/4. Is m > 7?
True
Let y(h) = h**2 - 4*h - 10. Let t be y(8). Let l = t - 29. Which is greater: l or 1?
1
Let l be ((-35)/(-25))/(6/10). Is l less than -42?
False
Let s be ((-2)/(-3))/(17/102). Suppose -s*a - 5*j = 2, 5*a + j - 5 - 3 = 0. Let r be (a + 18)*4/(-5). Which is bigger: r or -15?
-15
Let b = 32 + -21. Suppose -16*t = -b*t. Is 3/8 not equal to t?
True
Let y be (12/(-126))/((-33)/21 + 2). Is -49 greater than y?
False
Let v(b) = -2*b**3 - 6*b**2 - 5*b - 9. Let g be v(-4). Let c = g - 17. Let o be 684/(-117) - 4/c. Which is smaller: -1 or o?
o
Let x = -549 - -555. Which is greater: x or 9?
9
Suppose 0 = 4*y - 0*s - 3*s + 513, 2*y = -2*s - 246. Let m be ((-236)/y)/(3 + 19). Let d = -1/99 - m. Which is bigger: d or -1?
d
Let x = 4 - 3. Let f(d) = 4 - x + 9 + 2 + 2*d. Let u be f(-6). Is u equal to 5?
False
Let x be ((-14)/4)/((-7)/(-2) + -1). Is -1 bigger than x?
True
Let x = 484 - 463. Is x < 23?
True
Let w be (-2)/4 - (-12)/(-24). Let y be 1 + -3 - 1/w. Which is greater: y or -3/4?
-3/4
Let g be (-24)/32 + (226/(-8) - -3). Is g equal to -172/7?
False
Let m be 9/4 + 1 - 54/(-72). Let c(w) = w**3 - 3*w**2 + w - 6. Let z be c(m). Which is smaller: z or 96/7?
96/7
Let c(y) = -192*y + 711. Let p be c(4). Is -56 equal to p?
False
Let x = 31/2 - 15. Let j be ((-22)/(-33))/((-20)/18). Let c = j - 9/10. Which is smaller: x or c?
c
Let q = -28 - -33. Suppose 3*d - 26 = 2*c, q*d - 7*c + 3*c - 40 = 0. Is d at least as big as 11?
True
Suppose 0 = 5*b + 15, 2*g + 27 = -4*b + b. Suppose 5*x = -3*t - 6 + 47, -4*x = 5*t - 25. Let j = g + x. Which is greater: j or -3/7?
j
Let h be (2 + -15)/(0 + -1). Let j = 13 - h. Which is bigger: -2/21 or j?
j
Let k be (-4)/(12/3) + 3. Let o be -70 + 6 + k + -1. Let v be 301/o + (-2)/9. Which is smaller: -6 or v?
-6
Let f = 232 - 58. Let s be f/(-380) + (-11)/(-22). Let v = -319/95 - s. Do v and -4 have the same value?
False
Let p = -0.154 - -1.314. Which is smaller: 9 or p?
p
Let d = 15.4 + -17. Let p = 44 - 42.4. Let j = d + p. Which is smaller: j or -0.2?
-0.2
Let b(q) = q**3 - 7*q**2 - q + 9. Let i be b(7). Let l = 27.72 - 1.92. Let f = l - 26. Is i less than f?
False
Let a = 14.472 + -7.472. Let w = -8 - -1. Which is greater: w or a?
a
Suppose 3*w + 2*w = 30. Let u be (w/4)/3 - 1. Let y = 3436 + -3438. Is u at least y?
True
Suppose -8*i + 52 = 4. Let p(h) = -3*h**2 + h**2 + h**2 + 12 + 4*h. Let c be p(i). Do -2 and c have different values?
True
Let x = -45607/69 - -661. Which is greater: -4 or x?
x
Suppose 18*l + 320 = -46*l. Let a be (-4 - -1)/(138/4). Which is greater: a or l?
a
Suppose -25*g + 27*g + 8 = 2*k, -5*g + 3*k = 12. Let d = -154625/86 + 1798. Is d < g?
False
Let v = 30 - 26. Suppose -n + v - 8 = 0. Which is greater: n or -2?
-2
Let y be 10260/133*(-6 - 1). Let h be 3*352/y - -2. Suppose -3 = 3*n + r, 4*n - 2*r + 1 = 7. Which is smaller: h or n?
n
Suppose 2*h = 5*r - 6*r - 40, -3*h = 4*r + 60. Is h smaller than -21?
False
Let o = -11 + 16. Suppose 24 = y - o*u, 3*y = -y - 3*u - 19. Let q = -250/7 - -36. Which is bigger: q or y?
q
Suppose 4*b + 2 = 3*k, -4*k + 15 = 2*b + 5. Let j = 1 - 1. Is k >= j?
True
Suppose -4*p + 6*g = 3*g - 39, 0 = -5*g + 15. Let r be 1 - ((-94)/4)/((-246)/p). Which is smaller: -1 or r?
-1
Suppose 22 = 5*l + 67. Let p(n) = -n**3 + 13*n**2 + n + 8. Let x be p(13). Suppose -g = -5*f - 4, 7*g = 4*g + 4*f - x. Is l less than or equal to g?
False
Let r = -23 + 56. Suppose 217*o - 232*o + 510 = 0. Which is smaller: o or r?
r
Let z = -984 - -923. Is -21 smaller than z?
False
Suppose 5*s + 17 = 2, 5*s = -4*l + 9. Let g = 1.89 + 0.11. Is g greater than or equal to l?
False
Let v be 4/10 - 117/(-20) - 4. Is v at least 1?
True
Let o be 8/(-1194)*(-270)/60. Which is smaller: o or -1?
-1
Suppose s - 46 = -3*t, 3*t + 172 + 2 = 3*s. Suppose 13*o + s = 8*o. Which is bigger: o or -13?
o
Suppose -2 - 10 = -4*z, x + z = -22. Let w be (-14)/(-10)*x/5. Is w at least -7?
True
Let l be 235/228*48/(-21). Let c be ((-6)/10)/(399/15). Let k = c - l. Which is smaller: k or 2/3?
2/3
Let p(m) = 3*m**2 - m. Let u be 15/10*(-2)/(-3). Let c be p(u). Suppose 2*a + 2*t = 0, c*a = 4*a + t + 1. Is a greater than 1/7?
False
Let i = 269.85 - 271. Is i at most 1?
True
Let f = -13/463 + -97/62505. Let d = f - 26/135. Suppose -a = -3*i - 34, -3*i + 