rue
Let o(j) = -j - 12. Let y be o(5). Let r be ((-3)/3)/(y/(-6)). Let c = 141/34 - r. Which is smaller: 4 or c?
4
Suppose 0 = -59*s + 60*s + 5*o - 50, -3*o = -2*s + 35. Which is greater: s or -23?
s
Let x be ((-4)/(-2))/(1/(-1)). Let y(n) = 2*n - 10*n + 11 + 5*n + 5*n. Let r be y(x). Which is smaller: 4 or r?
4
Let v(g) = -31*g**2 + 14*g + 4. Let i(h) = 17*h**2 - 7*h - 2. Let p(z) = 7*i(z) + 4*v(z). Let q be p(2). Is -9 smaller than q?
True
Let n = 79.9 + -95. Let x be (-2)/4*(275/(-10) + 28). Is x equal to n?
False
Let f = -52 + 53.87. Let y = f - -14.13. Let p = 45/7 - 173/28. Which is greater: p or y?
y
Let u = 18292 - 18304. Let x be 11/1 + -4 + 2. Let n(w) = w**3 - 8*w**2 - 10*w - 3. Let l be n(x). Are u and l equal?
True
Let q = -773 + 772.5. Let v = 40 + -32. Does v = q?
False
Let l = 76 + -86. Let a = -7.8 + 17.9. Let p = a + l. Is -52 <= p?
True
Suppose -7*h = -27*h + 900. Let p be 252/6 - -3*1. Are h and p unequal?
False
Let k = -0.00731 + -0.24069. Is 1 at least k?
True
Suppose 2*c - 68 - 16 = 0. Let r be 0 + -3*(-1675)/120. Let t = c - r. Which is smaller: 0 or t?
0
Suppose 3*m = k + 26, -7*m + 5*m + 4*k = -24. Suppose -2*x - 3 = -5*x. Suppose -m = 4*j - 5*g, x = 3*j - 4*g + 2*g. Is j != 16?
True
Let w = 29.1 + 921.9. Let v = 884.1 - w. Let a = v + 67. Is a > -1/3?
True
Suppose -3*g - 3*j + 87 = 0, g - 16446*j + 16449*j - 15 = 0. Let n = 131/2 + -30. Is g <= n?
False
Suppose -3*i + 2*q = 2*i - 2, i + 5*q - 22 = 0. Suppose i*c + 652 = 27*b - 31*b, 3*b - 1565 = 5*c. Which is greater: -315 or c?
-315
Let d = 224 - -102. Let l = -410 + d. Is l greater than or equal to -0.1?
False
Let y be (-10)/2 - (-23 - 50). Suppose 0 = 4*i - 88 + y. Let t be (-137)/(-15) - ((-440)/75 + 6). Which is smaller: i or t?
i
Let u = 78 - 43.3. Let i = -37.88 + u. Is -1 greater than or equal to i?
True
Let t(m) = -11*m + 16. Let d be t(2). Let z be 5 + (3480/118)/d. Which is smaller: z or 1?
z
Let w(f) = -41*f + 48. Let o be w(9). Let k be (o/(-54) - 6)*2*5. Which is smaller: -0.2 or k?
k
Suppose 0*w = -7*w + 52388. Let d = -37102/5 + w. Which is bigger: d or 63?
d
Let s = 222 + -217.3. Let i = s - 4.9. Which is smaller: i or -110?
-110
Suppose 0 = -q - 3*m - 11, 5*q - 3*m - 67 = 10*q. Let p(u) = -4*u - 56. Let t be p(q). Is t less than or equal to 12/79?
True
Let f = -2735 - -2734. Which is smaller: f or 2/2791?
f
Let a be 9714/(-1360) + 2/17 - -7. Which is greater: -16.1 or a?
a
Let p(d) = d**3 - 6*d**2 + 10*d + 18. Let y be p(6). Suppose 0 = 6*l + 78 - y. Which is smaller: 33 or l?
l
Let p be (385572/(-2667))/((-1)/7). Is 1004 greater than p?
False
Let j be ((-145)/116)/((-515)/100). Which is bigger: 1 or j?
1
Let z = -39.993 - -40.01. Are 11/10 and z unequal?
True
Let z(w) = 7*w**2 - 8*w - 35. Let d be z(-8). Suppose -d = 9*l - 459. Which is greater: l or -1?
-1
Let m = 1.198 + -0.898. Let k = 468438/239 - 1960. Which is smaller: k or m?
k
Let k(l) = 627*l + 1616. Let u be k(3). Which is greater: 10492/3 or u?
10492/3
Suppose -78 = -5*u + 62. Suppose 2*j + 16 = -0*k + 5*k, 0 = -k - 3*j - 7. Let h be 0/(-4 + k) + 28. Is u <= h?
True
Let g be 13/(-52) + 54/(-8). Suppose 0 = 4*s + 4*c - 10 + 14, 5*s = 5*c + 25. Which is greater: s or g?
s
Let z be 41526/135*(-5 + 116/8). Which is bigger: z or 2922?
z
Let n be (5 - -128)*(-28)/644. Which is greater: n or -6?
n
Let t = 53.98 + -53.17. Are t and -1.5 nonequal?
True
Let u = 60816581/4034 - 15076. Which is smaller: u or -1?
-1
Let o(t) = 122*t + 8195. Let w be o(101). Which is greater: w or 20518?
20518
Suppose 0 = 60*k - 74*k + 238. Let l(a) = -9*a - 14. Let x be l(-4). Are x and k equal?
False
Suppose -4*j + 15 = -45. Let z be (-84)/j - 5/(-75)*-6. Let y be -3 + (-7 + 4 + -1 - z). Which is smaller: 3/43 or y?
y
Let w(o) = 15*o - 649. Let s be w(56). Is 170 greater than s?
False
Let g = 0.4648 + 3.5352. Which is smaller: 1.09 or g?
1.09
Let q = 6558 - 5199. Which is smaller: q or 1364?
q
Suppose -3*w + 157 = -29. Suppose -2*r - 28 = w. Which is smaller: -44 or r?
r
Suppose 44*f = 48*f - 72. Suppose -13*u = -f*u - 5. Is u smaller than 1/42?
True
Let t = -109118 - -13639657/125. Let p = -3/500 + t. Which is smaller: 145 or p?
p
Let y(h) = 47*h - 785. Let s be y(21). Is s >= 1418/7?
False
Suppose 67*z - 132537 = 54393. Which is bigger: z or 8372/3?
8372/3
Suppose -u + 7*n = 2*n + 286, 0 = 3*u + n + 826. Let r = 268 + u. Which is bigger: r or -24?
r
Let i(s) be the third derivative of s**6/120 - s**5/30 + s**4/24 + s**3/3 + 6*s**2. Let o be i(2). Let b be 9/36 - 1/o. Which is smaller: -5/4 or b?
-5/4
Suppose 3*v + 6 = 0, -2*v = -4*r + r + 202. Let h be (-42)/(-11) + (24/r)/2. Suppose 0 = -2*s - h*t + 14, -s + t = 5*t - 7. Are 9 and s unequal?
True
Suppose -2*p = 8, 2*p + 4 = -3*j + 2. Suppose -j*r = -5*b - 3752, -b - 2*r = 3*r + 745. Let n = -10505/14 - b. Which is smaller: 0 or n?
n
Let n(d) = -d**3 - 8*d**2 + 26*d - 47. Let m be n(-11). Let g = 23 - 25. Which is greater: g or m?
m
Let i(v) = -23*v + 14. Let m be i(4). Let y = m + 78. Which is greater: y or 6/73?
6/73
Let s be (-102)/(-17) + (-15)/((-708135)/(-283256)). Is s at most as big as 0?
True
Let j(n) = -44*n**2 + 109*n - 326. Let b be j(9). Which is smaller: b or -2910?
-2910
Let r be (27 + 1)*(-14)/(-4 + 2). Suppose -m + 2*j + r = 0, 4*m + j - 220 = 582. Suppose -63*i = -68*i - m. Is i less than or equal to -39?
True
Let z = 2406 - 2406. Is z >= -2/1031?
True
Suppose 0 = -4*p - h + 18, -7 = -2*p + p + h. Suppose -p*z = -5*z - 9*z. Suppose -6*b + 3*b = -3*x + 99, z = -x + 5*b + 21. Does x = 35?
False
Suppose -82*y = -18*y + 19*y. Does 2/28265 = y?
False
Suppose 27 - 3 = 6*u. Suppose 2*j = 2*a + u - 10, 5*a - 3*j = 7. Is a at most 6/115?
True
Let s = 3149.73 - 3150. Which is smaller: s or 6/7?
s
Let g = 5 - 3. Let x = -6 + 0. Let i be x*(24/(-60) - 2/(-10)). Which is smaller: g or i?
i
Let v = -8339 + 8374. Is -2/15 > v?
False
Let j = -12 - -17. Suppose 0 = -j*y - 0*r + 3*r - 14, -3*y = -4*r + 15. Let v be (-1 - (-1 + 1))/(y/(-2)). Which is smaller: v or -16?
-16
Let c be (-1)/(-13) - (349920/(-5980))/8. Which is greater: 6 or c?
c
Let s = -17 + 16.1. Let j = s + 29.9. Let c = j + -28. Do c and 4 have the same value?
False
Let q = 249.86 + -252. Let r = q - -2.2. Let v = -95.3 - -95. Which is smaller: v or r?
v
Suppose d = -t - 7, -3*t - 37*d - 1 = -38*d. Is -38/61 smaller than t?
False
Suppose -1 = -2*i + 5. Suppose 3*z - 19 = v - 4, 5*z - 25 = -i*v. Let c(j) = j**2 - 6*j + 6. Let b be c(4). Does b = v?
False
Let x be ((39972/126)/((-24)/(-42)))/((-8)/(-36)). Which is smaller: x or 2497?
2497
Let t be 10/25 + -40 + 38 + (-1442)/(-20). Suppose -3*n + w = -175 - 33, -20 = -4*w. Is t at least as big as n?
False
Let g be (-9109)/3*-36*(-1)/83. Let z = g - -1317. Is -1 > z?
False
Let s = -238 + 274. Suppose -48*z + 49*z - s = 0. Are z and 34 equal?
False
Suppose -8*w + 2*w + 60 = 0. Suppose 4*q - 3 = -x, 81 - 3 = 5*x - q. Which is greater: w or x?
x
Let b be (-5096)/24 - 1*(-8)/6. Which is smaller: b or -1048/5?
b
Suppose 3*z = -5*o + z - 214, -2*o + 5*z - 74 = 0. Let t = o - -18. Suppose -25 = j + p, 3*j - 6*p + 69 = -3*p. Is j bigger than t?
False
Suppose -65 = -5*p + 10. Let z = -26 + p. Let r = z + -3. Which is bigger: r or -15?
r
Let p = 4226 + -1300. Suppose -20*w + p = 2*w. Which is smaller: 131 or w?
131
Let c(l) = 7*l**3 - 14*l**2 + 5*l. Let x(m) = -3*m**3 + 7*m**2 - 2*m. Let q(z) = 2*c(z) + 5*x(z). Let j be q(7). Which is greater: 4/167 or j?
4/167
Suppose 28*x - 44*x = -115*x. Is x at least -65/407?
True
Let i = -8658.41 - -8719. Let o = i + -60.9. Which is bigger: -2 or o?
o
Let z = -6486.104 - -6486. Is -2 at least as big as z?
False
Let t be 4 - 80/25 - (-29)/145. Which is greater: t or 3/2027?
t
Suppose -2*v = 4*x - 1496, 5*x + 54*v - 1900 = 59*v. Which is bigger: x or 1132/3?
1132/3
Suppose -8 = -4*w + 2*w, 5*w - 20 = 3*l. Suppose 5*p - p + 8 = l. Let r be (-20)/(-15)*p/26. Which is smaller: -1 or r?
-1
Let q(c) = 41*c - 188. Let t be q(5). Suppose t*o + 167 = 439. Is 20 >= o?
True
Let r = -25112/5 - -5022. Which is smaller: 609 or r?
r
Let z be (-12)/(-22) - 0/2. Let l = -20.849702 + -0.150298. Is z greater than l?
True
Let k = 60.10787 + -0.10787. Which is greater: -77 or k?
k
Let c(m) = m**2 + 106*m - 554. Let h be c(5). Which is small