12 = -268*i + 264*i - v, 5*i + 35 = 5*v. Which is smaller: 2/20619 or i?
2/20619
Let l be 739/((-2)/(-1) - 3). Let n = l + 738. Which is smaller: n or -2/1145?
n
Let i be (-63)/(-2) + (-1)/2. Suppose i = -2*p + p. Let d = p - -29. Which is bigger: -30/11 or d?
d
Let l = 33593 + -504124/15. Which is greater: l or -16?
l
Let n be 3/(-15)*(-55)/44. Which is smaller: 4952 or n?
n
Suppose t = 2*t + 3, 0 = 2*y - 3*t + 1. Let w be 306/(-255) + (-1)/y. Is 4/35 at least as big as w?
True
Let h(s) = 101*s**3 + s**2 - 2*s + 2. Let p be h(1). Suppose 5*m - p + 52 = 0. Suppose -9*u - 7 = -m*u. Which is smaller: 10 or u?
u
Suppose 2*o - 2*h + 15 = -5, -5*h = 5*o - 20. Let a(u) = u - 4. Let w be a(4). Let d = 2 - w. Which is greater: o or d?
d
Let t be (-203)/(-145)*(-4)/(-14) + (-572)/1455. Let y be (-2)/(-2) + -2 + 2. Are y and t equal?
False
Let p = 1 - 0. Let z(g) = 39*g + 373. Let l be z(-9). Let c be ((-130)/(-195))/(28/l). Which is smaller: c or p?
c
Let i be (471/(-105) - -5)*5/8. Let a be (-1 + (-3)/(-4))*1. Let w = a - i. Which is smaller: w or -1/3?
w
Suppose -15*w = -12*w + 15. Let j = -46 - w. Are j and -39 non-equal?
True
Let w = 613 + -984. Let n be 106/w - (-8)/14. Is 0.019 equal to n?
False
Let i = -2266812/43 - -52722. Is i > 6?
False
Let a(t) = -1080*t + 2023. Let o be a(2). Which is smaller: o or -43?
o
Let d = -444/3883 + 203873371/104841. Let z = -1945 + d. Is 0 smaller than z?
False
Suppose 10*j + 3*k - 14 = 9*j, 15 = -5*j + 2*k. Is -144/217 not equal to j?
True
Let d = -3669.8 + 3672.8. Is d smaller than 6/377?
False
Let l(h) be the first derivative of -h**4/4 - 2*h**3 + h**2/2 + 2*h - 1. Let f(o) = -5*o + 34. Let a be f(8). Let c be l(a). Is -3 equal to c?
False
Suppose -8 = 17*u + 9. Let m = 5 + 5. Suppose -2*a - 4*r + m = -8, 4*a + 4 = 2*r. Is u greater than or equal to a?
False
Let q(d) = d + 1. Let s(k) = k**3 - 3*k**2 - 14*k + 7. Let j(z) = 4*q(z) + s(z). Let p be j(4). Is -16 equal to p?
False
Let x be -2 + ((-255136)/567 - 4). Let r = x - -456. Is r equal to 0.1?
False
Suppose 24*k - 58*k + 34 = 0. Let z = 553 + -84059/152. Is z greater than k?
False
Suppose 2*q + 3*a = 153, 4*q + a = 7*q - 213. Suppose -12 = 3*i - 270. Suppose w = 4*d + i + q, w = -4*d - 154. Is d greater than -38?
False
Suppose 28*h - 31*h = 288. Let j = 104 + h. Suppose -57 = -5*z + 4*c - 16, -4*z - 3*c = -j. Which is smaller: z or 50/9?
z
Let g = -28471 - -3729669/131. Do 0 and g have different values?
True
Suppose -105*r + 100*r - 5 = 0. Let k = -10 - -58. Which is bigger: r or k?
k
Let q be (1/(-4))/(-1) + 259/148. Let r = 119 + -121. Let n be 0/(2 - ((-18)/r)/3). Which is greater: n or q?
q
Let m = 0.082 + 0.318. Let u = -19.44 + 4.44. Is m smaller than u?
False
Let b be (23/((-207)/459))/((-3)/(-4)). Let y = -112 - -43. Which is smaller: y or b?
y
Let x(k) = 204*k + 214. Let v be x(-6). Is -2021/2 at most as big as v?
True
Let w = -29 + 58. Suppose 25*h - w*h = -8. Let c(q) = -3*q**2 + 3*q - 3. Let k be c(2). Which is smaller: h or k?
k
Let r be (-10)/65 + (-1028736)/(-468). Which is smaller: r or 2199?
r
Let y = 34875/11 + -3177. Let d = 3689 + -3695. Which is smaller: y or d?
y
Let r(h) = 3*h**3 - h**2 + 10*h - 20. Let a be r(2). Suppose -47*q + 27 = -a*q. Is q <= -37?
False
Let n = -21 + 19. Let l = -2064 + 14451/7. Which is smaller: n or l?
n
Let d be ((-12)/(9/(-3)))/2. Let z be 9/(-2)*d/3. Suppose -28*j + 54*j + 78 = 0. Is j at least as big as z?
True
Suppose 2*k + s = -382, -41*s - 184 = k - 44*s. Which is bigger: k or -187?
-187
Let w(z) = -19*z - 1495. Let c be w(-78). Is 0.8 smaller than c?
False
Suppose 139310*v + 190 = 139272*v. Let l be 1/3 - (-47)/(-9). Is v < l?
True
Let g = 0.233 + -0.178. Let i = 0.347 - g. Is 0 at most as big as i?
True
Let l be 666/4 + (-77)/14 + 6. Let n = 160 - l. Are n and -6 nonequal?
True
Let l(v) = 128*v**3 - 10*v**2 + 18*v - 1. Let y be l(2). Which is bigger: y or 1017?
y
Suppose 0 = -2*t - 22 + 30. Let x = t - 4. Suppose -5*v = 2*a - 20, x = 5*a - 3*a - 5*v. Do a and 4 have the same value?
False
Let g(f) = 1039*f - 14. Let y be g(12). Let r be y/(-2620) + (-3)/(-6). Let c = 7/131 + r. Is 1 less than c?
False
Let y = 4353 - 4352. Which is smaller: 10/279 or y?
10/279
Let l be 3/252*-14 + (-1)/(-6). Is 9/224 <= l?
False
Let a(g) = -28*g - 22. Let p be a(3). Let f = p - -107. Which is smaller: -15/34 or f?
-15/34
Let x = -6 + 40. Let l be (2/(-6))/((-9)/945). Which is smaller: l or x?
x
Suppose -4*p - 1408 = -2*t, -4*p - t = -2*t + 1408. Let i be (0 - 2/(-11)) + (-816)/p. Do 3 and i have different values?
True
Suppose -4*n + 236 = 2*i, 0*i - i - 4 = 0. Let p = 10414 - 10414.1. Is n at least as big as p?
True
Let g = 24212 + -21570. Does -3/4 = g?
False
Let z = -1910.9 - -1818.89. Let h = 92 + z. Let q = -3.99 + h. Which is smaller: -0.03 or q?
q
Let n = -988.7 + 987. Is n greater than 11?
False
Let c be (0 + -3)*1/(45/1905). Which is bigger: c or -141?
c
Let a(r) = -1940*r - 5089. Let t be a(-3). Which is bigger: t or 735?
735
Suppose -10 = 223*q - 228*q. Suppose -5*l - 130 = 4*j, 52 = -q*l - 5*j + 3*j. Does -20 = l?
False
Let b be ((-1)/(-5))/((-1)/(-128)*104). Which is smaller: b or 1?
b
Suppose -2*f + 12339 - 2329 = 4*a, 2500 = a + f. Suppose 11*h + 1559 - a = 0. Which is smaller: 87 or h?
h
Let x be 66/(-819) + (-6)/(-21). Let n = 0.85 - 1.85. Do n and x have different values?
True
Let o = 10/9 - 4/9. Suppose 15*i - 7*i + 16 = 0. Which is smaller: i or o?
i
Let g = -10605.05221 - -10605. Is g less than 1?
True
Let b = 108 + -168. Let y = -57 - b. Which is smaller: -0.19 or y?
-0.19
Let d = 24 + -24.24. Let h = 0.04 + d. Let x = -292 + 294. Is x smaller than h?
False
Let v = 505215820/53 + -9533735. Let u = v + 1361. Suppose 41*p - 5 = 36*p. Is p equal to u?
False
Suppose -16*g = -20*g - 184. Let w = g - -48. Suppose -5*k - m - 6 = 0, 3*m = 5*k - w*m. Which is smaller: -2 or k?
-2
Let j(s) = s**3 + 8*s**2 - 7*s + 9. Let x be j(-9). Let d be (6/x)/((-24)/(-9)). Let g = -17/8 - -5/8. Are g and d equal?
False
Let o(j) = -2*j**2 - 11*j - 6. Let a be 3 - (4 - -7) - (-1 + -2). Let l be o(a). Is -6/41 < l?
False
Let f = 44/53 - -67655/159. Let q = f - 435. Which is bigger: q or -9?
q
Let s = -679/5 - -7429/55. Let r = 2 + -2. Which is smaller: r or s?
s
Let n = 1025627/18 + -56943. Let i = 36 - n. Let w = -1/45 + i. Is w equal to 0?
False
Suppose 0*z + z - 43 = -p, 0 = 2*p - z - 77. Let o = p + -39. Suppose 3*j - 5*x + 6 = -j, -2*x = -3*j - o. Is 2/11 less than or equal to j?
True
Let t = 126 + -124. Suppose -5*p + 3*y - 2 + 32 = 0, 3*p - t*y = 18. Let d(f) = -10*f - 52. Let v be d(-6). Which is smaller: p or v?
p
Let g be (-4)/26 - 6636/(-39) - -5. Let a = 173 - g. Is -30/23 < a?
False
Let h be (316/(-69))/((-148)/18870). Let w = 584 - h. Let l = -8 + 8.3. Is w greater than l?
False
Let k = -328 + 72. Let q = 256.3 + k. Which is smaller: 1.3 or q?
q
Let a be (-74)/19 + ((-476)/(-323))/(-14). Which is smaller: -146/33 or a?
-146/33
Let c = 13101 - 13087. Are 756 and c equal?
False
Suppose -4*r = -3*a + 11, 3*a + 94*r + 3 = 91*r. Which is smaller: a or -3/10570?
-3/10570
Suppose 0 = 5165*b - 5017*b - 7252. Which is greater: 5 or b?
b
Let i be ((-2375)/(-38))/(3/18). Let v = -281 + i. Which is smaller: v or 4?
4
Let x be -406 - -1039 - (4/(-20) + (-82)/(-10)). Which is smaller: -11 or x?
-11
Let g = 10021 + -13023. Which is smaller: g or -3000?
g
Suppose -26*v + 159 = -49. Let s = -93 - v. Is -102 equal to s?
False
Suppose -11*h = -4*s - 276, -65*s - h = -60*s + 286. Suppose -c + 0*c - 60 = 0. Is s greater than c?
True
Suppose 90*g + 179*g + 4466 = -50*g. Suppose 3*j - 73 = -3*a + 53, a = j + 34. Suppose 2*q + 2*m = -a, -3*m + 7 = 19. Is q greater than g?
False
Suppose -o = -3*o - 20. Let k be ((-16)/(-72))/(((-3)/(-15))/(336/(-40))). Are k and o unequal?
True
Suppose 171 = 23*n + 33. Let u(t) = 14*t - 51. Let b be u(n). Is 163/5 > b?
False
Let l = 59/1375 - -8/275. Are 0 and l non-equal?
True
Let z = -0.005 - -0.09. Let h = z + -0.085. Which is smaller: h or 0.06?
h
Let y(q) = q**3 - 24*q**2 - 24*q - 18. Let x be y(25). Let c be (x/(-14))/((24/652)/3). Is c greater than or equal to -41?
True
Let l = 36966 - 28013. Which is bigger: l or 8951?
l
Let d = -1191 + 415. Let t = d + 748. Is -0.6 at most as big as t?
Fa