ose 6*d - 13*d - 140 = y. Which is smaller: -19 or d?
d
Let h be (90/(-52))/((-1 - 2)/(-48)). Which is greater: h or -28?
h
Let v(w) = 15 + 10177*w**2 + 9*w + w**3 + 0*w**3 - 10189*w**2. Suppose 3*p - 6 + 42 = 3*h, -h = -2*p - 13. Let j be v(h). Is j less than or equal to -7?
True
Suppose 56 = 173*c - 181*c. Let m be (1/(-6))/((-5)/20). Is m at least c?
True
Let i = 150 + -149.6. Which is greater: -1/36 or i?
i
Let z = -1870684/927 - -2018. Is -1 smaller than z?
True
Let a(f) = -f**2 + 45*f + 31. Let n be a(43). Is n greater than 115?
True
Let q be ((-2)/5)/(8/(-260)). Let p(x) = -x**2 + 2*x + 1. Let l be p(-3). Let b = q + l. Is b not equal to -10/7?
True
Let n = 2 - 0. Let p be n - (0/3 + -2). Suppose p*t + 16 = -4*x, 5*x = -4*t - 0*t - 17. Which is bigger: x or 2/35?
2/35
Let j be -1 + (-100)/80 + 110/(-8). Which is greater: j or -17?
j
Suppose 0 = 4*c - x - 3 - 32, 0 = -2*c + 5*x - 5. Let b = c + -44. Which is smaller: b or -33?
b
Let d = -1.5 - -3.2. Let a = d - 3.7. Let x = a - -1.99. Is x > 0?
False
Let w(a) = -4*a + 8. Let c be w(-13). Is c less than 59?
False
Suppose -18 = -2*j + 9*l - 6*l, 2*j + 3*l - 30 = 0. Is j >= 12?
True
Let j = -29 + 33. Suppose j = 5*b - 46. Is 9 at least as big as b?
False
Let b be 120/(-216)*38/10. Which is smaller: b or -3?
-3
Let o = 1711 - 29095/17. Suppose 0 = 3*d - 2*d - 1. Which is bigger: d or o?
d
Let q be ((-151)/(-4))/(135/(-1152)). Let s = -322 - q. Is s < 0?
False
Let m = 2898/11 + -264. Which is smaller: 2/3 or m?
m
Let o be ((-105)/(-14))/((-21)/4). Let b = 1 + -1. Is b smaller than o?
False
Let o be (18/30)/((-2)/(-15)) - 3. Which is bigger: o or 103?
103
Let b be 2/(-7) - 12/(-42). Let j = 20018/65 - 308. Is j less than or equal to b?
True
Let s = -4.7 + -1. Let n = s - 22.3. Which is bigger: -1 or n?
-1
Let a = -39 - -45. Suppose 7*t = a*t - 6. Which is smaller: -9 or t?
-9
Let m = -0.31 - -3.31. Let f = 0.3 - m. Let y = f + 1.7. Which is smaller: -13 or y?
-13
Let o(v) = -v - 2. Suppose 5*u - 7*u + 12 = 0. Suppose -u*h = -7*h - 2. Let p be o(h). Which is smaller: -1 or p?
-1
Let l = -3.9961 - 0.0039. Are l and -2/19 unequal?
True
Let k(f) = -f - 7 - 183*f**2 + 178*f**2 - f**3 + 2*f**3. Let q be k(6). Is 23 bigger than q?
False
Suppose -9 = -3*i, 2*d - 5*d - 3*i - 156 = 0. Let y(k) = k - 76. Let z be y(23). Does z = d?
False
Suppose 69*d = 71*d - 212. Is -0.3 >= d?
False
Let s = 128 + -125. Suppose s*g = -g, 4*c - g = -52. Suppose 32 = -4*v - 3*i, 5 = v + 3*i + i. Are c and v unequal?
True
Let v(o) = -o**3 + 11*o**2 - 9*o + 3. Let j be v(10). Let w = -23 + j. Let z = w - -10. Is 0 greater than z?
False
Let z(t) = -t**3 - t**2 - 3. Let p be z(-2). Which is bigger: 3/65 or p?
p
Let h(y) = y**2 - 12*y - 10. Let p be h(13). Suppose p*u - z - 2*z = -36, -u + 2*z = 11. Let r(o) = o - 7. Let m be r(-6). Is u less than m?
False
Let p be (-10*96/(-280))/(-2). Which is bigger: -1 or p?
-1
Let o be (4/(-18))/((-4)/1014). Let j = o + -857/15. Which is smaller: j or 0?
j
Let k be 7/(-5)*(-6)/21. Let g = 2.116 + -0.116. Which is bigger: g or k?
g
Let q = -1436/95 + 234/19. Let j = 4 + -6. Is q greater than j?
False
Let l(a) = -a**3 + 7*a**2 - 23*a + 162. Let w be l(7). Which is smaller: w or 3/77?
3/77
Let g = -7540/9 + 838. Let i = 4410701/79045 + 2/15809. Let q = 56 - i. Does g = q?
False
Let w be 9/6*(-4)/6. Let j = -5 - w. Let z be (-1)/3 + j/(-15). Which is smaller: -1 or z?
-1
Let u = 30/1151 - -128642/10359. Which is greater: u or 11?
u
Let p(y) = 15 - 3*y - 5 - 3*y + 1 + y**2. Let k be p(5). Suppose -7*h - 2 = -k*h. Which is smaller: h or -1?
h
Let i = -16 - -20. Let r be -9*42/45 + i/10. Is -15/2 less than r?
False
Let g = -1.71 - -0.21. Let b = 0.31 - 1.81. Let t = b + 1.4. Which is bigger: t or g?
t
Let o(j) = -j**3 - 8*j**2 + 11*j - 12. Let k be o(-9). Let b be k - (0 - (-3 - -6)). Let x = 130 + -156. Is x less than or equal to b?
False
Suppose 6*t = -24*t + 4650. Is 150 greater than t?
False
Let k = 7 + -11. Suppose -30 = 5*c - 2*t + 10, 2*t = -4*c - 50. Let r be 16/(-18)*(13 + c). Which is bigger: r or k?
r
Let y = -265.6 + 265. Does -1.5 = y?
False
Let l(r) = -7*r**3 + 18*r**2 + 29*r - 15. Let h(g) = 4*g**3 - 9*g**2 - 15*g + 7. Let q(f) = -5*h(f) - 3*l(f). Let d be q(10). Let z = 27 + d. Is 17 < z?
False
Let x(d) = d**3 - d**2 - 16*d + 20. Let m be x(5). Are 21 and m equal?
False
Suppose 0*r - 2 = -r. Let f = -65636 - -329462/5. Let u = 255 - f. Which is smaller: u or r?
u
Let m(q) = -26*q + 3. Let r be m(2). Let x(h) = -7*h**3 + 11*h**2 - 17*h - 5. Let n be x(2). Which is greater: n or r?
r
Let j = 24 + -6. Let c be 10/3 + (-6)/j. Suppose c*i - 3 = 2*u, -2*i + 8 + 13 = 5*u. Is 3 >= i?
True
Let m = 413.5 + -413. Let i = 19 + -29. Are i and m equal?
False
Suppose -1179 = -18*r - 261. Let h = 7/2 - 4. Is r bigger than h?
True
Let l be (-12 - (6 - 0)) + -1. Is l bigger than -18?
False
Let g(p) = 3*p - 6 - 3*p - 3*p + 4*p. Let j be g(6). Suppose 3*d + 12 = -2*w - 54, 3*d + 3*w + 66 = j. Is -22 greater than or equal to d?
True
Let v(s) = s**3 + 6*s**2 + 2. Let r be v(-6). Let c be r/(-1) + -9 + 1261. Let a = 21244/17 - c. Which is bigger: -1 or a?
a
Let a = -6.4 - -6.398. Is 1/4 >= a?
True
Let c(q) = 2*q**2 - 3*q - 8. Let h be c(-6). Suppose -5*s + h = l + 23, -2 = -2*s + 5*l. Let p = -16 + s. Which is smaller: -4 or p?
p
Let h = -11.9 - -16.32. Let b = -0.58 - h. Is 0.2 not equal to b?
True
Let u be ((-2)/(-6) - (-12)/(-9))*4. Let w be u/(-12)*6/(-2). Which is smaller: w or -2/5?
w
Suppose 20 = -5*n + 2*q + q, 2 = 3*n + q. Let s be ((-2)/(-4) + n)*-2. Let m be -7*((-1)/(21/12))/38. Do m and s have the same value?
False
Let r = -157 + 225. Is 67 >= r?
False
Let j be -218*3/12*-2. Let g = 118 - j. Is 8 greater than or equal to g?
False
Suppose 115 = 12*y + 7. Let w be 57/(-6) + y/6. Do w and -5 have the same value?
False
Suppose 4*u - 3322 = 2398. Let y be u/(-14) - 13/(-91). Is y > -102?
False
Suppose o + 33 = m, -o - 3*o + 72 = 2*m. Let g = 34 - m. Let n = 1/28 + -9/28. Is g at most n?
False
Let u = 16 + -10. Let b(p) = 2*p**2 - 3*p - 16. Let x be b(u). Which is greater: 36 or x?
x
Let w(c) = c**3 + 7*c**2 - 8. Let l be w(-7). Let m be (-8)/(-12)*(-4)/l. Which is smaller: m or 0?
0
Let u = -81.3 + 77. Let a = 4.3 + u. Which is greater: a or 2/67?
2/67
Let p = -0.369 + 0.069. Let b = 4 + 0. Suppose 0 = -b*x + h + 16, 2*x - 12 = -x - 4*h. Which is smaller: x or p?
p
Let m = -237 - -262. Suppose 0 = z - 20 - 6. Is m greater than z?
False
Let o = 3357/5 - 676. Suppose -11*v = -0 + 66. Is v at least o?
False
Suppose -31 = -4*p - 7. Suppose 0 - 28 = -4*l + 5*g, 0 = l - g - p. Let j(k) = 4*k**2 - 18*k - 12. Let t be j(5). Is t greater than l?
False
Let n be 2/(-3)*(-1 + 2). Suppose -4*f = 4*a - 40, 34 = 3*a + 6*f - 2*f. Suppose a - 10 = 2*u. Is n greater than u?
True
Let o = 0.03 - 0.43. Let n = -0.6 - o. Let k = 0.0258 + 0.9742. Is k greater than n?
True
Suppose 2*f + 3*o = -3*f + 78, 5*o + 20 = 0. Suppose 4*r + f = r. Let g be r/(-52)*12/9. Which is smaller: g or 0.1?
0.1
Suppose 151*v = 148*v + 420. Suppose -4*y - v + 140 = 0. Which is smaller: y or 9?
y
Let m = 1800 + -2321. Which is bigger: -1039/2 or m?
-1039/2
Let n be (10 + (-1 - -2))/((-4)/(-8)). Let l be (1 + n/(-15))/(22/(-55)). Let a = -1 + 3. Is l less than or equal to a?
True
Let d(p) = p**3 + 2*p**2 - 1. Let z be d(-2). Let c = 26 - 29. Let i be c + ((-1608)/135)/(-4). Do i and z have the same value?
False
Let r be (-312)/(-88) - 18/33. Suppose -2*h - 244 = 20. Let n be ((-1)/4)/(r/h). Which is smaller: n or 9?
9
Let d be (-380)/28 - 9/21. Let t be (d/10)/((-6)/60). Is 14 less than or equal to t?
True
Suppose 0 = 3*h + 9, 5*v = -h - 2 - 1. Suppose v = 3*g + 4*c - 94, -2*c = c + 15. Suppose -2*w - g = 2*z, -2*z + 38 + 22 = -5*w. Which is smaller: w or 1?
w
Let i = 344 + -344.3. Is i smaller than -217?
False
Let t = 2/359 - -700/3231. Which is bigger: t or 43?
43
Suppose 547 = 7*f + 92. Suppose f = -4*h + 57. Let b be (-1)/(-5)*(0 - 3). Which is greater: b or h?
b
Suppose -4*f + 3*k = -9, 3*f + 14*k - 13*k + 3 = 0. Suppose 0 = -4*h + 1 + 3. Let y be (1 - (0 - -1))*h. Is y greater than or equal to f?
True
Let a(y) = y**3 + 8*y**2 + 17*y + 5. Let p be a(-5). Let q be 12/p - 10/(-25). Which is smaller: 1.9 or q?
q
Let q = -30801121/1648