02 = 10. Are l and s unequal?
True
Let h be 75/2205*38/10. Let f = -2/147 - h. Is f > 18?
False
Let g = 198 + -559. Let w = 366 + g. Is w >= 10?
False
Let r = -206/59 - -11726903/3358693. Which is smaller: 0 or r?
r
Let y be 2/(-11) - 9947/(-319). Let a = 128 + y. Does a = 159?
True
Let u = -2366 + 2368. Is u smaller than 98/107?
False
Let f = -587 - -11148/19. Let v be (-108)/(-432)*(1 + -1)*(-2)/4. Is v greater than or equal to f?
True
Let v be 5 + 5949/(-234) + 1/(-2). Let n be -2 - (34176/(-1365) - -2). Let a = v + n. Are a and -1 equal?
False
Let j = -105676 + 105676.1. Let u(x) = -x + 3. Let f(d) = 3*d - 6. Let q(c) = -2*f(c) - 5*u(c). Let p be q(-4). Is j at most p?
True
Suppose -12*l = f - 8*l + 840, -856 = f + 2*l. Is f less than -9604/11?
False
Let z be (-18)/(-9) + (-2 - (3 - 8)). Let b be z/((-200)/(-8))*-11. Let g be ((-1)/(-2))/(1/(-6)). Which is smaller: b or g?
g
Let q = 31.89 - 31.89. Is 2485 at least q?
True
Let s = -3624 - -9278. Is s less than 5654?
False
Let i be (-15)/1170*56 - 2/(-6). Let l(x) = x**2 - 4*x + 1. Let z be l(4). Which is greater: i or z?
z
Let n(y) = y**3 - 5*y**2 + 7*y + 3. Let f be n(4). Is f at least 50?
False
Suppose -8*z = -2598 + 2630. Are z and -3/758 nonequal?
True
Suppose 0*v - 8 = -3*v + d, 5*d = 5. Let h be (-21 - 3)/(v - (-2)/(-1)). Which is smaller: -19 or h?
h
Let p be 14/12*(-7)/((-294)/(-48)). Is p != -54/13?
True
Let m = 95.6 - 100. Let p = -17.6 + m. Is p < -2/5?
True
Let o be (142/(-12))/((-276)/(-72) + -4). Suppose 58*n + 13 = o*n. Which is smaller: n or 6?
n
Let g(c) be the third derivative of -c**5/60 - 11*c**4/24 + 3*c**3 + 43*c**2. Let x be g(-11). Which is smaller: x or 89/5?
89/5
Suppose -11*h + 317 = 31. Let m be (-1620)/117 + (-4)/h. Let n be -1 + (-15)/(-21) + 122/m. Which is smaller: n or -10?
-10
Let y be ((-1620)/(-80))/(3/8). Let d be ((-12)/(-16))/((-1)/(-72)). Do d and y have different values?
False
Let z be (2 - (2 + 2))*-4. Suppose 5*c - z*c = -135. Let a be (8 - 0) + -3 - -40. Is a at most c?
True
Let g = -0.05 + 6.05. Let i = -65/2 + -1300. Let h = -1333 - i. Which is bigger: h or g?
g
Let f(z) be the first derivative of z**4/4 + 10*z**3/3 - 5*z**2/2 - 21*z + 3. Suppose -12 + 162 = -15*g. Let y be f(g). Which is bigger: 30 or y?
30
Suppose -4 = 4*q + 4*r, -59*r = -5*q - 61*r + 7. Let m be 2 - (-1 + 3 - -1). Does q = m?
False
Let w be -38 + 35 + (5 - 0/2). Suppose -q - 4 + 10 = 0. Suppose b = -b + 5*t - 9, -4*b + q = -2*t. Is b greater than or equal to w?
True
Let n = -1222.1 - -1222.3. Is n > -1/12503?
True
Let n = -28.18 - -27.66. Is n at most as big as -0.5?
True
Let u(y) = y**3 + 6*y**2 + y + 5. Let h be u(-6). Let p be ((-1)/(-290))/(1508/(-870)*6/(-13)). Is h > p?
False
Let t = -12140 - 3320. Is t greater than -15459?
False
Let m = -49/180 + 1/20. Let a = -476879/651 - 70/93. Let g = a + 734. Is g less than or equal to m?
False
Suppose -54 = -t + 189. Let g = t - 240. Which is smaller: 4 or g?
g
Let k be (-7*(-4192)/(-560))/((-4)/(-10)). Do k and -657/5 have the same value?
False
Let n = -190/3 - -64. Let b = -1.92 + 1.9. Is n less than b?
False
Let j = -949/3 - -21841/69. Which is bigger: j or -2/9?
j
Suppose 4*l + 4*g + 1576 = 0, -123*l + 122*l = 2*g + 401. Which is smaller: l or -399?
-399
Suppose 93*a + 376963 + 1897166 = 0. Which is smaller: -24454 or a?
-24454
Let a = -5853/2821 + 65/31. Suppose -5*s = 2*m - 3, -6*s - 2 = -11*s - 3*m. Let j be (s - -4) + -4 - 1. Which is smaller: a or j?
j
Let b be (-1 + 0)/(9/36). Let m be (-14)/b + (-4)/8. Suppose c + 58 = -m*v, c + 59 = -5*v - 41. Which is bigger: -22 or v?
v
Suppose -13*j = 1 + 25. Let w be j*(-5 + 153/2). Let f be -5 + w*1/(-29). Is f equal to 1?
False
Suppose -l + 2 + 1 = 3*m, 4*m + 4*l - 4 = 0. Let r = -103 - -107. Suppose 0 = 3*n + r*c + 13 + 2, 4*n + 42 = 2*c. Which is smaller: m or n?
n
Suppose -62 = -5*z + 3*d, -z + 58*d - 54*d = 8. Is z greater than or equal to 27?
False
Let h = 72357612467/109 + -663835874. Let s = -4567 - h. Is -1 at least s?
False
Let x(r) = r**2 + 98*r + 1174. Let q be x(-14). Is q >= -33/17?
False
Suppose 0 = 10*z - z - 16470. Let d be (z/(-440))/(36/(-39)). Let c = d - 53/11. Are c and 0 unequal?
True
Let h be 189875/(-38073) - (-5)/1. Is -1 greater than h?
False
Suppose -3*z + 6*n + 225 = 3*n, z + 5*n - 81 = 0. Suppose z*v - 174 = 74*v. Suppose 13*p - v = 12*p. Is 86 smaller than p?
True
Let y(i) = -i**3 + 39*i**2 - 75*i + 41. Let b be y(37). Let a be 2 + -6 + (4/b - 83). Do a and -86 have the same value?
True
Suppose 5*b = -2*g + 2038, -b + g - 816 = -3*b. Let v = -269 + b. Is v at least 136?
True
Let c = -94270/9 - -10479. Is c at most -0.03?
False
Let b be (23 + -15)*(3 - 322/112). Let u(c) = c**2 - 2*c - 1. Let d be u(3). Suppose d*j = 4*j - 2. Is b at least as big as j?
True
Let y(j) = 15*j - 45. Let q(b) = -b**2 - 18*b - 29. Let k be q(-16). Let f be y(k). Which is smaller: f or 1?
f
Let s = -3.334 + 1.334. Which is bigger: s or 379?
379
Suppose 5*m = 5*a - 60, 11 = -2*a - 4*m + 17. Let z be ((-47)/(-3) - -1)*a. Is z < 149?
False
Let b = 23526 - 23522.6. Is 78/5 less than or equal to b?
False
Suppose -3*g = 5*r - 19, -r + 8 = 3*r. Suppose g*w + w - 17*w = 0. Is 4/9 not equal to w?
True
Let u = -11543 + 11552. Which is greater: -566 or u?
u
Let g = 6279 - 3561. Suppose 0 = -16*p - 2*p + g. Do 149 and p have the same value?
False
Let y be (-8)/(-18) + ((-522158)/(-171) - -18). Let f = 21916/7 - y. Is 59 equal to f?
False
Suppose -4*k + 5*p - 690 = 11*p, -355 = 2*k + 5*p. Which is greater: -164 or k?
-164
Let v(a) = -a**3 + 24*a**2 - 7*a + 160. Let h be v(24). Suppose -5*b + 3*p - 67 = 0, 4*b - 4*p = 3*b - 10. Is b less than or equal to h?
True
Let s be (-15)/(-2) + 3/(-6). Let m(p) = 3*p**3 + 2*p**2 - p. Let l be m(1). Let i be (l*(-6)/(-24))/(6/39). Which is bigger: s or i?
s
Let q = -1049 + 660. Let o be ((-2723)/(-42))/(-10 + 354/36). Is o != q?
False
Suppose 2*l - 12 - 8 = r, 4*l + 44 = -5*r. Suppose -12*z = -5 - 367. Let c = 24 - z. Which is bigger: c or r?
c
Let d be (8 - 14)/(-42) + (-1511)/(-7). Which is greater: d or 23?
d
Let z = -22858/7 + 3257. Do z and -8 have the same value?
False
Suppose 2*c = v + 18840, -104*v + 28286 = 3*c - 99*v. Which is smaller: 1 or c?
1
Let d(l) = 7*l**2 + 14*l + 12. Let s(w) = 2*w - 6. Let p be s(1). Let u be d(p). Is u at most 68?
True
Let v be 40/(-140) + (-24)/(-14). Let r = v + -5/7. Suppose 4*n - 4 = -0. Is n at most r?
False
Suppose 0 = 5*j + 3*d + 471, -5*j - 468 = -0*j + 4*d. Let x = 96 + j. Let n = 14 + -13.82. Is n < x?
False
Let v = -34 + 59. Let u = -118.31 - -93.21. Let x = v + u. Which is greater: -1/3 or x?
x
Let x = 86 - 72. Let l be x/(-21) - (-940)/1425. Which is smaller: -1 or l?
-1
Let x = 18690 - 243135/13. Which is smaller: x or -12?
x
Let t = 83954474/6188955 - -2/269085. Which is greater: 14 or t?
14
Suppose -505*m + 671308 = -714*m. Which is smaller: 0 or m?
m
Suppose 12 + 12 = 4*r. Let p(f) = 2*f**2 - 36*f + 154. Let a be p(11). Which is smaller: r or a?
a
Suppose -11*k = 14*k - 2550. Suppose -24 = 2*t - q, -5*t + q + 42 = k. Which is smaller: t or -0.9?
t
Let k(h) = h**3 + 6*h**2 - 15*h + 11. Let u be k(-8). Let i be (-2)/u - (-5 - (-200)/42). Which is smaller: 6 or i?
i
Let w = -323 - -327. Suppose -7*q + 252 = -w*f - 3*q, 314 = -5*f + 4*q. Is -61 >= f?
True
Suppose 78*d - 82*d - 5*t + 4758 = 0, 3*d - 3585 = -t. Is d at least 1199?
False
Let y(r) = r**3 - 9*r**2 + 29*r - 106. Let i be y(7). Is 3/3706 > i?
True
Suppose 4*w - 2*u = -20, 4*u + 4 + 10 = -w. Does w = 670?
False
Let p be (234/(-12))/((-2)/92). Which is smaller: -2 or p?
-2
Let y = 50 - 40. Let r be (-2)/(-4)*-5*y. Let c = r + 16. Are -25/3 and c nonequal?
True
Suppose 4*f - 44 = -5*x - 9, -4*x + 2 = -2*f. Suppose 674 = -9*c - 1090. Let b = -2546/13 - c. Is b bigger than x?
False
Let a be 10*497/(-1666) - -3. Let j = -613/1071 + a. Let b be (1 + 0 - -1)/(-1). Which is smaller: b or j?
b
Let m = -5880 - -5521. Is -375 <= m?
True
Let y be (47 - 46) + 5/(-15)*(-985 - 2). Does 327 = y?
False
Let v = 1272 + -1277. Which is greater: v or 61?
61
Let k = -1283318/43355 - -2/8671. Let h be (1/3)/((-11)/1023). Which is smaller: k or h?
h
Let p = -168 + 141. Let j be -1*1 + (-26 - p). Suppose 5*l = 4*f - 51, f = -3*l - 2*l - 56. Is j at least l?
Tr