s smaller: r or -383/9?
r
Let f be ((-98)/(-20) + -5)/((-2149)/(-28)). Which is smaller: 0.1 or f?
f
Let i be (0 - -4) + 4 + -5. Let o be -14 + 12 + 1*i. Is o > -3/125?
True
Let c(t) = t**3 - 5*t**2 + t + 4. Let j be c(4). Let s = j + 2. Suppose -q + 0*q + 14 = -8*q. Are s and q equal?
False
Let q be (-32)/144 + 29708/(-693). Which is greater: -42 or q?
-42
Let f = 2238 + -2028. Which is smaller: f or 29?
29
Suppose -136*j = 146 - 10. Which is bigger: j or 1/4078?
1/4078
Let f = -146920/9 - -16382. Is f at least 59?
False
Let g = 18 + -53. Let v = 5089 + -5123. Is v <= g?
False
Suppose 0 = 168*j + 85669 + 269483. Which is smaller: j or -2112?
j
Suppose 175 = 5*u - 3*c, 2*u - 2*c - 70 = -7*c. Suppose 0 = -4*p - p - u. Suppose 2*i + 22 = 4*w - 8, -5*w = -25. Are p and i nonequal?
True
Let n(h) = -6*h - 32. Let k be n(-6). Suppose 4*r + 568 = -4*w, -k*r - 2*w = 806 - 228. Let b be (-2275)/r + 2/(-14). Is 15 bigger than b?
False
Let a(v) = -v**2 + 28*v + 308. Let p be a(-20). Is p at least as big as -650?
False
Let v = -1573 - -1553.7. Let x = -245/3 + 81. Which is bigger: x or v?
x
Let z(m) = m**3 + 5*m**2 + 4. Let i be z(-5). Suppose -g = -i*b - b + 6, -b = 5*g + 4. Let w be (-6 + (-6)/(-2) - -3) + 327/(-4796). Which is smaller: b or w?
w
Let a = 32 - 34. Let c be 20/a*(-10)/25. Suppose 4*b = 4*k + 132, 124 = -c*k - 0*b - 4*b. Is k less than -32?
False
Let o = 1.74 + -97.74. Let b = o - -48. Let v = b + 48.07. Which is bigger: v or -2?
v
Suppose 3*f - 10 = w, -4*f = -2*w - 5*f + 15. Let x be (20/4)/(4/w + -1). Is x > -25?
False
Let j = 738.005 + -736. Let f = 0.395 + j. Are f and -5/4 nonequal?
True
Let j(l) = -l**2 + 12*l + 16. Let s be j(13). Let y = 35 + s. Let o be ((-100)/(-60))/(-1*y/3). Is 1 greater than or equal to o?
True
Let f(p) = -50*p**2 - 1246*p - 56. Let m be f(-25). Is 1/26 less than m?
False
Let c be ((-13)/((-78)/(-48)))/(4/(-18)). Let p = 61 + -49. Let q be -3*((-152)/p - -1). Is q >= c?
False
Let c(s) be the first derivative of -5*s**2/2 + 157*s - 90. Let q be c(31). Which is smaller: -2/19 or q?
-2/19
Let j = -962 - -1058. Suppose 456 = 24*m - j. Let a(h) = -24*h**3 - h. Let b be a(-1). Is b at least as big as m?
True
Let h be -2*((-3)/2 + 2). Let f = 0.114989 + -21.114989. Is h >= f?
True
Let h be (-137970)/(-360) + (-6)/(-4). Is 1 greater than h?
False
Let m be 11/17 + 31 + -30. Which is bigger: 0 or m?
m
Let a(f) = -f**2 - 20*f + 5. Let r be a(-20). Let x be (-31)/124 - (-1 + (-26)/8). Which is bigger: x or r?
r
Let r = 335 + -600. Let b = r - -331. Is b greater than or equal to 66?
True
Suppose -19*o + 3*o = -112. Let j = -105 + 110. Suppose -o + 12 = -j*t. Are -1/19 and t nonequal?
True
Let i = -994 + 277. Let c = 722.67 + i. Let r = c + -5.6. Is r > -0.4?
True
Let g = -7436 - -51930/7. Which is smaller: -18 or g?
-18
Let c be (-3)/5*(25/(-9))/((-19250)/(-3300)). Let v be 542/136 - (-1)/4. Which is greater: c or v?
v
Let m(p) = -p**2 + 55*p + 570. Let d be m(-11). Let f(h) = -19*h**3 - 2*h + 1. Let c be f(2). Is d > c?
False
Let i be 8660/261 + 64/(-928). Is -6 >= i?
False
Let g = 10 + -4. Let d(j) = j**2 - 7*j + 5. Let c be d(g). Let t be -2 - 110/(-56) - (1 - 1). Are t and c non-equal?
True
Suppose -93 = -71*q - 235. Let p(v) = -2*v**2 - 12*v + 1. Let x be p(q). Let z = -26 + 43. Is z < x?
False
Let j be -2 + 7 - 20/30*6. Is -4/653 < j?
True
Let l(x) = -x**3 + 17*x**2 + 2*x - 58. Let a be l(17). Let p be (a/15)/8 - (-26)/(-20). Are p and 0 non-equal?
True
Let f = 7.114 - 0.114. Let a = f - 70. Let m = -1 - a. Which is smaller: m or 1/3?
1/3
Let k be (2/4*3)/(276/5152). Suppose -k*g + 200 = -332. Does 20 = g?
False
Suppose 3*l + 1596 = 5*v, 177 = v + 3*l - 153. Suppose 0 = -5*y + 4*c + 1625, 1294 = 2*y + 2*y - 2*c. Is y <= v?
True
Let d = -0.4225 + 0.0815. Let z = d - 0.059. Which is smaller: z or 1.4?
z
Suppose 5*q - w - 171 = -2*w, -5*w + 50 = 2*q. Suppose -v + 9 = 3*d, 3*v + 18*d - 16*d - 90 = 0. Does v = q?
False
Let x = 4235.13413 + -0.13413. Is 0 smaller than x?
True
Suppose -9*c = -0*c + 18. Let t be (-6)/10 - (c + 4131/90). Which is greater: t or -44?
-44
Let p = -217 - -312. Let i = p + -97.3. Let f = -2.3 - i. Is f at least -0.039?
True
Let a(c) = 17*c - 7. Let g be a(5). Let o = -54 + g. Suppose -3*n + o = 5*w - 25, 55 = 3*n - w. Is 19 bigger than n?
True
Suppose -173 = -5*a + 2*x, 22 = a + 5*x - 18. Let t be 5/(-7)*a/(-40)*-4. Which is bigger: 3/8 or t?
3/8
Suppose -9*j - 51 = -26*j. Let p be (-2 + j/3)/(-10 + 9). Let b be 10/12*(-3)/15. Is p != b?
True
Suppose 332*v = 258*v + 888. Which is greater: -39/4 or v?
v
Suppose 0*k + 4*r = k - 14, -24 = -3*k + 3*r. Let x(n) = -n**3 + 8*n**2 + 330*n - 3095. Let d be x(10). Which is greater: k or d?
k
Let w = -1951 + 1875. Is -7 at least as big as w?
True
Let a = -5822 - -5800. Is 18 not equal to a?
True
Let p be 3/(-2)*2/3. Let c be (-14)/(-5) + (-2 - 6)/(-40). Suppose -9 + 42 = -c*l. Is l greater than or equal to p?
False
Suppose 0 = 4*f + 2*g - 14, -f + 4*g - 4 = 3*f. Let b be 6/2 - 5/f. Let m = 1/6 - b. Do -2/5 and m have the same value?
False
Let h(g) = 30*g - 60. Let o be h(2). Is o at least as big as 7/22?
False
Let f = 5635 - 5682. Which is smaller: -169 or f?
-169
Let h = -31192 + 404254/13. Which is bigger: -96 or h?
h
Let n be 12/2 + 9/((-27)/6). Let w be -3*n/(-294)*1. Is 0 greater than w?
False
Let h = -4089 + 4145. Which is greater: -12 or h?
h
Let k = -8 + 2. Let q = k + 7. Let j = 0.07544 + -8.77544. Which is greater: j or q?
q
Let y = -4714 + 4657. Does y = -54?
False
Suppose 0 = 4*t + 6*t - 40. Let w(h) = -h**3 + h**2 + 9*h + 12. Let v be w(t). Which is bigger: 1/104 or v?
1/104
Let f(h) = -h**3 - 3*h**2 + 6*h + 4. Let r be f(-3). Let c be r/8*(-48)/(-60). Let d = c + -1/5. Which is bigger: d or -1?
-1
Let f = 12819 - 12817. Let u = -0.326 - -0.4. Is f at least u?
True
Let z = 8543/2 - 4272. Are 3/614 and z unequal?
True
Suppose 44*i = -9191 - 13389 + 5552. Which is smaller: i or -379?
i
Let x(a) be the second derivative of -35*a**4/6 - a**2/2 - 5*a. Let y be x(-1). Let r = -48 - y. Do r and 24 have the same value?
False
Let k(g) = g**3 + 6*g**2 + 10*g + 2. Let y be k(-6). Let h = y - -67. Let z be -2*((-6)/h)/((-40)/(-246)). Is 8 > z?
False
Let q(m) = 2*m + 42. Let h be q(-35). Let a be h/(-7) + -15 + -2. Suppose -p + 0 - 12 = 0. Is p smaller than a?
False
Let z = -45.43 + 45. Let x = 82.9 + -86.33. Let i = x - z. Is 8 < i?
False
Suppose 2*q = -3*v + q + 86, 2*v - 54 = q. Let a be (18/8)/(30/(-160)). Let o = a + v. Is o at most 18?
True
Let g = -0.1804 - 0.1286. Which is smaller: -1/3 or g?
-1/3
Let h = -2/1313 - 17468138/9191. Let c = -1907 - h. Let p = 401/70 + c. Which is smaller: -2 or p?
-2
Let o = -35 + 35. Suppose -2*r + 3*p + o*p = 0, 0 = 5*r - 4*p. Which is bigger: 18/19 or r?
18/19
Let m be (-15)/(-309)*(-10)/(-775)*-196. Let a = m - -6/103. Suppose o + 2*x = -4 - 1, 5*o - 8 = x. Is o greater than a?
True
Let k = -1642 + 144505/88. Which is greater: 0 or k?
k
Let v(w) = w**3 + 3*w**2 - 83*w + 56. Let x be v(-11). Which is bigger: 1/4083 or x?
x
Let l = -1785 + 1784.9. Let f = 59 + -292/5. Is f < l?
False
Let o be 2/3 + (-64)/69. Let z(l) = -2*l + 35. Let d be z(9). Suppose -3*a + 20 = d*a. Do a and o have the same value?
False
Suppose 100783 = -129*x + 32*x. Which is smaller: -1040 or x?
-1040
Suppose 11*d - 22*d - 5*d = -9664. Which is bigger: d or 607?
607
Let g be (-34410)/(-1184) - 2/32. Is g < -45?
False
Let n = 3/5981 - -35343/1082561. Suppose -2*y + 7*p + 17 = 2*p, -9 = 3*y + 4*p. Which is smaller: y or n?
n
Suppose 0 = 5*i - 25, -2*i + 189 = 3*c + 71. Let m = c + -24. Is m at least as big as 12?
True
Let b be (10/15)/(1*8/36). Let u(d) = d**2 - 8*d + 9. Let j be u(7). Suppose 3*o = 3*a + 18, -4*a - a = -j*o + 18. Which is bigger: b or a?
b
Let c = 1.42 + -1.52. Let r = 0.77 - -43.23. Let b = 40 - r. Which is greater: b or c?
c
Let q = 36 - 36. Suppose 2*i + 3*v + 22 = 0, q*i - i - 4*v - 21 = 0. Let w be 2*(i - (-4 - 0)). Is -0.1 < w?
False
Let x = 394 + -393.875. Let b = x + 1.875. Which is smaller: -78 or b?
-78
Let o be (3 + (-85)/25)/((-8)/(-1835)). Let y = o - -92. Let b = 31 + -42. Which is smaller: b or y?
b
Suppose 5*n = 2*z + 7, -n = -4*z + 2*z - 3. Let l = -1583/4 + 2377/6. Is z equal to l?
False
Let z = 608/2279587