 = 0, 4*d = -7*c + 3*c + 4. Let p = -228 - -39671/174. Which is bigger: p or c?
c
Suppose 5*j + 3*f + 6 = 0, 4*f = 3*j - 3 - 5. Suppose -3 = r - j*r - 4*h, -2*r + 3*h + 4 = 0. Suppose 0*a = 4*q + a - r, q = 5*a - 4. Which is greater: 0 or q?
q
Let l(q) = -5*q**2 - 73*q + 69. Let a be l(-17). Which is smaller: -137 or a?
-137
Suppose 64 = -5*s + 2*o, 0*s - 5*s + 5*o = 70. Let y be ((-1)/(-6))/((-2)/s). Let h be 28/30 + (-3)/9. Is y greater than or equal to h?
True
Let d be 582/(-196) + ((-1)/(-1) - -2). Let q(y) = y**3 + 17*y**2 + y + 16. Let n be q(-17). Are d and n non-equal?
True
Let a(d) = 2*d - 11. Let o be a(4). Let k(v) = -5*v**2 - 2*v - 3. Let t be k(o). Let w be 7/t + 237/18. Is w less than 13?
False
Let k = -748980/17 + 25913859/595. Let i = -505 - k. Is i < -1?
False
Let a(i) = -2*i**2 + 5*i - 5. Let q be a(5). Let w be (12/(-15))/((-2)/q). Let r = 13 + w. Is 1/3 less than or equal to r?
True
Let j = -180 + 158.06. Let x = j - 0.06. Which is bigger: 0 or x?
0
Let j = 2.13 - 0.13. Let i = -2.1 + j. Let q = i + 0.4. Is 2/9 not equal to q?
True
Let g = -0.045 + -0.165. Let p = g + 0.11. Which is bigger: p or 1.8?
1.8
Let r = 477412/407 + -1173. Is 0 at most r?
True
Suppose -45*r - 23*r - 68 = 0. Is r at least as big as 3/58?
False
Let o(z) = -z**3 - 8*z**2 - 8*z - 8. Let m be o(-7). Let b be 0/m + -3 + 6. Let k be b/(-9) + 7/(-6). Which is smaller: -3 or k?
-3
Suppose 400 = 11*a - 2416. Which is bigger: a or 255?
a
Let v = -7076/15 - -472. Let x = -897 - -898. Is x bigger than v?
True
Let a(c) = -5*c - 21. Let g be a(11). Let z be g/(-24)*(-12)/64. Let f = 7/32 + z. Is -1 less than or equal to f?
True
Let d be 909/18 + -1 + 2/4. Let n = 47 - d. Is n at least as big as -4?
True
Suppose p + 0*p = -3. Let n(q) = -q**2 + 11*q + 20. Let m be n(9). Let y = -41 + m. Is y greater than or equal to p?
True
Let q(z) = -2*z + 3. Let f be q(-2). Suppose -5*p + f = -3, 5*y = 4*p + 2. Suppose -y*g - 2*b + 6 = 0, 0 = -6*g + 4*g + 3*b - 19. Which is greater: 1 or g?
1
Let o(h) = 542*h**2 - 9*h + 6. Let y be o(1). Is y less than 539?
False
Let w = -17314/9 - -1921. Is -2 < w?
False
Let i(s) = -s**2 + 22*s - 20. Let l(n) = n**3 + 9*n**2 - 3*n - 5. Let w be l(-9). Let c be i(w). Is c at most as big as -19?
True
Suppose 5*x - 416 = -3*r, -4*r + 90 = 3*x - 2*x. Which is bigger: x or 79?
x
Let r = -610 + 439. Are -173 and r equal?
False
Suppose -5 = -5*t + 5*l, -4*t + t - 3*l - 3 = 0. Do t and -4/31 have the same value?
False
Let l be ((-20)/(-740))/(3/6). Is -0.34 equal to l?
False
Let r(m) = m**3 + m**2 - m. Let n be r(0). Let d be (6/(-216))/(21/24). Is n < d?
False
Let l be 1294/1220 + (-12)/(-8). Let n = l - 22/61. Does n = 3?
False
Let i = 157 + -76. Let a = 85 - i. Which is bigger: a or -0.2?
a
Suppose -2*l - 26 = 4*b - 0*l, -22 = 2*b + 4*l. Let g be 2 + (31 + 4)/b. Let w be ((-24)/310)/(2/g). Which is bigger: w or -1?
w
Let y be ((274/(-28))/((-6)/(-12)))/2. Let i = y - -10. Which is smaller: i or 1?
i
Let r be (-261)/45 - (3 + -8). Is 0.1 <= r?
False
Let p = 6 - 3. Suppose 6 = -26*r + 32*r. Let o = p - r. Is o bigger than 2?
False
Let t = -30 + 10. Suppose -35*b + 2 = -33*b. Let j be ((-36)/t)/(b/5). Is j smaller than 7?
False
Suppose y - 21 = 3*w, 3*w + 7 = -2. Suppose -10*v + y*v = 12. Is v at least as big as 7?
False
Suppose 5*h - 7*a + 55 = -2*a, -2*h = 2*a + 14. Let u be (((-7)/2)/(-7))/(h/6). Which is smaller: -1/4 or u?
u
Let o be (-3 - -3) + 1 + -9. Suppose -90*u + 3*u = 1044. Are u and o unequal?
True
Let x = -74.46 - -43.73. Let b = x - 0.27. Let k = 5/19 + -1/76. Which is greater: b or k?
k
Let q(m) = 2*m**3 + 5*m**2 - 2*m + 1. Let z be q(-3). Let j be 0 + -1 + 3 + 0 + z. Which is smaller: j or -7/5?
-7/5
Suppose z + 353 = -2*i - 2*z, i + 5*z + 194 = 0. Are -170 and i equal?
False
Let k = -2329 - -2328. Is k smaller than 85/9?
True
Suppose o - 5*x = 3*o + 40, -x - 34 = 3*o. Let v = -138/7 + 20. Do o and v have different values?
True
Suppose 3*w - 4*w = 38. Let a(z) = 7*z**3 + 5*z**2 + 2*z + 1. Let q be a(-2). Which is bigger: w or q?
w
Suppose -6*u + 2008 = 2368. Let k = -88 + 28. Is u < k?
False
Suppose -5*b + 3*m = -188, 0*b - 3*b + 4*m + 104 = 0. Let t be (2/5)/((-28)/b). Let u(s) = s**3 - 16*s**2 + s - 18. Let q be u(16). Which is smaller: t or q?
q
Let a be 422/(-30) + (-4)/210*7. Is a at most as big as -14?
True
Suppose 4*z - 24 = 7*z. Let x be z/(-4) + (1 - -20). Do 22 and x have different values?
True
Let n = 126 - -980. Does 1107 = n?
False
Let j be ((-2)/4)/((-4)/8). Suppose 0 = -14*n + 55 + 1625. Let u be n/(-59) + 20/10. Which is greater: j or u?
j
Let h = 8/3 - 28/15. Let b = -6.9 + 7. Let l = -0.2 + b. Which is smaller: l or h?
l
Let m = 874130/7 - 125785. Let d = m - -907. Which is smaller: d or -1?
d
Suppose 0 = h + 5, p + h + 14 = -2*h. Let f = -110.105 - -110. Let z = 19.895 - f. Is p at most as big as z?
True
Let v = -2359038949/69975 + 1517074/45. Let u = v + 1/933. Which is bigger: 1 or u?
1
Let l(j) be the second derivative of -j**5/20 + 13*j**4/12 - 13*j**3/6 + 15*j**2/2 + 2*j. Let x be l(12). Which is bigger: 5 or x?
5
Let n = -423 - -450. Is 11 > n?
False
Let a = -121045/154 - -5498/7. Let i = a - 3/22. Is i <= -1?
False
Suppose 9*o - 91 + 1 = 0. Suppose 7*t = o - 3. Which is greater: -6 or t?
t
Let t = 41.9 - 40. Let c = -1.9 + t. Let q = c - 0. Which is smaller: q or -12/7?
-12/7
Let g(c) = -7*c + 39. Let q be g(5). Suppose -3*v + 31 = 5*b, 0 = q*b - 5*v - 6 - 4. Which is bigger: 4 or b?
b
Suppose -68*j + 74*j + 144 = 0. Is -23 greater than j?
True
Let p be ((-78)/(-12) + -6)/((-1)/12). Let l be (2*p/(-24))/(1/24). Which is greater: l or 4?
l
Let j = 61.61 - 62. Let h = 29.11 + -29. Let v = h - j. Is v < 0.1?
False
Let l = 1422 + -1129. Is 2/3 not equal to l?
True
Let s = 9843/26 + -759/2. Is s <= 0?
True
Let y be (26/4)/13 - 42/20. Let x be ((-45)/(-6))/((-1)/(-2)). Let o be (2/x)/((-2)/10). Which is smaller: o or y?
y
Let s = -16 + 14.9. Let f = 3.1 + s. Let i = 19.7 - 20. Which is smaller: f or i?
i
Let f = 516 + -525. Let t = 15 + -25. Which is smaller: f or t?
t
Let i = 20 - 65/3. Suppose 4*p - 12 = 4*x, -5*x + 4*p = 16 - 2. Which is smaller: i or x?
x
Let r(a) = -a**2 + 6*a + 21. Let k be r(-8). Is -1 greater than or equal to k?
True
Let z(l) = 3*l + 40. Let t be z(-12). Let d(s) = -2*s**2 + 8*s. Let c be d(t). Let j = 2/469 + -136/469. Which is smaller: c or j?
j
Let q(p) = -p**2 - 5*p + 31. Let y be q(-9). Let x be 2/y - 0/1. Is x bigger than -25?
True
Let r be ((-2)/26)/(16/(-8)). Let p = -46/13 + r. Is -3 > p?
True
Let d(t) = -5*t**2 - 150*t + 739. Let h be d(5). Which is bigger: -4 or h?
-4
Let k = 455 + -451. Suppose q = 3*q. Let l = 3 + q. Is l < k?
True
Let h be 1 - (-2 + (-1 - -1)). Suppose k + 43 = -h*f + 6*f, 0 = 3*k + 12. Let x = -13 + f. Which is bigger: x or -2/3?
x
Let b = 11 - 2. Suppose 2*r + 4*g = 112 + 138, -4*r + 470 = 2*g. Suppose -r*k - 45 = -120*k. Is b greater than or equal to k?
True
Suppose -2*k + 7 = 5*n + k, 4*n + 2*k - 6 = 0. Let r(q) = q**3 + 8*q**2 - 24*q - 35. Let d be r(-10). Which is smaller: n or d?
n
Let v = -5.75 + 0.75. Let k(a) = -3*a**3 + 7*a**2 + 2*a + 2. Let s be k(5). Let w = s + 1318/7. Is w >= v?
True
Let a be (-5)/90*(-2)/6. Is a less than -1?
False
Suppose t = -3*t - 4*m - 72, -37 = 2*t + 3*m. Do t and -16 have the same value?
False
Let j(v) = -v**3 + 2*v + 4. Suppose 3*b + 4*a - 16 = 0, 7*a - 4*a - 12 = b. Let k be j(b). Let l be (-18)/k + (-1)/(-2). Is l less than -22/7?
True
Suppose -g = -25 - 18. Is 41 not equal to g?
True
Let n(a) = -3*a**3 - 4*a + 484. Let t be n(0). Are 483 and t unequal?
True
Let f = -90 - -89.7. Is f > -195?
True
Suppose -3*b - b = 4*j - 12, j = 3*b - 5. Let m be ((-126)/(-6)*-1)/(j/(-3)). Is m smaller than 63?
False
Let h be ((-2)/(-12))/(-2 + (-85)/(-10)). Suppose -4*w - 7 = -11. Which is smaller: w or h?
h
Let x be 3 + (2 - (-343)/(-56)). Which is smaller: x or 1?
x
Let d be ((-2)/1 - (-105)/20)*4. Let a be (-1)/7 + -3 + d/(-7). Let c(t) = -t**3 - 3*t**2 + 2*t + 3. Let f be c(-2). Is a smaller than f?
False
Let l be (18/45)/((-4)/(-20)). Which is bigger: -3/13 or l?
l
Let c be ((-59)/2)/(6/84). Is c >= -411?
False
Let l = 32 + -25. Let p = l - 2. Which is smaller: 3 or p?
3
Let m = 0.379 - -0.041. Let o = 0.81 - m. Which is gre