- -2). Which is smaller: q or -18?
q
Let s be (-4)/(-18)*(-1848)/29722. Which is smaller: 1 or s?
s
Suppose 4*m + 40 = 14*m. Let i be (-69)/((-4)/m*7). Which is smaller: 10 or i?
i
Let w = -1380 - -56562/41. Let f be 6 - 3/((-36)/(-84)). Is f at most as big as w?
True
Suppose -2*g - 4 = 3*u, 4*u + 6 + 7 = 5*g. Let h(q) = -5 - q + q**2 + 1 + 3. Let l be h(u). Is l greater than 5?
False
Let t = 16728 - 16294. Are t and 443 non-equal?
True
Let o = 4924 - 4497. Which is smaller: o or 426?
426
Suppose 3*r - 3 = 5*f - 7*f, 2*r - 2 = f. Suppose -3*t + 3*u + 1428 = f, 4*u + 2364 = 5*t + 7*u. Let o be ((-5)/(-10) - 225/t)*-1. Which is bigger: o or 0?
0
Suppose -45 = -12*h + 75. Suppose -2*u = 3*u - 180. Suppose -4*y + 24 = x, y = -3*x - x + u. Which is smaller: x or h?
x
Let t(k) = -2*k**2 - 4*k. Let b be t(-2). Let l = -1665472/15 + 2175124033/19590. Let u = 1/653 + l. Is u < b?
False
Let r = 1 + 3. Suppose r*m + 5*h - 48 = 27, m = -h + 19. Suppose 2*i + 9 = 3*a, -5*i = 2*a - 5 - m. Which is smaller: i or 6?
i
Suppose 210*b + 114*b = 130 - 454. Which is greater: b or -11/1069?
-11/1069
Let x be -9*-10*5/(-75) - -651. Is 645 != x?
False
Let n = 0.75 + -0.827. Let h be (6184/34012)/(2 + 7/(154/(-68))). Which is smaller: h or n?
h
Let o(l) = l**3 + 3*l**2 - 8*l - 9. Let f be o(-4). Suppose 0 = -5*a + 22 - f. Suppose -w - b = 5, a*w - 6*b = -2*b + 6. Which is greater: -4 or w?
w
Let g be 2276/(11/88 - 3/(-8)). Is g <= 4551?
False
Let i(h) = -h**3 - 3*h**2 - 2*h - 1. Suppose -5*t - 6 = -11. Let k be ((0 + t)*2)/(7/(-7)). Let g be i(k). Is g greater than -3/26?
False
Let q = 1812502/9 + -201646. Let z = q - -257. Do z and -0.1 have different values?
True
Let r(t) = -2*t - 3. Let c be r(-6). Let p be (1/5)/((-71)/(-1065)). Suppose -6*u + 2*v = -5*u - 10, p*v + 57 = 5*u. Which is greater: u or c?
u
Let r be 2/(-1)*(-5 + (-20)/(-5)). Suppose -10*a = -9*a - r. Let c be (1*4/(-12))/(a/(-6)). Which is bigger: 3/86 or c?
c
Let t = 2119 - 2968. Which is greater: t or -2?
-2
Let u = 2474 - 2475.057. Let p = -0.057 - u. Which is smaller: -5/8 or p?
-5/8
Suppose -94 + 24 = 7*q. Let x be 32/24*(-3)/(-8)*10. Suppose -3*m - 18 = 4*h, -5*h + 16 = -x*m - 49. Is m bigger than q?
False
Let b be (180/468)/(258/6). Is b >= 1?
False
Let j = -837.284 + 835. Let b = 0.216 - j. Are 2 and b nonequal?
True
Let a = -699 - -699.05. Let h(u) = -2*u - 1. Let v = 20 - 18. Let i be h(v). Which is smaller: i or a?
i
Let f = -81 + 48. Let z = -32.78 - f. Let p = -0.78 - z. Is p less than or equal to -17?
False
Let z(i) = 1133*i - 33. Let f be z(1). Is 1101 equal to f?
False
Suppose -4*s + 8*s - 16 = 0. Let j be s - (-6 - -7)/((-1)/71). Is j at least as big as 75?
True
Let v = -1.7 - -2.7. Let q = -5.98 + 6. Let f = q + -1.02. Is v != f?
True
Let v = -2115/772 - 2/193. Let z = -11.5 + 11.4. Do v and z have the same value?
False
Let l = 27799.939355 + 0.060645. Is 2/3 at least as big as l?
False
Suppose -d + 33 = m - 4*m, 3*d = m + 131. Let w be 0 - -1 - 5/(d/207). Which is smaller: w or -20?
w
Let n be 10/115 - 4515/345. Which is smaller: -188/13 or n?
-188/13
Let a(s) = -s**3 + 11*s**2 - 16*s + 32. Let c be (-1 - (2 + -1))*(18 - 23). Let m be a(c). Is m equal to -27?
False
Suppose 3*m - 2*h = 383 - 370, m + 4*h + 19 = 0. Which is bigger: m or 2/1037?
m
Let y be ((-190)/15 + 0)*1086/2353. Suppose s = 3*b + 13, -3*b - 4*s - 12 - 26 = 0. Is b greater than or equal to y?
False
Let r be (-30)/60 + ((-10)/(-2) - 901493/200336). Which is bigger: -1 or r?
r
Let s(b) = -16*b**2 - 2*b - 3. Let c be s(-2). Let h(w) = 4*w**2 - 4 - w**3 - 193*w + 188*w - 8. Let o be h(5). Which is bigger: o or c?
o
Let k be 23 + -19 + 5 + -9. Which is smaller: -57/176 or k?
-57/176
Let q = 30627212/743 + -41221. Is q smaller than 0?
False
Suppose -108*z = -104*z + 44. Let f(t) = -3*t**3 + 2*t**2 + t + 2. Suppose -g = -5*y + 13, 0 = -4*y - 0 + 12. Let r be f(g). Which is greater: r or z?
z
Suppose 2*l = -l + 54. Suppose -18*w + 5*a + l = -15*w, -3*a - 5 = 4*w. Is w at least as big as 17?
False
Suppose 3*y + f = 2454, 8*f = 3*f - 30. Let n = 879347/19 + -47507204/1045. Let b = y - n. Is 1 >= b?
True
Let h be -65 - 4/(4*-1). Let f be 0 + 14*9/(-2). Which is smaller: h or f?
h
Let t = -45 + 50. Suppose -3*j = 2*j - t. Let l = j + -1. Which is smaller: l or 1/6?
l
Let a = 0.00244 + 0.09756. Which is smaller: -2866 or a?
-2866
Let h = 25484/3 - 8309. Let o = h - 186. Which is smaller: o or 222?
o
Let r = 10279/4 + -2570. Is 409 at most r?
False
Let i(h) = h**3 + h**2 - 6*h + 9. Let g be i(-4). Is g smaller than -12?
True
Let m = -190 + 190.47. Let j = -0.82 + m. Which is smaller: 0.02 or j?
j
Let f be 16 + -18 + (-4)/(-6) + 2. Which is smaller: -0.163 or f?
-0.163
Let p = 0.19535 + 0.00465. Suppose -y - 95 = 29. Are p and y non-equal?
True
Let t = 105 + -111. Let n be (2 - -2) + 4 + 3. Suppose n = 2*j + 23. Is j < t?
False
Suppose -6 = -w - o, -5*w + 0*o - 3*o = -26. Suppose -s = 13 - w. Let u be (-20)/(-90) + (-223)/s. Is u at least as big as 25?
True
Suppose -555*z + 894*z - 678 = 0. Let h = 5336 + -90656/17. Which is smaller: h or z?
z
Suppose -15*b - 19*b + 48 = 14*b. Let u(r) = -r**3 - 13*r**2 + 15*r - 8. Let c be u(-14). Which is bigger: c or b?
b
Let m be -3 - (-3 + 245/(-10) - (-2)/4). Which is bigger: 68/3 or m?
m
Let m = 1901 - 1835. Is 54 at least as big as m?
False
Suppose -45*d - 13*d + 5808 = -2254. Let y = 2 + -1.9. Do y and d have the same value?
False
Let v = 17 - 0. Let x = v - 9. Let b be -3 - (8 - (-4 - -17)). Which is bigger: b or x?
x
Let c(t) be the third derivative of t**6/45 - 11*t**5/60 - 5*t**4/24 + 12*t**2. Let y(p) be the second derivative of c(p). Let x be y(3). Is x greater than 26?
False
Suppose -483*l + 67863 = -117*l + 220851. Do -410 and l have the same value?
False
Let b = 143 + -225. Let o = -70 - b. Suppose 0 = -o*z - 7 + 19. Does z = -21/8?
False
Let p = 7.41 + -6.987. Let u = p + -0.323. Is -0.071 smaller than u?
True
Let r(q) = -12*q + 38*q**2 + 3 - 11 + q**3 - 41*q**2. Let a be r(6). Suppose 6*l = j + 2*l - 33, -2*l = -j + 31. Which is greater: j or a?
j
Let a(y) = y**3 - 7*y**2 - 117*y - 46. Let g be a(15). Which is smaller: g or -3/913?
g
Let h = -17935 + 17933. Is -1650/7 less than h?
True
Let q = -1429.053 + 1371.03. Let p = q - -58. Let j = p + 23.023. Which is bigger: 0.2 or j?
j
Let o be -2 - -4 - 176/86. Let y be 15/(-10)*16/(-24). Let i(r) = -r**3 + 9*r**2 - 11*r + 4. Let x be i(y). Which is smaller: x or o?
o
Let f(g) = g + 6. Let b be f(-6). Suppose -130 = -3*d + u, -340 = 140*d - 148*d + 4*u. Let i be (b - (-10)/6)/(d/(-135)). Is -5 less than i?
False
Let x = 12540 + -12539.93415. Which is smaller: 2 or x?
x
Let u = 0.2196 + 1421.7804. Is u at least as big as 1?
True
Suppose 0 = -4*m - 4*h - 9844, 0 = -4*m + 2*h - 5803 - 4071. Is -2464 less than m?
False
Let w = 323 - 102. Let k = -2875/13 + w. Suppose r + 4*d + 15 = -0*r, -d + 1 = 5*r. Which is smaller: k or r?
k
Let o(m) = -m + 10. Let h be o(5). Suppose -h*y + 12 = -28. Suppose 10*a = y*a - 18. Is -9 >= a?
True
Let h = 14 + 45. Let q = h - -26. Let u = q + -108. Is -25 at most as big as u?
True
Let y(a) = a**2 - 68*a + 974. Let s be y(21). Which is smaller: s or 38?
s
Let i = -1.091 + 1. Let l = i - 0.039. Let d = -0.03 - l. Is 7 less than or equal to d?
False
Let a be (5 - (-45)/(-10)) + 15453/6 + 2. Which is smaller: 7736/3 or a?
a
Let c = 888/527 + -27/17. Let j be -5 + 7 + 0 + 0. Suppose -3*z = -j*k + 13, -z - 8*k - 21 = -12*k. Which is smaller: c or z?
z
Suppose -4*v - 20 = 5*u, -15 = -2*u + 7*u + 3*v. Suppose -s + 0*s - 73 = u. Let q be -6*((-2359)/147 + 16). Which is greater: q or s?
q
Let g(y) = -5*y + 51. Let j be g(9). Suppose 18 = j*n + 12. Which is smaller: n or 1/104?
1/104
Let y = -2219/3 + 740. Which is greater: 40/3 or y?
40/3
Let q = -145 + 102. Let d be ((-8)/(-6))/((-508)/15621). Is q equal to d?
False
Suppose 0 = 5*t - 10, 43*s + 640 = 45*s + t. Which is smaller: 337 or s?
s
Suppose -4*s - 10 = -48*t + 45*t, -5*t + 2*s + 12 = 0. Let q be 125/10*(t - -2)/(-2). Does -270/11 = q?
False
Let d = 64333173 - 113676713333/1767. Let u = d + -60/31. Is u less than 1?
True
Suppose 29*q - 57 - 110 = -22. Which is smaller: q or -42?
-42
Let y(c) = c**2 + 72*c + 1167. Let s be y(-25). Which is bigger: -1656 o