j**2 + 24*j - 24. Let d(c) = -4*c**3 + 3*c**2 + 8*c - 8. Let k(z) = 8*d(z) - 3*i(z). Let l be k(7). Which is greater: 6/43 or l?
l
Let s = 698/255 - 160/51. Let q = 8 + -8.06. Let f = q + 0.06. Is s not equal to f?
True
Let j be 3/((-41)/(-22) - 2). Suppose -7*h = -11*h + 8, 2*h + 437 = -3*v. Let x be (v/14)/(2/4). Which is greater: x or j?
x
Let d be 2 + (8 + -1 - 13/(338/234)). Is 1022.4 > d?
True
Let p(c) = -5*c**3 + c**2 - c + 1. Let o be p(1). Let h be 44/(-198) + o/(-18). Let n be (-1 - h)/(8/6). Which is bigger: 1/12 or n?
1/12
Let p = 223.82 + -239. Are p and -2/5 unequal?
True
Let w(l) = -1118*l**2 + 98*l - 93. Let d be w(1). Which is smaller: d or -7790/7?
d
Let x = -11.657 - -0.657. Which is smaller: 1/4 or x?
x
Let t be 1 + 1 + 22/(-4). Suppose -160*o - 16 = -152*o. Let f be 182/(-42) + o/(-6). Is f equal to t?
False
Let u = 55 - 51. Suppose 0*p + 12 = -4*p, -3*n + 42 = -u*p. Let r = 19 + -13. Which is smaller: n or r?
r
Let l = -118471/6 - -19745. Which is greater: -1717 or l?
l
Suppose -19042 = 4*t + 2602. Let h = t + 1347341/249. Which is greater: 1 or h?
1
Let w = 64.628 - 20.628. Are w and 67 non-equal?
True
Let s(w) = w**2 + 64*w + 836. Let q be s(-47). Is q smaller than 7?
False
Let d = -248 - -252. Suppose c + 2 = -5*j, 4*j + 5 + 3 = -d*c. Let p = -34108/64733 - -2/3407. Which is smaller: c or p?
c
Let u be (-2)/(-6) + 5/((-15)/28). Is u at least 38?
False
Let r = -1515303/11 - -137757. Suppose 18 = -4*x + 2. Let w = -1 - x. Which is smaller: w or r?
r
Suppose 106 + 129 - 1460 = 25*l. Are l and -633/13 unequal?
True
Let l be ((-6)/(-10))/(11/(330/96)). Let q(v) be the third derivative of -v**4/4 - 19*v**3/6 - 24*v**2. Let k be q(-3). Is l less than k?
False
Let f(n) = 1521*n**3 + 4*n**2 + 20*n + 15. Let a be f(-1). Is -1526 less than or equal to a?
True
Suppose -4*b - 12 = 0, 132*z - b - 55 = 134*z. Let u be (-64)/35*(7 + 12 + -4). Which is greater: z or u?
z
Let x = 20633 + -22602. Do x and -1968 have the same value?
False
Let j be 6 - -4 - (3600/(-120) + (-6)/(-2)). Let t = -116 + 169. Suppose 15 = -d + t. Are d and j equal?
False
Let m = -3572/48465 - 2/5385. Suppose 2*w - 2*l = 4, 4*w + 3*l - 22 = -0*w. Suppose w*y = -0*y. Is y > m?
True
Let o be (1 - 30/2)*(0 + 1). Let n = o - -27. Let p be (18/7)/((-66)/(-308)). Which is smaller: n or p?
p
Let m = -14.09 - -15.7. Let w = 10.39 + m. Do w and -2/5 have the same value?
False
Let w = 46/19 + -317/76. Suppose -t = 4*t + 4*i + 114, 5*i + 32 = -2*t. Let j = t - -23. Which is greater: w or j?
w
Let x = 991 - 708. Suppose 0 = 5*m - 3*y + x, y = -4*m + 6*y - 229. Is m greater than -55?
False
Let j = 19879/273 - 946/13. Is j greater than 1?
False
Let u(x) = x**2 + 10*x + 12. Let s be u(-10). Let j be (-4)/s + (-70)/(-174). Let a be 174/1160*(-5)/(-3). Is j > a?
False
Let z = 21 + 18. Let x be z + (0 - (-3)/(-1)). Suppose 3*v = 9*v - x. Which is bigger: v or 19/4?
v
Let g = -58 - -75. Let y = g - 17. Suppose y*h = 2*h - 2. Is h not equal to 0?
True
Let w = 215 + -25. Let j be (w/5)/(-1) - -1. Suppose 4*f + 0*f = -o - 44, 4*o + 136 = 4*f. Which is smaller: j or o?
j
Let j = 3761 - 3784. Let h = -77 + 58. Which is bigger: h or j?
h
Suppose 4*g - 17*s = -14*s + 7, 3*s = -3. Which is bigger: -3/218 or g?
g
Suppose -2*u + 71 = -3*c, 0 = -u - 0*u - 4*c + 52. Suppose -2*b + u = 8*b. Suppose -5*n = 2*v, -b*v = -0*n + 2*n. Are 1/38 and v equal?
False
Let m(y) = -y**2 + 71*y - 78. Let l be m(5). Which is smaller: 503/2 or l?
503/2
Let v be (79/(-7) - 134/(-469)) + -2. Let z = 24 + -19. Suppose -z*m = -2*m + 33. Which is bigger: v or m?
m
Let d(w) = w**2 - 14*w - 46. Let t be d(17). Suppose t*j - 7*j - 10 = 0. Is 7 at least as big as j?
True
Let k = 268 - 237. Let b be k/(-20)*(12/(-4) + -5). Which is bigger: b or 11?
b
Let s = 6250 - 268748/43. Is 0.003 > s?
False
Let a = 0.2053 - 39.2803. Let k = 0.075 + a. Let q = -38.6 - k. Do q and 0.8 have the same value?
False
Suppose 2*y = -5*m + 60, -10*m = -4*y - 7*m + 172. Let v be 12/y*1*(-3)/(-315). Is -1 less than or equal to v?
True
Let i = 137 - 138. Let w be 0*((84/(-9))/(-7) + i). Which is bigger: 11 or w?
11
Let j = -115 + 8854/77. Let v = -54708 - -54707. Which is smaller: v or j?
v
Suppose l + 10 = -4*z + 2, 2*l = 5*z - 3. Suppose -147 - 141 = -4*i. Let w be (-45)/i*(1 - (-3)/(-5)). Is w >= z?
True
Let j = 0.826 - 212.886. Let i = j - -212. Is i > 16?
False
Let w = -0.04305 - -0.03305. Which is smaller: w or -3.54?
-3.54
Suppose -3*w = 5*f - 15, -4*w = 18*f - 23*f + 15. Are 3/8038 and w unequal?
True
Let k be ((-287)/(-4))/((-15740)/(-128)) - 6/10. Is k at most 0?
True
Let r = -0.6 - -0.657. Suppose 0*j - 28 = -14*j. Let z be (-2 - -1 - 0)*j/(-8). Which is greater: r or z?
z
Let g(w) = w + 89. Let l be g(-27). Suppose 0 = 3*o + y - 118 - l, -5*o = 4*y - 300. Suppose -6*x + 486 = o. Is 71 >= x?
True
Let f be (-10)/(-15)*(3 + 0). Let y be (20/(-5))/8*f. Which is smaller: -5 or y?
-5
Let h be ((-1)/((-4)/(-81)))/(9/(-48)). Suppose -h*o = -105*o + 3. Is -4/53 at least o?
True
Suppose 3*d = -m - 10, -2*m + 25 = -3*d - 0. Suppose -2*o + 4 + 4 = -2*w, 2*w - m*o = -20. Which is greater: w or 2/27?
2/27
Suppose -2*x + 5*v - 8 = 7, -4*x + 2*v - 6 = 0. Is 39/50 less than x?
False
Suppose 12 = 30*q - 28*q. Suppose q*s - 11*s = -40. Suppose s*y = 6*y + 12. Is y smaller than 8?
True
Suppose -3*r - 11 = 7. Let t be (0 + 0)*(-3)/r. Let q = -1429 + 75739/53. Is q at least as big as t?
True
Let d = -240650/191 + 1260. Which is greater: d or -1?
d
Suppose -198 = 2*q - u, 104*u = -5*q + 99*u - 465. Is q smaller than -581/6?
True
Let m = -30036348590/287007 - -732576/7. Which is greater: m or 1?
1
Suppose -1 - 5 = -2*v. Suppose -5 = -4*x + v. Which is smaller: -1 or x?
-1
Let j(i) = -3*i**3 + 4*i**2 - 2*i - 4. Let y be j(-3). Let x = 95 - y. Let q be 2/(-13) - x/156. Which is bigger: q or 2/23?
2/23
Let o = -3560 + 3561. Which is greater: o or -9/235?
o
Let d = -76 - 89. Let x = d + 163. Is -2 at most as big as x?
True
Let u = -0.012 - -0.2825. Is 2/9 != u?
True
Let m be (-36)/8 + 2 - -3. Let z(s) = -s**2. Let b(t) = -2*t**2 + 7*t. Let i(h) = b(h) - 3*z(h). Let l be i(-8). Which is bigger: l or m?
l
Suppose 108*k - 169*k + 61 = 0. Is k greater than or equal to 20/337?
True
Let t = 304.4 - 351.48. Is 0 greater than t?
True
Let o(m) = m**3 - 9*m**2 + 13*m - 15. Let r be o(8). Suppose 5*h - r = 3*d, -d - 1 - 2 = h. Suppose 0 = -f + 2*i, 0*i = -h*i + 10. Which is greater: f or 11?
11
Let x(y) = y**3 + 2*y**2 + y. Let n be x(2). Let h(c) = 55*c**2 - 568*c - 374. Let d be h(11). Is d <= n?
False
Let b be 1/(-3) - 35/(-105). Let x be 18/24 - b - (3 + -2). Which is bigger: -1/11 or x?
-1/11
Let q = 87 + -85.7. Let k = 25.2 - 34.2. Are k and q equal?
False
Suppose -r + 2 + 0 = 0, n + 2*r = 3. Let c be (4/(-5))/2*10/254. Which is greater: c or n?
c
Suppose 0 = -s - 3, 0 = -4*n + 2*s - 2. Let h(l) = -l**3 + 3*l**2 + 6*l - 7. Let k be h(4). Suppose g = a, k + 4 = 3*a + 2*g. Which is greater: n or a?
a
Let g = -72.56 + 72.34. Which is smaller: g or 44/17?
g
Let z = -49 + 244/5. Suppose 3*u - 4*u + 329 = -5*c, -5*u = -20. Let j be (5 + (1 - -4))*(-2)/c. Is z greater than j?
False
Let n be ((-2 - 3) + 4)/(1374/192). Is n <= 0?
True
Let g = 8 - -6. Let t(j) = -j**3 - 16*j**2 + 2. Let a be t(-16). Suppose a*l + g = -0*l. Is l less than -9?
False
Suppose 19*i + 19 = 133. Let m be 29 - (-4 + (i - (4 + -3))). Which is smaller: m or 26?
26
Let l be (-66)/531*(-1358181)/33762 - (0 - -5). Is l greater than 1?
False
Let v = -54 - -121. Let g be 37/7 + 2/(-7) + -1. Let i be (-195)/(-3) + 4/g. Which is greater: i or v?
v
Let y = 4354 - 4353. Which is greater: y or -692?
y
Suppose -225*o + 237*o - 1932 = 0. Is o at most 1.8?
False
Let y(f) = -f**3 + 7*f**2 + f - 5. Let q be y(8). Let l be (-2 + 133/56)/((-1)/164). Let v = l - q. Which is bigger: -2 or v?
v
Let n = 464 - 481. Let h be n/2 - 7*4/56. Which is smaller: h or -4?
h
Let h(n) = 2*n**2 + 28*n - 294. Let j be h(-21). Which is bigger: -57/308 or j?
j
Let y = -76 + 84. Suppose 3*o = y*c - 5*c - 153, 5*c - 223 = -3*o. Is 2/5 at most as big as c?
True
Let b(d) = 30*d**2 + 3*d + 51 - 2*d + 54 - 107. Let j be b(2). Which is smaller: j or 119?
119
Let l be (-2 - 3) + (2 + (-12 - -5))/(-1). Which is greater: -7/1269 or l?
l
Let n