c = p - -46. Which is smaller: r or c?
c
Let i be (-54892)/21 + 8 + 4420/(-546). Which is smaller: -2617 or i?
-2617
Let r = 38188 - 38181.6. Are 62 and r equal?
False
Let x = -22941/170 + 1830/17. Is -26 greater than x?
True
Let y be (22 + -22)/(-1*3). Suppose -2*v - 5*l + 5 = v, 5*v - 15 = -5*l. Suppose 3*h - 67 = v*i - 0*h, -2*i + 5*h - 23 = y. Is -14 <= i?
True
Let g be (-496)/(-120) - 8/(-60)*-1. Suppose 2*v + 0*b - 28 = -g*b, 62 = 3*v + b. Is v less than or equal to 20?
False
Let y(q) = 166*q**2 + 280*q - 1183. Let j be y(4). Which is smaller: j or 2592?
2592
Let r = 1561.4 + -1433. Let f = -129 + r. Which is smaller: f or 1/6?
f
Suppose 186 = -0*q - 2*q. Let a = q + 65. Let k = 447627 - 447656. Is a greater than or equal to k?
True
Let a = -688 - -687.711. Let r = -1.289 - a. Which is smaller: r or -41/3?
-41/3
Let c = 1165/741254 - -1/1622. Let v be 4/(-2 + -2) - -1. Is v less than c?
True
Let l be (483/414)/((-70)/(-8)). Are -102 and l nonequal?
True
Let c(q) = -2*q**3 - 91*q**2 + 83*q + 1720. Let u be c(-46). Let f = 0 + 0. Suppose -4*h + 43 + 29 = f. Is u less than or equal to h?
True
Suppose 0 = -2*o - 2*o - 4*j + 1416, -5*j = -2*o + 743. Suppose 5*m + 1820 = 5*h, 3*m - 4*h - o = 4*m. Is -364 >= m?
False
Let r = 36 - 63. Let c = r - -26. Let x(m) = m**3 + 9*m**2 + 8*m - 8. Let k be x(-8). Which is bigger: c or k?
c
Let m be (20/3)/(54/81). Suppose 0 = -m*g + 11*g - 41. Is 39 at least as big as g?
False
Let b(s) = 10*s**3 + 1208*s**2 - 243*s - 120. Let p be b(-121). Let d be (-330)/(-164) - (-6)/(-3). Do d and p have the same value?
False
Suppose -5*y + 19 = -n - 10*y, -2*y = 4*n + 22. Let i be 96/(-160) - n/5. Which is bigger: 0 or i?
i
Suppose 24 = 17*f - 9*f. Suppose -f*h = -20*h. Which is smaller: -18/25 or h?
-18/25
Let a be 11/(-7) + (-2 - -4). Let p = -424797 + 424808. Is a != p?
True
Suppose -4*h = 2*u + 74, h - u = -3*u - 17. Let i be h/(2/3*(-1)/(-6)). Are i and -172 non-equal?
True
Let z be 0/4 - (-26392)/936. Let o = z - 342/13. Is 2 >= o?
True
Let k = 5.803 + -5.44. Let l = 0.263 - k. Which is smaller: -1/4 or l?
-1/4
Let v(m) = 3*m - 12. Let h(g) = 4*g - 12. Let p(f) = -5*h(f) + 6*v(f). Let a be p(-7). Let r be (-5)/(-10)*(-2 + a). Which is bigger: r or 2/3?
2/3
Let k(q) = -184*q + 62*q + 63*q + 59 + 81*q. Let f be k(6). Which is greater: f or -1?
f
Let f = -3329 - -3365. Is -2/29 at least f?
False
Let x be 3 + 34/(-8) + (-3)/4. Let q(y) = y**3 + 2*y**2 + 3*y + 3. Let h be q(x). Let z = 5 + h. Which is smaller: z or 1?
1
Let b = -37.8785 + 5.9775. Let i = 0.199 - b. Let z = i - 32. Is z at most -4/43?
False
Let v = -1039/2948 + -3/268. Let b(g) be the third derivative of -g**6/120 - g**5/20 - g**4/6 - 5*g**3/6 + 34*g**2. Let q be b(-2). Which is smaller: v or q?
q
Let t = 484 - 450. Suppose 28*v = -t + 6. Which is bigger: v or -1/262?
-1/262
Suppose 0*h - 38 = o - h, 70 = -2*o + 4*h. Let z = 42 + o. Let q be (z/(-9))/(3*(-4)/9). Is 0 at least as big as q?
False
Suppose -154*k = -156*k - v + 971, 0 = v - 3. Is 3 less than k?
True
Let f = -22.14 + 52.14. Which is smaller: -0.46 or f?
-0.46
Let d = -2684 - -2685. Which is greater: 11/487 or d?
d
Suppose 103 = -2*l - 2*r + 3*r, 0 = 4*l - 3*r + 205. Let w be 2 - (l/(-6) + -1). Suppose -12*m = -15*m - 18. Which is bigger: m or w?
w
Let r = 2.25633 + 461.58767. Let s = -464 + r. Which is bigger: s or 1?
1
Let z(m) = 31*m**2 + 433*m - 15. Let h be z(-14). Which is greater: h or 3/742?
3/742
Let d(b) = 9*b + 19. Suppose -144 = 3*a - 15. Let x = a + 40. Let n be d(x). Is n at most as big as 0?
True
Let a be -24 + (3/6)/(1/(-6)). Let y be a/54 - ((-49)/(-10))/1. Which is smaller: y or -6?
-6
Let j(g) = 23*g - 713. Let y be j(31). Let k be 2/((4/(-2))/(-1)). Let l be (3 - 562/141) + k. Is y < l?
True
Let s(p) = 2*p**2 - 6*p - 9. Suppose -6*f + 20 = -10*f, -3*v + 2 = 2*f. Let y be s(v). Is y < 7/18?
True
Let v(s) = 0 - 19 - 14*s + 57*s. Let m be v(1). Is m > 25?
False
Suppose -28*v = 15*v + 44634. Is v smaller than -1038?
False
Let n be 15/60 - (6 - (-398)/(-72)). Which is smaller: n or 18?
n
Let u be 7/(-1) - 5856/(-671). Let a = u + -68/33. Let v = 4 - 4. Is v less than a?
False
Let c be (-1)/9 - 2278/153. Let p = -4 - c. Which is smaller: -7 or p?
-7
Let d = -0.604 + -3.396. Let z = 3 + d. Which is smaller: -163 or z?
-163
Let c be (2/6)/(45/(-54)) - 1131502/295. Is c > -3835?
False
Let i be 6*267/30 + (-2)/5. Suppose 0 = 3*z - 73 - i. Are z and 44 nonequal?
True
Let t = 1271 - 2249. Which is bigger: t or -979?
t
Let y = 32 - 31.989. Let z = -4210 - -4208.011. Let s = y - z. Is s < 30?
True
Let b = -30035/4 + 104597/12. Which is bigger: 1209 or b?
1209
Let c = -159 - -227. Let f = -2973 + 2904.9. Let m = c + f. Which is smaller: -0.3 or m?
-0.3
Let n = -40746 + 141307129/3468. Which is bigger: n or 0?
n
Suppose 3*p = -s - 4, 0 = -3*p - 4*s - 3 + 5. Let v(z) = -z**3 + 16*z**2 - 28*z - 144. Let f be v(13). Which is greater: f or p?
f
Let v(i) = 21*i - 116. Let x be v(-12). Let y = -466 - x. Does -99 = y?
False
Let p(b) = -3*b**3 - 232*b**2 - 75*b + 99. Let y be p(-77). Which is bigger: y or -66?
y
Let b = 8 - 3. Suppose 4*z - 11 = r, -r + 7 = 6*z - z. Suppose 5*l - 26 = 2*l - 4*c, z = l - 2*c. Is b greater than l?
False
Suppose -4*i + 5*l + 141 = 0, -4*l - 44 = -i + 5. Suppose 0*j + 4*j - 7 = -q, -3*q + i = 4*j. Let h be 1/(-2)*(q + -11). Which is bigger: 3/25 or h?
3/25
Let p = -5 - -6. Suppose m + 21 = p. Let n be 2/m - 15/(-30). Is 0.1 equal to n?
False
Let g be ((-13)/(-1040)*10)/(15/180). Let a = -4 + 2. Which is bigger: a or g?
g
Let r be 4 - (0 + 0 - -1). Suppose 0 = 5*h + 2*q + r*q + 15, -5*h = -5*q + 45. Let o be (-40)/30*h/(-14). Which is smaller: o or 0?
o
Let a = 24558 - 24471. Which is smaller: -26 or a?
-26
Let x = -61 - -53.7. Let p = 7 + x. Let i be (6/45 + (-190)/75)/(2/5). Do p and i have the same value?
False
Let t = -15585 + 15584.7. Let a = -139 - -692/5. Are a and t non-equal?
True
Let u be -5 - (-4 - 9/15). Let f = -232.26 - 4.74. Which is smaller: f or u?
f
Let y be -1*(-2 - 3)*8. Let l be 14/35 - ((-1684)/y + -1). Is 43 greater than or equal to l?
False
Let b = -1.25614 + 0.31614. Let v be (1/((-1)/(-1)))/(-3). Which is smaller: b or v?
b
Suppose 2*g = 2*i, i + 7*g - 5*g + 6 = 0. Let v be -1*i/(-8) + (-8785)/28. Are v and -314 equal?
True
Let v = -0.31 + 0.66. Let s = -3.17493 + 0.17493. Is s >= v?
False
Let d = 321.19 + -1.19. Let w = 308 - d. Which is smaller: 0.1 or w?
w
Let r(m) be the first derivative of m**2 + 14*m - 2. Let l be r(-4). Let d be 4*l/4*4/56. Which is bigger: 1 or d?
1
Suppose -7*r + 21 + 7 = 0. Suppose -r*x = -4*k + 160, -x + 224 = 3*k + 2*k. Let j = 100 + -55. Which is smaller: j or k?
k
Let i = -188 + 192. Suppose 3*j + 45 = 4*r + 155, i*r + 34 = j. Is 37 != j?
True
Let r = 10994/3 + -3663. Is r less than -3/4?
False
Let l be (86/(-8) - -10)*38476/(-3). Which is smaller: l or 9620?
l
Let p(m) = m**3 + 4*m**2 + 2*m - 3. Let n be p(-3). Let d be ((-76)/(-551))/(1 - 0). Which is smaller: n or d?
n
Let k = 0.1432 - 0.1432. Suppose 3*f - 27 = -0*f. Let j(h) = h + 13. Let n be j(f). Which is greater: n or k?
n
Suppose -12 = -14*a + 10*a. Let h(w) = -w**2 + w**2 + 1 - 12*w - a*w**2. Let t be h(-4). Which is smaller: 5/7 or t?
5/7
Let h = 31.7095 + -0.3095. Is 0 less than h?
True
Let c be (1389204/(-69471) - -2) + 18. Is 0 at least c?
False
Let j = 93/4 - 323/12. Let o = -7/12 + j. Let v(u) = -u**3 - 4*u**2 - u - 7. Let w be v(-4). Which is smaller: w or o?
o
Suppose 226 = 4*z - 150. Suppose z = 4*h + 98. Is -2/315 less than or equal to h?
False
Let l = -161 - -158. Let b be 4 + 0 - (-24)/l. Is -42 bigger than b?
False
Let m(r) = -513*r**3 - 5*r**2 - 5*r + 8. Let g be m(1). Is -2057/4 less than g?
False
Suppose -284*x + 2*o + 3020 = -280*x, 5*x + 5*o - 3805 = 0. Is x less than or equal to 759?
True
Let s be ((-15 - -21) + (-20)/(-4))*-121. Is -0.2 smaller than s?
False
Suppose -4*b = 3*o - 128 + 44, b + 117 = 5*o. Let y = 903/20 + -6361/140. Is o at most as big as y?
False
Let w be (-6)/(-4)*(-168)/63. Let m be w + (-5)/(180/(-172)). Are 1 and m equal?
False
Let v be (-17 + 15 - 0)*(12/5529)/4. Which is greater: -2/7 or v?
v
Let n(v) = v**2 - 5*v + 4. Let m be n(5). Suppose 30 = -53*i + 48*i. Let d be -9*m/i*-4. Is -24 greater than d?
F