40 - (-9)/30. Which is smaller: -2/36987 or y?
y
Let w be 2/4*((-99)/11 - -7). Let r = -7/160 - 1509/2080. Is w less than r?
True
Let w be (0 - -1) + (-76950)/567*(-58)/(-4). Do w and -1966 have the same value?
False
Suppose 605*q = 549*q. Is -27 less than q?
True
Suppose 31*l + 0*l - 3472 = 0. Let a be 26/l - 108/126. Suppose -5*y + 5 = -3*m - 13, -m + 4*y - 13 = 0. Which is smaller: a or m?
m
Suppose 596 = -210*a + 212*a. Let o = a + -213. Do 83 and o have different values?
True
Let i(s) = 70*s - 3721. Let x be i(82). Is x greater than or equal to 1?
True
Let m = 7703.036 - 7705. Is m >= 0?
False
Let v be 1 - (1 + -2 - (-3)/(-3)). Let w be -93*((1 - 44/12) + v). Let x = 30 + w. Which is smaller: 1/85 or x?
x
Let a(q) = 2*q**3 - 27*q**2 + 12*q + 25. Let j be a(13). Let k = 70 + -18. Let p be ((-3)/2)/((-6)/k). Which is smaller: p or j?
j
Let v = 570/37 + -16787/703. Which is smaller: -9 or v?
-9
Let h = 277 + -274. Suppose h*j = 2*c - 272 - 387, -4*j - 1630 = -5*c. Is c bigger than 321?
True
Let c be (2 - 408/210)*(20 - 13). Is -418 at most c?
True
Let j = -40 + 36. Let k be j - (-6 + 4 + -3). Let h be 0/((-6)/((-6)/2)). Which is greater: h or k?
k
Let b be (-8)/(-29 + 5) + (-380)/(-6). Are 64 and b unequal?
True
Suppose 5*j - 1892 + 2062 = 0. Let v be (-344)/10 - (2 - 3). Is v at most as big as j?
False
Let m be (24/(-20))/((-12)/40). Suppose -5*z + 4*r = -80, 4*z = 3*r - m*r + 43. Let s = -34.4 - -34.6. Is s equal to z?
False
Suppose -438 = f - 5*w + 50, -3*w - 1374 = 3*f. Let g be (-3 - -14)*(0 - 12)*(-10 + 405/30). Is f at most g?
True
Let p = -84 + 26. Let t = p - -82. Let y = t + -47/2. Which is greater: 0 or y?
y
Let s be 1 - (-1908)/80 - (-2 + 0). Let p = -38/5 + s. Let i = 19 - p. Which is bigger: i or -0.024?
-0.024
Let f = -149 - -144. Let t be (-32)/(-30) - f/(50/(-4)). Does -0.19 = t?
False
Suppose 11*y - 3*z - 342 = 0, -3*z + 48 + 0 = 2*y. Which is smaller: y or 25?
25
Let w be ((-104)/91)/((-4)/(-14)). Let p(y) = 18*y**2 - y**3 + 4 + 4*y - 5 - 21*y**2. Let h be p(w). Which is greater: h or 1/2?
1/2
Let x(t) be the second derivative of t**4/12 + 2*t**3 + 10*t**2 + 15*t. Let w be x(-9). Let j be -3 + (-8 - w)*(1 + -2). Which is smaller: -18 or j?
-18
Suppose 0 = -3*g + r + 12, 5*g - r + 8*r = -6. Which is smaller: g or -6?
-6
Let k = -14 - -4. Let g be 24/(-40) + (-21)/15. Let n be g/(-12) - (-12)/(-72). Which is smaller: n or k?
k
Suppose 4*c - 2*n - 26 = 0, -8 = 3*c + n + 3*n. Suppose 3*g - i = i - 39, c*g + 47 = i. Let d(o) = -65*o**2 - 324*o - 2. Let p be d(-5). Is g < p?
True
Let j(p) = 25*p - 76. Let i be j(3). Let q be (-225)/204 - 15/(-20). Which is bigger: q or i?
q
Let g = 147.68 - 2.68. Let q = g + -137.9. Let t = -7.2 + q. Which is greater: t or -1?
t
Let i = -0.3457 + -32.6543. Are i and -44 unequal?
True
Let m(h) = 5*h**3 + 13*h**2 - 4*h + 6. Let v be m(-3). Which is smaller: -11844/5 or v?
-11844/5
Let q(x) = -35*x**3 - x**2 + 6*x + 20. Let s be q(-2). Is s not equal to 289?
True
Suppose n - 7 = 3*p, 4*n = 3*p - 260 + 288. Suppose 2*s + 2*y + 66 = 4*y, -138 = 4*s - 2*y. Let v be (-8)/s - (-82)/(-531). Which is smaller: v or p?
p
Suppose f = -a + 44, -5*a + 95 = 3*f - 33. Let p = -46 + 16. Let l be 24/p*(-115)/2. Is f > l?
False
Let g = -9552 + 9312. Which is bigger: g or -3/10?
-3/10
Suppose 4*v = -2*x + 6, 0 = -4*v - 27*x + 23*x - 4. Suppose 210 = -v*i - 134. Which is greater: -84 or i?
-84
Let j be (-5025)/(-16) + 1/(-16). Let t = -313 + j. Are t and -1/187 unequal?
True
Suppose -2*c - 79 = -3*g - 11, 4*c - g = -116. Let t(q) = -q**3 - 7*q**2 - 15*q - 5. Let j be t(-6). Let u = j - 76. Is c != u?
True
Let a be (-6 - -10)/(-2) - 36. Which is smaller: -498/13 or a?
-498/13
Let m = 8.993 + -9.293. Suppose 23 = 5*h + 143. Which is bigger: m or h?
m
Let a be (-18)/(-2)*209/57. Let q = -66 + 30. Let z = a + q. Which is smaller: -13/3 or z?
-13/3
Suppose -17*g = -12*g. Let b(t) = -2*t**2 + 2*t + 4. Let p be b(g). Let k be (-108)/36 - (1*4)/(-2). Which is smaller: k or p?
k
Let o = 2355 + -4895. Is o equal to -2540?
True
Let r be (-1 + 0)*(-12 - -14). Let c be 72/20 + -5 - r/5. Let d be 387/(-405) - 0 - 2/(-5). Which is bigger: d or c?
d
Let b = 450 - 655. Let i = -208 - b. Is 0.01 bigger than i?
True
Let i = 5234 - 4536. Is -4/7 > i?
False
Let r = 54 + -53. Let j = -1.18 + r. Let c = j + 0.25. Is 0.3 at least as big as c?
True
Suppose 4 = -27*p - 0 + 4. Is -26/101 equal to p?
False
Let y = -15 + 23. Let q = -18961 - -18960.4. Is q equal to y?
False
Let m = 0.058 + -20.058. Let j = 32 - 52. Let a = j + 18. Which is greater: a or m?
a
Let z be (-14)/133 - 1767/361. Is z at most as big as -91/24?
True
Let z be -19 + 4640/136 + (-2)/17. Is 16 less than or equal to z?
False
Suppose -b - 5*p + p = -6, 0 = 2*b + p + 2. Let t be (-1 - (b - 2)) + 36/(-3). Which is smaller: t or -11?
-11
Let i be 2221/(-247) + (-3 - -12). Which is smaller: 1/3 or i?
i
Suppose -3*g + 6 = -4*f, 4 = -2*f + 3*g - g. Let j(q) = 66*q - 135. Let d be j(2). Which is smaller: f or d?
d
Let w(j) = -j**2 + 16*j + 191. Let d be w(-8). Which is smaller: -63/44 or d?
-63/44
Let u = -0.088 + -1.912. Suppose -2*l + z = -l - 5, 0 = -4*l + 5*z + 24. Suppose 3*r + 14 = -l. Which is bigger: r or u?
u
Let o be (-90)/(-45) + (2 - 5). Let q = -2/11651 + -477643/279624. Let b = 11/6 + q. Is o less than or equal to b?
True
Suppose 76*f + 46 = 38*f + 8. Do f and 2/48441 have different values?
True
Suppose -404 = -m + d, -3*m - 74 = 4*d - 1265. Suppose 402*l - m*l - 32 = 0. Is 2 bigger than l?
False
Suppose 2*r - 6 = -5*f + 35, -2*f = -2*r + 20. Let u(o) = -o**2 + 12*o + 21. Let i be u(r). Let h be 1*(2/1 + 5). Which is bigger: i or h?
i
Let r = -61.29 - -61. Let f = r + -92.71. Let y = -122 - f. Which is bigger: y or 0?
0
Let n = 6019/152 + -15/152. Let r = n + -222/5. Let a = 17/5 + r. Is a at least -2?
True
Let u = -1 - -2. Let o be 5/35*7 - (-2 + 0). Suppose o*c + 7*c + 40 = 0. Is u less than or equal to c?
False
Let u be 5 + -692 - (-1 - 1). Let c = u - -684. Let y = -22/21 + 302/315. Is c >= y?
False
Let r = 222481/173 + -1286. Suppose -8 = 2*p - 5*w, w - 5*w + 11 = 3*p. Which is bigger: r or p?
p
Let j(i) = -381*i + 1523. Let r be j(4). Is r bigger than 58/221?
False
Suppose -63*s - 70 = 3357 - 736 + 4113. Let u be (107/2)/((-1)/2). Is u equal to s?
False
Let g be (2834/327)/(2/(-138)). Which is greater: -599 or g?
g
Suppose 0 = -5*n + 3*w - 12787 - 4565, 3*n - 5*w = -10408. Let p = 374873/108 + n. Is p at most 0?
False
Let g(d) = -6*d + 5. Let v(a) = a**2 + a + 8. Let x be v(-4). Suppose 0 = -t - 4*i + x, 4*i - 6 = 2*t + 2. Let c be g(t). Is -19 bigger than c?
False
Let i be 1/(((-5)/14 - 0)*(-200)/3500). Which is smaller: i or 1580/33?
1580/33
Let q(d) = 2*d - 4. Let y be q(2). Suppose 1012 = -y*f + 11*f. Is f less than or equal to 93?
True
Let m = 103 - 106. Let h be 0 - (-7 - m - 1). Suppose -h*a + 10 - 15 = 0. Is a < 3/34?
True
Let r(u) be the second derivative of -5/3*u**3 + 0 - 17/2*u**2 + 29*u - 1/12*u**4. Let p be r(-5). Do -1 and p have the same value?
False
Let m(u) = -u**2 - 15*u - 3. Let k be m(-15). Let v(h) = -14*h + 22. Let j be v(5). Let q = j - -47. Which is smaller: k or q?
k
Let o = -0.33 - -0.36. Let a = o + -17.03. Let d = -19 - a. Which is smaller: d or 2/47?
d
Let i = -4 - -23. Suppose -i = -3*o + 4*o. Let q = o + 20. Are 2/7 and q unequal?
True
Let u be (70/17 - 2) + 0. Suppose 16385*p - 894 = 15938*p. Are p and u non-equal?
True
Suppose 0 = 8*w + 12 + 76. Let x(t) = t. Let m(k) = 4*k + 1. Let h(u) = -m(u) + 5*x(u). Let q be h(w). Is -65/6 >= q?
True
Suppose 3*q + 15174 = -7*b + 11*b, 0 = -4*q + 2*b - 20222. Which is smaller: q or -5055?
-5055
Suppose 27*y + 313 = 2338. Let z = 107 + -32. Are y and z unequal?
False
Suppose 6*g = g + 4*q + 5859, 5860 = 5*g - 5*q. Is 1169 at most as big as g?
True
Suppose 11992 = 4*u + 13636. Is -391 at least as big as u?
True
Let h be (-153)/(-204)*(-4)/(-3). Let d = -21/2 - -41/4. Let q = d - h. Which is greater: q or -1?
-1
Let f = 142 + -31. Let m = 115 - f. Is -7/4 greater than m?
False
Let b be 87 - 0*(-4)/20. Suppose 8*f - b = 5*f - 3*s, 0 = 3*s - 9. Let o = -13 - -40. Which is bigger: f or o?
o
Let v(j) = -2*j**2 - 109*j + 2469. Let l be v(19). Which is smaller: l or -313?
l
Let v = -244 + 612. Le