et p be l(-58). Is 7 smaller than p?
False
Let h(g) = 4*g**2 + 19*g + 1. Let r be h(-5). Suppose -5*v = n - 2 + r, -2*v = 3*n + 12. Which is smaller: 338 or v?
v
Suppose -1748 = 60*a + 1372. Which is greater: -100 or a?
a
Let w = 475 + -1015. Let g be ((-6)/9)/(-3*(-4)/w). Let a be ((-8)/(-30))/(36/g). Which is smaller: a or -2/11?
-2/11
Suppose 68*o + 12 = 74*o. Suppose 2*t = 0, o*t = -u - 2*t. Let c be (-2)/68*(-1 - -11). Which is smaller: u or c?
c
Let q = 0.1377 - -119.8623. Which is smaller: q or -6?
-6
Let f = 37982/13 + -2920. Which is greater: 0.3 or f?
f
Let x be 2*3/(-8) - 166/(-8). Suppose 0 = y - 2 - 0. Suppose c = -0*t - 2*t + 42, 0 = 2*t + y*c - 44. Is t at most as big as x?
True
Let c be (-50)/(-50)*(-2)/(-52). Suppose -o - 10 = 4*u, 2*o + 3*o + 67 = -3*u. Let a = 13 + o. Which is smaller: c or a?
a
Suppose -30327 - 93 = 30*n. Which is smaller: -1016 or n?
-1016
Let b(x) = x**3 - 35*x**2 + 73*x - 559. Let c be b(39). Which is bigger: 8373 or c?
8373
Let x(y) = y**3 - 8*y**2 + 7*y + 1. Let a be x(6). Let b = -224 + 295. Suppose 7*u = 8*u + 4*q + 40, 0 = -2*u - 5*q - b. Do u and a have the same value?
False
Let w = -7265 + 10294. Are w and 3028 non-equal?
True
Let g(a) = 22*a - 5. Let q(y) = 52*y - 8. Let m(t) = -7*g(t) + 3*q(t). Suppose 6 = -2*i + i. Let k be m(i). Is k equal to 1/14?
False
Suppose -37 = 4*v - 4*q - 209, -5*v - 5*q + 175 = 0. Suppose -5*d + v = 8*d. Let z = 10 + -6. Is z greater than or equal to d?
True
Let b be (-15)/9 + -1498*(-5)/(-60). Is -128 > b?
False
Let f be (7 - (-24)/15*-4) + (-38)/30. Which is greater: -3033 or f?
f
Let c be (12/8)/((-3)/6 + 1). Suppose -c*x = -w - 3, 5*x = 7*w - 4*w + 9. Let a be (-528)/(-18) - w/(-9). Is 30 smaller than a?
False
Let l be (-759)/66 + (-5)/(-2). Let m = 333/2 + -176. Which is smaller: m or l?
m
Let k = -18.8 + 18.868. Let j = k - -0.232. Which is greater: j or 1/20?
j
Let r = -46315394/147423 - -1/98282. Which is greater: r or -315?
r
Suppose 13000 = -8*n - 2*n. Let k be 5 - (-7028)/n - (-2)/5. Let d = k + -953/3575. Which is smaller: 0 or d?
d
Let m be (-57)/39 - (-42)/91. Is 2/749 <= m?
False
Let u be (189/(-126) - (-13)/6)/(4/(-666)). Is u <= -94?
True
Let q be -11 + 10045/(-14) + 3. Is -725 not equal to q?
True
Suppose -4*g - g - 4*a = -7, 0 = -5*g - 3*a + 4. Let k = -106 - -120. Suppose -15*r + 8*r = k. Which is greater: g or r?
g
Let r = 39/2 - 275/14. Suppose m = 5*j + 11, -2*j + 23*m - 44 = 19*m. Is j greater than r?
True
Let u = -25 - -130. Let i = 554 + -552. Suppose i*x = 37 - u. Do -33 and x have different values?
True
Let h = -1.11 - -1.1. Let u = h + 0.01. Let w = 1.61 - 0.31. Which is smaller: w or u?
u
Let g = -481 - -730. Let j = g - 249. Is j greater than 0.045?
False
Let t be 5/10 - (-31)/(-86). Let x = -49937 - -49936. Which is greater: x or t?
t
Let k = -898 + 527. Let l = k + 372. Let a = -53 - -44.9. Which is smaller: l or a?
a
Let u(g) = 4*g - 20. Let c be u(3). Let b(r) = -r**3 - 7*r**2 + 9*r + 13. Let i be b(c). Let d(j) = -j - 5. Let w be d(-4). Is w >= i?
False
Let z be 6*((-85)/15 - -6). Suppose z*w - 13*w = -11. Which is smaller: 5.4 or w?
w
Let l be -1*((-54)/(-27) + (3 - 0)). Let y be (-92)/10*l - 7. Does y = 115/3?
False
Let a be (16/(-24)*(-132)/(-16))/((-2)/344). Is 3 smaller than a?
True
Let d be (-15)/(810/(-12)) + (-74)/306. Let u(f) = -f + 3. Let y be u(0). Suppose -3*o - 16 = -2*o + 5*s, 4*s = y*o - 9. Which is bigger: d or o?
d
Let u be (-304)/(-785) - (-2)/(-5). Let b = 36954 - 36954. Which is smaller: u or b?
u
Let m(f) = f**3 + 3*f**2 - 3. Let p be m(-4). Suppose 29*u - 25*u = 4*y - 12, -3*y + 5*u + 3 = 0. Is y greater than p?
True
Let p(q) = q. Let o be p(1). Let l be (-3 - -42)*o/3. Let b be 2/l + 336/13 - 0. Which is smaller: 25 or b?
25
Let h = 2 + 1. Let m = 10618 - 31849/3. Which is greater: h or m?
h
Suppose 45*b + 3*q + 8 = 46*b, b - 5*q = 14. Is b > -3/8284?
False
Let j = 4269 - 4268. Is -47/117 greater than j?
False
Suppose -90 = -3*n - 99. Let d be 5 + (132 - (n + 8)). Is d at least 132?
True
Let w be (1 + 1)*2/10. Let c = -573 - -560.44. Let d = c - 0.44. Which is smaller: w or d?
d
Let f = 1906 - 1911.427. Let q = f - -5.64. Are 1 and q equal?
False
Let y be (8/14)/(15 - -39). Let x = 563/378 + y. Let t = 3 + -1. Which is bigger: t or x?
t
Let x(w) = -3*w**3 + 4 + 7*w**2 + 4*w**3 + 8*w**2 + 2*w - 7*w**2. Let t be x(-7). Let n = -40 + t. Is -4 > n?
False
Let d = -2 + -2. Let f(h) = -h**3 - 18*h**2 - 17*h - 2. Suppose 0 = 2*u - 2*v + 32, -55 = 3*u + v + 3*v. Let z be f(u). Are d and z equal?
False
Let w = 32.92 + 13.28. Is w > 2/5?
True
Let p = -5579 + 5578. Is -12/131 greater than or equal to p?
True
Let x = 19 - -43. Let f = x - 61.8. Let d = -1.9 - -0.3. Which is smaller: d or f?
d
Let y(f) be the first derivative of 1/2*f**2 - 12 - 3*f. Let p be y(3). Is p not equal to 7/9?
True
Let b = -12.7 + 48.2. Let m = 53 - b. Let t = 18 - m. Is 8 equal to t?
False
Let h be (-104)/(-4 + 2)*(11 + -9). Suppose -3*o + 2*x = -h, -97 = -12*o + 9*o - 5*x. Which is smaller: -0.5 or o?
-0.5
Let a = -91.571 + 2.571. Which is greater: -4 or a?
-4
Suppose 163*o - 3950 + 5201 = 50314. Which is greater: 299 or o?
o
Let m = 27511 - 43650. Which is smaller: -1/4 or m?
m
Let z(u) = -13*u + 598. Let k = 374 + -328. Let c be z(k). Let r = 10521/95 + -549/5. Is c > r?
False
Let t(w) = -2*w**3 + 115*w - 128*w + 3*w**3 - 2*w**3 + 13*w**2 + 11. Let p be t(12). Which is smaller: -9/20 or p?
p
Let d(l) = 11*l - 69. Let p be d(10). Let a be (-2 - p/(-2))/(21/42). Let m be (0 + -38)/(1 + -2). Are m and a equal?
False
Let p(k) = -7*k + 197. Let f be p(-35). Let c = -292 + f. Is c > 152?
False
Let k(f) = -2*f**2 + 13*f + 27. Suppose -16*o = -6*o + 50. Let i be k(o). Do -175/2 and i have different values?
True
Let r(x) = -5*x - 17. Let s be r(5). Let u = s + 40. Let o be u/6 + (-4)/(-12) + 1. Is 8 less than o?
False
Let n = 529525910880/4333 - 122207689. Let g = n - 2/619. Are g and -1 equal?
False
Let f = -37 - -33. Let j(i) = -15*i + 3*i + 9 + 8*i**2 + 7*i**3 - 8*i**3. Let l be j(6). Do l and f have different values?
True
Let n = -25.0012 - -1.0012. Which is smaller: -2/59 or n?
n
Let h be (14 - 5024/350) + 4/14. Is 0 at most h?
False
Let p = 6/1355 - 38042/23035. Let r be 6/((-4)/((-8)/(-4))). Which is smaller: p or r?
r
Suppose 4*t - 7*t = -12. Let r = -61 + 56. Let j be r/(-45)*3 - 22/(-6). Do j and t have different values?
False
Let r = -116.97473 + -0.02527. Does r = 1?
False
Let w be (424/(-24))/((-1)/3). Suppose -39*b + 434 = -w*b. Is -26 less than or equal to b?
False
Suppose 0 = -2*g + 5*p + 13, -g + 3*p = p - 4. Suppose -41 = 2*v - 3*s, 4*v + 0*v - 2*s = -62. Let r be (v/(78/12))/(2/8). Are r and g non-equal?
True
Let y be 24654/(-27) - (-1)/9. Is y at most -3653/4?
False
Suppose 5*w = -3*l + w + 212, -4*w + 356 = 5*l. Is 54 at most l?
True
Let k be ((-88)/12 + 7)/(2/(-24)). Suppose -4*v + 2*v + 14 = k*r, -2*r = -3*v + 13. Which is bigger: -2/107 or r?
r
Let o = 743/26 - -13529/52. Let v = -286 + o. Which is greater: 2 or v?
v
Let v be (498/40)/(12/10). Suppose -8*n = -9*n - 2*s - 2*s + 10, -2*s = 0. Which is greater: v or n?
v
Let v = 7063 - 8123. Is -1060 at least v?
True
Let d(n) = 3*n + 15. Let z be d(-7). Let t(q) = 4*q + 24. Let y be t(z). Suppose -4*c - 5 - 11 = y. Is -4 bigger than c?
False
Let q be 20*(3/5 - 235/100). Let y be (-5)/((-35)/(-2)) - 5330/q. Is 152 bigger than y?
False
Suppose 0 = 4*m + 76 - 60, 3 = f + 2*m. Is 0.062 at least f?
False
Let z(y) = -8*y**3 - 95*y**2 + 14*y + 24. Let i be z(-12). Which is bigger: -5/544 or i?
i
Let b be ((-33)/(-8))/((-693)/(-308)). Let z = -29/18 + b. Is 0 >= z?
False
Let n(l) = -l + 21. Let m be n(6). Suppose -5*b = 5*a - m, -6*b + 11*b + 3*a = 15. Is b at most -1?
False
Let r be 6*(-14)/5*35/21. Let f be 11/(-4) - (2 - r/(-16)). Let n be (-27)/42 + (20/(-7) - f). Which is greater: n or 14?
14
Suppose 2*p = 5*h - 0*h + 151, 4*h - 2*p + 122 = 0. Let b = -26 + -289. Let y = b - -286. Are h and y non-equal?
False
Suppose -8 = 2*l - 2*s, -2*l - 3*s - 3 = -4*s. Let k = 14282/72415 + -51586589/244864081. Let w = k + -1/2915. Which is smaller: l or w?
w
Let y be (-18)/12 - ((-158)/4 + -1). Suppose 27 = 4*j + u, -u = 5*j + 2*u - y. Suppose b = -j - 6. Is -13 at least as big as b?
False
L