 + 33, -5*c + 25 = 5*k. Which is smaller: k or i?
i
Let m(a) = -15*a**2 - 153*a - 8. Let x be m(-10). Which is greater: 87/4 or x?
x
Suppose 0 = -124*b + 137*b - 1222. Let u = -242 + 239. Which is smaller: b or u?
u
Suppose 0 = -3*a - a - 2*j + 1894, -3*j = 5*a - 2366. Suppose 5*g - 879 - 1504 = -w, 0 = -5*g - 5*w + 2395. Is g less than a?
False
Suppose 3*u = 2*i + 186, 12*u = 2*i + 17*u + 234. Is i < -111?
False
Let r be (-5)/(5/9) + 4 + -3. Let m be -2*(10/(-8) + (-4)/r). Let s = m - 37/22. Which is smaller: s or 0.3?
s
Let a = -0.115 - -0.126. Let i = a + -0.911. Let y = i + 1.33. Which is bigger: y or 0?
y
Let g = 372.9231 + 0.0769. Let s = -426 + g. Which is smaller: -2/11 or s?
s
Let v = 118.69 - 118.7. Let y = 73.8 + -75. Is y <= v?
True
Let j = 3639/40 - 483/5. Let o = 28 - 35. Is j >= o?
True
Let n = 5 + -3.4. Let i = -1343 + 417. Let x = i + 927. Is n <= x?
False
Let t be (1/(-3))/(5/(-33) + (-170)/935). Suppose -p + 3*p = -2. Let y be -4 + 4 - p/18. Is t not equal to y?
True
Let j = -2177/5 + 5566594/12785. Are j and 1 non-equal?
True
Let h be (-13)/(-2 + 9 - (0 - (-72)/10)). Is 70 at most as big as h?
False
Let g = 51.6 + -51.4. Is g at least 792?
False
Suppose -5*j - 2*x + 626 = 0, 4*j = -0*j + x + 506. Let z = -129027/5 + 25931. Let u = j - z. Are 0 and u unequal?
True
Let j be 3*6 - (-1 + 2). Suppose -5*o = j*l - 20*l + 320, -4*l = 2*o + 128. Which is greater: o or -63?
-63
Let s = 132 + -128. Suppose -s*p - 9*p = 221. Do 3 and p have different values?
True
Let v = 565 + -548. Let u = -24.7 + v. Is u smaller than 2?
True
Suppose g + 2*u - 11 = 0, 28 = 4*g - g + 5*u. Suppose -19 = -5*a + g. Let p be 2 - 1 - -1 - a. Which is smaller: -5 or p?
-5
Let o(j) = 26*j**2 + j. Let u be o(0). Which is greater: 56/131 or u?
56/131
Let c = 0.171 - -1.459. Let h = 0.3 - -0.33. Let s = c - h. Which is bigger: s or -3/8?
s
Let g be (18 - (-984)/(-54)) + 4/18 + 0. Which is smaller: -159/344 or g?
-159/344
Suppose -3*o + 29 = 2*l + 8, -3*l - 4*o = -34. Suppose -3*p + 2*p - 3*n + l = 0, -p + n = -26. Let h = -34 - -58. Do p and h have the same value?
True
Let u = 45.514 + -48.514. Let n = -0.07 + 0.11. Which is smaller: u or n?
u
Let r be (-75)/10*12/(-9). Suppose 0 = -5*y + 6*w - w + 100, 0 = -y - w + 26. Let n = y + -14. Which is bigger: n or r?
r
Suppose -3*t - j - 6 = -3*j, -3*t = 3*j + 6. Let x(l) = -2*l + 3*l**3 + 4*l**2 + l - 2*l**2 + 2*l + 2. Let h be x(t). Which is smaller: -15 or h?
h
Let i(w) = w**3 - 10*w**2 - 6*w - 17. Let s be i(10). Let q = -92 + 16. Let d = q - s. Is 4/7 <= d?
True
Let i be -1 + (-6)/(-8) + (-9)/(-36). Suppose -c - 3*m + 763 = i, -m - m = c - 758. Let z be (-4)/(-22) - c/121. Is -7 equal to z?
False
Let i be (-6)/(-24)*-6*6. Let p = -11 - i. Let f(u) = -6*u**2 + 5. Let x be f(p). Is x at least as big as -19?
True
Let z = -20665 + 3079140/149. Which is smaller: z or -1?
-1
Let u(r) = -r + 2. Let c be u(-1). Let g(l) = 30*l**2 - 22*l + 4. Let h be g(c). Is 208 greater than h?
False
Let y = 5 - -6. Let x = 10 - y. Let j = -7/24 + 2/3. Is j not equal to x?
True
Let a(y) = 2*y**2 + 10*y + 61. Let p(l) = -l**2 - 4*l - 30. Let v(k) = -4*a(k) - 7*p(k). Let d be v(-7). Which is smaller: d or -1/416?
-1/416
Let m = -34297 + 34345. Let u(r) = 3*r**2 + r + 5. Let h be u(-4). Is h at most as big as m?
False
Let v = 92 - 353. Let l be 279/v + (-2)/(-29). Which is smaller: l or 2.3?
l
Let q(h) = 2*h**2 - 6*h + 6. Let c be q(4). Let s(l) = -l**3 + 11*l**2 + 27*l + 1. Let o(r) = -2*r + 17. Let t be o(2). Let n be s(t). Is c > n?
False
Let h be (1 + 12/3)*1*32/72. Does -0.047 = h?
False
Let b(h) = h**3 - 2*h**2 + h - 2. Suppose -4*p - 2*m + m = 0, -3*p = -5*m. Let k be b(p). Do -4/5 and k have different values?
True
Suppose -46*a - 25 = -51*a. Let b be -2 + (-2 - (a + -1)). Let v(f) = f. Let h be v(-5). Which is greater: h or b?
h
Let p be (-30)/8 - (-18 - -30)/(-4). Which is smaller: 48 or p?
p
Suppose 2*v = -2*d + 24, 2*d + 18 = 14*v - 9*v. Do 595/82 and d have the same value?
False
Suppose -7*i - 1386 = -0*i + 35*i. Which is bigger: i or 14?
14
Suppose 4*w + 1446 = 3*y, 544 + 1404 = 4*y - 2*w. Is y at most as big as 497?
True
Suppose v + 5*j = 138, 4*j - 295 - 97 = -3*v. Which is smaller: v or 123?
123
Suppose -192 - 138 = 22*u. Let c be (u*3/324)/(4/(-6)). Is 0 bigger than c?
False
Let l = 80/11 - 3371/462. Let s = 46 + -46. Suppose -3*o + w + 0 = 2, w - 5 = s. Which is smaller: o or l?
l
Let p(b) = -189*b + 5450. Let h be p(29). Let j(t) = -2*t + 5*t**2 - 4*t**2 - t**3 + 2 - 4*t**2. Let v be j(-2). Which is bigger: h or v?
v
Let q(w) be the first derivative of -3*w**2/2 - 26*w + 2. Let f(g) = -2*g**3 + 20*g**2 - 16*g - 27. Let o be f(9). Let t be q(o). Which is greater: 16/19 or t?
t
Suppose 0 = 17*j + 2989 + 39205. Is j >= -2481?
False
Let w be 1/((-1)/(-5)) - 47/((-611)/(-401986)). Is -30917 at most as big as w?
True
Suppose 0 = -4*p - 5*d - 405, p + 5*d + 150 - 45 = 0. Which is smaller: p or -98?
p
Let o = -5087 + 5333. Which is smaller: o or 249?
o
Suppose 4*r - 18 = -2*s, 5*r - 5 = -s + 19. Let i be (-8)/12 - (-404)/(-6). Let y be (-33)/(-68) - (-17)/i. Is s at most y?
True
Suppose 11*y = 4*y - 11*y - 100170. Which is bigger: y or -11131/2?
y
Suppose v = -3*c + 275, c - 3*c + 187 = -3*v. Suppose -t - c = -3*t. Let n = 232/5 - t. Is 2.1 bigger than n?
True
Suppose 5*g + 0*g - 2*l - 332 = 0, -2*g = -2*l - 134. Which is greater: g or 92?
92
Suppose -2*n - 19 + 85 = 0. Suppose -3*b + 3*t = -90, 0 = 4*b - 3*t - 64 - 58. Which is smaller: n or b?
b
Let j be (-10)/(-2) + (-107)/((-2568)/(-1664)). Is j less than -63?
True
Let x = -129/55 + 53461/22770. Let c be (-75)/(-65) + 4/(-26). Are c and x nonequal?
True
Let v = -665934910/63469 - -73446/7. Which is smaller: -1 or v?
-1
Let y(c) = c**3 - c**2 - c + 266. Let i be y(0). Let n(x) = x**3 - 269*x**2 + 38*x - 9955. Let h be n(269). Which is smaller: i or h?
i
Let q = 133862/5 - 26864. Let f = 9 + -100. Let k = f - q. Which is bigger: -5 or k?
k
Suppose 243663 = -48*u + 55647. Do -3918 and u have the same value?
False
Let t = -1/21 - 2/7. Let r = 279 + 60. Let k = 373 - r. Is t >= k?
False
Let v = -6753 - -3883. Let z = -420497110 - -45833872162/109. Let s = v - z. Is s at least as big as -1?
True
Let z = -0.5641 + 0.556. Which is bigger: z or 2?
2
Let y = -812/16245 + 2/361. Suppose -98*p + 39 + 59 = 0. Is p greater than or equal to y?
True
Let y = 87726746 - 13623525020006/155295. Let b = y - 10/1479. Is b equal to -1?
False
Let r be 81 + -83 - (1226/(-17) + 2). Does 68 = r?
False
Let t = 7220 - 7217. Which is smaller: -990/17 or t?
-990/17
Let b be (734/(-2333019))/(4/6). Is 1 at most as big as b?
False
Let y be 3/3*41276/(-68). Which is smaller: -611 or y?
-611
Let q = 84816 - 84815.99. Let s = -0.65 + 44.65. Which is smaller: q or s?
q
Let s(m) = m**2 + 104*m + 1398. Let w be s(-81). Is w equal to -464?
False
Suppose -3*a = -0*a + i - 18, a - 2*i + 8 = 0. Is a at least 67/21?
True
Let c = -6/12898493 + -14381032886861/141883423. Let k = c + 101192. Let m = k + 166. Are -2/5 and m unequal?
True
Let z(a) = -a - 31. Let u be z(0). Let f = 1434 - 1433. Let p be 15 + -11 + -36 + f. Is p > u?
False
Suppose -5*n - 5*c = 45, -5*n - 24 = 4*c + 24. Let o = 10 + n. Which is bigger: -38 or o?
o
Let y be (-63)/(-28)*((-12)/8)/((-2)/596). Is y bigger than 1007?
False
Let d(z) be the first derivative of -49*z**4/4 - z**3/3 + 2*z**2 + 6*z - 342. Let y be d(2). Is y bigger than -381?
False
Let p = 167.862 - 213.7088. Let f = p + 0.9768. Let t = 45 + f. Is t bigger than 1?
False
Let l(k) = k**2 + k + 1. Let q be l(4). Suppose -y - 4*i = 21, q = -4*y - 4*i - 15. Let o = -213 + 208. Is y > o?
False
Let q(x) = -x**2 + 12*x + 85. Let c be q(17). Let g be (-4)/(-6) - 888/1350. Does g = c?
False
Let j(w) = w**3 + 26*w**2 + 81*w - 3. Let x be j(-25). Is x greater than -1404?
True
Let n(d) be the second derivative of -9*d**2 + 1/12*d**4 + 0 - 4/3*d**3 - 10*d. Let x be n(10). Which is greater: x or -8?
x
Let x = 46 + -45.9. Let s = -32 - -10. Let v = s + 88. Is v bigger than x?
True
Let m be -2 + -10 + 3 + (5 - (-434)/133). Is m at most -8?
False
Suppose -2 = -p - 62. Let m be (20/p)/((-2)/(-18)). Let g(f) = f + 12. Let r be g(m). Is r bigger than 8?
True
Let f = 3059 - 2803. Which is bigger: 267 o