2293 at most as big as j?
True
Suppose -134*t = -223*t + 1869. Is t greater than 225/11?
True
Let h = 1534/19 - 71623/893. Let p = h + 1940/329. Is 6 bigger than p?
False
Let d = 45 - -18. Let q = d - 62.852. Let g = 0.068 - q. Are g and 8 non-equal?
True
Let n(k) = -k**2 + 44*k + 43. Let x be n(39). Let j be (-10)/6 + -8 + x/(-21). Is j at most as big as 4?
True
Let d = 908 - 597. Let c = d - 308. Is c < -7.8?
False
Let g = 1646 + -1637. Suppose 3*a = 3 - 0. Which is smaller: g or a?
a
Let z(r) be the second derivative of -r**5/20 + 3*r**4/4 - 5*r**3/6 + 4*r**2 - r. Let c be z(8). Suppose 2*p - c = -52. Which is bigger: p or -9?
-9
Let t = -3025/6 + 251051/498. Which is bigger: 1 or t?
1
Suppose -1777 - 611 = 12*j. Suppose -5*h - 3*y - 1197 = -203, y - 202 = h. Is h at most j?
True
Let r = -27/10 - -14/5. Let w = 0.005 + 6.995. Let b = w - 6.9. Is r <= b?
True
Let p(r) = -9*r - 160. Let o be p(-29). Which is smaller: o or 17?
17
Let m = -346 + 351. Suppose m*f - 2*y - 5 = -y, 0 = 4*y. Let k be (-16)/(-45) - 4/10. Which is bigger: k or f?
f
Let n = 31 - -18. Let b be (-37)/(-370) + 77/630. Which is smaller: n or b?
b
Suppose -3 = -5*k + 2. Suppose -5*z + 8 = -2*u, -u + z - k = -0. Suppose 8*g + 24 = 2*g. Is u less than g?
False
Let u = -9 + 11. Suppose 24 = 3*s - 2*k, 4*k - 32 = -6*s + u*s. Suppose 0 = 2*i + s, 3*y + i + 13 = -3*i. Which is bigger: 5 or y?
5
Suppose 5*n - 30 = -p + 2*p, 2*p = 0. Let y be -1 - 16/(-4) - -6. Let h be (-8)/36*-3*y. Is n < h?
False
Let i be 0 + (1 - (20 - 2)). Suppose 4*y + 3 - 8 - 11 = 0. Which is bigger: i or y?
y
Let o = 229 + -195. Suppose 0 = -24*l - 10 + o. Which is greater: l or 71?
71
Let i(g) = -632*g**3 - 11*g**2 - 18*g - 9. Let w be i(-1). Which is smaller: w or 631?
w
Suppose 0 = 4*m + 2*i - 0 - 276, 2*m + 2*i = 134. Let r be 16704/(-20) - -1 - 6/(-30). Let c = 904 + r. Which is smaller: m or c?
c
Let g(j) = j**2 - 7*j - 4. Let p be g(7). Let x be (-11)/((-66)/(-9)) + (-2 - p). Which is smaller: x or -1/55?
-1/55
Let o be (3 - 4) + 39 + 0. Let k = 81 - o. Suppose -148*q + 2586 + 5956 - 2178 = 0. Is q greater than or equal to k?
True
Let t = 0.115 + 28.385. Let p = -28.44 + t. Let m = -153/65 + 11/5. Which is smaller: m or p?
m
Suppose -4*k + 43*d - 39*d - 12 = 0, 3*k + 16*d = 105. Which is bigger: 33/19 or k?
k
Let j = -42571/13 + 3273. Let t = -6260.1 - -6260. Which is bigger: t or j?
t
Suppose 46*p = 428 - 29776. Which is smaller: -637 or p?
p
Let t(c) = 2*c**2 - 11*c - 20. Let n be t(-4). Suppose -n*q + 3080 = -45*q. Does 280 = q?
True
Suppose -3*x - 1111 = 1025. Is -714 equal to x?
False
Let b = 23 - 3. Suppose 5*y = -0*y + b. Let u(n) = -n**2 - 4. Let l be u(y). Is l > -21?
True
Let f(d) = -d**2 + 19*d - 77. Let n be 0 - (0 + 3) - 1 - -10. Let a be f(n). Is a smaller than 5/124?
False
Let y = -2.58 - -1.71. Let c = y + -70.13. Let r = c + 101. Are r and -1 non-equal?
True
Suppose -6*k - 32*k - 32*k - 339360 = 0. Which is greater: k or -4847?
-4847
Suppose 6*m = v + 8*m - 1, -2*v + m = 3. Let j(x) = -x**3 - 9*x**2 + 36*x + 14. Let n be j(-12). Let z be ((-10)/735)/(n/(-6)). Is z less than or equal to v?
False
Let l be -4*2/32 + (-86070)/(-24). Which is smaller: 3584 or l?
3584
Let n(b) = b**3 - b**2 + 1. Let q be n(1). Let r = 94875 + -4079628/43. Which is bigger: r or q?
q
Let k be (-3)/2*12/9. Let t = -268.2 + 267.8. Which is greater: t or k?
t
Suppose -2*p = -6, -14*p + 21 = 3*m - 9*p. Suppose -o + m*o - 2*y = 2, -2*y + 2 = 0. Suppose -5*l = -o*l. Is l at least as big as 5/9?
False
Suppose 3*a = -4*r + 789, 5*a + 355 = 2*r - 46. Which is greater: r or 0?
r
Let r(l) = -31*l - 161. Let t be r(-6). Suppose 2*z = -5*w - 255, 0 = -4*w - 20*z + t*z - 171. Which is smaller: -51 or w?
-51
Let n = 0.1 - -1.9. Let j = -192 - -195. Is n >= j?
False
Suppose -3*t - 61 = 5*h - 67, -5*h - 10 = 5*t. Is 52 equal to t?
False
Let m be (-1)/(2 - 15/6). Suppose 0 = m*y - 0*y + 2. Let a = 659.6 + -659. Which is smaller: a or y?
y
Let a be 321*(102/17 + (-991)/165). Which is greater: a or -1?
-1
Let y be 91398/(-74) - (45 + -40). Let q = 1240 + y. Suppose 0*w + 3*i - 5 = -4*w, 0 = 2*i - 6. Is q at least as big as w?
True
Let s = -1869 + 1720. Which is smaller: -3 or s?
s
Let q = -6986 - -7037. Which is smaller: 67 or q?
q
Let w = -35502/18641 - 2/7989. Which is bigger: -2/35 or w?
-2/35
Let z = -6.2 + 7. Let m = -0.9 + z. Let c be (-120)/(-18)*(-5)/25. Is m not equal to c?
True
Let y = -2402 - -2716. Is y greater than 940/3?
True
Let r be (3 + -2)*4/22 + 7378/(-39490). Is r greater than 0?
False
Suppose 0 = -3*p + 12, 16 = -2*m - 14*p + 19*p. Let c be -1 + 1580/72*m. Is c != 43?
True
Let m be 435*8/24*(-2)/5. Let a = m + 57. Is a at most 2/121?
True
Let w = -453/12545 - -4/193. Suppose -6*y + 59 = 4*b + 81, -2*y = 3*b + 19. Is w bigger than y?
False
Let j(v) = -2494*v - 1052. Let l be j(-5). Which is bigger: l or 11416?
l
Let d = -247.0556 - -0.0556. Let o = d + 247.1. Let w = -2.04 + 0.04. Which is bigger: w or o?
o
Let i = -4661 + 25910498/5559. Is i at least 1?
False
Let j = 429 - 422. Let n be (-58)/28 + (-38)/j + 5. Which is smaller: 11 or n?
n
Suppose -37 - 53 = -6*k. Suppose 10 = 10*a - 0. Let r be (93/2)/(3 - (a - 1)). Is k smaller than r?
True
Let r(u) be the third derivative of u**5/30 + 31*u**4/24 + 7*u**3/3 - 35*u**2. Let i be r(-15). Is -15/23 at least as big as i?
True
Let y = 0.04 - 17.04. Let n = -67261 + 67262. Is y <= n?
True
Let f = -55 - -93. Let z = 37.7 - f. Which is greater: z or -1/8?
-1/8
Let g be 162572/(-14780) + (-66)/(-6). Which is greater: g or 0?
g
Suppose -275*m + 347727 = -1051748. Are m and 5091 unequal?
True
Let g(q) = 555*q + 5233. Let k be g(-10). Let j(u) = -79*u. Let o be j(4). Is k > o?
False
Suppose -68 = 3*i - 6*i + y, 0 = -4*i - 3*y + 108. Suppose 0 = -3*g - g + 92. Is g at most i?
True
Let f be 1 + 14 - (-3558215)/(-237245). Is f bigger than -1?
True
Let t(l) be the first derivative of l**2 + 10*l - 7. Let q be t(9). Suppose 0 = -2*f + 4*x + 46, 5*f + 0*x = 4*x + 127. Which is greater: f or q?
q
Let p be (6 - (-81)/(-12)) + (-162396661)/12788884. Let t = -1/110249 + p. Let c = t - -1570/203. Is c at most -7?
False
Let h = 4.02 + -0.02. Let w = h + -3.36. Let f = 0.54 - w. Is 0.12 > f?
True
Let a = -131 - -12049/92. Which is smaller: 1 or a?
a
Let w(s) = 3*s**2 + 10*s - 24. Let c be w(-6). Let b(j) = -j**2 - 8*j + 6. Let u be b(-8). Let p be 3/u + (-150)/c. Which is bigger: -6 or p?
p
Let c be 87924/(-42) - (-264)/(-462). Which is greater: -2095 or c?
c
Let c = -644 - -644. Is 3/119 less than or equal to c?
False
Suppose 3*h + 6*s + 1 = 2*s, -4 = 4*s. Let v be (5 - 20124/1830) + 6. Is v smaller than h?
True
Let f = -1 + 3. Let y = 5.5 + 354.5. Let p = -349 + y. Which is bigger: p or f?
p
Suppose 9*c = 5 - 32. Let t be (-86)/(-24)*-2 + (c - -1). Which is bigger: -8 or t?
-8
Let i be (9/(-5))/(-3) + (-26)/10. Let w be (-1 - i/3)/(17/13413). Which is bigger: w or -262?
-262
Let p = -484493/677876 + -3/4948. Is 0 less than p?
False
Let d be 2*-2*10/4. Let k = -343 + 342. Let n be 2 - k - 132/10. Is n bigger than d?
False
Suppose 5*h = c - 56, 0 = -4*h - 16. Let f = 11941 + -83333/7. Is c <= f?
True
Suppose -831 = -n - t, 5*n - 1505 - 2700 = 5*t. Let q be (6/15)/(n/(-1330)). Suppose -4*k + 2*x - 14 = 0, 4*x = 3*k + 5*x - 2. Is k smaller than q?
True
Let d = -259.117 - -0.117. Let m = 266 + d. Is m at most -2/29?
False
Suppose -5*u = -3*u - 10. Suppose -2*h = -0*h + 2*z - 24, -u*z = -2*h + 45. Let a be 49 + (-72)/45 + -31. Is a at least as big as h?
True
Let j = 1.6 - 2.6. Let c(m) = m**3 - 5*m**2 + m + 1 + 4*m**2 - 3*m + 1. Let o be c(-3). Which is greater: o or j?
j
Let t = 418.1 + -416.7. Which is smaller: 7 or t?
t
Suppose -13*h + 11*h + 2*u - 6 = 0, 4*h = -3*u + 9. Suppose -65*s + 77*s + 708 = h. Is s smaller than -59?
False
Suppose -3*t + 10 + 6 = z, -3*z = 5*t - 32. Let c be (z + -2)/(16/360). Which is smaller: 46 or c?
c
Let q = 689/3740 + -15/68. Let m be ((-14)/4)/(9/54). Let g be 2/(24/m) - -2. Which is smaller: g or q?
q
Let t = -14.521 - -4.521. Let n be (-1)/(-4) - 11/12. Which is greater: n or t?
n
Let y be ((-25)/10)/((-2)/8). Suppose -8*z - y*z = -18. Let h be 1 - (-29)/33 - 2. Are h and z non-equal?
True
Suppose -5*g = 4*a - 4*g + 177, -4*g = -4*a - 192. Let 