 smaller than 1/2578?
True
Let u = 0.255 + 9.745. Let h = 12 - u. Which is smaller: h or 13/12?
13/12
Let j = -0.07507 - 32.75493. Let r = j + 33. Is -1/2 at most r?
True
Let q be -5*((-90)/(-87) - 1). Let w(a) = -2*a**3 + a**2 + 135*a + 1. Let l be w(0). Which is greater: l or q?
l
Let r be 6/(-28)*13 + 3. Let b(z) = -z**3 - 7*z**2 + 7*z - 19. Let t be b(-8). Let c = -11 - t. Is c bigger than r?
False
Suppose 21 = 3*o, 70 - 11674 = g + 2*o. Do g and -23235/2 have different values?
True
Let c = 33 + 41. Let x = c - 65. Suppose x = 3*w - 6*w. Which is greater: -0.03 or w?
-0.03
Let t be (-80)/(-16) - 32/7 - 14324/(-28). Does 512 = t?
True
Let s = -35 + -40. Let i be 2/((-48)/(-15))*(-1203)/10. Let a = s - i. Which is smaller: 0 or a?
0
Let i(y) be the first derivative of y**4/2 - 5*y**3 - 4*y**2 + 19*y - 17. Let p be i(8). Let z = p - 29. Which is greater: -6 or z?
-6
Let o = -40646 - -55610. Are 1 and o equal?
False
Suppose x = p + 652 - 2087, x + 1439 = 3*p. Which is smaller: x or -4298/3?
x
Let s(x) = -x**3 + 5*x**2 - 2. Let h be s(5). Let f = 201 - 201. Let u be f + (-3 - -1) + h. Is -7 less than u?
True
Let n(r) = 2*r**2 - 50*r - 2243. Let x be n(44). Which is greater: -559 or x?
-559
Suppose -3*g + 27 = -4*n, -4*n = 5*g - 10 - 3. Suppose 225 = g*d - 435. Let s be 3/5 - 1 - d/20. Are s and -8 unequal?
True
Let b be -1 + -3*((-3 - -1) + 1). Suppose b*u + 2*z = -0*z - 60, -88 = 4*u - 4*z. Let o = 19 + u. Are o and -6 equal?
False
Let a = 1654.03 + -1685. Let s = -263 + 294. Let i = s + a. Which is bigger: i or 3?
3
Let s = 9940 - 10169. Do -205 and s have the same value?
False
Let f(c) = -4*c + 125. Let k be f(21). Is k at most 30?
False
Suppose -413*y - 80444 = -430*y. Is y < 4731?
False
Suppose -3*h + 7 = -5*h - 3*g, -2*g - 4 = 2*h. Let f be (-14)/(h/(3/15)). Is -0.1 greater than or equal to f?
True
Let c(n) = 216*n**2 + 3*n + 1. Let k be c(-1). Let f = k - 172. Is 38 less than or equal to f?
True
Let l = -37 - -627/17. Let c = -56 - -92. Let p = 35 - c. Are p and l equal?
False
Let q = -109633/106584675 + 8/8425. Which is bigger: 1 or q?
1
Let d be (7/(-35))/((-318)/445). Let x = d - 6/53. Suppose -3*s + 8 + 5 = -4*y, 5*s + 21 = -4*y. Is s < x?
True
Let v(j) = j**3 + 47*j**2 + 65*j - 35. Let x be v(-24). Which is greater: x or 1?
x
Let t be 7 + -7 + 708/1680. Is -1 smaller than t?
True
Let w be ((-2)/(-4))/(-1 + -3). Let s be 3*2*231/(-4851) - 2/(-7). Which is smaller: s or w?
w
Let v(q) = -6*q + 271. Let w be 6/3 + (36*1)/4. Let n be v(w). Which is bigger: n or 411/2?
411/2
Suppose 3*c - 15 = 0, 5*t + 2*c + 0 = -95. Let u be (20/2)/(6/(-12)). Is t equal to u?
False
Let o = 0.523572 - -0.076428. Let p = -0.11 + 0. Which is smaller: p or o?
p
Let o be 1/1 + 3*4/6. Suppose 0 = -o*t + 24 - 0. Suppose 4*k - 84 = t*k. Which is greater: -22 or k?
k
Let g = 79091/53805 - -2/3165. Let f = 93.1 - 93. Is f at most as big as g?
True
Suppose -2*l = -6*a + 2*a - 186, 3*l = a + 289. Suppose 32 = 3*j - l. Suppose -5*g + 2*u - j = 0, -2*g - 2*u = -0*u + 6. Which is greater: g or -6?
-6
Let z = 7555/3 + -2518. Which is smaller: z or 386?
z
Let j = 5 - -29. Let v = -343 - -522. Suppose -4*w + 3*i = w - v, -2*w - 2*i = -62. Is w at least j?
True
Let l = 53 - 48. Suppose -5*t - 4 = 4*w - 3*t, -l*w = -4*t + 5. Let m be 6/3 - 45*w. Is m <= 46?
False
Let q(u) = -108*u - 39. Let x be q(-3). Let g = -1147/4 + x. Which is bigger: -2 or g?
g
Let f = -9424 - -9423. Is f > -98/199?
False
Let b = -1.9 + 88.9. Let o = 40 - b. Let p = o + 47.4. Which is smaller: 0.6 or p?
p
Let h(t) = 392*t + 642. Let b be h(-5). Is b less than -1320?
False
Suppose -3*l + 661 - 91 = 0. Suppose -110 = -5*b + l. Which is smaller: 59 or b?
59
Let v be 0 - ((-7708)/369 - -25). Let i be (-6 - -2)/2 + -3. Is v >= i?
True
Let i = 78122/3 - 26041. Is i != 267?
True
Let q be 7 - (-7 - 4)/(4/56). Which is bigger: 164 or q?
164
Let r be (-3*8/42 - (-15964)/(-42))*3. Is -1138 < r?
False
Let q = 78/529 + -1052944/1587. Is -662 bigger than q?
True
Let q = -1.386 - -1.686. Which is smaller: q or 54/11?
q
Suppose 0 = -39*n - 36 - 3. Let a be (46/40 + n)/(120/(-64)). Is 1 < a?
False
Let i = -468 - -26. Let g = i + 434. Let a = 10/29 - -28/87. Are g and a non-equal?
True
Suppose -7 + 24 = l. Let t be 30932/(-4070) + (-52)/(-2). Is l greater than t?
False
Suppose 0 = -k + 3*k - 50. Let h = k + -25. Suppose 4*c - 31 = -j - h*j, 4*j = -5*c + 113. Which is smaller: j or 26?
26
Let k(y) be the third derivative of -y**6/120 + 7*y**5/60 - y**4/8 + 10*y**3/3 + 103*y**2. Let t be k(7). Which is greater: 5/17 or t?
5/17
Let f be 2 + 1 - 1 - (-10860)/12489. Suppose 2*x = 2*u - 4*u + 2, 0 = x + 2*u. Is f not equal to x?
True
Suppose 0 = 13*r + 10*r - 2507. Suppose 0 = -3*a + 343 - r. Is a bigger than 80?
False
Let z be (-24486)/(-424)*8/3. Which is smaller: z or -12?
-12
Suppose -3*w - 52 = 4*s - 224, 5*w = s - 20. Which is greater: -2 or s?
s
Let c = -2454 + 2455.4. Which is bigger: c or -11?
c
Let n(m) = 2*m**3 - 24*m**2 - 59*m - 3. Let j be n(12). Is j bigger than -711?
False
Let c(v) = v**2 - 2*v - 30. Let f be c(7). Suppose 0 = -2*z - f*r + 92, 0 = 4*z - 4*r - 38 - 90. Is 35 equal to z?
False
Let v = 72.953 + 0.047. Let x = -158 + v. Let g = x - -87. Which is smaller: 1/7 or g?
1/7
Let g = -2708 + 1283. Is -1425 smaller than g?
False
Let r(u) = 12*u + 12*u + 9*u - 107 - 311. Let h be r(16). Does 110 = h?
True
Suppose 30*u = 26*u. Suppose 0*h - 30*h + 2610 = u. Is h smaller than 90?
True
Suppose 8*b - 36 = 2*b. Suppose -3*v = -12 - b. Suppose -4*f = o - 26, -65 = -4*o - v*f + 3*f. Is o equal to 14?
True
Let j be 3/7 + (-1 - 37367/22869). Let g = j - -85/33. Which is smaller: g or 0?
0
Let w = 56543/4 + -14136. Is w != 95?
True
Let d = 20902 - 20835. Is 71 < d?
False
Let j(x) = 3*x**3 + 2*x**2 - x - 4. Let y be j(3). Let h be -1 - -2 - 1266/(-14) - 7972/(-13951). Is h greater than y?
False
Let w be (-724*(-60)/20976 + (-4)/(-46))/(-11). Is w at least as big as 0?
False
Let p = -3 - -2. Let i = -929 + 927.9. Let x = i - p. Which is smaller: -0.2 or x?
-0.2
Let c = 2021 - 2021.1. Which is bigger: c or -49.69?
c
Let g = -30.358 + 17.358. Which is bigger: g or 4/69?
4/69
Let a be (-6)/9*15/2*-6. Suppose 3*w - 48 = 3*m, 4*w - 82 = 25*m - a*m. Which is smaller: 9 or w?
9
Let a(f) = 103*f + 43. Let k = 580 - 581. Let i be a(k). Which is smaller: -59 or i?
i
Let n = 3844 + -3913. Which is greater: n or -7?
-7
Suppose 15*j - 18*j = t - 294, 3*j = -4*t + 1158. Suppose -t*h = -286*h. Is h < -1/1053?
False
Let c = -2259 + 2212.986. Let n = c - 0.066. Let u = n - -46. Which is smaller: 1/5 or u?
u
Let w be (32/(-16))/((-24)/(-393)). Let f = w - -4343/132. Is f not equal to -1?
True
Let j be (-9622)/136 - (-5)/(-4). Let z be (32/j)/((-8)/(-12)). Which is smaller: 6/19 or z?
z
Let r = -8.73 + 210.73. Let z = r - 190. Which is greater: z or 4?
z
Let v = 289.468 - 0.468. Let z = v + -292. Let i be ((-2)/5)/(21/(-15)). Which is bigger: i or z?
i
Let x = -1128 + 1085. Which is bigger: -39 or x?
-39
Let l(h) = -h**2 - 61*h + 329. Let k be l(-30). Are k and 1258 unequal?
True
Let u be 1518/8 + ((-324)/(-16) - (-1260)/(-63)). Suppose -n + 121 = -70. Is n equal to u?
False
Suppose 14*c - 622 = -2302. Let m = -119 - c. Is -8/21 at least as big as m?
False
Let j be 170 + -1 + (3 - -2). Suppose j + 645 = 9*r. Suppose 0 = -4*i + 23 - r. Which is smaller: i or -16?
i
Suppose 19*p - 510 = 4*p. Let f be ((-17)/p)/(3/348). Is f less than -58?
False
Let q be 3*(6/9 + -1). Let f = -143/23 + 67399/10833. Is f > q?
True
Let r = -6043 - -6044. Which is smaller: r or -1/4232?
-1/4232
Let a be (-43523)/(-71) + (0 + -3 - -4). Which is smaller: 612 or a?
612
Let a(z) = 2*z**3 + 62*z**2 + 61*z + 24. Let b be a(-30). Is b != -24/5?
True
Suppose -62*s - 19*s = -21*s + 198720. Which is greater: -3313 or s?
s
Let h(g) = 4*g**2 - 2*g + 5. Let v be h(2). Suppose -81 + 1203 = -v*q. Let n = q + 64. Is -6/5 bigger than n?
True
Let s be 33 - ((-25)/(-5) - 3). Let g(v) = -v + 1. Let q be g(s). Which is smaller: 0 or q?
q
Suppose -2*l = -6*l + 32. Let v be l/(-12)*6/(-4). Let h = -22 + 37. Which is bigger: v or h?
h
Let d = -158/18651 + -337725514/801993. Let k = d - -421. Which is greater: -1 or k?
k
Let y(p) = -p**2 + 4*p + 7. Let q be y(5). Let h be ((-33)/