t j = c - 33. Let x be -15 + (14/(-1))/(-7). Which is smaller: x or j?
j
Let i = -4626 - -3777. Which is greater: 3/2 or i?
3/2
Let v = 474 - 3567. Which is greater: -15458/5 or v?
-15458/5
Let d = -15042 + 75216/5. Are d and 55 non-equal?
True
Suppose -1313 + 473 = 10*m. Let t be ((-4 + 11)/m)/(23/(-16)). Which is smaller: t or -1?
-1
Let a be 88/33*6/4. Let d be (((a - 6) + 5)/(-1))/1. Let c be (-154)/13 + 12/(-78). Are c and d non-equal?
True
Let z be 4/(-18) - 1645028/(-1008). Let o = 1650 - z. Which is bigger: o or 0?
o
Let z = -184.94 + 180. Let v = z + 3.94. Which is smaller: -1.17 or v?
-1.17
Suppose -15207*z - 1247 = -15178*z. Is -17 not equal to z?
True
Let j = -833 - -819.14. Let k = 0.86 + j. Is 2 != k?
True
Let n = 2945 - 2865. Which is smaller: n or 76?
76
Let d = 403 - -1075. Is 1475 < d?
True
Suppose -2*f + 2*h + 0 = -82, 5*h = -25. Suppose -2416 = 2*s - 4*s. Let y be 32/72 - s/(-36). Which is smaller: y or f?
y
Suppose 258 = 51*y + 54. Let h be (18/(-9504))/(2/y). Is -1 not equal to h?
True
Let i = -62 + 153. Suppose -i*g + 400 = -87*g. Which is smaller: 99 or g?
99
Let u = -152.899 - -153. Let i = 0.201 - u. Are i and -21 unequal?
True
Let x = 1535/33 + 53/11. Let m be (-211)/(-4) + (-4)/(-16). Let g = x - m. Is g <= -1?
True
Suppose -5*p - 4 = -l - 14, 4*p + l = 17. Let g be ((-28)/5)/(18/(-135)*p). Is 12 at least as big as g?
False
Let c(t) = 3*t**3 + 56*t**2 - 20*t - 22. Let v be c(-19). Let u be (-3)/((-3)/(-5)) - -52 - v. Is 48 not equal to u?
True
Suppose 0 = -21*l - 2443 + 2632. Is l greater than or equal to 13?
False
Let y = -172 + -38. Let o = y - -105. Let g = o + 527/5. Is g at least as big as 1/4?
True
Suppose n = -2*f - 2*n + 480, 0 = 4*f + n - 940. Let x = f - 3976/17. Let y = 0.12 - 0.12. Do y and x have the same value?
False
Suppose -4*j = -4*f + j - 21, 2*f - j + 3 = 0. Suppose -k + 195 = -4*k. Let p be 10/k + (-204)/(-650). Is f <= p?
False
Suppose 1748*k = 1743*k - 5675. Is k not equal to -1134?
True
Let h(x) = 2*x**3 - 12*x**2 + 3*x - 18. Let j be h(0). Which is bigger: -68 or j?
j
Let z(m) = -m - 9*m**2 + 6*m**2 + 3*m**2 + 2 + 2*m**2. Let x be z(0). Suppose 4*c + x*d = 0, -3*c - 5*d = -0*c. Which is smaller: c or 9/8?
c
Suppose -5*w - h = 22386, 7*w + 3*h - 17905 = 11*w. Let r be w/9398 - (-1)/2. Is 0 less than or equal to r?
True
Suppose 0 = -5*p - 3*v - 338, -4*v - 33 + 259 = -3*p. Let y = p + 39. Let s be y/2 - (-16)/32. Which is greater: s or -13?
-13
Let l(c) = 34*c**3 + 5*c**2 + 4*c + 8. Let d be l(-2). Is d > -254?
True
Let k be (24/(-30))/(-1)*-34. Let o = 25694/945 + k. Which is smaller: o or -1?
-1
Let i = -2597.99 - -2578. Let y = 20 + i. Let l = -3691/91 - -285/7. Is l greater than or equal to y?
True
Let w = 3535/41 + -49758619/577116. Is 0 < w?
True
Suppose -5*q + 5*a = -2*q - 28, 5*a + 27 = 2*q. Let c be (16/10)/((-12)/1170). Let g be (-2)/4 + (-82)/c. Which is greater: g or q?
q
Let u be (-4)/(-8)*-6 + 16. Suppose 0 = k - 3*q + 1, 6*k - q - u = 3*k. Suppose 0*t + 3*t = -2*n - 14, k*n - 3*t - 7 = 0. Which is smaller: 2/57 or n?
n
Let u = 402534310/1557 + -258532. Do 0 and u have different values?
True
Let r be 111/6 - (-230)/92. Which is smaller: r or 28?
r
Let u = 163 - 130. Suppose -u*c + 34*c = -19. Is c less than -19?
False
Let j = -157.158 + 157. Let y = -33 - -32.942. Let m = j - y. Is m != -0.57?
True
Suppose -52*s + p = -48*s - 2528, 632 = s - 5*p. Which is greater: 633 or s?
633
Let j be (-8)/18 - (-10)/30. Let d be ((-40)/(-7))/((-16)/(-56)). Suppose 6*y + 6 = 4*y - o, 0 = 5*o + d. Which is smaller: y or j?
y
Let h be 59/(-118)*2418/((-15)/(-2) + -3). Which is bigger: -270 or h?
h
Let p be 885/(-14) + (-4)/14. Suppose -2*m + w = 121, -2*w + 169 = -3*m + 2*w. Is m != p?
True
Let k(i) = i**3 - 140*i**2 + 1059*i - 24. Let s be k(8). Which is bigger: s or -9/65?
s
Let l be 10/(-1) - 10824/(-1066) - (-4)/(-26). Which is bigger: l or -3/12911?
l
Let j(b) = 493 - 993 + 603 + 6*b. Let l be j(-17). Let f = 1/104 + 229/520. Is f equal to l?
False
Let n = 601 - 1363. Let u be -3 - ((-10)/8)/((-3525)/(-376) + -9). Is u at most n?
False
Let f be 2 - 5/(-4)*-2. Suppose 9 - 18 = -3*r. Suppose -2*n = 4*t + 24, r*t = -4*n - 9 - 14. Is n < f?
True
Let o = -517687/24 + 21567. Let w = o + -5/24. Is w not equal to 0?
True
Let z be (1 - 0)/(111/1221). Let u be -1*89 + -14 + z + 1. Is u < -90?
True
Let r = -6922/5 + 1384. Which is bigger: 1295 or r?
1295
Let b(q) = -86*q**2 + 37*q - 96. Let l be b(3). Which is smaller: l or -763?
-763
Let s be (50/(-7))/(15/105). Let u be (10/s)/((-9)/(-2505)). Do -57 and u have different values?
True
Suppose 0 = -22*j + 2781 + 3709. Which is greater: 298 or j?
298
Let v = 237133787109/64741 + -3662807. Let u = v - 4/641. Suppose -2*m - 3 = -0*m + l, -l - 9 = -4*m. Is u at least as big as m?
False
Suppose 2*j + 4*b - 40 = -0*j, 3*j = -5*b + 57. Suppose -j = 2*c + 16. Let h = -0.1 + 0.1. Is h at most as big as c?
False
Let d = -10389 - -10615. Which is smaller: 236 or d?
d
Let o(q) = -q**3 + 28*q**2 - 21*q - 161. Let k be o(27). Let b be (7 - (-261)/(-36)) + k/(-4). Is -0.033 bigger than b?
True
Let l = -67.881 - 0.119. Let s = 30 + l. Let x = s + 37.9. Which is bigger: x or -1.1?
x
Suppose 0*u = 3*u + 72. Let g(q) = 3*q**2 + 2*q + 4. Let m be g(-3). Let p = u + m. Does 1/38 = p?
False
Suppose -4*z = 4*m - 40, -4*z + 9 = 3*m - 27. Suppose -13*k + z*k = 91. Is k not equal to -97/8?
True
Let o = 3.03 - 3. Let k be (((-2)/28)/((-1092)/294))/(1/(-4)). Is o less than k?
False
Suppose 0 = 8*y - 20*y + 8004. Suppose 8*t = -1331 + y. Is -77 not equal to t?
True
Suppose -5*h = -2*c - 1, -25*c + 22*c = -4*h - 2. Which is greater: h or 2/345?
h
Let r be 10704/18 - (-220)/22. Which is bigger: 604 or r?
r
Let r(b) = -466*b - 129. Let h be r(1). Which is greater: -594 or h?
-594
Let y = 221 - 478. Let o = 243 + y. Is o at most -23?
False
Let x be 810/350 + -4 - 4/(-10). Let j = -0.132 - -0.072. Which is smaller: j or x?
x
Let n(q) = 869*q - 23479. Let i be n(27). Let s(o) = 3*o - 1. Let d be s(-5). Is i not equal to d?
False
Let z(b) = 42*b**2 + 52*b - 267. Let k be z(6). Which is smaller: k or 1558?
k
Let m(o) = -8*o - 21. Let y be m(-3). Suppose -3*s - y*v = 267, -8*v + 74 = -s - 6*v. Is -248/3 at most s?
False
Suppose -17*w = -19*w. Suppose 3*j = -9*j - 12. Let c be 1*10/(-35) + j/(-14). Are c and w equal?
False
Let d = -1696656/17 - -99848. Which is smaller: d or 44?
44
Let z(w) = -10*w - 7. Let u be z(-1). Suppose 3*i = -4*r + 4 + 7, u*i + 9 = 0. Suppose 4*k + 0 = r*o + 11, 5*o + 17 = -2*k. Is k at most -1/77?
True
Let b(d) = -3*d - 4. Let z(x) = -9*x - 12. Let n(a) = 7*b(a) - 2*z(a). Let m be n(-1). Let c be m + -2 - (-52)/16. Is c equal to -18?
False
Suppose -92075 = 20*a + 21305. Let c = a - -28463/5. Which is bigger: 24 or c?
24
Let s = -333 + 1279/4. Let f be 1/5 - 12369/(-980). Let r = f + s. Is r at least 1?
False
Let b(f) be the first derivative of f**5/120 - f**4/24 - 13*f**3/3 - 9. Let i(a) be the third derivative of b(a). Let u be i(13). Which is smaller: u or 10?
10
Suppose -657 = 4*m + 5*c, -3*m + 4*c + 115 - 631 = 0. Let n = 168 + m. Is n smaller than -40?
False
Suppose -3*g - 10 = -5*g - 2*p, -p = -5. Suppose g*t + 208 = 13*t. Is 21 greater than t?
True
Let v = 143 - 146. Let i be v/15 + (-18)/(-15). Is i greater than -80?
True
Suppose i + 2*i = 1344. Let s = i + -331. Are s and 117 equal?
True
Let z(n) = 2*n**2 - 10*n + 12. Let k be z(4). Suppose k*u - 23 = -3. Suppose 5*j + 15 = 5*r - 10*r, -j = -u*r + 3. Is r at least 3/19?
False
Let b = 10286.7 + -10287. Is 0.0695 greater than or equal to b?
True
Let j = -525 + 233. Let g = j + 287. Which is greater: 28 or g?
28
Let s be (33/15)/((-3)/5)*3. Let d(n) = n + 8. Let c be d(s). Let f be (-6)/c*(-2 - -1 - -3). Is 8/3 >= f?
False
Let v be (-32)/(-40) + (-1038)/(-15). Let j be -5 - (-494)/v - 2/(-14). Which is bigger: 3 or j?
3
Suppose s = 6*s + t + 301, 5*s + 309 = t. Is -51 less than s?
False
Suppose -486*f - 5*c = -481*f - 85, 0 = f + 3*c - 21. Is -46/9 >= f?
False
Let m be (-4)/10 - -199*62/(-29820). Let s = -17/21 - m. Which is smaller: s or 1?
s
Let i = -136 - -135.848. Let f = i - 1.048. Which is smaller: f or -1/2?
f
Let u = -22.04 - 13.4. Let j = 0.44 + u. Let m = j - -34.8. Which is greater: 1/10 or m?
1