c(y). Which is smaller: i or -2?
-2
Let u be 8/(-5142)*6/4. Let q = 294026 + -294025. Which is greater: q or u?
q
Let j(k) = -k**3 - 8*k**2 + 13*k + 13. Let h be j(-9). Let q = h - -27. Let v be (-24)/(7 - 1)*6/q. Which is greater: -9 or v?
v
Let b be 3512/(-6) + 17/((-408)/16) + 5. Is -2901/5 >= b?
True
Let k = -63/55 - -3072/5995. Which is smaller: k or 0?
k
Let i be 1/1 - (4 - (-9)/3). Let t be (-27)/i*8/(-6) - 2. Let m be (t/(-3 + 7))/(-1 + 3). Which is smaller: m or 1?
m
Let a = 110.11 - 40.11. Let w = 98.01 + -98. Is w less than a?
True
Let s(b) = 12*b**3 - 2*b**2 - 19*b + 74. Let n be s(5). Which is smaller: n or 1428?
1428
Suppose -21*u - 13 + 118 = 0. Suppose q + 3*q - 9 = -u*g, -3*q = -3. Which is smaller: -2/373 or g?
-2/373
Suppose -4*u + 734 = -2*m, 5*u + 0*u - 5*m = 930. Which is smaller: u or 903/5?
903/5
Let y = -11169 + 11168. Let k be (-1 + 2 - 0)/81. Which is smaller: y or k?
y
Let k = 3802 - 3411. Are -0.3 and k nonequal?
True
Suppose 0 = 41*o - 18*o + 23. Do o and 7/396 have different values?
True
Let r be 2840/55 - (17 + -3). Are r and 37 unequal?
True
Let v = -423 + 423.02. Let d = 61 - 79. Which is smaller: d or v?
d
Let u = 1.612 - -0.012. Let t = 0.206 + u. Let w = 1.9 - t. Are w and -2 equal?
False
Let l = 6649 + -385633/58. Let x be 4*(118/(-476) - (-891)/5049). Is l >= x?
True
Suppose 41*i + 14 = 48*i. Let t be (-4 + 344/68)/i. Is t != 0?
True
Let x = -9222 - -3911. Does x = -5310?
False
Let m = 84 + -59. Let t = m + -46. Let a = -247 + 227. Which is greater: t or a?
a
Let d = -13.07346 - -0.07346. Let t(k) = k**3 - k**2 + k + 8. Let o be t(0). Let f be ((-1)/o)/((-3)/(-6)). Which is smaller: d or f?
d
Suppose -5*c = 3*h - 3150, -87*c = -82*c + 2*h - 3155. Let j = 335 - c. Is j at most -298?
True
Let a = 1.02 + -0.02. Let f(m) = -104*m + 181*m - 51 - 85. Let z be f(3). Which is smaller: a or z?
a
Let z = 0.029 + -1.029. Let u = 218 - 274. Which is greater: u or z?
z
Suppose -4*y - 24 = -f, -3*f - 6*f - 6 = y. Let q be 3/((-3)/(-43))*-1. Let b be (-6)/15 - q/70. Is b > f?
True
Let l(y) = -y**3 - 7*y**2 - 9*y - 12. Let q be l(-4). Let r be (88/q - -3)/((-1032)/9). Let b(u) = u**3 - 7*u**2 + 5*u + 7. Let o be b(6). Is o smaller than r?
False
Let k = -161 - -388. Let j = k - 227. Let m be 0 - -1*(-4)/(-17). Is j equal to m?
False
Suppose 4*h = 3*j + h - 936, 5*j - 4*h - 1556 = 0. Suppose 3*x - j = -4*x. Let r be (-1 - -13)/((x/8)/(-11)). Is -23 less than or equal to r?
False
Let k be 12/((-85)/(-68) - 59/44). Suppose 124 = -2*m - 140. Is k greater than m?
False
Let o = 151/20 - 31/4. Let l = -573 + 595. Let f be l*(2 + (-2)/8*6). Is f at most as big as o?
False
Let l = 517 + -519. Let x be ((-6)/7)/(14/(l - 3820)). Is 232 at most x?
True
Let k be (6/15*-2)/(2/(-5)). Let c be (k - (-20)/(-16)) + 1623/12. Is c less than or equal to 134?
False
Let g be (-1)/(-6)*(56 + -62). Is g <= 1/10232?
True
Let p = 39.2 + -33. Let d = -1.2 + p. Let q = d - 4.91. Which is smaller: q or 0.2?
q
Suppose 2*p + 3*s = 6*s + 10, 3*p + 4*s - 15 = 0. Suppose -p*l - 4*a = -3*l, 2*l = -5*a - 1. Suppose -l*k - 6*k - 16 = 0. Is 0 less than or equal to k?
False
Let d = -184 + 560. Does 376 = d?
True
Suppose -4*k + 186 = 5*y - 0, 0 = -3*k - y + 134. Let r = 47 - k. Suppose -r*l = -4*l. Is l equal to -6/11?
False
Let z = -2853 + 2854. Is 48/25 at least as big as z?
True
Let x be (2 + -6 + -2)*1/(-2). Suppose -4*z = -2*v - 2*z + 8, 8 = -v - x*z. Let a be 322/570 + 9/(-15). Are a and v non-equal?
True
Suppose -2*t - 130 + 180 = 0. Let b be 3/(((-3)/(-890))/(5/t)). Is 179 at least b?
True
Suppose -35*l - 364 = -126*l. Which is smaller: 0.0155 or l?
0.0155
Let d be (-6)/21 - 285/105. Let x be (-5 - d)/((-5)/85). Is 38 at least as big as x?
True
Let k be (4/10*-3)/((-21)/70). Suppose 4*h - 8 = -4*m - 0*h, 9 = k*m + 3*h. Let z be (-1)/m + 16/(-24). Are -8/17 and z equal?
False
Let d(r) = 18*r + 1596. Let u be d(-89). Let f = 2 - 1. Let o be f/(-2)*(4 - u). Which is greater: o or 0?
0
Suppose -2*i - 67 = -g - 79, 24 = -3*g + 4*i. Is 12/683 at least g?
True
Let x = 54 + -34. Let r be (x/6)/(2 + 172/(-84)). Let j be (-9)/(-6) + (-7)/r. Is j smaller than 2?
True
Let y be (-10)/30*30/(-25). Does y = -4/857?
False
Suppose -111*y + 109*y = -1508. Let h = y - 463. Is 292 equal to h?
False
Let m = -582.952 - -583. Which is greater: m or 8?
8
Suppose 0 = -5*a + 6 + 9, -3*i + 5*a + 105 = 0. Suppose -49*m + i*m = 342. Is -38 >= m?
True
Let d be -40 - -42 - (-50 + -1 + 2). Let p = 50 - d. Let a be (p/(-1))/((-1)/45). Is -1/4 equal to a?
False
Let c = 10.74 - 9.4. Let w = c + -1.14. Which is smaller: w or 2/53?
2/53
Suppose 10*w + 5*b - 35 = 0, -25*b = -23*b + 6. Is w bigger than 0.619?
True
Let l = -9227 - -8844. Which is bigger: l or -384?
l
Let c = 1050753/436 + -2410. Let m = c - 33973/2180. Does -15 = m?
False
Let f = 89.3 - 10.3. Which is smaller: -7 or f?
-7
Suppose -4*u + 435 = 19*f - 14*f, -3*f = -2*u - 239. Let y = f + -102. Is -19 smaller than y?
False
Let j = -9358 - -9319. Which is bigger: j or -526/13?
j
Suppose 72*r + 174 = 71*r + q, -3*r - 3*q = 558. Which is bigger: -536/3 or r?
-536/3
Suppose 4*f + 6*d - d = 9085, 0 = 5*f - 3*d - 11384. Which is bigger: f or 2276?
2276
Let q be ((-70)/(-546))/((-5131)/(-1026) + -5). Which is bigger: q or 131?
q
Let c be ((-10)/(-50))/(7/280). Suppose 0 = -3*i + b, 12*b = -3*i + c*b. Is i less than 3/239?
True
Let t = -2878 - -2740. Is -149 > t?
False
Let v(n) = -n**2 + 17*n. Let s be v(17). Suppose s = 5*z - 12*z. Let t = z + -11. Is -12 equal to t?
False
Suppose -5 = -w + 12*r - 11*r, -5*w - 5*r + 5 = 0. Suppose -w*v + 7*v = -2*i - 354, -v - 72 = -5*i. Is v > -88?
True
Let v(s) = 9*s**3 + 11*s**2 - 2*s - 12. Let r be v(-3). Let y = -188 - r. Is y < -38?
False
Suppose n + 4*s = -52, n + 25 = 9*s - 4*s. Let q = 94 + -132. Which is smaller: n or q?
n
Let g be 2/(-10) - (-4 + 8244/30). Let y be ((-4)/20*-6)/(12/(-2720)). Is g < y?
False
Let v = 37.87 - 0.87. Let b = 11.8 + -18. Let h = -5.2 - b. Which is bigger: h or v?
v
Let f be (-75206)/(-223386) - (-3)/(-9). Does f = 1?
False
Let w = -333 - -603. Let p = w + -274. Which is smaller: p or -1/4?
p
Let k = -74.096 - -74. Let v = -0.196 - k. Which is smaller: 1/2 or v?
v
Let v be -252*(1 - 5/3). Let u be (-60 + 6486/115)*(-280)/6. Is u greater than v?
False
Suppose 2*u = 2*j - 516, 0 = 2*u - 36*j + 33*j + 512. Which is smaller: -267 or u?
-267
Let b(o) = o**3 + 13*o**2 + 12*o + 15. Let i be b(-12). Suppose 0 = -i*c + 460 - 40. Which is smaller: c or 55/2?
55/2
Let d(w) be the third derivative of -w**6/120 + w**5/6 - 5*w**4/24 - 7*w**3/6 + 10*w**2. Let r be d(5). Suppose 6*v - 9*v - r = 0. Is v bigger than -31?
False
Let u = -9.405 + 13.909. Which is smaller: -2 or u?
-2
Let a be (-13)/91*0 - (-4 - -4). Which is bigger: a or -450?
a
Let b = -82 + 83. Let h be 106*(b - 91/84). Are h and -10 non-equal?
True
Let l = -1673 + 3587. Which is greater: 1915 or l?
1915
Let v(m) = m**2 - 4*m + 6. Let w be v(3). Let j be 4*2/((-152)/w). Suppose -2*c = 2*c. Which is smaller: j or c?
j
Suppose 3*h - 23 = -2*a, -7 = h - 6*a + 3*a. Let l = 20 - -32. Let o = h - l. Is -46 at least as big as o?
True
Let d be 1896*(-2 - (-15)/10). Is -940 smaller than d?
False
Let j = -6083 + 6092. Is j smaller than -8/9?
False
Suppose 42*i - 38*i - 904 = -4*w, -3*i = -5*w - 670. Suppose -i = -1493*d + 1508*d. Let g = -3687 - -18358/5. Which is greater: g or d?
d
Let z = -31 + 49. Let y be (-2436)/(-72) - 3/z*-1. Do 0 and y have different values?
True
Let b = 252271/31 - 8136. Which is bigger: 2 or b?
2
Let h = 4225 - 4225.791. Which is smaller: h or -7?
-7
Let a be (-104)/13 - 74/(-6). Suppose -2*p + 270 = 3*p. Let u be (-2)/(-9) + 204/p. Is u not equal to a?
True
Suppose 0 = -10*h - 74 + 54. Let c be (50/(-15))/((-16)/(-12)). Which is bigger: h or c?
h
Let b = 211423/20 - 41391/4. Which is smaller: -1/3 or b?
-1/3
Let a be 2094/(-16) - (30/(-16) - -2). Let u = -87 - a. Suppose u = -2*x + 74. Which is greater: 29/2 or x?
x
Suppose 9079*f - 1207 = 9062*f. Is 66 smaller than f?
True
Suppose 78*w + g = 81*w + 6, -3*g = -2*w - 25. Which is greater: w or 3/9479?
w
Let d = 27185 + -27180. Is 605 at least as big as d?
True
Let f = -39.983 - -41.983. Which is greater: -5766 or f?
f
Suppose -222686 - 342972 = 1