smaller: z or 3/8?
3/8
Suppose 4*r + 2 = 3*w, 83*r - 81*r + 12 = 7*w. Let q = 16886/12243 + 1/583. Which is smaller: q or r?
r
Let t be (-2312 - -2314)*1*(-1)/74509. Are -1 and t unequal?
True
Let n = 1469 + -1468. Which is smaller: n or -2/2137?
-2/2137
Let v = -1388 + 258169/186. Let w(k) = -2*k**2 + 4*k + 1. Let r be w(2). Which is smaller: r or v?
v
Let k(y) = y**2 + 2*y - 2. Suppose 0 = -2*j - 13 + 17. Let u be k(j). Suppose u = -0*c + 2*c. Is c at most as big as -1?
False
Let j = 85 + -80.1. Let o = -5 + j. Let b = -212.4 + 185.4. Which is greater: o or b?
o
Let t = -2006 - -1976. Which is bigger: t or 0.41?
0.41
Suppose 42*p + 21 = 46*p + y, -3*p - 4*y + 6 = 0. Let i = -15 + 30. Suppose -i = -p*f + 15. Is f less than 14?
True
Let o be 629888/41995 + (-16 - -1). Is o greater than 0?
False
Let r(c) be the second derivative of -c**4/6 - 7*c**3/6 + 10*c**2 - c. Suppose 7 = -g, -2*m - 3*g - 174 = -161. Let j be r(m). Are j and -39 equal?
False
Let b be (-835)/(-2839)*(-4)/1544. Is b greater than 0?
False
Let a = -5856.17 - -5897. Let d = a - 0.83. Which is bigger: d or 2?
d
Suppose -4 = 2*l + 2*l. Let j = -2/2037 + -6784/6111. Which is smaller: j or l?
j
Let d = 16 + -11. Suppose -d*c + 76 + 69 = 0. Suppose 4872 = 83*i + 85*i. Is i at most c?
True
Let b be ((-69)/(-115) + 0)/((-33)/10). Which is smaller: -4/29 or b?
b
Let k be -2 + 2 + (37 - 3). Let s be (-1955)/k + 1/2. Let i = 34 + s. Are -23 and i equal?
True
Suppose 23 + 13 = 4*n. Let l be (2 - 20/n)*6. Which is greater: l or -1/4?
-1/4
Suppose 28*q - 13*q = 1275. Which is bigger: 109 or q?
109
Suppose -12*r + 11*r = 12. Let b be ((-9)/r - -1 - -2)*-1. Which is smaller: b or 2?
b
Let k(l) = l**3 + 17*l**2 - l - 14. Let w be k(-17). Suppose -3*c + 123 = 4*d, w*c + 38*d - 40*d - 141 = 0. Is 42 equal to c?
False
Let w = -6512 - -6038. Which is greater: w or -468?
-468
Let s = -155 + 209. Let t = 44 - s. Let z(c) = 4*c + 6. Let i be z(-4). Is i > t?
False
Suppose 37*m = 27*m + 30. Suppose 31*l = m*l - 2492. Which is greater: -94 or l?
l
Let w = 507 + -83. Let x = w + -429. Which is bigger: x or -2?
-2
Let r be (0 - -2)/((-8)/(-20)). Suppose -l - 3*l = 3*m + 7, -3*l + 31 = -r*m. Let z be (m - -6) + 65/(-67). Is 1 less than z?
False
Let w be (5 - 4)*(-10)/(-16). Let f = -0.072 + 0.062. Let r = f - -0.21. Is r < w?
True
Let h be 133/2*84/(-49). Let w = h - 79. Is 2/3 not equal to w?
True
Let n be (2*3)/(-13 - -14). Let m be -5 - (2 + (-36)/n). Is m at most -1?
True
Let b(l) = 42*l + 4. Let v be b(2). Suppose v*d + 392 = 92*d. Let c = d - 5. Is 92 less than or equal to c?
True
Let z = 29 - 18. Suppose 5*u - 2*r - 13 = 0, -u + r = 4*r + z. Let l be ((-4)/(-12))/(u*1/3). Which is smaller: 6 or l?
l
Let q(i) = 2*i + 60. Let v be q(-30). Suppose -3*x - 2*l + 5 + 32 = v, -59 = -5*x - 2*l. Which is smaller: 16 or x?
x
Let n = -3.475 + -4.825. Is n at least -4?
False
Let x be ((-7)/(539/(-24)))/((-2)/(-14)). Let j = -155/66 + x. Which is greater: j or -0.18?
j
Let d = -1626.4 - -1623. Which is bigger: d or 1/7?
1/7
Let h(s) = -s**3 + 44*s**2 + 295*s + 170. Let j be h(50). Suppose 5*d = z + 429, -4*d - 5*z + 263 = -d. Let g = j + d. Are g and 5 equal?
False
Let g be ((-51)/2)/(267/(-3560)). Is g less than 339?
False
Let r be (-244)/366*-1*6/(-48772). Do 1 and r have the same value?
False
Suppose 13*i - 14*i = -56. Suppose 2 - 14 = -4*j. Suppose -4*w + 5*w - j = 0, -3*b + 2*w = -162. Are i and b equal?
True
Let y = -199479 - -2634519151/13207. Which is bigger: y or 0?
0
Let t be 6/2 + (3 - 6). Suppose 3*a + 0*m = m + 1640, 0 = -2*a - 4*m + 1070. Let g = a + -43053/79. Which is greater: t or g?
g
Let q(m) = m**3 + 59*m**2 + 44*m - 800. Let b be q(-59). Which is greater: b or -3395?
-3395
Let o = 44.7 + -44.7. Which is smaller: o or -2.248?
-2.248
Let v be (1938/85)/19 - (-21134)/130. Is 164 smaller than v?
False
Let z(v) = v**2 + 382*v + 2991. Let f be z(-8). Is -1/4475 at least f?
True
Let g(b) = -125*b + 525. Let z be g(4). Which is smaller: 41 or z?
z
Let l = 202.2 + -128.56. Let u = -71 + l. Let n = -0.36 - u. Which is smaller: n or -8?
-8
Suppose a + 48 = 5. Let n = a - -31. Suppose 2947441*x = 2947417*x - 216. Is x less than n?
False
Let i(m) = 9*m - 152. Let d be i(19). Suppose -d*g - 7*g = 26. Which is smaller: 1/197 or g?
g
Suppose 3*a = z + 11, -2*z - 23*a - 50 = -22*a. Let u = 158 - 542/3. Is u equal to z?
False
Suppose -3*n + 0*j + 3075 = 2*j, 5*j = 5*n - 5125. Suppose 3*m - n = -5*l + 2*m, -3*m + 423 = 2*l. Let b be -1 - (l/(-15))/2. Is b < 5?
False
Let o = 17.48 + -17.58. Is 0.0163 bigger than o?
True
Let v be (30/8)/(34/(-32) + 1). Let o be (-12)/v + (-7)/25. Let i = -72/275 - o. Which is smaller: -9 or i?
-9
Suppose -39*m + 2960 = -19*m. Let h be m/(-80) - (-4)/16. Do h and -2 have different values?
True
Let g(y) = -127*y + 1898. Let h be g(16). Do h and -109 have different values?
True
Suppose -3*h + 0*h - 3*p - 1311 = 0, -5*h + 3*p = 2153. Let k = 8225/19 + h. Is -1 at most as big as k?
True
Let v = 617.69376 - -0.30624. Is v < 6?
False
Let b be 35/14*(-9 + (4 - -3)). Which is bigger: b or 231?
231
Suppose 67 = 2*q - 0*q - n, 4*q - 5*n = 119. Let o be q/(-2) - 8/(-2). Let y(c) = 28*c + 14. Let b be y(-1). Is o > b?
False
Suppose f = 4*q - 32, -2*q + 4*f = -q - 23. Let c be (144/(-63))/((-2)/q). Let m be c/6*(-3)/(-2). Which is smaller: m or 3/5?
3/5
Let s be (-2)/(-346)*-4*(-7)/(-4). Is s > 0?
False
Let p = -9 + 5. Let t(c) = c**3 - 30*c**2 + c - 28. Let r be t(30). Let m be (-385)/121 - r/(-11). Is m less than or equal to p?
False
Let d be (-382 + 42)*(30/(-45) - 14/(-12)). Which is smaller: -162 or d?
d
Suppose 9*l = 17*l - 360. Let j be (-3)/(-6) + l/(-50). Let d = -0.9 - -4.6. Is j less than or equal to d?
True
Let q = -841 + 840.02. Let i = -5.98 - q. Is -3/34 at most i?
False
Let v(i) = -5*i + 29. Let t be (2 - (80/(-12))/(-2))*6. Let c be v(t). Let j be c/9 + 1*4/(-6). Which is greater: j or 4?
j
Let q(d) = -d**2 + 5*d + 7. Let n be q(6). Suppose -11 - 7 = -2*f. Suppose 0 = -6*i + f*i - 3. Is i at least as big as n?
True
Let s(g) = 2*g**3 - 44*g**2 - 145*g - 133. Let c be s(25). Is c greater than -312/35?
True
Let m = -5832.189 - -5829. Which is smaller: -0.1 or m?
m
Let l(f) = 5*f + 2. Let z be (5 - (-295)/(-15))/((-2)/(-6)). Let s = -47 - z. Let o be l(s). Which is smaller: 0.2 or o?
o
Let r = 16 - 20. Let p be (-6)/4*r/3. Suppose -2*l = -5*f, -p*l = -l - 3*f. Which is smaller: -1/4 or l?
-1/4
Let c = 117 + -44. Let b be c/(-5) - 4/10. Let t be (-20)/b*9/10. Which is bigger: t or 1?
t
Let b be 16/10 - (66/(-10))/(-11). Let v be (-3 - (2 + b))/(-7). Does v = 2?
False
Suppose -17696 = 160*a - 168*a. Let p be a/(-2607) - ((-2)/(-6) - 1). Which is smaller: p or 44?
p
Let a = 408 - 1023. Which is smaller: a or -3/2?
a
Let l = -5 + -2. Let s(r) = -2*r**2 - 9*r + 7. Let y be s(l). Let a = y - -29. Is 1/2 at most as big as a?
True
Let b(p) = -12*p**2 - 53*p + 6. Let x be b(-5). Which is greater: -481/17 or x?
-481/17
Let n = 11495.4 - 11491. Which is greater: 0.62 or n?
n
Let s be 53*(-1 + -1 + 4). Let z = -119.723 + 119.523. Are z and s nonequal?
True
Let l(a) = 3*a + 21. Let t be l(13). Suppose -t*y + 57*y + 6 = 0. Suppose -2*z - y = -54. Is 24 < z?
True
Let g = -605 + 606. Let c be 53/53*(-1 - g)*1. Which is smaller: c or -54?
-54
Let y = -51 - -22. Let h be (1*(1 + 13))/(-1). Let d = y - h. Is -14 < d?
False
Let q(t) = -32*t**3 - 4*t**2 - 3*t. Let x be q(-1). Let a be 12/30*(-25)/(-10)*x. Is a greater than or equal to 31?
True
Let f = -1/49 - 341/98. Let u = 1284 + -1283.89. Which is smaller: f or u?
f
Let o be (-3)/(-7) - 264/77. Suppose -w + 6 = -5*u - 2, 0 = -4*w - u - 10. Let h be (35/10)/(w/4). Is h > o?
False
Let y be (-93*5/260)/(-3*4/(-48)). Are y and -8 equal?
False
Let m(g) = -g**3 + 21*g**2 - 34*g - 64. Let h be m(19). Let c = h + -92/7. Are c and -2 equal?
False
Let s(c) = -57*c - 95. Let r be s(-5). Suppose 10 = -30*k + r. Which is smaller: -12 or k?
-12
Let v(k) = -83*k + 15106. Let a be v(182). Let s be 2/(-7) - 207916/(-483882). Let r = 2/843 + s. Is a at most as big as r?
True
Let k = -156 - -104. Let f be k*5/(-40)*2. Suppose 4*p + 8 = v, 2*p = -2*v - 3*p + 29. Is v at least f?
False
Let w = -493 + 901. Let d be (-1530)/w + 2/(-8). Which is smaller: -68 or d?
